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 WLFI6900 is Context, IERC ... *    - 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 setFee(uint newBuyFee, uint ...    - function sendETHToFee(uint256 amount)    - function withdrawETH()    - function openTrading()    - function manualSwap()    - function manualSend()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-10-13
*/

//t.me/WLFI6900
//x.com/WLFI6900ETH
//www.wlfi6900.com

// SPDX-License-Identifier: Unlicensed

pragma solidity 0.8.25;
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 WLFI6900 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;
    address payable public _taxWallet;

    uint256 private _buyTax=10;
    uint256 private _sellTax=10;
    uint256 private _preventSwapBefore=0;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 69000000 * 10**_decimals;
    string private constant _name = unicode"World Liberty Financial 6900";
    string private constant _symbol = unicode"WLFI6900";
    uint256 public _maxTxAmount = 1380000 * 10**_decimals;
    uint256 public _maxWalletSize = 1380000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 100 * 10**_decimals;
    uint256 public _maxTaxSwap= 1380000 * 10**_decimals;
    
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    uint256 private sellCount = 0;
    uint256 private lastSellBlock = 0;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    event TransferTaxUpdated(uint _tax);
    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()) {
            if(_buyCount==0){
                taxAmount = amount.mul(_buyTax).div(100);
            }

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

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled && contractTokenBalance > _taxSwapThreshold && _buyCount > _preventSwapBefore) {
                if (block.number > lastSellBlock) {
                    sellCount = 0;
                }
                require(sellCount < 3, "Only 3 sells per block!");
                swapTokensForEth(min(amount, min(contractTokenBalance, _maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
                sellCount++;
                lastSellBlock = block.number;
            }
        }

        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 setFee(uint newBuyFee, uint newSellFee) external onlyOwner {
        _buyTax = newBuyFee;
        _sellTax = newSellFee;
    }

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

    function withdrawETH() external onlyOwner returns (bool) {
        (bool success, ) = owner().call{value: address(this).balance}("");
        return success;
    }

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

    receive() external payable {}

    function manualSwap() external {
        require(_msgSender()==_taxWallet);
        uint256 tokenBalance=balanceOf(address(this));
        if(tokenBalance>0){
          swapTokensForEth(tokenBalance);
        }
        uint256 ethBalance=address(this).balance;
        if(ethBalance>0){
          sendETHToFee(ethBalance);
        }
    }
    function manualSend() external {
        require(_msgSender()==_taxWallet);
        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"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_tax","type":"uint256"}],"name":"TransferTaxUpdated","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":[],"name":"_taxWallet","outputs":[{"internalType":"address payable","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"manualSend","outputs":[],"stateMutability":"nonpayable","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":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"newBuyFee","type":"uint256"},{"internalType":"uint256","name":"newSellFee","type":"uint256"}],"name":"setFee","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":[],"name":"withdrawETH","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600a600555600a6006555f6007555f6008556009600a61002491906102ef565b6100319062150ea0610304565b6009556009600a61004291906102ef565b61004f9062150ea0610304565b600a556009600a61006091906102ef565b61006b906064610304565b600b5561007a6009600a6102ef565b6100879062150ea0610304565b600c55600e805461ffff60a81b191690555f600f8190556010553480156100ac575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b0319163317905561010b6009600a6102ef565b6101199063041cdb40610304565b335f9081526001602081905260408220929092556003906101415f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff19968716179055308152600390935281832080548516600190811790915560045490911683529120805490921617905561019e3390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6101d56009600a6102ef565b6101e39063041cdb40610304565b60405190815260200160405180910390a361031b565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561024757815f190482111561022d5761022d6101f9565b8085161561023a57918102915b93841c9390800290610212565b509250929050565b5f8261025d575060016102e9565b8161026957505f6102e9565b816001811461027f5760028114610289576102a5565b60019150506102e9565b60ff84111561029a5761029a6101f9565b50506001821b6102e9565b5060208310610133831016604e8410600b84101617156102c8575081810a6102e9565b6102d2838361020d565b805f19048211156102e5576102e56101f9565b0290505b92915050565b5f6102fd60ff84168361024f565b9392505050565b80820281158282048414176102e9576102e96101f9565b61190e806103285f395ff3fe608060405260043610610134575f3560e01c8063751039fc116100a8578063a9059cbb1161006d578063a9059cbb14610374578063bf474bed14610393578063c9567bf9146103a8578063dd62ed3e146103bc578063e086e5ec14610400578063f429389014610414575f80fd5b8063751039fc146102ea5780637d1db4a5146102fe5780638da5cb5b146103135780638f9a55c01461032f57806395d89b4114610344575f80fd5b8063313ce567116100f9578063313ce5671461021b57806351bc3c851461023657806352f7c9881461024c5780636f268a991461026b57806370a08231146102a2578063715018a6146102d6575f80fd5b806306fdde031461013f578063095ea7b3146101965780630faee56f146101c557806318160ddd146101e857806323b872dd146101fc575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b5060408051808201909152601c81527f576f726c64204c6962657274792046696e616e6369616c20363930300000000060208201525b60405161018d91906114f8565b60405180910390f35b3480156101a1575f80fd5b506101b56101b0366004611541565b610428565b604051901515815260200161018d565b3480156101d0575f80fd5b506101da600c5481565b60405190815260200161018d565b3480156101f3575f80fd5b506101da61043e565b348015610207575f80fd5b506101b561021636600461156b565b61045e565b348015610226575f80fd5b506040516009815260200161018d565b348015610241575f80fd5b5061024a6104c5565b005b348015610257575f80fd5b5061024a6102663660046115a9565b610516565b348015610276575f80fd5b5060045461028a906001600160a01b031681565b6040516001600160a01b03909116815260200161018d565b3480156102ad575f80fd5b506101da6102bc3660046115c9565b6001600160a01b03165f9081526001602052604090205490565b3480156102e1575f80fd5b5061024a610553565b3480156102f5575f80fd5b5061024a6105c4565b348015610309575f80fd5b506101da60095481565b34801561031e575f80fd5b505f546001600160a01b031661028a565b34801561033a575f80fd5b506101da600a5481565b34801561034f575f80fd5b506040805180820190915260088152670574c4649363930360c41b6020820152610180565b34801561037f575f80fd5b506101b561038e366004611541565b610679565b34801561039e575f80fd5b506101da600b5481565b3480156103b3575f80fd5b5061024a610685565b3480156103c7575f80fd5b506101da6103d63660046115e4565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561040b575f80fd5b506101b5610a2e565b34801561041f575f80fd5b5061024a610ab0565b5f610434338484610ae2565b5060015b92915050565b5f61044b6009600a61170f565b6104599063041cdb4061171d565b905090565b5f61046a848484610c05565b6104bb84336104b6856040518060600160405280602881526020016118b1602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611174565b610ae2565b5060019392505050565b6004546001600160a01b0316336001600160a01b0316146104e4575f80fd5b305f90815260016020526040902054801561050257610502816111ac565b478015610512576105128161131c565b5050565b5f546001600160a01b031633146105485760405162461bcd60e51b815260040161053f90611734565b60405180910390fd5b600591909155600655565b5f546001600160a01b0316331461057c5760405162461bcd60e51b815260040161053f90611734565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105ed5760405162461bcd60e51b815260040161053f90611734565b6105f96009600a61170f565b6106079063041cdb4061171d565b600990815561061790600a61170f565b6106259063041cdb4061171d565b600a9081557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf906106589060099061170f565b6106669063041cdb4061171d565b60405190815260200160405180910390a1565b5f610434338484610c05565b5f546001600160a01b031633146106ae5760405162461bcd60e51b815260040161053f90611734565b600e54600160a01b900460ff16156107085760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161053f565b600d80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107519030906107436009600a61170f565b6104b69063041cdb4061171d565b600d5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107a1573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107c59190611769565b6001600160a01b031663c9c6539630600d5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610824573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108489190611769565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610892573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108b69190611769565b600e80546001600160a01b039283166001600160a01b0319909116179055600d541663f305d71947306108fd816001600160a01b03165f9081526001602052604090205490565b5f806109105f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610976573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061099b9190611784565b5050600e54600d5460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109f0573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a1491906117af565b50600e805462ff00ff60a01b19166201000160a01b179055565b5f80546001600160a01b03163314610a585760405162461bcd60e51b815260040161053f90611734565b5f80546040516001600160a01b039091169047908381818185875af1925050503d805f8114610aa2576040519150601f19603f3d011682016040523d82523d5f602084013e610aa7565b606091505b50909250505090565b6004546001600160a01b0316336001600160a01b031614610acf575f80fd5b478015610adf57610adf8161131c565b50565b6001600160a01b038316610b445760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161053f565b6001600160a01b038216610ba55760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161053f565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c695760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161053f565b6001600160a01b038216610ccb5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161053f565b5f8111610d2c5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161053f565b5f80546001600160a01b03858116911614801590610d5757505f546001600160a01b03848116911614155b15611037576008545f03610d8857610d856064610d7f6005548561135390919063ffffffff16565b906113d8565b90505b600e546001600160a01b038581169116148015610db35750600d546001600160a01b03848116911614155b8015610dd757506001600160a01b0383165f9081526003602052604090205460ff16155b15610ed957600954821115610e2e5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161053f565b600a5482610e50856001600160a01b03165f9081526001602052604090205490565b610e5a91906117ce565b1115610ea85760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161053f565b610ec26064610d7f6005548561135390919063ffffffff16565b600880549192505f610ed3836117e1565b91905055505b600e546001600160a01b038481169116148015610eff57506001600160a01b0384163014155b15610f2157610f1e6064610d7f6006548561135390919063ffffffff16565b90505b305f90815260016020526040902054600e54600160a81b900460ff16158015610f575750600e546001600160a01b038581169116145b8015610f6c5750600e54600160b01b900460ff165b8015610f795750600b5481115b8015610f885750600754600854115b1561103557601054431115610f9c575f600f555b6003600f5410610fee5760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b21000000000000000000604482015260640161053f565b61100b6110068461100184600c54611419565b611419565b6111ac565b47801561101b5761101b4761131c565b600f8054905f61102a836117e1565b909155505043601055505b505b80156110af57305f90815260016020526040902054611056908261142d565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110a69085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546110d1908361148b565b6001600160a01b0385165f908152600160205260409020556111146110f6838361148b565b6001600160a01b0385165f908152600160205260409020549061142d565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61115d858561148b565b60405190815260200160405180910390a350505050565b5f81848411156111975760405162461bcd60e51b815260040161053f91906114f8565b505f6111a384866117f9565b95945050505050565b600e805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106111f2576111f261180c565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611249573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061126d9190611769565b816001815181106112805761128061180c565b6001600160a01b039283166020918202929092010152600d546112a69130911684610ae2565b600d5460405163791ac94760e01b81526001600160a01b039091169063791ac947906112de9085905f90869030904290600401611820565b5f604051808303815f87803b1580156112f5575f80fd5b505af1158015611307573d5f803e3d5ffd5b5050600e805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610512573d5f803e3d5ffd5b5f825f0361136257505f610438565b5f61136d838561171d565b90508261137a8583611891565b146113d15760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161053f565b9392505050565b5f6113d183836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114cc565b5f81831161142757826113d1565b50919050565b5f8061143983856117ce565b9050838110156113d15760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161053f565b5f6113d183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611174565b5f81836114ec5760405162461bcd60e51b815260040161053f91906114f8565b505f6111a38486611891565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610adf575f80fd5b5f8060408385031215611552575f80fd5b823561155d8161152d565b946020939093013593505050565b5f805f6060848603121561157d575f80fd5b83356115888161152d565b925060208401356115988161152d565b929592945050506040919091013590565b5f80604083850312156115ba575f80fd5b50508035926020909101359150565b5f602082840312156115d9575f80fd5b81356113d18161152d565b5f80604083850312156115f5575f80fd5b82356116008161152d565b915060208301356116108161152d565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561166957815f190482111561164f5761164f61161b565b8085161561165c57918102915b93841c9390800290611634565b509250929050565b5f8261167f57506001610438565b8161168b57505f610438565b81600181146116a157600281146116ab576116c7565b6001915050610438565b60ff8411156116bc576116bc61161b565b50506001821b610438565b5060208310610133831016604e8410600b84101617156116ea575081810a610438565b6116f4838361162f565b805f19048211156117075761170761161b565b029392505050565b5f6113d160ff841683611671565b80820281158282048414176104385761043861161b565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611779575f80fd5b81516113d18161152d565b5f805f60608486031215611796575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117bf575f80fd5b815180151581146113d1575f80fd5b808201808211156104385761043861161b565b5f600182016117f2576117f261161b565b5060010190565b818103818111156104385761043861161b565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118705784516001600160a01b03168352938301939183019160010161184b565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826118ab57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206bf0c0c13c2f9eb95fe3357548cf195b1a077360bbf7746792ff4bce8e0eb72264736f6c63430008190033

0x608060405260043610610134575f3560e01c8063751039fc116100a8578063a9059cbb1161006d578063a9059cbb14610374578063bf474bed14610393578063c9567bf9146103a8578063dd62ed3e146103bc578063e086e5ec14610400578063f429389014610414575f80fd5b8063751039fc146102ea5780637d1db4a5146102fe5780638da5cb5b146103135780638f9a55c01461032f57806395d89b4114610344575f80fd5b8063313ce567116100f9578063313ce5671461021b57806351bc3c851461023657806352f7c9881461024c5780636f268a991461026b57806370a08231146102a2578063715018a6146102d6575f80fd5b806306fdde031461013f578063095ea7b3146101965780630faee56f146101c557806318160ddd146101e857806323b872dd146101fc575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b5060408051808201909152601c81527f576f726c64204c6962657274792046696e616e6369616c20363930300000000060208201525b60405161018d91906114f8565b60405180910390f35b3480156101a1575f80fd5b506101b56101b0366004611541565b610428565b604051901515815260200161018d565b3480156101d0575f80fd5b506101da600c5481565b60405190815260200161018d565b3480156101f3575f80fd5b506101da61043e565b348015610207575f80fd5b506101b561021636600461156b565b61045e565b348015610226575f80fd5b506040516009815260200161018d565b348015610241575f80fd5b5061024a6104c5565b005b348015610257575f80fd5b5061024a6102663660046115a9565b610516565b348015610276575f80fd5b5060045461028a906001600160a01b031681565b6040516001600160a01b03909116815260200161018d565b3480156102ad575f80fd5b506101da6102bc3660046115c9565b6001600160a01b03165f9081526001602052604090205490565b3480156102e1575f80fd5b5061024a610553565b3480156102f5575f80fd5b5061024a6105c4565b348015610309575f80fd5b506101da60095481565b34801561031e575f80fd5b505f546001600160a01b031661028a565b34801561033a575f80fd5b506101da600a5481565b34801561034f575f80fd5b506040805180820190915260088152670574c4649363930360c41b6020820152610180565b34801561037f575f80fd5b506101b561038e366004611541565b610679565b34801561039e575f80fd5b506101da600b5481565b3480156103b3575f80fd5b5061024a610685565b3480156103c7575f80fd5b506101da6103d63660046115e4565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561040b575f80fd5b506101b5610a2e565b34801561041f575f80fd5b5061024a610ab0565b5f610434338484610ae2565b5060015b92915050565b5f61044b6009600a61170f565b6104599063041cdb4061171d565b905090565b5f61046a848484610c05565b6104bb84336104b6856040518060600160405280602881526020016118b1602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611174565b610ae2565b5060019392505050565b6004546001600160a01b0316336001600160a01b0316146104e4575f80fd5b305f90815260016020526040902054801561050257610502816111ac565b478015610512576105128161131c565b5050565b5f546001600160a01b031633146105485760405162461bcd60e51b815260040161053f90611734565b60405180910390fd5b600591909155600655565b5f546001600160a01b0316331461057c5760405162461bcd60e51b815260040161053f90611734565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105ed5760405162461bcd60e51b815260040161053f90611734565b6105f96009600a61170f565b6106079063041cdb4061171d565b600990815561061790600a61170f565b6106259063041cdb4061171d565b600a9081557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf906106589060099061170f565b6106669063041cdb4061171d565b60405190815260200160405180910390a1565b5f610434338484610c05565b5f546001600160a01b031633146106ae5760405162461bcd60e51b815260040161053f90611734565b600e54600160a01b900460ff16156107085760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161053f565b600d80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107519030906107436009600a61170f565b6104b69063041cdb4061171d565b600d5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107a1573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107c59190611769565b6001600160a01b031663c9c6539630600d5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610824573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108489190611769565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610892573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108b69190611769565b600e80546001600160a01b039283166001600160a01b0319909116179055600d541663f305d71947306108fd816001600160a01b03165f9081526001602052604090205490565b5f806109105f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610976573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061099b9190611784565b5050600e54600d5460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109f0573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a1491906117af565b50600e805462ff00ff60a01b19166201000160a01b179055565b5f80546001600160a01b03163314610a585760405162461bcd60e51b815260040161053f90611734565b5f80546040516001600160a01b039091169047908381818185875af1925050503d805f8114610aa2576040519150601f19603f3d011682016040523d82523d5f602084013e610aa7565b606091505b50909250505090565b6004546001600160a01b0316336001600160a01b031614610acf575f80fd5b478015610adf57610adf8161131c565b50565b6001600160a01b038316610b445760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161053f565b6001600160a01b038216610ba55760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161053f565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c695760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161053f565b6001600160a01b038216610ccb5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161053f565b5f8111610d2c5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161053f565b5f80546001600160a01b03858116911614801590610d5757505f546001600160a01b03848116911614155b15611037576008545f03610d8857610d856064610d7f6005548561135390919063ffffffff16565b906113d8565b90505b600e546001600160a01b038581169116148015610db35750600d546001600160a01b03848116911614155b8015610dd757506001600160a01b0383165f9081526003602052604090205460ff16155b15610ed957600954821115610e2e5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161053f565b600a5482610e50856001600160a01b03165f9081526001602052604090205490565b610e5a91906117ce565b1115610ea85760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161053f565b610ec26064610d7f6005548561135390919063ffffffff16565b600880549192505f610ed3836117e1565b91905055505b600e546001600160a01b038481169116148015610eff57506001600160a01b0384163014155b15610f2157610f1e6064610d7f6006548561135390919063ffffffff16565b90505b305f90815260016020526040902054600e54600160a81b900460ff16158015610f575750600e546001600160a01b038581169116145b8015610f6c5750600e54600160b01b900460ff165b8015610f795750600b5481115b8015610f885750600754600854115b1561103557601054431115610f9c575f600f555b6003600f5410610fee5760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b21000000000000000000604482015260640161053f565b61100b6110068461100184600c54611419565b611419565b6111ac565b47801561101b5761101b4761131c565b600f8054905f61102a836117e1565b909155505043601055505b505b80156110af57305f90815260016020526040902054611056908261142d565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110a69085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546110d1908361148b565b6001600160a01b0385165f908152600160205260409020556111146110f6838361148b565b6001600160a01b0385165f908152600160205260409020549061142d565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61115d858561148b565b60405190815260200160405180910390a350505050565b5f81848411156111975760405162461bcd60e51b815260040161053f91906114f8565b505f6111a384866117f9565b95945050505050565b600e805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106111f2576111f261180c565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611249573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061126d9190611769565b816001815181106112805761128061180c565b6001600160a01b039283166020918202929092010152600d546112a69130911684610ae2565b600d5460405163791ac94760e01b81526001600160a01b039091169063791ac947906112de9085905f90869030904290600401611820565b5f604051808303815f87803b1580156112f5575f80fd5b505af1158015611307573d5f803e3d5ffd5b5050600e805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610512573d5f803e3d5ffd5b5f825f0361136257505f610438565b5f61136d838561171d565b90508261137a8583611891565b146113d15760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161053f565b9392505050565b5f6113d183836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114cc565b5f81831161142757826113d1565b50919050565b5f8061143983856117ce565b9050838110156113d15760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161053f565b5f6113d183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611174565b5f81836114ec5760405162461bcd60e51b815260040161053f91906114f8565b505f6111a38486611891565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610adf575f80fd5b5f8060408385031215611552575f80fd5b823561155d8161152d565b946020939093013593505050565b5f805f6060848603121561157d575f80fd5b83356115888161152d565b925060208401356115988161152d565b929592945050506040919091013590565b5f80604083850312156115ba575f80fd5b50508035926020909101359150565b5f602082840312156115d9575f80fd5b81356113d18161152d565b5f80604083850312156115f5575f80fd5b82356116008161152d565b915060208301356116108161152d565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561166957815f190482111561164f5761164f61161b565b8085161561165c57918102915b93841c9390800290611634565b509250929050565b5f8261167f57506001610438565b8161168b57505f610438565b81600181146116a157600281146116ab576116c7565b6001915050610438565b60ff8411156116bc576116bc61161b565b50506001821b610438565b5060208310610133831016604e8410600b84101617156116ea575081810a610438565b6116f4838361162f565b805f19048211156117075761170761161b565b029392505050565b5f6113d160ff841683611671565b80820281158282048414176104385761043861161b565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611779575f80fd5b81516113d18161152d565b5f805f60608486031215611796575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117bf575f80fd5b815180151581146113d1575f80fd5b808201808211156104385761043861161b565b5f600182016117f2576117f261161b565b5060010190565b818103818111156104385761043861161b565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118705784516001600160a01b03168352938301939183019160010161184b565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826118ab57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206bf0c0c13c2f9eb95fe3357548cf195b1a077360bbf7746792ff4bce8e0eb72264736f6c63430008190033

3534:8016:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5265:83;;;;;;;;;;-1:-1:-1;5335:5:0;;;;;;;;;;;;;;;;;5265:83;;;;;;;:::i;:::-;;;;;;;;6098:161;;;;;;;;;;-1:-1:-1;6098:161:0;;;;;:::i;:::-;;:::i;:::-;;;1058:14:1;;1051:22;1033:41;;1021:2;1006:18;6098:161:0;893:187:1;4421:51:0;;;;;;;;;;;;;;;;;;;1231:25:1;;;1219:2;1204:18;4421:51:0;1085:177:1;5542:95:0;;;;;;;;;;;;;:::i;6267:313::-;;;;;;;;;;-1:-1:-1;6267:313:0;;;;;:::i;:::-;;:::i;5451:83::-;;;;;;;;;;-1:-1:-1;5451:83:0;;4031:1;1870:36:1;;1858:2;1843:18;5451:83:0;1728:184:1;10984:348:0;;;;;;;;;;;;;:::i;:::-;;9848:138;;;;;;;;;;-1:-1:-1;9848:138:0;;;;;:::i;:::-;;:::i;3808:33::-;;;;;;;;;;-1:-1:-1;3808:33:0;;;;-1:-1:-1;;;;;3808:33:0;;;;;;-1:-1:-1;;;;;2350:32:1;;;2332:51;;2320:2;2305:18;3808:33:0;2170:219:1;5645:119:0;;;;;;;;;;-1:-1:-1;5645:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5738:18:0;5711:7;5738:18;;;:9;:18;;;;;;;5645:119;2617:148;;;;;;;;;;;;;:::i;9681:159::-;;;;;;;;;;;;;:::i;4239:53::-;;;;;;;;;;;;;;;;2403:79;;;;;;;;;;-1:-1:-1;2441:7:0;2468:6;-1:-1:-1;;;;;2468:6:0;2403:79;;4299:55;;;;;;;;;;;;;;;;5356:87;;;;;;;;;;-1:-1:-1;5428:7:0;;;;;;;;;;;;-1:-1:-1;;;5428:7:0;;;;5356:87;;5772:167;;;;;;;;;;-1:-1:-1;5772:167:0;;;;;:::i;:::-;;:::i;4361:53::-;;;;;;;;;;;;;;;;10268:671;;;;;;;;;;;;;:::i;5947:143::-;;;;;;;;;;-1:-1:-1;5947:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6055:18:0;;;6028:7;6055:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;5947:143;10094:166;;;;;;;;;;;;;:::i;11338:209::-;;;;;;;;;;;;;:::i;6098:161::-;6173:4;6190:39;240:10;6213:7;6222:6;6190:8;:39::i;:::-;-1:-1:-1;6247:4:0;6098:161;;;;;:::o;5542:95::-;5595:7;4085:13;4031:1;4085:2;:13;:::i;:::-;4074:24;;:8;:24;:::i;:::-;5615:14;;5542:95;:::o;6267:313::-;6365:4;6382:36;6392:6;6400:9;6411:6;6382:9;:36::i;:::-;6429:121;6438:6;240:10;6460:89;6498:6;6460:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6460:19:0;;;;;;:11;:19;;;;;;;;240:10;6460:33;;;;;;;;;;:37;:89::i;:::-;6429:8;:121::i;:::-;-1:-1:-1;6568:4:0;6267:313;;;;;:::o;10984:348::-;11048:10;;-1:-1:-1;;;;;11048:10:0;240;-1:-1:-1;;;;;11034:24:0;;11026:33;;;;;;11109:4;11070:20;5738:18;;;:9;:18;;;;;;11129:14;;11126:73;;11157:30;11174:12;11157:16;:30::i;:::-;11228:21;11263:12;;11260:65;;11289:24;11302:10;11289:12;:24::i;:::-;11015:317;;10984:348::o;9848:138::-;2530:6;;-1:-1:-1;;;;;2530:6:0;240:10;2530:22;2522:67;;;;-1:-1:-1;;;2522:67:0;;;;;;;:::i;:::-;;;;;;;;;9927:7:::1;:19:::0;;;;9957:8:::1;:21:::0;9848:138::o;2617:148::-;2530:6;;-1:-1:-1;;;;;2530:6:0;240:10;2530:22;2522:67;;;;-1:-1:-1;;;2522:67:0;;;;;;;:::i;:::-;2724:1:::1;2708:6:::0;;2687:40:::1;::::0;-1:-1:-1;;;;;2708:6:0;;::::1;::::0;2687:40:::1;::::0;2724:1;;2687:40:::1;2755:1;2738:19:::0;;-1:-1:-1;;;;;;2738:19:0::1;::::0;;2617:148::o;9681:159::-;2530:6;;-1:-1:-1;;;;;2530:6:0;240:10;2530:22;2522:67;;;;-1:-1:-1;;;2522:67:0;;;;;;;:::i;:::-;4085:13:::1;4031:1;4085:2;:13;:::i;:::-;4074:24;::::0;:8:::1;:24;:::i;:::-;9734:12;:22:::0;;;4085:13:::1;::::0;:2:::1;:13;:::i;:::-;4074:24;::::0;:8:::1;:24;:::i;:::-;9767:14;:22:::0;;;9805:27:::1;::::0;4085:13:::1;::::0;4031:1:::1;::::0;4085:13:::1;:::i;:::-;4074:24;::::0;:8:::1;:24;:::i;:::-;9805:27;::::0;1231:25:1;;;1219:2;1204:18;9805:27:0::1;;;;;;;9681:159::o:0;5772:167::-;5850:4;5867:42;240:10;5891:9;5902:6;5867:9;:42::i;10268:671::-;2530:6;;-1:-1:-1;;;;;2530:6:0;240:10;2530:22;2522:67;;;;-1:-1:-1;;;2522:67:0;;;;;;;:::i;:::-;10332:11:::1;::::0;-1:-1:-1;;;10332:11:0;::::1;;;10331:12;10323:47;;;::::0;-1:-1:-1;;;10323:47:0;;5492:2:1;10323:47:0::1;::::0;::::1;5474:21:1::0;5531:2;5511:18;;;5504:30;5570:25;5550:18;;;5543:53;5613:18;;10323:47:0::1;5290:347:1::0;10323:47:0::1;10381:15;:80:::0;;-1:-1:-1;;;;;;10381:80:0::1;10418:42;10381:80:::0;;::::1;::::0;;;10472:58:::1;::::0;10489:4:::1;::::0;4085:13:::1;4031:1;4085:2;:13;:::i;:::-;4074:24;::::0;:8:::1;:24;:::i;10472:58::-;10575:15;;;;;;;;;-1:-1:-1::0;;;;;10575:15:0::1;-1:-1:-1::0;;;;;10575:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10557:55:0::1;;10621:4;10628:15;;;;;;;;;-1:-1:-1::0;;;;;10628:15:0::1;-1:-1:-1::0;;;;;10628:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10557:94;::::0;-1:-1:-1;;;;;;10557:94:0::1;::::0;;;;;;-1:-1:-1;;;;;6128:15:1;;;10557:94:0::1;::::0;::::1;6110:34:1::0;6180:15;;6160:18;;;6153:43;6045:18;;10557:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10541:13;:110:::0;;-1:-1:-1;;;;;10541:110:0;;::::1;-1:-1:-1::0;;;;;;10541:110:0;;::::1;;::::0;;10662:15:::1;::::0;::::1;:31;10701:21;10732:4;10738:24;10732:4:::0;-1:-1:-1;;;;;5738:18:0;5711:7;5738:18;;;:9;:18;;;;;;;5645:119;10738:24:::1;10763:1;10765::::0;10767:7:::1;2441::::0;2468:6;-1:-1:-1;;;;;2468:6:0;;2403:79;10767:7:::1;10662:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10662:129:0;;;-1:-1:-1;;;;;6566:15:1;;;10662:129:0::1;::::0;::::1;6548:34:1::0;6598:18;;;6591:34;;;;6641:18;;;6634:34;;;;6684:18;;;6677:34;6748:15;;;6727:19;;;6720:44;10775:15:0::1;6780:19:1::0;;;6773:35;6482:19;;10662:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10809:13:0::1;::::0;10840:15:::1;::::0;10802:71:::1;::::0;-1:-1:-1;;;10802:71:0;;-1:-1:-1;;;;;10840:15:0;;::::1;10802:71;::::0;::::1;7304:51:1::0;-1:-1:-1;;7371:18:1;;;7364:34;10809:13:0;::::1;::::0;-1:-1:-1;10802:29:0::1;::::0;7277:18:1;;10802:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10884:11:0::1;:18:::0;;-1:-1:-1;;;;10913:18:0;-1:-1:-1;;;10913:18:0;;;10268:671::o;10094:166::-;10145:4;2530:6;;-1:-1:-1;;;;;2530:6:0;240:10;2530:22;2522:67;;;;-1:-1:-1;;;2522:67:0;;;;;;;:::i;:::-;10163:12:::1;2468:6:::0;;10181:46:::1;::::0;-1:-1:-1;;;;;2468:6:0;;;;10201:21:::1;::::0;10163:12;10181:46;10163:12;10181:46;10201:21;2468:6;10181:46:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1::0;10162:65:0;;-1:-1:-1;;;10094:166:0;:::o;11338:209::-;11402:10;;-1:-1:-1;;;;;11402:10:0;240;-1:-1:-1;;;;;11388:24:0;;11380:33;;;;;;11443:21;11478:12;;11475:65;;11504:24;11517:10;11504:12;:24::i;:::-;11369:178;11338:209::o;6588:335::-;-1:-1:-1;;;;;6681:19:0;;6673:68;;;;-1:-1:-1;;;6673:68:0;;8103:2:1;6673:68:0;;;8085:21:1;8142:2;8122:18;;;8115:30;8181:34;8161:18;;;8154:62;-1:-1:-1;;;8232:18:1;;;8225:34;8276:19;;6673:68:0;7901:400:1;6673:68:0;-1:-1:-1;;;;;6760:21:0;;6752:68;;;;-1:-1:-1;;;6752:68:0;;8508:2:1;6752:68:0;;;8490:21:1;8547:2;8527:18;;;8520:30;8586:34;8566:18;;;8559:62;-1:-1:-1;;;8637:18:1;;;8630:32;8679:19;;6752:68:0;8306:398:1;6752:68:0;-1:-1:-1;;;;;6831:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;6883:32;;1231:25:1;;;6883:32:0;;1204:18:1;6883:32:0;;;;;;;6588:335;;;:::o;6931:2143::-;-1:-1:-1;;;;;7019:18:0;;7011:68;;;;-1:-1:-1;;;7011:68:0;;8911:2:1;7011:68:0;;;8893:21:1;8950:2;8930:18;;;8923:30;8989:34;8969:18;;;8962:62;-1:-1:-1;;;9040:18:1;;;9033:35;9085:19;;7011:68:0;8709:401:1;7011:68:0;-1:-1:-1;;;;;7098:16:0;;7090:64;;;;-1:-1:-1;;;7090:64:0;;9317:2:1;7090:64:0;;;9299:21:1;9356:2;9336:18;;;9329:30;9395:34;9375:18;;;9368:62;-1:-1:-1;;;9446:18:1;;;9439:33;9489:19;;7090:64:0;9115:399:1;7090:64:0;7182:1;7173:6;:10;7165:64;;;;-1:-1:-1;;;7165:64:0;;9721:2:1;7165:64:0;;;9703:21:1;9760:2;9740:18;;;9733:30;9799:34;9779:18;;;9772:62;-1:-1:-1;;;9850:18:1;;;9843:39;9899:19;;7165:64:0;9519:405:1;7165:64:0;7240:17;2468:6;;-1:-1:-1;;;;;7274:15:0;;;2468:6;;7274:15;;;;:32;;-1:-1:-1;2441:7:0;2468:6;-1:-1:-1;;;;;7293:13:0;;;2468:6;;7293:13;;7274:32;7270:1448;;;7326:9;;7337:1;7326:12;7323:91;;7370:28;7394:3;7370:19;7381:7;;7370:6;:10;;:19;;;;:::i;:::-;:23;;:28::i;:::-;7358:40;;7323:91;7442:13;;-1:-1:-1;;;;;7434:21:0;;;7442:13;;7434:21;:55;;;;-1:-1:-1;7473:15:0;;-1:-1:-1;;;;;7459:30:0;;;7473:15;;7459:30;;7434:55;:83;;;;-1:-1:-1;;;;;;7495:22:0;;;;;;:18;:22;;;;;;;;7493:24;7434:83;7430:372;;;7557:12;;7547:6;:22;;7539:60;;;;-1:-1:-1;;;7539:60:0;;10131:2:1;7539:60:0;;;10113:21:1;10170:2;10150:18;;;10143:30;10209:27;10189:18;;;10182:55;10254:18;;7539:60:0;9929:349:1;7539:60:0;7652:14;;7642:6;7626:13;7636:2;-1:-1:-1;;;;;5738:18:0;5711:7;5738:18;;;:9;:18;;;;;;;5645:119;7626:13;:22;;;;:::i;:::-;:40;;7618:79;;;;-1:-1:-1;;;7618:79:0;;10615:2:1;7618:79:0;;;10597:21:1;10654:2;10634:18;;;10627:30;10693:28;10673:18;;;10666:56;10739:18;;7618:79:0;10413:350:1;7618:79:0;7728:28;7752:3;7728:19;7739:7;;7728:6;:10;;:19;;;;:::i;:28::-;7775:9;:11;;7716:40;;-1:-1:-1;7775:9:0;:11;;;:::i;:::-;;;;;;7430:372;7827:13;;-1:-1:-1;;;;;7821:19:0;;;7827:13;;7821:19;:43;;;;-1:-1:-1;;;;;;7844:20:0;;7859:4;7844:20;;7821:43;7818:124;;;7897:29;7922:3;7897:20;7908:8;;7897:6;:10;;:20;;;;:::i;:29::-;7885:41;;7818:124;8007:4;7958:28;5738:18;;;:9;:18;;;;;;8033:6;;-1:-1:-1;;;8033:6:0;;;;8032:7;:30;;;;-1:-1:-1;8049:13:0;;-1:-1:-1;;;;;8043:19:0;;;8049:13;;8043:19;8032:30;:45;;;;-1:-1:-1;8066:11:0;;-1:-1:-1;;;8066:11:0;;;;8032:45;:89;;;;;8104:17;;8081:20;:40;8032:89;:123;;;;;8137:18;;8125:9;;:30;8032:123;8028:679;;;8195:13;;8180:12;:28;8176:90;;;8245:1;8233:9;:13;8176:90;8304:1;8292:9;;:13;8284:49;;;;-1:-1:-1;;;8284:49:0;;11110:2:1;8284:49:0;;;11092:21:1;11149:2;11129:18;;;11122:30;11188:25;11168:18;;;11161:53;11231:18;;8284:49:0;10908:347:1;8284:49:0;8352:69;8369:51;8373:6;8381:38;8385:20;8407:11;;8381:3;:38::i;:::-;8369:3;:51::i;:::-;8352:16;:69::i;:::-;8469:21;8513:22;;8509:106;;8560:35;8573:21;8560:12;:35::i;:::-;8633:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;8679:12:0;8663:13;:28;-1:-1:-1;8028:679:0;7308:1410;7270:1448;8733:11;;8730:161;;8801:4;8783:24;;;;:9;:24;;;;;;:39;;8812:9;8783:28;:39::i;:::-;8776:4;8758:24;;;;:9;:24;;;;;;;:64;;;;8840:39;;-1:-1:-1;;;;;8840:39:0;;;;;;;8869:9;1231:25:1;;1219:2;1204:18;;1085:177;8840:39:0;;;;;;;;8730:161;-1:-1:-1;;;;;8917:15:0;;;;;;:9;:15;;;;;;:27;;8937:6;8917:19;:27::i;:::-;-1:-1:-1;;;;;8901:15:0;;;;;;:9;:15;;;;;:43;8969:40;8987:21;:6;8998:9;8987:10;:21::i;:::-;-1:-1:-1;;;;;8969:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;8955:13:0;;;;;;;:9;:13;;;;;:54;;;;9025:41;;;9044:21;:6;9055:9;9044:10;:21::i;:::-;9025:41;;1231:25:1;;;1219:2;1204:18;9025:41:0;;;;;;;7000:2074;6931:2143;;;:::o;1297:190::-;1383:7;1419:12;1411:6;;;;1403:29;;;;-1:-1:-1;;;1403:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1443:9:0;1455:5;1459:1;1455;:5;:::i;:::-;1443:17;1297:190;-1:-1:-1;;;;;1297:190:0:o;9190:483::-;4874:6;:13;;-1:-1:-1;;;;4874:13:0;-1:-1:-1;;;4874:13:0;;;9292:16:::1;::::0;;9306:1:::1;9292:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9292:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9292:16:0::1;9268:40;;9337:4;9319;9324:1;9319:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9319:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9363:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9363:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9319:7;;9363:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9353:4;9358:1;9353:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9353:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9428:15:::1;::::0;9396:62:::1;::::0;9413:4:::1;::::0;9428:15:::1;9446:11:::0;9396:8:::1;:62::i;:::-;9469:15;::::0;:196:::1;::::0;-1:-1:-1;;;9469:196:0;;-1:-1:-1;;;;;9469:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9550:11;;9469:15:::1;::::0;9592:4;;9619::::1;::::0;9639:15:::1;::::0;9469:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4910:6:0;:14;;-1:-1:-1;;;;4910:14:0;;;-1:-1:-1;;;;9190:483:0:o;9994:92::-;10051:10;;:27;;-1:-1:-1;;;;;10051:10:0;;;;:27;;;;;10071:6;;10051:10;:27;:10;:27;10071:6;10051:10;:27;;;;;;;;;;;;;;;;;;;1495:246;1553:7;1577:1;1582;1577:6;1573:47;;-1:-1:-1;1607:1:0;1600:8;;1573:47;1630:9;1642:5;1646:1;1642;:5;:::i;:::-;1630:17;-1:-1:-1;1675:1:0;1666:5;1670:1;1630:17;1666:5;:::i;:::-;:10;1658:56;;;;-1:-1:-1;;;1658:56:0;;13066:2:1;1658:56:0;;;13048:21:1;13105:2;13085:18;;;13078:30;13144:34;13124:18;;;13117:62;-1:-1:-1;;;13195:18:1;;;13188:31;13236:19;;1658:56:0;12864:397:1;1658:56:0;1732:1;1495:246;-1:-1:-1;;;1495:246:0:o;1749:132::-;1807:7;1834:39;1838:1;1841;1834:39;;;;;;;;;;;;;;;;;:3;:39::i;9084:98::-;9141:7;9168:1;9166;:3;9165:9;;9173:1;9165:9;;;-1:-1:-1;9171:1:0;9084:98;-1:-1:-1;9084:98:0:o;966:179::-;1024:7;;1056:5;1060:1;1056;:5;:::i;:::-;1044:17;;1085:1;1080;:6;;1072:46;;;;-1:-1:-1;;;1072:46:0;;13468:2:1;1072:46:0;;;13450:21:1;13507:2;13487:18;;;13480:30;13546:29;13526:18;;;13519:57;13593:18;;1072:46:0;13266:351:1;1153:136:0;1211:7;1238:43;1242:1;1245;1238:43;;;;;;;;;;;;;;;;;:3;:43::i;1889:189::-;1975:7;2010:12;2003:5;1995:28;;;;-1:-1:-1;;;1995:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2034:9:0;2046:5;2050:1;2046;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;573:315;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;878:2;863:18;;;;850:32;;-1:-1:-1;;;573:315:1:o;1267:456::-;1344:6;1352;1360;1413:2;1401:9;1392:7;1388:23;1384:32;1381:52;;;1429:1;1426;1419:12;1381:52;1468:9;1455:23;1487:31;1512:5;1487:31;:::i;:::-;1537:5;-1:-1:-1;1594:2:1;1579:18;;1566:32;1607:33;1566:32;1607:33;:::i;:::-;1267:456;;1659:7;;-1:-1:-1;;;1713:2:1;1698:18;;;;1685:32;;1267:456::o;1917:248::-;1985:6;1993;2046:2;2034:9;2025:7;2021:23;2017:32;2014:52;;;2062:1;2059;2052:12;2014:52;-1:-1:-1;;2085:23:1;;;2155:2;2140:18;;;2127:32;;-1:-1:-1;1917:248:1:o;2394:247::-;2453:6;2506:2;2494:9;2485:7;2481:23;2477:32;2474:52;;;2522:1;2519;2512:12;2474:52;2561:9;2548:23;2580:31;2605:5;2580:31;:::i;2854:388::-;2922:6;2930;2983:2;2971:9;2962:7;2958:23;2954:32;2951:52;;;2999:1;2996;2989:12;2951:52;3038:9;3025:23;3057:31;3082:5;3057:31;:::i;:::-;3107:5;-1:-1:-1;3164:2:1;3149:18;;3136:32;3177:33;3136:32;3177:33;:::i;:::-;3229:7;3219:17;;;2854:388;;;;;:::o;3247:127::-;3308:10;3303:3;3299:20;3296:1;3289:31;3339:4;3336:1;3329:15;3363:4;3360:1;3353:15;3379:416;3468:1;3505:5;3468:1;3519:270;3540:7;3530:8;3527:21;3519:270;;;3599:4;3595:1;3591:6;3587:17;3581:4;3578:27;3575:53;;;3608:18;;:::i;:::-;3658:7;3648:8;3644:22;3641:55;;;3678:16;;;;3641:55;3757:22;;;;3717:15;;;;3519:270;;;3523:3;3379:416;;;;;:::o;3800:806::-;3849:5;3879:8;3869:80;;-1:-1:-1;3920:1:1;3934:5;;3869:80;3968:4;3958:76;;-1:-1:-1;4005:1:1;4019:5;;3958:76;4050:4;4068:1;4063:59;;;;4136:1;4131:130;;;;4043:218;;4063:59;4093:1;4084:10;;4107:5;;;4131:130;4168:3;4158:8;4155:17;4152:43;;;4175:18;;:::i;:::-;-1:-1:-1;;4231:1:1;4217:16;;4246:5;;4043:218;;4345:2;4335:8;4332:16;4326:3;4320:4;4317:13;4313:36;4307:2;4297:8;4294:16;4289:2;4283:4;4280:12;4276:35;4273:77;4270:159;;;-1:-1:-1;4382:19:1;;;4414:5;;4270:159;4461:34;4486:8;4480:4;4461:34;:::i;:::-;4531:6;4527:1;4523:6;4519:19;4510:7;4507:32;4504:58;;;4542:18;;:::i;:::-;4580:20;;3800:806;-1:-1:-1;;;3800:806:1:o;4611:140::-;4669:5;4698:47;4739:4;4729:8;4725:19;4719:4;4698:47;:::i;4756:168::-;4829:9;;;4860;;4877:15;;;4871:22;;4857:37;4847:71;;4898:18;;:::i;4929:356::-;5131:2;5113:21;;;5150:18;;;5143:30;5209:34;5204:2;5189:18;;5182:62;5276:2;5261:18;;4929:356::o;5642:251::-;5712:6;5765:2;5753:9;5744:7;5740:23;5736:32;5733:52;;;5781:1;5778;5771:12;5733:52;5813:9;5807:16;5832:31;5857:5;5832:31;:::i;6819:306::-;6907:6;6915;6923;6976:2;6964:9;6955:7;6951:23;6947:32;6944:52;;;6992:1;6989;6982:12;6944:52;7021:9;7015:16;7005:26;;7071:2;7060:9;7056:18;7050:25;7040:35;;7115:2;7104:9;7100:18;7094:25;7084:35;;6819:306;;;;;:::o;7409:277::-;7476:6;7529:2;7517:9;7508:7;7504:23;7500:32;7497:52;;;7545:1;7542;7535:12;7497:52;7577:9;7571:16;7630:5;7623:13;7616:21;7609:5;7606:32;7596:60;;7652:1;7649;7642:12;10283:125;10348:9;;;10369:10;;;10366:36;;;10382:18;;:::i;10768:135::-;10807:3;10828:17;;;10825:43;;10848:18;;:::i;:::-;-1:-1:-1;10895:1:1;10884:13;;10768:135::o;11260:128::-;11327:9;;;11348:11;;;11345:37;;;11362:18;;:::i;11525:127::-;11586:10;11581:3;11577:20;11574:1;11567:31;11617:4;11614:1;11607:15;11641:4;11638:1;11631:15;11657:980;11919:4;11967:3;11956:9;11952:19;11998:6;11987:9;11980:25;12024:2;12062:6;12057:2;12046:9;12042:18;12035:34;12105:3;12100:2;12089:9;12085:18;12078:31;12129:6;12164;12158:13;12195:6;12187;12180:22;12233:3;12222:9;12218:19;12211:26;;12272:2;12264:6;12260:15;12246:29;;12293:1;12303:195;12317:6;12314:1;12311:13;12303:195;;;12382:13;;-1:-1:-1;;;;;12378:39:1;12366:52;;12473:15;;;;12438:12;;;;12414:1;12332:9;12303:195;;;-1:-1:-1;;;;;;;12554:32:1;;;;12549:2;12534:18;;12527:60;-1:-1:-1;;;12618:3:1;12603:19;12596:35;12515:3;11657:980;-1:-1:-1;;;11657:980:1:o;12642:217::-;12682:1;12708;12698:132;;12752:10;12747:3;12743:20;12740:1;12733:31;12787:4;12784:1;12777:15;12815:4;12812:1;12805:15;12698:132;-1:-1:-1;12844:9:1;;12642:217::o

ipfs://6bf0c0c13c2f9eb95fe3357548cf195b1a077360bbf7746792ff4bce8e0eb722