Token

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 IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract ZENO is Context, IERC20, ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function removeUnclogLimits()    - function sendETHToFee(uint256 amount)    - function isBot(address a)    - function openTrading()    - function reduceFee(uint256 _newFee)    - function manualSwap()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/*

$ZENO Provides virtual cards that prioritize privacy, efficiency, and adaptability for transactions. No KYC requirements.

Telegram: https://t.me/ZenoCard
Twitter: https://x.com/ZenoCard
Website: http://zenocard.com/

*/

// SPDX-License-Identifier: MIT


pragma solidity ^0.8.20;

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

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

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

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

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

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

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

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

}

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

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

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

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

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

}

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

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

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

    uint256 private _initialBuyTax=21;
    uint256 private _initialSellTax=24;
    uint256 private _finalBuyTax=4;
    uint256 private _finalSellTax=4;
    uint256 private _reduceBuyTaxAt=20;
    uint256 private _reduceSellTaxAt=20;
    uint256 private _preventSwapBefore=20;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 100000000 * 10**_decimals;
    string private constant _name = unicode"ZenoCard";
    string private constant _symbol = unicode"ZENO";
    uint256 public _maxTxAmount = 500000 * 10**_decimals;
    uint256 public _maxWalletSize = 1000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 100000 * 10**_decimals;
    uint256 public _maxTaxSwap= 10000000 * 10**_decimals;

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

    bool private caSellLimit = true;
    uint256 private caLatestBlock = 0;

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

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

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

    function name() public pure returns (string memory) {
        return _name;
    }

    function symbol() public pure returns (string memory) {
        return _symbol;
    }

    function decimals() public pure returns (uint8) {
        return _decimals;
    }

    function totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }

    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account];
    }

    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    function allowance(address owner, address spender) public view override returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {
            require(!bots[from] && !bots[to]);
            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

            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) ){
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }

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

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


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

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

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

    function removeUnclogLimits() external {
        require(_msgSender()==_taxWallet);
        transferDelayEnabled = false;
        caSellLimit = false;
    }

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

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

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

    
    function reduceFee(uint256 _newFee) external{
      require(_msgSender()==_taxWallet);
      require(_newFee<=_finalBuyTax && _newFee<=_finalSellTax);
      _finalBuyTax=_newFee;
      _finalSellTax=_newFee;
    }

    receive() external payable {}

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"a","type":"address"}],"name":"isBot","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_newFee","type":"uint256"}],"name":"reduceFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeUnclogLimits","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"},{"stateMutability":"payable","type":"receive"}]

