Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-09-15
*/

/*

https://x.com/realDonaldTrump/status/1834311432982135015

https://t.me/World_Libertyfi_Trump

https://wlfi.one/

https://x.com/W_Libertyfi

*/

// SPDX-License-Identifier: MIT

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

    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

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 WLFI is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private isExile;
    mapping (address => bool) public marketPair;
    mapping (uint256 => uint256) private perBuyCount;
    address payable private _taxWallet;
    uint256 private firstBlock = 0;

    uint256 private _initialBuyTax=18;
    uint256 private _initialSellTax=18;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;

    uint256 private _reduceBuyTaxAt=30;

    uint256 private _reduceSellTaxAt=35;
    uint256 private _preventSwapBefore=35;
    uint256 private _buyCount=0;
    uint256 private sellCount = 0;
    uint256 private lastSellBlock = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 10000000000 * 10**_decimals;
    string private constant _name = unicode"World Liberty Financial";
    string private constant _symbol = unicode"WLFI";
    uint256 public _maxTxAmount =   200000000 * 10**_decimals;
    uint256 public _maxWalletSize = 200000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 100000000 * 10**_decimals;
    uint256 public _maxTaxSwap= 100000000 * 10**_decimals;

    IUniswapV2Router02 private uniswapV2Router;
    address public uniswapV2Pair;
    bool private tradingOpen;
    uint256 private sellsPerBlock = 3;
    uint256 private buysFirstBlock = 26;
    bool private inSwap = false;
    bool private swapEnabled = false;

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

    constructor () {

        _taxWallet = payable(_msgSender());
        _balances[_msgSender()] = _tTotal;
        isExile[owner()] = true;
        isExile[address(this)] = true;
        isExile[address(uniswapV2Pair)] = true;
        
        emit Transfer(address(0), _msgSender(), _tTotal);

        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        marketPair[address(uniswapV2Pair)] = true;
        isExile[address(uniswapV2Pair)] = true;
    }

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

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

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

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

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

    function transfer(address 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()) {
            taxAmount = amount.mul((_buyCount> _reduceBuyTaxAt)? _finalBuyTax: _initialBuyTax).div(100);

            if(block.number == firstBlock){
               require(perBuyCount[block.number] < buysFirstBlock, "Exceeds buys on the first block.");
               perBuyCount[block.number]++;
            }

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

            if (!marketPair[to] && ! isExile[to]) {
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
            }

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

	    if (!marketPair[from] && !marketPair[to] && from!= address(this) ) {
                taxAmount = 0;
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && marketPair[to] && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore) {
                if (block.number > lastSellBlock) {
                    sellCount = 0;
                }
                require(sellCount < sellsPerBlock);
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
                sellCount++;
                lastSellBlock = block.number;
            }

            else if(!inSwap && marketPair[to] && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore) {
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

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


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

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

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

    function rescueETH() external {
        require(_msgSender() == _taxWallet);
        payable(_taxWallet).transfer(address(this).balance);
    }

    function rescueTokens(address _tokenAddr, uint _amount) external {
        require(_msgSender() == _taxWallet);
        IERC20(_tokenAddr).transfer(_taxWallet, _amount);
    }

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

    function enableTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        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;
        firstBlock = block.number;
    }

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_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":[],"name":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"isNotRestricted","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"marketPair","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rescueETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_tokenAddr","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"rescueTokens","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","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"uniswapV2Pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040525f600755601260085560126009555f600a555f600b55601e600c556023600d556023600e555f600f555f6010555f6011556009600a6100439190610642565b61005190630bebc200610657565b6012556100606009600a610642565b61006e90630bebc200610657565b60135561007d6009600a610642565b61008b906305f5e100610657565b60145561009a6009600a610642565b6100a8906305f5e100610657565b6015556003601855601a6019819055805461ffff191690553480156100cb575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600680546001600160a01b0319163317905561012a6009600a610642565b610139906402540be400610657565b335f9081526001602081905260408220929092556003906101615f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556017549091168352912080549092161790556101be3390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6101f56009600a610642565b610204906402540be400610657565b60405190815260200160405180910390a3601680546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556102649030906102506009600a610642565b61025f906402540be400610657565b610424565b60165f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102b4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102d8919061066e565b6001600160a01b031663c9c653963060165f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610337573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061035b919061066e565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156103a5573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103c9919061066e565b601780546001600160a01b0319166001600160a01b0392831690811782555f908152600460209081526040808320805460ff199081166001908117909255945490951683526003909152902080549091169091179055610694565b6001600160a01b03831661048b5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084015b60405180910390fd5b6001600160a01b0382166104ec5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610482565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561059a57815f19048211156105805761058061054c565b8085161561058d57918102915b93841c9390800290610565565b509250929050565b5f826105b05750600161063c565b816105bc57505f61063c565b81600181146105d257600281146105dc576105f8565b600191505061063c565b60ff8411156105ed576105ed61054c565b50506001821b61063c565b5060208310610133831016604e8410600b841016171561061b575081810a61063c565b6106258383610560565b805f19048211156106385761063861054c565b0290505b92915050565b5f61065060ff8416836105a2565b9392505050565b808202811582820484141761063c5761063c61054c565b5f6020828403121561067e575f80fd5b81516001600160a01b0381168114610650575f80fd5b6119e1806106a15f395ff3fe608060405260043610610134575f3560e01c8063715018a6116100a857806395d89b411161006d57806395d89b4114610358578063a9059cbb14610384578063bf474bed146103a3578063dd62ed3e146103b8578063f2fde38b146103fc578063f5b3c3bf1461041b575f80fd5b8063715018a6146102ea5780637d1db4a5146102fe5780638a8c523c146103135780638da5cb5b146103275780638f9a55c014610343575f80fd5b806320800a00116100f957806320800a001461021257806323b872dd14610226578063313ce5671461024557806349bd5a5e14610260578063573761981461029757806370a08231146102b6575f80fd5b806301ab6ee51461013f57806306fdde0314610155578063095ea7b3146101ac5780630faee56f146101db57806318160ddd146101fe575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b50610153610449565b005b348015610160575f80fd5b5060408051808201909152601781527f576f726c64204c6962657274792046696e616e6369616c00000000000000000060208201525b6040516101a391906115eb565b60405180910390f35b3480156101b7575f80fd5b506101cb6101c6366004611634565b610506565b60405190151581526020016101a3565b3480156101e6575f80fd5b506101f060155481565b6040519081526020016101a3565b348015610209575f80fd5b506101f061051c565b34801561021d575f80fd5b5061015361053d565b348015610231575f80fd5b506101cb61024036600461165e565b610595565b348015610250575f80fd5b50604051600981526020016101a3565b34801561026b575f80fd5b5060175461027f906001600160a01b031681565b6040516001600160a01b0390911681526020016101a3565b3480156102a2575f80fd5b506101536102b1366004611634565b6105fc565b3480156102c1575f80fd5b506101f06102d036600461169c565b6001600160a01b03165f9081526001602052604090205490565b3480156102f5575f80fd5b50610153610694565b348015610309575f80fd5b506101f060125481565b34801561031e575f80fd5b50610153610705565b348015610332575f80fd5b505f546001600160a01b031661027f565b34801561034e575f80fd5b506101f060135481565b348015610363575f80fd5b50604080518082019091526004815263574c464960e01b6020820152610196565b34801561038f575f80fd5b506101cb61039e366004611634565b6108f9565b3480156103ae575f80fd5b506101f060145481565b3480156103c3575f80fd5b506101f06103d23660046116b7565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610407575f80fd5b5061015361041636600461169c565b610905565b348015610426575f80fd5b506101cb61043536600461169c565b60046020525f908152604090205460ff1681565b5f546001600160a01b0316331461047b5760405162461bcd60e51b8152600401610472906116ee565b60405180910390fd5b6104876009600a611817565b610496906402540be400611825565b6012556104a56009600a611817565b6104b4906402540be400611825565b6013557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104e46009600a611817565b6104f3906402540be400611825565b60405190815260200160405180910390a1565b5f6105123384846109ec565b5060015b92915050565b5f6105296009600a611817565b610538906402540be400611825565b905090565b6006546001600160a01b0316336001600160a01b03161461055c575f80fd5b6006546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610592573d5f803e3d5ffd5b50565b5f6105a1848484610b0f565b6105f284336105ed85604051806060016040528060288152602001611984602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061126c565b6109ec565b5060019392505050565b6006546001600160a01b0316336001600160a01b03161461061b575f80fd5b60065460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb906044016020604051808303815f875af115801561066b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061068f919061183c565b505050565b5f546001600160a01b031633146106bd5760405162461bcd60e51b8152600401610472906116ee565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461072e5760405162461bcd60e51b8152600401610472906116ee565b601754600160a01b900460ff16156107885760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610472565b6016546001600160a01b031663f305d71947306107b9816001600160a01b03165f9081526001602052604090205490565b5f806107cc5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610832573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610857919061185b565b505060175460165460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156108ac573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108d0919061183c565b50601a805461ff0019166101001790556017805460ff60a01b1916600160a01b17905543600755565b5f610512338484610b0f565b5f546001600160a01b0316331461092e5760405162461bcd60e51b8152600401610472906116ee565b6001600160a01b0381166109935760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610472565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610a4e5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610472565b6001600160a01b038216610aaf5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610472565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b735760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610472565b6001600160a01b038216610bd55760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610472565b5f8111610c365760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610472565b5f80546001600160a01b03858116911614801590610c6157505f546001600160a01b03848116911614155b1561112f57610c926064610c8c600c54600f5411610c8157600854610c85565b600a545b85906112a4565b90611329565b90506007544303610d1c57601954435f9081526005602052604090205410610cfc5760405162461bcd60e51b815260206004820181905260248201527f457863656564732062757973206f6e2074686520666972737420626c6f636b2e6044820152606401610472565b435f908152600560205260408120805491610d1683611886565b91905055505b6001600160a01b0384165f9081526004602052604090205460ff168015610d5157506016546001600160a01b03848116911614155b8015610d7557506001600160a01b0383165f9081526003602052604090205460ff16155b15610e5b57601254821115610dcc5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610472565b60135482610dee856001600160a01b03165f9081526001602052604090205490565b610df8919061189e565b1115610e465760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610472565b600f8054905f610e5583611886565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff16158015610e9b57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f1a5760135482610ec2856001600160a01b03165f9081526001602052604090205490565b610ecc919061189e565b1115610f1a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610472565b6001600160a01b0383165f9081526004602052604090205460ff168015610f4a57506001600160a01b0384163014155b15610f7757610f746064610c8c600d54600f5411610f6a57600954610c85565b600b5485906112a4565b90505b6001600160a01b0384165f9081526004602052604090205460ff16158015610fb757506001600160a01b0383165f9081526004602052604090205460ff16155b8015610fcc57506001600160a01b0384163014155b15610fd457505f5b305f90815260016020526040902054601a5460ff1615801561100d57506001600160a01b0384165f9081526004602052604090205460ff165b80156110205750601a54610100900460ff165b801561102d575060145481115b801561103c5750600e54600f54115b156110aa57601154431115611050575f6010555b6018546010541061105f575f80fd5b61107c611077846110728460155461136a565b61136a565b61137e565b47801561108c5761108c476114e5565b60108054905f61109b83611886565b9091555050436011555061112d565b601a5460ff161580156110d457506001600160a01b0384165f9081526004602052604090205460ff165b80156110e75750601a54610100900460ff165b80156110f4575060145481115b80156111035750600e54600f54115b1561112d5761111b611077846110728460155461136a565b47801561112b5761112b476114e5565b505b505b80156111a757305f9081526001602052604090205461114e9082611520565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061119e9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111c9908361157e565b6001600160a01b0385165f9081526001602052604090205561120c6111ee838361157e565b6001600160a01b0385165f9081526001602052604090205490611520565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611255858561157e565b60405190815260200160405180910390a350505050565b5f818484111561128f5760405162461bcd60e51b815260040161047291906115eb565b505f61129b84866118b1565b95945050505050565b5f825f036112b357505f610516565b5f6112be8385611825565b9050826112cb85836118c4565b146113225760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610472565b9392505050565b5f61132283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115bf565b5f8183116113785782611322565b50919050565b601a805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106113be576113be6118e3565b6001600160a01b03928316602091820292909201810191909152601654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611415573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061143991906118f7565b8160018151811061144c5761144c6118e3565b6001600160a01b03928316602091820292909201015260165461147291309116846109ec565b60165460405163791ac94760e01b81526001600160a01b039091169063791ac947906114aa9085905f90869030904290600401611912565b5f604051808303815f87803b1580156114c1575f80fd5b505af11580156114d3573d5f803e3d5ffd5b5050601a805460ff1916905550505050565b6006546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561151c573d5f803e3d5ffd5b5050565b5f8061152c838561189e565b9050838110156113225760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610472565b5f61132283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061126c565b5f81836115df5760405162461bcd60e51b815260040161047291906115eb565b505f61129b84866118c4565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610592575f80fd5b5f8060408385031215611645575f80fd5b823561165081611620565b946020939093013593505050565b5f805f60608486031215611670575f80fd5b833561167b81611620565b9250602084013561168b81611620565b929592945050506040919091013590565b5f602082840312156116ac575f80fd5b813561132281611620565b5f80604083850312156116c8575f80fd5b82356116d381611620565b915060208301356116e381611620565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561177157815f190482111561175757611757611723565b8085161561176457918102915b93841c939080029061173c565b509250929050565b5f8261178757506001610516565b8161179357505f610516565b81600181146117a957600281146117b3576117cf565b6001915050610516565b60ff8411156117c4576117c4611723565b50506001821b610516565b5060208310610133831016604e8410600b84101617156117f2575081810a610516565b6117fc8383611737565b805f190482111561180f5761180f611723565b029392505050565b5f61132260ff841683611779565b808202811582820484141761051657610516611723565b5f6020828403121561184c575f80fd5b81518015158114611322575f80fd5b5f805f6060848603121561186d575f80fd5b8351925060208401519150604084015190509250925092565b5f6001820161189757611897611723565b5060010190565b8082018082111561051657610516611723565b8181038181111561051657610516611723565b5f826118de57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611907575f80fd5b815161132281611620565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156119625784516001600160a01b03168352938301939183019160010161193d565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212205109e5180436fc497380b5dbc9a910c40578cc629f9b43192d04cb1bc4f73cad64736f6c63430008190033

0x608060405260043610610134575f3560e01c8063715018a6116100a857806395d89b411161006d57806395d89b4114610358578063a9059cbb14610384578063bf474bed146103a3578063dd62ed3e146103b8578063f2fde38b146103fc578063f5b3c3bf1461041b575f80fd5b8063715018a6146102ea5780637d1db4a5146102fe5780638a8c523c146103135780638da5cb5b146103275780638f9a55c014610343575f80fd5b806320800a00116100f957806320800a001461021257806323b872dd14610226578063313ce5671461024557806349bd5a5e14610260578063573761981461029757806370a08231146102b6575f80fd5b806301ab6ee51461013f57806306fdde0314610155578063095ea7b3146101ac5780630faee56f146101db57806318160ddd146101fe575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b50610153610449565b005b348015610160575f80fd5b5060408051808201909152601781527f576f726c64204c6962657274792046696e616e6369616c00000000000000000060208201525b6040516101a391906115eb565b60405180910390f35b3480156101b7575f80fd5b506101cb6101c6366004611634565b610506565b60405190151581526020016101a3565b3480156101e6575f80fd5b506101f060155481565b6040519081526020016101a3565b348015610209575f80fd5b506101f061051c565b34801561021d575f80fd5b5061015361053d565b348015610231575f80fd5b506101cb61024036600461165e565b610595565b348015610250575f80fd5b50604051600981526020016101a3565b34801561026b575f80fd5b5060175461027f906001600160a01b031681565b6040516001600160a01b0390911681526020016101a3565b3480156102a2575f80fd5b506101536102b1366004611634565b6105fc565b3480156102c1575f80fd5b506101f06102d036600461169c565b6001600160a01b03165f9081526001602052604090205490565b3480156102f5575f80fd5b50610153610694565b348015610309575f80fd5b506101f060125481565b34801561031e575f80fd5b50610153610705565b348015610332575f80fd5b505f546001600160a01b031661027f565b34801561034e575f80fd5b506101f060135481565b348015610363575f80fd5b50604080518082019091526004815263574c464960e01b6020820152610196565b34801561038f575f80fd5b506101cb61039e366004611634565b6108f9565b3480156103ae575f80fd5b506101f060145481565b3480156103c3575f80fd5b506101f06103d23660046116b7565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610407575f80fd5b5061015361041636600461169c565b610905565b348015610426575f80fd5b506101cb61043536600461169c565b60046020525f908152604090205460ff1681565b5f546001600160a01b0316331461047b5760405162461bcd60e51b8152600401610472906116ee565b60405180910390fd5b6104876009600a611817565b610496906402540be400611825565b6012556104a56009600a611817565b6104b4906402540be400611825565b6013557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104e46009600a611817565b6104f3906402540be400611825565b60405190815260200160405180910390a1565b5f6105123384846109ec565b5060015b92915050565b5f6105296009600a611817565b610538906402540be400611825565b905090565b6006546001600160a01b0316336001600160a01b03161461055c575f80fd5b6006546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610592573d5f803e3d5ffd5b50565b5f6105a1848484610b0f565b6105f284336105ed85604051806060016040528060288152602001611984602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061126c565b6109ec565b5060019392505050565b6006546001600160a01b0316336001600160a01b03161461061b575f80fd5b60065460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb906044016020604051808303815f875af115801561066b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061068f919061183c565b505050565b5f546001600160a01b031633146106bd5760405162461bcd60e51b8152600401610472906116ee565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461072e5760405162461bcd60e51b8152600401610472906116ee565b601754600160a01b900460ff16156107885760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610472565b6016546001600160a01b031663f305d71947306107b9816001600160a01b03165f9081526001602052604090205490565b5f806107cc5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610832573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610857919061185b565b505060175460165460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156108ac573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108d0919061183c565b50601a805461ff0019166101001790556017805460ff60a01b1916600160a01b17905543600755565b5f610512338484610b0f565b5f546001600160a01b0316331461092e5760405162461bcd60e51b8152600401610472906116ee565b6001600160a01b0381166109935760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610472565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610a4e5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610472565b6001600160a01b038216610aaf5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610472565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b735760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610472565b6001600160a01b038216610bd55760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610472565b5f8111610c365760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610472565b5f80546001600160a01b03858116911614801590610c6157505f546001600160a01b03848116911614155b1561112f57610c926064610c8c600c54600f5411610c8157600854610c85565b600a545b85906112a4565b90611329565b90506007544303610d1c57601954435f9081526005602052604090205410610cfc5760405162461bcd60e51b815260206004820181905260248201527f457863656564732062757973206f6e2074686520666972737420626c6f636b2e6044820152606401610472565b435f908152600560205260408120805491610d1683611886565b91905055505b6001600160a01b0384165f9081526004602052604090205460ff168015610d5157506016546001600160a01b03848116911614155b8015610d7557506001600160a01b0383165f9081526003602052604090205460ff16155b15610e5b57601254821115610dcc5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610472565b60135482610dee856001600160a01b03165f9081526001602052604090205490565b610df8919061189e565b1115610e465760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610472565b600f8054905f610e5583611886565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff16158015610e9b57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f1a5760135482610ec2856001600160a01b03165f9081526001602052604090205490565b610ecc919061189e565b1115610f1a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610472565b6001600160a01b0383165f9081526004602052604090205460ff168015610f4a57506001600160a01b0384163014155b15610f7757610f746064610c8c600d54600f5411610f6a57600954610c85565b600b5485906112a4565b90505b6001600160a01b0384165f9081526004602052604090205460ff16158015610fb757506001600160a01b0383165f9081526004602052604090205460ff16155b8015610fcc57506001600160a01b0384163014155b15610fd457505f5b305f90815260016020526040902054601a5460ff1615801561100d57506001600160a01b0384165f9081526004602052604090205460ff165b80156110205750601a54610100900460ff165b801561102d575060145481115b801561103c5750600e54600f54115b156110aa57601154431115611050575f6010555b6018546010541061105f575f80fd5b61107c611077846110728460155461136a565b61136a565b61137e565b47801561108c5761108c476114e5565b60108054905f61109b83611886565b9091555050436011555061112d565b601a5460ff161580156110d457506001600160a01b0384165f9081526004602052604090205460ff165b80156110e75750601a54610100900460ff165b80156110f4575060145481115b80156111035750600e54600f54115b1561112d5761111b611077846110728460155461136a565b47801561112b5761112b476114e5565b505b505b80156111a757305f9081526001602052604090205461114e9082611520565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061119e9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111c9908361157e565b6001600160a01b0385165f9081526001602052604090205561120c6111ee838361157e565b6001600160a01b0385165f9081526001602052604090205490611520565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611255858561157e565b60405190815260200160405180910390a350505050565b5f818484111561128f5760405162461bcd60e51b815260040161047291906115eb565b505f61129b84866118b1565b95945050505050565b5f825f036112b357505f610516565b5f6112be8385611825565b9050826112cb85836118c4565b146113225760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610472565b9392505050565b5f61132283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115bf565b5f8183116113785782611322565b50919050565b601a805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106113be576113be6118e3565b6001600160a01b03928316602091820292909201810191909152601654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611415573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061143991906118f7565b8160018151811061144c5761144c6118e3565b6001600160a01b03928316602091820292909201015260165461147291309116846109ec565b60165460405163791ac94760e01b81526001600160a01b039091169063791ac947906114aa9085905f90869030904290600401611912565b5f604051808303815f87803b1580156114c1575f80fd5b505af11580156114d3573d5f803e3d5ffd5b5050601a805460ff1916905550505050565b6006546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561151c573d5f803e3d5ffd5b5050565b5f8061152c838561189e565b9050838110156113225760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610472565b5f61132283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061126c565b5f81836115df5760405162461bcd60e51b815260040161047291906115eb565b505f61129b84866118c4565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610592575f80fd5b5f8060408385031215611645575f80fd5b823561165081611620565b946020939093013593505050565b5f805f60608486031215611670575f80fd5b833561167b81611620565b9250602084013561168b81611620565b929592945050506040919091013590565b5f602082840312156116ac575f80fd5b813561132281611620565b5f80604083850312156116c8575f80fd5b82356116d381611620565b915060208301356116e381611620565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561177157815f190482111561175757611757611723565b8085161561176457918102915b93841c939080029061173c565b509250929050565b5f8261178757506001610516565b8161179357505f610516565b81600181146117a957600281146117b3576117cf565b6001915050610516565b60ff8411156117c4576117c4611723565b50506001821b610516565b5060208310610133831016604e8410600b84101617156117f2575081810a610516565b6117fc8383611737565b805f190482111561180f5761180f611723565b029392505050565b5f61132260ff841683611779565b808202811582820484141761051657610516611723565b5f6020828403121561184c575f80fd5b81518015158114611322575f80fd5b5f805f6060848603121561186d575f80fd5b8351925060208401519150604084015190509250925092565b5f6001820161189757611897611723565b5060010190565b8082018082111561051657610516611723565b8181038181111561051657610516611723565b5f826118de57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611907575f80fd5b815161132281611620565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156119625784516001600160a01b03168352938301939183019160010161193d565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212205109e5180436fc497380b5dbc9a910c40578cc629f9b43192d04cb1bc4f73cad64736f6c63430008190033

3883:8835:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12080:162;;;;;;;;;;;;;:::i;:::-;;6337:83;;;;;;;;;;-1:-1:-1;6407:5:0;;;;;;;;;;;;;;;;;6337:83;;;;;;;:::i;:::-;;;;;;;;7170:161;;;;;;;;;;-1:-1:-1;7170:161:0;;;;;:::i;:::-;;:::i;:::-;;;1058:14:1;;1051:22;1033:41;;1021:2;1006:18;7170:161:0;893:187:1;5157:53:0;;;;;;;;;;;;;;;;;;;1231:25:1;;;1219:2;1204:18;5157:53:0;1085:177:1;6614:95:0;;;;;;;;;;;;;:::i;11740:146::-;;;;;;;;;;;;;:::i;7339:313::-;;;;;;;;;;-1:-1:-1;7339:313:0;;;;;:::i;:::-;;:::i;6523:83::-;;;;;;;;;;-1:-1:-1;6523:83:0;;4761:1;1870:36:1;;1858:2;1843:18;6523:83:0;1728:184:1;5268:28:0;;;;;;;;;;-1:-1:-1;5268:28:0;;;;-1:-1:-1;;;;;5268:28:0;;;;;;-1:-1:-1;;;;;2081:32:1;;;2063:51;;2051:2;2036:18;5268:28:0;1917:203:1;11894:178:0;;;;;;;;;;-1:-1:-1;11894:178:0;;;;;:::i;:::-;;:::i;6717:119::-;;;;;;;;;;-1:-1:-1;6717:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6810:18:0;6783:7;6810:18;;;:9;:18;;;;;;;6717:119;2714:148;;;;;;;;;;;;;:::i;4963:57::-;;;;;;;;;;;;;;;;12250:428;;;;;;;;;;;;;:::i;2500:79::-;;;;;;;;;;-1:-1:-1;2538:7:0;2565:6;-1:-1:-1;;;;;2565:6:0;2500:79;;5027:57;;;;;;;;;;;;;;;;6428:87;;;;;;;;;;-1:-1:-1;6500:7:0;;;;;;;;;;;;-1:-1:-1;;;6500:7:0;;;;6428:87;;6844:167;;;;;;;;;;-1:-1:-1;6844:167:0;;;;;:::i;:::-;;:::i;5091:59::-;;;;;;;;;;;;;;;;7019:143;;;;;;;;;;-1:-1:-1;7019:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;7127:18:0;;;7100:7;7127:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7019:143;2870:244;;;;;;;;;;-1:-1:-1;2870:244:0;;;;;:::i;:::-;;:::i;4142:43::-;;;;;;;;;;-1:-1:-1;4142:43:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;12080:162;2627:6;;-1:-1:-1;;;;;2627:6:0;335:10;2627:22;2619:67;;;;-1:-1:-1;;;2619:67:0;;;;;;;:::i;:::-;;;;;;;;;4818:13:::1;4761:1;4818:2;:13;:::i;:::-;4804:27;::::0;:11:::1;:27;:::i;:::-;12136:12;:22:::0;4818:13:::1;4761:1;4818:2;:13;:::i;:::-;4804:27;::::0;:11:::1;:27;:::i;:::-;12169:14;:22:::0;12207:27:::1;4818:13;4761:1;4818:2;:13;:::i;:::-;4804:27;::::0;:11:::1;:27;:::i;:::-;12207;::::0;1231:25:1;;;1219:2;1204:18;12207:27:0::1;;;;;;;12080:162::o:0;7170:161::-;7245:4;7262:39;335:10;7285:7;7294:6;7262:8;:39::i;:::-;-1:-1:-1;7319:4:0;7170:161;;;;;:::o;6614:95::-;6667:7;4818:13;4761:1;4818:2;:13;:::i;:::-;4804:27;;:11;:27;:::i;:::-;6687:14;;6614:95;:::o;11740:146::-;11805:10;;-1:-1:-1;;;;;11805:10:0;335;-1:-1:-1;;;;;11789:26:0;;11781:35;;;;;;11835:10;;11827:51;;-1:-1:-1;;;;;11835:10:0;;;;11856:21;11827:51;;;;;11835:10;11827:51;11835:10;11827:51;11856:21;11835:10;11827:51;;;;;;;;;;;;;;;;;;;;;11740:146::o;7339:313::-;7437:4;7454:36;7464:6;7472:9;7483:6;7454:9;:36::i;:::-;7501:121;7510:6;335:10;7532:89;7570:6;7532:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7532:19:0;;;;;;:11;:19;;;;;;;;335:10;7532:33;;;;;;;;;;:37;:89::i;:::-;7501:8;:121::i;:::-;-1:-1:-1;7640:4:0;7339:313;;;;;:::o;11894:178::-;11994:10;;-1:-1:-1;;;;;11994:10:0;335;-1:-1:-1;;;;;11978:26:0;;11970:35;;;;;;12044:10;;12016:48;;-1:-1:-1;;;12016:48:0;;-1:-1:-1;;;;;12044:10:0;;;12016:48;;;4995:51:1;5062:18;;;5055:34;;;12016:27:0;;;;;;4968:18:1;;12016:48:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11894:178;;:::o;2714:148::-;2627:6;;-1:-1:-1;;;;;2627:6:0;335:10;2627:22;2619:67;;;;-1:-1:-1;;;2619:67:0;;;;;;;:::i;:::-;2821:1:::1;2805:6:::0;;2784:40:::1;::::0;-1:-1:-1;;;;;2805:6:0;;::::1;::::0;2784:40:::1;::::0;2821:1;;2784:40:::1;2852:1;2835:19:::0;;-1:-1:-1;;;;;;2835:19:0::1;::::0;;2714:148::o;12250:428::-;2627:6;;-1:-1:-1;;;;;2627:6:0;335:10;2627:22;2619:67;;;;-1:-1:-1;;;2619:67:0;;;;;;;:::i;:::-;12316:11:::1;::::0;-1:-1:-1;;;12316:11:0;::::1;;;12315:12;12307:47;;;::::0;-1:-1:-1;;;12307:47:0;;5584:2:1;12307:47:0::1;::::0;::::1;5566:21:1::0;5623:2;5603:18;;;5596:30;5662:25;5642:18;;;5635:53;5705:18;;12307:47:0::1;5382:347:1::0;12307:47:0::1;12365:15;::::0;-1:-1:-1;;;;;12365:15:0::1;:31;12404:21;12435:4;12441:24;12435:4:::0;-1:-1:-1;;;;;6810:18:0;6783:7;6810:18;;;:9;:18;;;;;;;6717:119;12441:24:::1;12466:1;12468::::0;12470:7:::1;2538::::0;2565:6;-1:-1:-1;;;;;2565:6:0;;2500:79;12470:7:::1;12365:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;12365:129:0;;;-1:-1:-1;;;;;6093:15:1;;;12365:129:0::1;::::0;::::1;6075:34:1::0;6125:18;;;6118:34;;;;6168:18;;;6161:34;;;;6211:18;;;6204:34;6275:15;;;6254:19;;;6247:44;12478:15:0::1;6307:19:1::0;;;6300:35;6009:19;;12365:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12512:13:0::1;::::0;12543:15:::1;::::0;12505:71:::1;::::0;-1:-1:-1;;;12505:71:0;;-1:-1:-1;;;;;12543:15:0;;::::1;12505:71;::::0;::::1;4995:51:1::0;-1:-1:-1;;5062:18:1;;;5055:34;12512:13:0;::::1;::::0;-1:-1:-1;12505:29:0::1;::::0;4968:18:1;;12505:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12587:11:0::1;:18:::0;;-1:-1:-1;;12587:18:0::1;;;::::0;;12616:11:::1;:18:::0;;-1:-1:-1;;;;12616:18:0::1;-1:-1:-1::0;;;12616:18:0::1;::::0;;12658:12:::1;12645:10;:25:::0;12250:428::o;6844:167::-;6922:4;6939:42;335:10;6963:9;6974:6;6939:9;:42::i;2870:244::-;2627:6;;-1:-1:-1;;;;;2627:6:0;335:10;2627:22;2619:67;;;;-1:-1:-1;;;2619:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;2959:22:0;::::1;2951:73;;;::::0;-1:-1:-1;;;2951:73:0;;7138:2:1;2951:73:0::1;::::0;::::1;7120:21:1::0;7177:2;7157:18;;;7150:30;7216:34;7196:18;;;7189:62;-1:-1:-1;;;7267:18:1;;;7260:36;7313:19;;2951:73:0::1;6936:402:1::0;2951:73:0::1;3061:6;::::0;;3040:38:::1;::::0;-1:-1:-1;;;;;3040:38:0;;::::1;::::0;3061:6;::::1;::::0;3040:38:::1;::::0;::::1;3089:6;:17:::0;;-1:-1:-1;;;;;;3089:17:0::1;-1:-1:-1::0;;;;;3089:17:0;;;::::1;::::0;;;::::1;::::0;;2870:244::o;7660:335::-;-1:-1:-1;;;;;7753:19:0;;7745:68;;;;-1:-1:-1;;;7745:68:0;;7545:2:1;7745:68:0;;;7527:21:1;7584:2;7564:18;;;7557:30;7623:34;7603:18;;;7596:62;-1:-1:-1;;;7674:18:1;;;7667:34;7718:19;;7745:68:0;7343:400:1;7745:68:0;-1:-1:-1;;;;;7832:21:0;;7824:68;;;;-1:-1:-1;;;7824:68:0;;7950:2:1;7824:68:0;;;7932:21:1;7989:2;7969:18;;;7962:30;8028:34;8008:18;;;8001:62;-1:-1:-1;;;8079:18:1;;;8072:32;8121:19;;7824:68:0;7748:398:1;7824:68:0;-1:-1:-1;;;;;7903:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7955:32;;1231:25:1;;;7955:32:0;;1204:18:1;7955:32:0;;;;;;;7660:335;;;:::o;8003:3030::-;-1:-1:-1;;;;;8091:18:0;;8083:68;;;;-1:-1:-1;;;8083:68:0;;8353:2:1;8083:68:0;;;8335:21:1;8392:2;8372:18;;;8365:30;8431:34;8411:18;;;8404:62;-1:-1:-1;;;8482:18:1;;;8475:35;8527:19;;8083:68:0;8151:401:1;8083:68:0;-1:-1:-1;;;;;8170:16:0;;8162:64;;;;-1:-1:-1;;;8162:64:0;;8759:2:1;8162:64:0;;;8741:21:1;8798:2;8778:18;;;8771:30;8837:34;8817:18;;;8810:62;-1:-1:-1;;;8888:18:1;;;8881:33;8931:19;;8162:64:0;8557:399:1;8162:64:0;8254:1;8245:6;:10;8237:64;;;;-1:-1:-1;;;8237:64:0;;9163:2:1;8237:64:0;;;9145:21:1;9202:2;9182:18;;;9175:30;9241:34;9221:18;;;9214:62;-1:-1:-1;;;9292:18:1;;;9285:39;9341:19;;8237:64:0;8961:405:1;8237:64:0;8312:17;2565:6;;-1:-1:-1;;;;;8348:15:0;;;2565:6;;8348:15;;;;:32;;-1:-1:-1;2538:7:0;2565:6;-1:-1:-1;;;;;8367:13:0;;;2565:6;;8367:13;;8348:32;8344:2333;;;8409:79;8484:3;8409:70;8432:15;;8421:9;;:26;8420:58;;8464:14;;8420:58;;;8450:12;;8420:58;8409:6;;:10;:70::i;:::-;:74;;:79::i;:::-;8397:91;;8524:10;;8508:12;:26;8505:196;;8589:14;;8573:12;8561:25;;;;:11;:25;;;;;;:42;8553:87;;;;-1:-1:-1;;;8553:87:0;;9573:2:1;8553:87:0;;;9555:21:1;;;9592:18;;;9585:30;9651:34;9631:18;;;9624:62;9703:18;;8553:87:0;9371:356:1;8553:87:0;8670:12;8658:25;;;;:11;:25;;;;;:27;;;;;;:::i;:::-;;;;;;8505:196;-1:-1:-1;;;;;8721:16:0;;;;;;:10;:16;;;;;;;;:50;;;;-1:-1:-1;8755:15:0;;-1:-1:-1;;;;;8741:30:0;;;8755:15;;8741:30;;8721:50;:67;;;;-1:-1:-1;;;;;;8777:11:0;;;;;;:7;:11;;;;;;;;8775:13;8721:67;8717:297;;;8828:12;;8818:6;:22;;8810:60;;;;-1:-1:-1;;;8810:60:0;;10074:2:1;8810:60:0;;;10056:21:1;10113:2;10093:18;;;10086:30;10152:27;10132:18;;;10125:55;10197:18;;8810:60:0;9872:349:1;8810:60:0;8923:14;;8913:6;8897:13;8907:2;-1:-1:-1;;;;;6810:18:0;6783:7;6810:18;;;:9;:18;;;;;;;6717:119;8897:13;:22;;;;:::i;:::-;:40;;8889:79;;;;-1:-1:-1;;;8889:79:0;;10558:2:1;8889:79:0;;;10540:21:1;10597:2;10577:18;;;10570:30;10636:28;10616:18;;;10609:56;10682:18;;8889:79:0;10356:350:1;8889:79:0;8987:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8717:297;-1:-1:-1;;;;;9035:14:0;;;;;;:10;:14;;;;;;;;9034:15;:32;;;;-1:-1:-1;;;;;;9055:11:0;;;;;;:7;:11;;;;;;;;9053:13;9034:32;9030:152;;;9121:14;;9111:6;9095:13;9105:2;-1:-1:-1;;;;;6810:18:0;6783:7;6810:18;;;:9;:18;;;;;;;6717:119;9095:13;:22;;;;:::i;:::-;:40;;9087:79;;;;-1:-1:-1;;;9087:79:0;;10558:2:1;9087:79:0;;;10540:21:1;10597:2;10577:18;;;10570:30;10636:28;10616:18;;;10609:56;10682:18;;9087:79:0;10356:350:1;9087:79:0;-1:-1:-1;;;;;9201:14:0;;;;;;:10;:14;;;;;;;;:38;;;;-1:-1:-1;;;;;;9219:20:0;;9234:4;9219:20;;9201:38;9198:172;;;9272:82;9350:3;9272:73;9295:16;;9284:9;;:27;9283:61;;9329:15;;9283:61;;;9314:13;;9272:6;;:10;:73::i;:82::-;9260:94;;9198:172;-1:-1:-1;;;;;9384:16:0;;;;;;:10;:16;;;;;;;;9383:17;:36;;;;-1:-1:-1;;;;;;9405:14:0;;;;;;:10;:14;;;;;;;;9404:15;9383:36;:60;;;;-1:-1:-1;;;;;;9423:20:0;;9438:4;9423:20;;9383:60;9379:115;;;-1:-1:-1;9477:1:0;9379:115;9559:4;9510:28;6810:18;;;:9;:18;;;;;;9585:6;;;;9584:7;:25;;;;-1:-1:-1;;;;;;9595:14:0;;;;;;:10;:14;;;;;;;;9584:25;:40;;;;-1:-1:-1;9613:11:0;;;;;;;9584:40;:82;;;;;9649:17;;9628:20;:38;9584:82;:114;;;;;9680:18;;9670:9;;:28;9584:114;9580:1086;;;9738:13;;9723:12;:28;9719:90;;;9788:1;9776:9;:13;9719:90;9847:13;;9835:9;;:25;9827:34;;;;;;9880:67;9897:49;9901:6;9908:37;9912:20;9933:11;;9908:3;:37::i;:::-;9897:3;:49::i;:::-;9880:16;:67::i;:::-;9995:21;10038:22;;10035:105;;10085:35;10098:21;10085:12;:35::i;:::-;10158:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;10204:12:0;10188:13;:28;-1:-1:-1;9580:1086:0;;;10257:6;;;;10256:7;:25;;;;-1:-1:-1;;;;;;10267:14:0;;;;;;:10;:14;;;;;;;;10256:25;:40;;;;-1:-1:-1;10285:11:0;;;;;;;10256:40;:82;;;;;10321:17;;10300:20;:38;10256:82;:114;;;;;10352:18;;10342:9;;:28;10256:114;10253:413;;;10391:67;10408:49;10412:6;10419:37;10423:20;10444:11;;10419:3;:37::i;10391:67::-;10506:21;10549:22;;10546:105;;10596:35;10609:21;10596:12;:35::i;:::-;10372:294;10253:413;8382:2295;8344:2333;10692:11;;10689:161;;10760:4;10742:24;;;;:9;:24;;;;;;:39;;10771:9;10742:28;:39::i;:::-;10735:4;10717:24;;;;:9;:24;;;;;;;:64;;;;10799:39;;-1:-1:-1;;;;;10799:39:0;;;;;;;10828:9;1231:25:1;;1219:2;1204:18;;1085:177;10799:39:0;;;;;;;;10689:161;-1:-1:-1;;;;;10876:15:0;;;;;;:9;:15;;;;;;:27;;10896:6;10876:19;:27::i;:::-;-1:-1:-1;;;;;10860:15:0;;;;;;:9;:15;;;;;:43;10928:40;10946:21;:6;10957:9;10946:10;:21::i;:::-;-1:-1:-1;;;;;10928:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;10914:13:0;;;;;;;:9;:13;;;;;:54;;;;10984:41;;;11003:21;:6;11014:9;11003:10;:21::i;:::-;10984:41;;1231:25:1;;;1219:2;1204:18;10984:41:0;;;;;;;8072:2961;8003:3030;;;:::o;1392:190::-;1478:7;1514:12;1506:6;;;;1498:29;;;;-1:-1:-1;;;1498:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1538:9:0;1550:5;1554:1;1550;:5;:::i;:::-;1538:17;1392:190;-1:-1:-1;;;;;1392:190:0:o;1590:246::-;1648:7;1672:1;1677;1672:6;1668:47;;-1:-1:-1;1702:1:0;1695:8;;1668:47;1725:9;1737:5;1741:1;1737;:5;:::i;:::-;1725:17;-1:-1:-1;1770:1:0;1761:5;1765:1;1725:17;1761:5;:::i;:::-;:10;1753:56;;;;-1:-1:-1;;;1753:56:0;;11268:2:1;1753:56:0;;;11250:21:1;11307:2;11287:18;;;11280:30;11346:34;11326:18;;;11319:62;-1:-1:-1;;;11397:18:1;;;11390:31;11438:19;;1753:56:0;11066:397:1;1753:56:0;1827:1;1590:246;-1:-1:-1;;;1590:246:0:o;1844:132::-;1902:7;1929:39;1933:1;1936;1929:39;;;;;;;;;;;;;;;;;:3;:39::i;11043:98::-;11100:7;11127:1;11125;:3;11124:9;;11132:1;11124:9;;;-1:-1:-1;11130:1:0;11043:98;-1:-1:-1;11043:98:0:o;11149:483::-;5573:6;:13;;-1:-1:-1;;5573:13:0;5582:4;5573:13;;;11251:16:::1;::::0;;11265:1:::1;11251:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11251:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11251:16:0::1;11227:40;;11296:4;11278;11283:1;11278:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11278:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11322:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11322:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11278:7;;11322:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11312:4;11317:1;11312:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11312:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11387:15:::1;::::0;11355:62:::1;::::0;11372:4:::1;::::0;11387:15:::1;11405:11:::0;11355:8:::1;:62::i;:::-;11428:15;::::0;:196:::1;::::0;-1:-1:-1;;;11428:196:0;;-1:-1:-1;;;;;11428:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;11509:11;;11428:15:::1;::::0;11551:4;;11578::::1;::::0;11598:15:::1;::::0;11428:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5609:6:0;:14;;-1:-1:-1;;5609:14:0;;;-1:-1:-1;;;;11149:483:0:o;11640:92::-;11697:10;;:27;;-1:-1:-1;;;;;11697:10:0;;;;:27;;;;;11717:6;;11697:10;:27;:10;:27;11717:6;11697:10;:27;;;;;;;;;;;;;;;;;;;;;11640:92;:::o;1061:179::-;1119:7;;1151:5;1155:1;1151;:5;:::i;:::-;1139:17;;1180:1;1175;:6;;1167:46;;;;-1:-1:-1;;;1167:46:0;;13175:2:1;1167:46:0;;;13157:21:1;13214:2;13194:18;;;13187:30;13253:29;13233:18;;;13226:57;13300:18;;1167:46:0;12973:351:1;1248:136:0;1306:7;1333:43;1337:1;1340;1333:43;;;;;;;;;;;;;;;;;:3;:43::i;1984:189::-;2070:7;2105:12;2098:5;2090:28;;;;-1:-1:-1;;;2090:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2129:9:0;2141:5;2145:1;2141;: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;2125:247::-;2184:6;2237:2;2225:9;2216:7;2212:23;2208:32;2205:52;;;2253:1;2250;2243:12;2205:52;2292:9;2279:23;2311:31;2336:5;2311:31;:::i;2377:388::-;2445:6;2453;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;:::-;2630:5;-1:-1:-1;2687:2:1;2672:18;;2659:32;2700:33;2659:32;2700:33;:::i;:::-;2752:7;2742:17;;;2377:388;;;;;:::o;2770:356::-;2972:2;2954:21;;;2991:18;;;2984:30;3050:34;3045:2;3030:18;;3023:62;3117:2;3102:18;;2770:356::o;3131:127::-;3192:10;3187:3;3183:20;3180:1;3173:31;3223:4;3220:1;3213:15;3247:4;3244:1;3237:15;3263:416;3352:1;3389:5;3352:1;3403:270;3424:7;3414:8;3411:21;3403:270;;;3483:4;3479:1;3475:6;3471:17;3465:4;3462:27;3459:53;;;3492:18;;:::i;:::-;3542:7;3532:8;3528:22;3525:55;;;3562:16;;;;3525:55;3641:22;;;;3601:15;;;;3403:270;;;3407:3;3263:416;;;;;:::o;3684:806::-;3733:5;3763:8;3753:80;;-1:-1:-1;3804:1:1;3818:5;;3753:80;3852:4;3842:76;;-1:-1:-1;3889:1:1;3903:5;;3842:76;3934:4;3952:1;3947:59;;;;4020:1;4015:130;;;;3927:218;;3947:59;3977:1;3968:10;;3991:5;;;4015:130;4052:3;4042:8;4039:17;4036:43;;;4059:18;;:::i;:::-;-1:-1:-1;;4115:1:1;4101:16;;4130:5;;3927:218;;4229:2;4219:8;4216:16;4210:3;4204:4;4201:13;4197:36;4191:2;4181:8;4178:16;4173:2;4167:4;4164:12;4160:35;4157:77;4154:159;;;-1:-1:-1;4266:19:1;;;4298:5;;4154:159;4345:34;4370:8;4364:4;4345:34;:::i;:::-;4415:6;4411:1;4407:6;4403:19;4394:7;4391:32;4388:58;;;4426:18;;:::i;:::-;4464:20;;3684:806;-1:-1:-1;;;3684:806:1:o;4495:140::-;4553:5;4582:47;4623:4;4613:8;4609:19;4603:4;4582:47;:::i;4640:168::-;4713:9;;;4744;;4761:15;;;4755:22;;4741:37;4731:71;;4782:18;;:::i;5100:277::-;5167:6;5220:2;5208:9;5199:7;5195:23;5191:32;5188:52;;;5236:1;5233;5226:12;5188:52;5268:9;5262:16;5321:5;5314:13;5307:21;5300:5;5297:32;5287:60;;5343:1;5340;5333:12;6346:306;6434:6;6442;6450;6503:2;6491:9;6482:7;6478:23;6474:32;6471:52;;;6519:1;6516;6509:12;6471:52;6548:9;6542:16;6532:26;;6598:2;6587:9;6583:18;6577:25;6567:35;;6642:2;6631:9;6627:18;6621:25;6611:35;;6346:306;;;;;:::o;9732:135::-;9771:3;9792:17;;;9789:43;;9812:18;;:::i;:::-;-1:-1:-1;9859:1:1;9848:13;;9732:135::o;10226:125::-;10291:9;;;10312:10;;;10309:36;;;10325:18;;:::i;10711:128::-;10778:9;;;10799:11;;;10796:37;;;10813:18;;:::i;10844:217::-;10884:1;10910;10900:132;;10954:10;10949:3;10945:20;10942:1;10935:31;10989:4;10986:1;10979:15;11017:4;11014:1;11007:15;10900:132;-1:-1:-1;11046:9:1;;10844:217::o;11600:127::-;11661:10;11656:3;11652:20;11649:1;11642:31;11692:4;11689:1;11682:15;11716:4;11713:1;11706:15;11732:251;11802:6;11855:2;11843:9;11834:7;11830:23;11826:32;11823:52;;;11871:1;11868;11861:12;11823:52;11903:9;11897:16;11922:31;11947:5;11922:31;:::i;11988:980::-;12250:4;12298:3;12287:9;12283:19;12329:6;12318:9;12311:25;12355:2;12393:6;12388:2;12377:9;12373:18;12366:34;12436:3;12431:2;12420:9;12416:18;12409:31;12460:6;12495;12489:13;12526:6;12518;12511:22;12564:3;12553:9;12549:19;12542:26;;12603:2;12595:6;12591:15;12577:29;;12624:1;12634:195;12648:6;12645:1;12642:13;12634:195;;;12713:13;;-1:-1:-1;;;;;12709:39:1;12697:52;;12804:15;;;;12769:12;;;;12745:1;12663:9;12634:195;;;-1:-1:-1;;;;;;;12885:32:1;;;;12880:2;12865:18;;12858:60;-1:-1:-1;;;12949:3:1;12934:19;12927:35;12846:3;11988:980;-1:-1:-1;;;11988:980:1:o

ipfs://5109e5180436fc497380b5dbc9a910c40578cc629f9b43192d04cb1bc4f73cad