60806040526006805460ff191660011790556015600755601860085560046009818155600a9182556014600b819055600c819055600d555f600e5562000045916200034d565b62000054906207a12062000364565b600f55620000656009600a6200034d565b6200007490620f424062000364565b601055620000856009600a6200034d565b6200009490620186a062000364565b601155620000a56009600a6200034d565b620000b4906298968062000364565b6012556014805462ffffff60a81b1916600160b81b1790555f601555348015620000dc575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b0319166101003302179055620001426009600a6200034d565b62000152906305f5e10062000364565b335f9081526001602081905260408220929092556003906200017b5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556006546101009004909116835291208054909216179055620001de3390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002176009600a6200034d565b62000227906305f5e10062000364565b60405190815260200160405180910390a36200037e565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200029257815f19048211156200027657620002766200023e565b808516156200028457918102915b93841c939080029062000257565b509250929050565b5f82620002aa5750600162000347565b81620002b857505f62000347565b8160018114620002d15760028114620002dc57620002fc565b600191505062000347565b60ff841115620002f057620002f06200023e565b50506001821b62000347565b5060208310610133831016604e8410600b841016171562000321575081810a62000347565b6200032d838362000252565b805f19048211156200034357620003436200023e565b0290505b92915050565b5f6200035d60ff8416836200029a565b9392505050565b80820281158282048414176200034757620003476200023e565b6119a4806200038c5f395ff3fe608060405260043610610134575f3560e01c8063751039fc116100a8578063a9059cbb1161006d578063a9059cbb1461035a578063bf474bed14610379578063c876d0b91461038e578063c9567bf9146103a7578063dd62ed3e146103bb578063ec1f3f63146103ff575f80fd5b8063751039fc146102ca5780637d1db4a5146102de5780638da5cb5b146102f35780638f9a55c01461031957806395d89b411461032e575f80fd5b806324b4eb93116100f957806324b4eb9314610206578063313ce5671461021c5780633bbac5791461023757806351bc3c851461026e57806370a0823114610282578063715018a6146102b6575f80fd5b806306fdde031461013f578063095ea7b3146101815780630faee56f146101b057806318160ddd146101d357806323b872dd146101e7575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b5060408051808201909152600881526716995b9bd0d85c9960c21b60208201525b6040516101789190611580565b60405180910390f35b34801561018c575f80fd5b506101a061019b3660046115e2565b61041e565b6040519015158152602001610178565b3480156101bb575f80fd5b506101c560125481565b604051908152602001610178565b3480156101de575f80fd5b506101c5610434565b3480156101f2575f80fd5b506101a061020136600461160c565b610454565b348015610211575f80fd5b5061021a6104bb565b005b348015610227575f80fd5b5060405160098152602001610178565b348015610242575f80fd5b506101a061025136600461164a565b6001600160a01b03165f9081526004602052604090205460ff1690565b348015610279575f80fd5b5061021a6104f8565b34801561028d575f80fd5b506101c561029c36600461164a565b6001600160a01b03165f9081526001602052604090205490565b3480156102c1575f80fd5b5061021a61054e565b3480156102d5575f80fd5b5061021a6105c8565b3480156102e9575f80fd5b506101c5600f5481565b3480156102fe575f80fd5b505f546040516001600160a01b039091168152602001610178565b348015610324575f80fd5b506101c560105481565b348015610339575f80fd5b506040805180820190915260048152635a454e4f60e01b602082015261016b565b348015610365575f80fd5b506101a06103743660046115e2565b610679565b348015610384575f80fd5b506101c560115481565b348015610399575f80fd5b506006546101a09060ff1681565b3480156103b2575f80fd5b5061021a610685565b3480156103c6575f80fd5b506101c56103d5366004611665565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561040a575f80fd5b5061021a61041936600461169c565b610a2e565b5f61042a338484610a78565b5060015b92915050565b5f6104416009600a6117a7565b61044f906305f5e1006117b5565b905090565b5f610460848484610b9b565b6104b184336104ac85604051806060016040528060288152602001611947602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906111f8565b610a78565b5060019392505050565b60065461010090046001600160a01b0316336001600160a01b0316146104df575f80fd5b6006805460ff191690556014805460ff60b81b19169055565b60065461010090046001600160a01b0316336001600160a01b03161461051c575f80fd5b305f90815260016020526040902054801561053a5761053a81611230565b47801561054a5761054a816113a0565b5050565b5f546001600160a01b031633146105805760405162461bcd60e51b8152600401610577906117cc565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105f15760405162461bcd60e51b8152600401610577906117cc565b6105fd6009600a6117a7565b61060b906305f5e1006117b5565b600f5561061a6009600a6117a7565b610628906305f5e1006117b5565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106586009600a6117a7565b610666906305f5e1006117b5565b60405190815260200160405180910390a1565b5f61042a338484610b9b565b5f546001600160a01b031633146106ae5760405162461bcd60e51b8152600401610577906117cc565b601454600160a01b900460ff16156107085760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610577565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107519030906107436009600a6117a7565b6104ac906305f5e1006117b5565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107a1573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107c59190611801565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610824573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108489190611801565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610892573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108b69190611801565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d71947306108fd816001600160a01b03165f9081526001602052604090205490565b5f806109105f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610976573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061099b919061181c565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109f0573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a149190611847565b506014805462ff00ff60a01b19166201000160a01b179055565b60065461010090046001600160a01b0316336001600160a01b031614610a52575f80fd5b6009548111158015610a665750600a548111155b610a6e575f80fd5b6009819055600a55565b6001600160a01b038316610ada5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610577565b6001600160a01b038216610b3b5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610577565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610bff5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610577565b6001600160a01b038216610c615760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610577565b5f8111610cc25760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610577565b5f80546001600160a01b03858116911614801590610ced57505f546001600160a01b03848116911614155b156110bb576001600160a01b0384165f9081526004602052604090205460ff16158015610d3257506001600160a01b0383165f9081526004602052604090205460ff16155b610d3a575f80fd5b610d666064610d60600b54600e5411610d5557600754610d59565b6009545b85906113db565b90611460565b60065490915060ff1615610e4c576013546001600160a01b03848116911614801590610da057506014546001600160a01b03848116911614155b15610e4c57325f908152600560205260409020544311610e3a5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610577565b325f9081526005602052604090204390555b6014546001600160a01b038581169116148015610e7757506013546001600160a01b03848116911614155b8015610e9b57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f8157600f54821115610ef25760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610577565b60105482610f14856001600160a01b03165f9081526001602052604090205490565b610f1e9190611866565b1115610f6c5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610577565b600e8054905f610f7b83611879565b91905055505b6014546001600160a01b038481169116148015610fa757506001600160a01b0384163014155b15610fd457610fd16064610d60600c54600e5411610fc757600854610d59565b600a5485906113db565b90505b305f90815260016020526040902054601454600160a81b900460ff1615801561100a57506014546001600160a01b038581169116145b801561101f5750601454600160b01b900460ff165b801561102c575060115481115b801561103b5750600d54600e54115b156110b957601454600160b81b900460ff16156110945743601554101561108f576110796110748461106f846012546114a1565b6114a1565b611230565b47801561108957611089476113a0565b50436015555b6110b9565b6110a76110748461106f846012546114a1565b4780156110b7576110b7476113a0565b505b505b801561113357305f908152600160205260409020546110da90826114b5565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061112a9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111559083611513565b6001600160a01b0385165f9081526001602052604090205561119861117a8383611513565b6001600160a01b0385165f90815260016020526040902054906114b5565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111e18585611513565b60405190815260200160405180910390a350505050565b5f818484111561121b5760405162461bcd60e51b81526004016105779190611580565b505f6112278486611891565b95945050505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611276576112766118a4565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112cd573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112f19190611801565b81600181518110611304576113046118a4565b6001600160a01b03928316602091820292909201015260135461132a9130911684610a78565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906113629085905f908690309042906004016118b8565b5f604051808303815f87803b158015611379575f80fd5b505af115801561138b573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f1935050505015801561054a573d5f803e3d5ffd5b5f825f036113ea57505f61042e565b5f6113f583856117b5565b9050826114028583611927565b146114595760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610577565b9392505050565b5f61145983836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611554565b5f8183116114af5782611459565b50919050565b5f806114c18385611866565b9050838110156114595760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610577565b5f61145983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111f8565b5f81836115745760405162461bcd60e51b81526004016105779190611580565b505f6112278486611927565b5f6020808352835180828501525f5b818110156115ab5785810183015185820160400152820161158f565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146115df575f80fd5b50565b5f80604083850312156115f3575f80fd5b82356115fe816115cb565b946020939093013593505050565b5f805f6060848603121561161e575f80fd5b8335611629816115cb565b92506020840135611639816115cb565b929592945050506040919091013590565b5f6020828403121561165a575f80fd5b8135611459816115cb565b5f8060408385031215611676575f80fd5b8235611681816115cb565b91506020830135611691816115cb565b809150509250929050565b5f602082840312156116ac575f80fd5b5035919050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561170157815f19048211156116e7576116e76116b3565b808516156116f457918102915b93841c93908002906116cc565b509250929050565b5f826117175750600161042e565b8161172357505f61042e565b816001811461173957600281146117435761175f565b600191505061042e565b60ff841115611754576117546116b3565b50506001821b61042e565b5060208310610133831016604e8410600b8410161715611782575081810a61042e565b61178c83836116c7565b805f190482111561179f5761179f6116b3565b029392505050565b5f61145960ff841683611709565b808202811582820484141761042e5761042e6116b3565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611811575f80fd5b8151611459816115cb565b5f805f6060848603121561182e575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611857575f80fd5b81518015158114611459575f80fd5b8082018082111561042e5761042e6116b3565b5f6001820161188a5761188a6116b3565b5060010190565b8181038181111561042e5761042e6116b3565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156119065784516001600160a01b0316835293830193918301916001016118e1565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261194157634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206b236c79e27c79d4faceb23ac3a705ad29ffcee6a487ce832e06b8e32ca2898964736f6c63430008140033

0x608060405260043610610134575f3560e01c8063751039fc116100a8578063a9059cbb1161006d578063a9059cbb1461035a578063bf474bed14610379578063c876d0b91461038e578063c9567bf9146103a7578063dd62ed3e146103bb578063ec1f3f63146103ff575f80fd5b8063751039fc146102ca5780637d1db4a5146102de5780638da5cb5b146102f35780638f9a55c01461031957806395d89b411461032e575f80fd5b806324b4eb93116100f957806324b4eb9314610206578063313ce5671461021c5780633bbac5791461023757806351bc3c851461026e57806370a0823114610282578063715018a6146102b6575f80fd5b806306fdde031461013f578063095ea7b3146101815780630faee56f146101b057806318160ddd146101d357806323b872dd146101e7575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b5060408051808201909152600881526716995b9bd0d85c9960c21b60208201525b6040516101789190611580565b60405180910390f35b34801561018c575f80fd5b506101a061019b3660046115e2565b61041e565b6040519015158152602001610178565b3480156101bb575f80fd5b506101c560125481565b604051908152602001610178565b3480156101de575f80fd5b506101c5610434565b3480156101f2575f80fd5b506101a061020136600461160c565b610454565b348015610211575f80fd5b5061021a6104bb565b005b348015610227575f80fd5b5060405160098152602001610178565b348015610242575f80fd5b506101a061025136600461164a565b6001600160a01b03165f9081526004602052604090205460ff1690565b348015610279575f80fd5b5061021a6104f8565b34801561028d575f80fd5b506101c561029c36600461164a565b6001600160a01b03165f9081526001602052604090205490565b3480156102c1575f80fd5b5061021a61054e565b3480156102d5575f80fd5b5061021a6105c8565b3480156102e9575f80fd5b506101c5600f5481565b3480156102fe575f80fd5b505f546040516001600160a01b039091168152602001610178565b348015610324575f80fd5b506101c560105481565b348015610339575f80fd5b506040805180820190915260048152635a454e4f60e01b602082015261016b565b348015610365575f80fd5b506101a06103743660046115e2565b610679565b348015610384575f80fd5b506101c560115481565b348015610399575f80fd5b506006546101a09060ff1681565b3480156103b2575f80fd5b5061021a610685565b3480156103c6575f80fd5b506101c56103d5366004611665565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561040a575f80fd5b5061021a61041936600461169c565b610a2e565b5f61042a338484610a78565b5060015b92915050565b5f6104416009600a6117a7565b61044f906305f5e1006117b5565b905090565b5f610460848484610b9b565b6104b184336104ac85604051806060016040528060288152602001611947602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906111f8565b610a78565b5060019392505050565b60065461010090046001600160a01b0316336001600160a01b0316146104df575f80fd5b6006805460ff191690556014805460ff60b81b19169055565b60065461010090046001600160a01b0316336001600160a01b03161461051c575f80fd5b305f90815260016020526040902054801561053a5761053a81611230565b47801561054a5761054a816113a0565b5050565b5f546001600160a01b031633146105805760405162461bcd60e51b8152600401610577906117cc565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105f15760405162461bcd60e51b8152600401610577906117cc565b6105fd6009600a6117a7565b61060b906305f5e1006117b5565b600f5561061a6009600a6117a7565b610628906305f5e1006117b5565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106586009600a6117a7565b610666906305f5e1006117b5565b60405190815260200160405180910390a1565b5f61042a338484610b9b565b5f546001600160a01b031633146106ae5760405162461bcd60e51b8152600401610577906117cc565b601454600160a01b900460ff16156107085760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610577565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107519030906107436009600a6117a7565b6104ac906305f5e1006117b5565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107a1573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107c59190611801565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610824573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108489190611801565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610892573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108b69190611801565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d71947306108fd816001600160a01b03165f9081526001602052604090205490565b5f806109105f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610976573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061099b919061181c565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109f0573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a149190611847565b506014805462ff00ff60a01b19166201000160a01b179055565b60065461010090046001600160a01b0316336001600160a01b031614610a52575f80fd5b6009548111158015610a665750600a548111155b610a6e575f80fd5b6009819055600a55565b6001600160a01b038316610ada5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610577565b6001600160a01b038216610b3b5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610577565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610bff5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610577565b6001600160a01b038216610c615760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610577565b5f8111610cc25760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610577565b5f80546001600160a01b03858116911614801590610ced57505f546001600160a01b03848116911614155b156110bb576001600160a01b0384165f9081526004602052604090205460ff16158015610d3257506001600160a01b0383165f9081526004602052604090205460ff16155b610d3a575f80fd5b610d666064610d60600b54600e5411610d5557600754610d59565b6009545b85906113db565b90611460565b60065490915060ff1615610e4c576013546001600160a01b03848116911614801590610da057506014546001600160a01b03848116911614155b15610e4c57325f908152600560205260409020544311610e3a5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610577565b325f9081526005602052604090204390555b6014546001600160a01b038581169116148015610e7757506013546001600160a01b03848116911614155b8015610e9b57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f8157600f54821115610ef25760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610577565b60105482610f14856001600160a01b03165f9081526001602052604090205490565b610f1e9190611866565b1115610f6c5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610577565b600e8054905f610f7b83611879565b91905055505b6014546001600160a01b038481169116148015610fa757506001600160a01b0384163014155b15610fd457610fd16064610d60600c54600e5411610fc757600854610d59565b600a5485906113db565b90505b305f90815260016020526040902054601454600160a81b900460ff1615801561100a57506014546001600160a01b038581169116145b801561101f5750601454600160b01b900460ff165b801561102c575060115481115b801561103b5750600d54600e54115b156110b957601454600160b81b900460ff16156110945743601554101561108f576110796110748461106f846012546114a1565b6114a1565b611230565b47801561108957611089476113a0565b50436015555b6110b9565b6110a76110748461106f846012546114a1565b4780156110b7576110b7476113a0565b505b505b801561113357305f908152600160205260409020546110da90826114b5565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061112a9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111559083611513565b6001600160a01b0385165f9081526001602052604090205561119861117a8383611513565b6001600160a01b0385165f90815260016020526040902054906114b5565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111e18585611513565b60405190815260200160405180910390a350505050565b5f818484111561121b5760405162461bcd60e51b81526004016105779190611580565b505f6112278486611891565b95945050505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611276576112766118a4565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112cd573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112f19190611801565b81600181518110611304576113046118a4565b6001600160a01b03928316602091820292909201015260135461132a9130911684610a78565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906113629085905f908690309042906004016118b8565b5f604051808303815f87803b158015611379575f80fd5b505af115801561138b573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f1935050505015801561054a573d5f803e3d5ffd5b5f825f036113ea57505f61042e565b5f6113f583856117b5565b9050826114028583611927565b146114595760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610577565b9392505050565b5f61145983836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611554565b5f8183116114af5782611459565b50919050565b5f806114c18385611866565b9050838110156114595760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610577565b5f61145983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111f8565b5f81836115745760405162461bcd60e51b81526004016105779190611580565b505f6112278486611927565b5f6020808352835180828501525f5b818110156115ab5785810183015185820160400152820161158f565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146115df575f80fd5b50565b5f80604083850312156115f3575f80fd5b82356115fe816115cb565b946020939093013593505050565b5f805f6060848603121561161e575f80fd5b8335611629816115cb565b92506020840135611639816115cb565b929592945050506040919091013590565b5f6020828403121561165a575f80fd5b8135611459816115cb565b5f8060408385031215611676575f80fd5b8235611681816115cb565b91506020830135611691816115cb565b809150509250929050565b5f602082840312156116ac575f80fd5b5035919050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561170157815f19048211156116e7576116e76116b3565b808516156116f457918102915b93841c93908002906116cc565b509250929050565b5f826117175750600161042e565b8161172357505f61042e565b816001811461173957600281146117435761175f565b600191505061042e565b60ff841115611754576117546116b3565b50506001821b61042e565b5060208310610133831016604e8410600b8410161715611782575081810a61042e565b61178c83836116c7565b805f190482111561179f5761179f6116b3565b029392505050565b5f61145960ff841683611709565b808202811582820484141761042e5761042e6116b3565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611811575f80fd5b8151611459816115cb565b5f805f6060848603121561182e575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611857575f80fd5b81518015158114611459575f80fd5b8082018082111561042e5761042e6116b3565b5f6001820161188a5761188a6116b3565b5060010190565b8181038181111561042e5761042e6116b3565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156119065784516001600160a01b0316835293830193918301916001016118e1565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261194157634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206b236c79e27c79d4faceb23ac3a705ad29ffcee6a487ce832e06b8e32ca2898964736f6c63430008140033

3712:9102:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5715:83;;;;;;;;;;-1:-1:-1;5785:5:0;;;;;;;;;;;;-1:-1:-1;;;5785:5:0;;;;5715:83;;;;;;;:::i;:::-;;;;;;;;6548:161;;;;;;;;;;-1:-1:-1;6548:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6548:161:0;1023:187:1;4910:52:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4910:52:0;1215:177:1;5992:95:0;;;;;;;;;;;;;:::i;6717:313::-;;;;;;;;;;-1:-1:-1;6717:313:0;;;;;:::i;:::-;;:::i;11156:160::-;;;;;;;;;;;;;:::i;:::-;;5901:83;;;;;;;;;;-1:-1:-1;5901:83:0;;4541:1;2000:36:1;;1988:2;1973:18;5901:83:0;1858:184:1;11424:83:0;;;;;;;;;;-1:-1:-1;11424:83:0;;;;;:::i;:::-;-1:-1:-1;;;;;11492:7:0;11471:4;11492:7;;;:4;:7;;;;;;;;;11424:83;12463:348;;;;;;;;;;;;;:::i;6095:119::-;;;;;;;;;;-1:-1:-1;6095:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6188:18:0;6161:7;6188:18;;;:9;:18;;;;;;;6095:119;2793:148;;;;;;;;;;;;;:::i;10988:160::-;;;;;;;;;;;;;:::i;4726:52::-;;;;;;;;;;;;;;;;2579:79;;;;;;;;;;-1:-1:-1;2617:7:0;2644:6;2579:79;;-1:-1:-1;;;;;2644:6:0;;;2445:51:1;;2433:2;2418:18;2579:79:0;2299:203:1;4785:55:0;;;;;;;;;;;;;;;;5806:87;;;;;;;;;;-1:-1:-1;5878:7:0;;;;;;;;;;;;-1:-1:-1;;;5878:7:0;;;;5806:87;;6222:167;;;;;;;;;;-1:-1:-1;6222:167:0;;;;;:::i;:::-;;:::i;4847:56::-;;;;;;;;;;;;;;;;4098:39;;;;;;;;;;-1:-1:-1;4098:39:0;;;;;;;;11515:671;;;;;;;;;;;;;:::i;6397:143::-;;;;;;;;;;-1:-1:-1;6397:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6505:18:0;;;6478:7;6505:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6397:143;12200:218;;;;;;;;;;-1:-1:-1;12200:218:0;;;;;:::i;:::-;;:::i;6548:161::-;6623:4;6640:39;414:10;6663:7;6672:6;6640:8;:39::i;:::-;-1:-1:-1;6697:4:0;6548:161;;;;;:::o;5992:95::-;6045:7;4596:13;4541:1;4596:2;:13;:::i;:::-;4584:25;;:9;:25;:::i;:::-;6065:14;;5992:95;:::o;6717:313::-;6815:4;6832:36;6842:6;6850:9;6861:6;6832:9;:36::i;:::-;6879:121;6888:6;414:10;6910:89;6948:6;6910:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6910:19:0;;;;;;:11;:19;;;;;;;;414:10;6910:33;;;;;;;;;;:37;:89::i;:::-;6879:8;:121::i;:::-;-1:-1:-1;7018:4:0;6717:313;;;;;:::o;11156:160::-;11228:10;;;;;-1:-1:-1;;;;;11228:10:0;414;-1:-1:-1;;;;;11214:24:0;;11206:33;;;;;;11250:20;:28;;-1:-1:-1;;11250:28:0;;;11289:11;:19;;-1:-1:-1;;;;11289:19:0;;;11156:160::o;12463:348::-;12527:10;;;;;-1:-1:-1;;;;;12527:10:0;414;-1:-1:-1;;;;;12513:24:0;;12505:33;;;;;;12588:4;12549:20;6188:18;;;:9;:18;;;;;;12608:14;;12605:73;;12636:30;12653:12;12636:16;:30::i;:::-;12707:21;12742:12;;12739:65;;12768:24;12781:10;12768:12;:24::i;:::-;12494:317;;12463:348::o;2793:148::-;2706:6;;-1:-1:-1;;;;;2706:6:0;414:10;2706:22;2698:67;;;;-1:-1:-1;;;2698:67:0;;;;;;;:::i;:::-;;;;;;;;;2900:1:::1;2884:6:::0;;2863:40:::1;::::0;-1:-1:-1;;;;;2884:6:0;;::::1;::::0;2863:40:::1;::::0;2900:1;;2863:40:::1;2931:1;2914:19:::0;;-1:-1:-1;;;;;;2914:19:0::1;::::0;;2793:148::o;10988:160::-;2706:6;;-1:-1:-1;;;;;2706:6:0;414:10;2706:22;2698:67;;;;-1:-1:-1;;;2698:67:0;;;;;;;:::i;:::-;4596:13:::1;4541:1;4596:2;:13;:::i;:::-;4584:25;::::0;:9:::1;:25;:::i;:::-;11042:12;:22:::0;4596:13:::1;4541:1;4596:2;:13;:::i;:::-;4584:25;::::0;:9:::1;:25;:::i;:::-;11075:14;:22:::0;11113:27:::1;4596:13;4541:1;4596:2;:13;:::i;:::-;4584:25;::::0;:9:::1;:25;:::i;:::-;11113:27;::::0;1361:25:1;;;1349:2;1334:18;11113:27:0::1;;;;;;;10988:160::o:0;6222:167::-;6300:4;6317:42;414:10;6341:9;6352:6;6317:9;:42::i;11515:671::-;2706:6;;-1:-1:-1;;;;;2706:6:0;414:10;2706:22;2698:67;;;;-1:-1:-1;;;2698:67:0;;;;;;;:::i;:::-;11579:11:::1;::::0;-1:-1:-1;;;11579:11:0;::::1;;;11578:12;11570:47;;;::::0;-1:-1:-1;;;11570:47:0;;5336:2:1;11570:47:0::1;::::0;::::1;5318:21:1::0;5375:2;5355:18;;;5348:30;5414:25;5394:18;;;5387:53;5457:18;;11570:47:0::1;5134:347:1::0;11570:47:0::1;11628:15;:80:::0;;-1:-1:-1;;;;;;11628:80:0::1;11665:42;11628:80:::0;;::::1;::::0;;;11719:58:::1;::::0;11736:4:::1;::::0;4596:13:::1;4541:1;4596:2;:13;:::i;:::-;4584:25;::::0;:9:::1;:25;:::i;11719:58::-;11822:15;;;;;;;;;-1:-1:-1::0;;;;;11822:15:0::1;-1:-1:-1::0;;;;;11822:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11804:55:0::1;;11868:4;11875:15;;;;;;;;;-1:-1:-1::0;;;;;11875:15:0::1;-1:-1:-1::0;;;;;11875:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11804:94;::::0;-1:-1:-1;;;;;;11804:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5972:15:1;;;11804:94:0::1;::::0;::::1;5954:34:1::0;6024:15;;6004:18;;;5997:43;5889:18;;11804:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11788:13;:110:::0;;-1:-1:-1;;;;;11788:110:0;;::::1;-1:-1:-1::0;;;;;;11788:110:0;;::::1;;::::0;;11909:15:::1;::::0;::::1;:31;11948:21;11979:4;11985:24;11979:4:::0;-1:-1:-1;;;;;6188:18:0;6161:7;6188:18;;;:9;:18;;;;;;;6095:119;11985:24:::1;12010:1;12012::::0;12014:7:::1;2617::::0;2644:6;-1:-1:-1;;;;;2644:6:0;;2579:79;12014:7:::1;11909:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11909:129:0;;;-1:-1:-1;;;;;6410:15:1;;;11909:129:0::1;::::0;::::1;6392:34:1::0;6442:18;;;6435:34;;;;6485:18;;;6478:34;;;;6528:18;;;6521:34;6592:15;;;6571:19;;;6564:44;12022:15:0::1;6624:19:1::0;;;6617:35;6326:19;;11909:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12056:13:0::1;::::0;12087:15:::1;::::0;12049:71:::1;::::0;-1:-1:-1;;;12049:71:0;;-1:-1:-1;;;;;12087:15:0;;::::1;12049:71;::::0;::::1;7148:51:1::0;-1:-1:-1;;7215:18:1;;;7208:34;12056:13:0;::::1;::::0;-1:-1:-1;12049:29:0::1;::::0;7121:18:1;;12049:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12131:11:0::1;:18:::0;;-1:-1:-1;;;;12160:18:0;-1:-1:-1;;;12160:18:0;;;11515:671::o;12200:218::-;12275:10;;;;;-1:-1:-1;;;;;12275:10:0;414;-1:-1:-1;;;;;12261:24:0;;12253:33;;;;;;12312:12;;12303:7;:21;;:47;;;;;12337:13;;12328:7;:22;;12303:47;12295:56;;;;;;12360:12;:20;;;12389:13;:21;12200:218::o;7038:335::-;-1:-1:-1;;;;;7131:19:0;;7123:68;;;;-1:-1:-1;;;7123:68:0;;7737:2:1;7123:68:0;;;7719:21:1;7776:2;7756:18;;;7749:30;7815:34;7795:18;;;7788:62;-1:-1:-1;;;7866:18:1;;;7859:34;7910:19;;7123:68:0;7535:400:1;7123:68:0;-1:-1:-1;;;;;7210:21:0;;7202:68;;;;-1:-1:-1;;;7202:68:0;;8142:2:1;7202:68:0;;;8124:21:1;8181:2;8161:18;;;8154:30;8220:34;8200:18;;;8193:62;-1:-1:-1;;;8271:18:1;;;8264:32;8313:19;;7202:68:0;7940:398:1;7202:68:0;-1:-1:-1;;;;;7281:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7333:32;;1361:25:1;;;7333:32:0;;1334:18:1;7333:32:0;;;;;;;7038:335;;;:::o;7381:3000::-;-1:-1:-1;;;;;7469:18:0;;7461:68;;;;-1:-1:-1;;;7461:68:0;;8545:2:1;7461:68:0;;;8527:21:1;8584:2;8564:18;;;8557:30;8623:34;8603:18;;;8596:62;-1:-1:-1;;;8674:18:1;;;8667:35;8719:19;;7461:68:0;8343:401:1;7461:68:0;-1:-1:-1;;;;;7548:16:0;;7540:64;;;;-1:-1:-1;;;7540:64:0;;8951:2:1;7540:64:0;;;8933:21:1;8990:2;8970:18;;;8963:30;9029:34;9009:18;;;9002:62;-1:-1:-1;;;9080:18:1;;;9073:33;9123:19;;7540:64:0;8749:399:1;7540:64:0;7632:1;7623:6;:10;7615:64;;;;-1:-1:-1;;;7615:64:0;;9355:2:1;7615:64:0;;;9337:21:1;9394:2;9374:18;;;9367:30;9433:34;9413:18;;;9406:62;-1:-1:-1;;;9484:18:1;;;9477:39;9533:19;;7615:64:0;9153:405:1;7615:64:0;7690:17;2644:6;;-1:-1:-1;;;;;7724:15:0;;;2644:6;;7724:15;;;;:32;;-1:-1:-1;2617:7:0;2644:6;-1:-1:-1;;;;;7743:13:0;;;2644:6;;7743:13;;7724:32;7720:2305;;;-1:-1:-1;;;;;7782:10:0;;;;;;:4;:10;;;;;;;;7781:11;:24;;;;-1:-1:-1;;;;;;7797:8:0;;;;;;:4;:8;;;;;;;;7796:9;7781:24;7773:33;;;;;;7833:76;7905:3;7833:67;7855:15;;7845:9;;:25;7844:55;;7885:14;;7844:55;;;7872:12;;7844:55;7833:6;;:10;:67::i;:::-;:71;;:76::i;:::-;7930:20;;7821:88;;-1:-1:-1;7930:20:0;;7926:508;;;7991:15;;-1:-1:-1;;;;;7977:30:0;;;7991:15;;7977:30;;;;:62;;-1:-1:-1;8025:13:0;;-1:-1:-1;;;;;8011:28:0;;;8025:13;;8011:28;;7977:62;7973:444;;;8131:9;8102:39;;;;:28;:39;;;;;;8175:12;-1:-1:-1;8066:250:0;;;;-1:-1:-1;;;8066:250:0;;9765:2:1;8066:250:0;;;9747:21:1;9804:2;9784:18;;;9777:30;9843:34;9823:18;;;9816:62;9914:34;9894:18;;;9887:62;-1:-1:-1;;;9965:19:1;;;9958:40;10015:19;;8066:250:0;9563:477:1;8066:250:0;8370:9;8341:39;;;;:28;:39;;;;;8383:12;8341:54;;7973:444;8462:13;;-1:-1:-1;;;;;8454:21:0;;;8462:13;;8454:21;:55;;;;-1:-1:-1;8493:15:0;;-1:-1:-1;;;;;8479:30:0;;;8493:15;;8479:30;;8454:55;:83;;;;-1:-1:-1;;;;;;8515:22:0;;;;;;:18;:22;;;;;;;;8513:24;8454:83;8450:313;;;8577:12;;8567:6;:22;;8559:60;;;;-1:-1:-1;;;8559:60:0;;10247:2:1;8559:60:0;;;10229:21:1;10286:2;10266:18;;;10259:30;10325:27;10305:18;;;10298:55;10370:18;;8559:60:0;10045:349:1;8559:60:0;8672:14;;8662:6;8646:13;8656:2;-1:-1:-1;;;;;6188:18:0;6161:7;6188:18;;;:9;:18;;;;;;;6095:119;8646:13;:22;;;;:::i;:::-;:40;;8638:79;;;;-1:-1:-1;;;8638:79:0;;10731:2:1;8638:79:0;;;10713:21:1;10770:2;10750:18;;;10743:30;10809:28;10789:18;;;10782:56;10855:18;;8638:79:0;10529:350:1;8638:79:0;8736:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8450:313;8788:13;;-1:-1:-1;;;;;8782:19:0;;;8788:13;;8782:19;:43;;;;-1:-1:-1;;;;;;8805:20:0;;8820:4;8805:20;;8782:43;8779:174;;;8858:79;8933:3;8858:70;8880:16;;8870:9;;:26;8869:58;;8912:15;;8869:58;;;8898:13;;8858:6;;:10;:70::i;:79::-;8846:91;;8779:174;9018:4;8969:28;6188:18;;;:9;:18;;;;;;9044:6;;-1:-1:-1;;;9044:6:0;;;;9043:7;:32;;;;-1:-1:-1;9062:13:0;;-1:-1:-1;;;;;9054:21:0;;;9062:13;;9054:21;9043:32;:47;;;;-1:-1:-1;9079:11:0;;-1:-1:-1;;;9079:11:0;;;;9043:47;:89;;;;;9115:17;;9094:20;:38;9043:89;:121;;;;;9146:18;;9136:9;;:28;9043:121;9039:975;;;9189:11;;-1:-1:-1;;;9189:11:0;;;;9185:814;;;9245:12;9229:13;;:28;9225:431;;;9286:67;9303:49;9307:6;9314:37;9318:20;9339:11;;9314:3;:37::i;:::-;9303:3;:49::i;:::-;9286:16;:67::i;:::-;9409:21;9460:22;;9457:121;;9515:35;9528:21;9515:12;:35::i;:::-;-1:-1:-1;9620:12:0;9604:13;:28;9225:431;9185:814;;;9704:67;9721:49;9725:6;9732:37;9736:20;9757:11;;9732:3;:37::i;9704:67::-;9823:21;9870:22;;9867:113;;9921:35;9934:21;9921:12;:35::i;:::-;9681:318;9185:814;7758:2267;7720:2305;10040:11;;10037:161;;10108:4;10090:24;;;;:9;:24;;;;;;:39;;10119:9;10090:28;:39::i;:::-;10083:4;10065:24;;;;:9;:24;;;;;;;:64;;;;10147:39;;-1:-1:-1;;;;;10147:39:0;;;;;;;10176:9;1361:25:1;;1349:2;1334:18;;1215:177;10147:39:0;;;;;;;;10037:161;-1:-1:-1;;;;;10224:15:0;;;;;;:9;:15;;;;;;:27;;10244:6;10224:19;:27::i;:::-;-1:-1:-1;;;;;10208:15:0;;;;;;:9;:15;;;;;:43;10276:40;10294:21;:6;10305:9;10294:10;:21::i;:::-;-1:-1:-1;;;;;10276:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;10262:13:0;;;;;;;:9;:13;;;;;:54;;;;10332:41;;;10351:21;:6;10362:9;10351:10;:21::i;:::-;10332:41;;1361:25:1;;;1349:2;1334:18;10332:41:0;;;;;;;7450:2931;7381:3000;;;:::o;1471:190::-;1557:7;1593:12;1585:6;;;;1577:29;;;;-1:-1:-1;;;1577:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1617:9:0;1629:5;1633:1;1629;:5;:::i;:::-;1617:17;1471:190;-1:-1:-1;;;;;1471:190:0:o;10497:483::-;5324:6;:13;;-1:-1:-1;;;;5324:13:0;-1:-1:-1;;;5324:13:0;;;10599:16:::1;::::0;;10613:1:::1;10599:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10599:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10599:16:0::1;10575:40;;10644:4;10626;10631:1;10626:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10626:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10670:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10670:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10626:7;;10670:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10660:4;10665:1;10660:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10660:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10735:15:::1;::::0;10703:62:::1;::::0;10720:4:::1;::::0;10735:15:::1;10753:11:::0;10703:8:::1;:62::i;:::-;10776:15;::::0;:196:::1;::::0;-1:-1:-1;;;10776:196:0;;-1:-1:-1;;;;;10776:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10857:11;;10776:15:::1;::::0;10899:4;;10926::::1;::::0;10946:15:::1;::::0;10776:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5360:6:0;:14;;-1:-1:-1;;;;5360:14:0;;;-1:-1:-1;;;;10497:483:0:o;11324:92::-;11381:10;;:27;;:10;;;;-1:-1:-1;;;;;11381:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;1669:246;1727:7;1751:1;1756;1751:6;1747:47;;-1:-1:-1;1781:1:0;1774:8;;1747:47;1804:9;1816:5;1820:1;1816;:5;:::i;:::-;1804:17;-1:-1:-1;1849:1:0;1840:5;1844:1;1804:17;1840:5;:::i;:::-;:10;1832:56;;;;-1:-1:-1;;;1832:56:0;;12830:2:1;1832:56:0;;;12812:21:1;12869:2;12849:18;;;12842:30;12908:34;12888:18;;;12881:62;-1:-1:-1;;;12959:18:1;;;12952:31;13000:19;;1832:56:0;12628:397:1;1832:56:0;1906:1;1669:246;-1:-1:-1;;;1669:246:0:o;1923:132::-;1981:7;2008:39;2012:1;2015;2008:39;;;;;;;;;;;;;;;;;:3;:39::i;10391:98::-;10448:7;10475:1;10473;:3;10472:9;;10480:1;10472:9;;;-1:-1:-1;10478:1:0;10391:98;-1:-1:-1;10391:98:0:o;1140:179::-;1198:7;;1230:5;1234:1;1230;:5;:::i;:::-;1218:17;;1259:1;1254;:6;;1246:46;;;;-1:-1:-1;;;1246:46:0;;13232:2:1;1246:46:0;;;13214:21:1;13271:2;13251:18;;;13244:30;13310:29;13290:18;;;13283:57;13357:18;;1246:46:0;13030:351:1;1327:136:0;1385:7;1412:43;1416:1;1419;1412:43;;;;;;;;;;;;;;;;;:3;:43::i;2063:189::-;2149:7;2184:12;2177:5;2169:28;;;;-1:-1:-1;;;2169:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2208:9:0;2220:5;2224:1;2220;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;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:180::-;2959:6;3012:2;3000:9;2991:7;2987:23;2983:32;2980:52;;;3028:1;3025;3018:12;2980:52;-1:-1:-1;3051:23:1;;2900:180;-1:-1:-1;2900:180:1:o;3085:127::-;3146:10;3141:3;3137:20;3134:1;3127:31;3177:4;3174:1;3167:15;3201:4;3198:1;3191:15;3217:422;3306:1;3349:5;3306:1;3363:270;3384:7;3374:8;3371:21;3363:270;;;3443:4;3439:1;3435:6;3431:17;3425:4;3422:27;3419:53;;;3452:18;;:::i;:::-;3502:7;3492:8;3488:22;3485:55;;;3522:16;;;;3485:55;3601:22;;;;3561:15;;;;3363:270;;;3367:3;3217:422;;;;;:::o;3644:806::-;3693:5;3723:8;3713:80;;-1:-1:-1;3764:1:1;3778:5;;3713:80;3812:4;3802:76;;-1:-1:-1;3849:1:1;3863:5;;3802:76;3894:4;3912:1;3907:59;;;;3980:1;3975:130;;;;3887:218;;3907:59;3937:1;3928:10;;3951:5;;;3975:130;4012:3;4002:8;3999:17;3996:43;;;4019:18;;:::i;:::-;-1:-1:-1;;4075:1:1;4061:16;;4090:5;;3887:218;;4189:2;4179:8;4176:16;4170:3;4164:4;4161:13;4157:36;4151:2;4141:8;4138:16;4133:2;4127:4;4124:12;4120:35;4117:77;4114:159;;;-1:-1:-1;4226:19:1;;;4258:5;;4114:159;4305:34;4330:8;4324:4;4305:34;:::i;:::-;4375:6;4371:1;4367:6;4363:19;4354:7;4351:32;4348:58;;;4386:18;;:::i;:::-;4424:20;;3644:806;-1:-1:-1;;;3644:806:1:o;4455:140::-;4513:5;4542:47;4583:4;4573:8;4569:19;4563:4;4542:47;:::i;4600:168::-;4673:9;;;4704;;4721:15;;;4715:22;;4701:37;4691:71;;4742:18;;:::i;4773:356::-;4975:2;4957:21;;;4994:18;;;4987:30;5053:34;5048:2;5033:18;;5026:62;5120:2;5105:18;;4773:356::o;5486:251::-;5556:6;5609:2;5597:9;5588:7;5584:23;5580:32;5577:52;;;5625:1;5622;5615:12;5577:52;5657:9;5651:16;5676:31;5701:5;5676:31;:::i;6663:306::-;6751:6;6759;6767;6820:2;6808:9;6799:7;6795:23;6791:32;6788:52;;;6836:1;6833;6826:12;6788:52;6865:9;6859:16;6849:26;;6915:2;6904:9;6900:18;6894:25;6884:35;;6959:2;6948:9;6944:18;6938:25;6928:35;;6663:306;;;;;:::o;7253:277::-;7320:6;7373:2;7361:9;7352:7;7348:23;7344:32;7341:52;;;7389:1;7386;7379:12;7341:52;7421:9;7415:16;7474:5;7467:13;7460:21;7453:5;7450:32;7440:60;;7496:1;7493;7486:12;10399:125;10464:9;;;10485:10;;;10482:36;;;10498:18;;:::i;10884:135::-;10923:3;10944:17;;;10941:43;;10964:18;;:::i;:::-;-1:-1:-1;11011:1:1;11000:13;;10884:135::o;11024:128::-;11091:9;;;11112:11;;;11109:37;;;11126:18;;:::i;11289:127::-;11350:10;11345:3;11341:20;11338:1;11331:31;11381:4;11378:1;11371:15;11405:4;11402:1;11395:15;11421:980;11683:4;11731:3;11720:9;11716:19;11762:6;11751:9;11744:25;11788:2;11826:6;11821:2;11810:9;11806:18;11799:34;11869:3;11864:2;11853:9;11849:18;11842:31;11893:6;11928;11922:13;11959:6;11951;11944:22;11997:3;11986:9;11982:19;11975:26;;12036:2;12028:6;12024:15;12010:29;;12057:1;12067:195;12081:6;12078:1;12075:13;12067:195;;;12146:13;;-1:-1:-1;;;;;12142:39:1;12130:52;;12237:15;;;;12202:12;;;;12178:1;12096:9;12067:195;;;-1:-1:-1;;;;;;;12318:32:1;;;;12313:2;12298:18;;12291:60;-1:-1:-1;;;12382:3:1;12367:19;12360:35;12279:3;11421:980;-1:-1:-1;;;11421:980:1:o;12406:217::-;12446:1;12472;12462:132;;12516:10;12511:3;12507:20;12504:1;12497:31;12551:4;12548:1;12541:15;12579:4;12576:1;12569:15;12462:132;-1:-1:-1;12608:9:1;;12406:217::o

ipfs://6b236c79e27c79d4faceb23ac3a705ad29ffcee6a487ce832e06b8e32ca28989