Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function isOwner(address account)    - function renounceOwnership() interface IERC20    - function totalSupply()    - function decimals()    - function symbol()    - function name()    - function getOwner()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address _owner, ad ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... interface IUniswapV2Router    - function factory()    - function WETH()    - function addLiquidity(    - function addLiquidityETH(    - function swapExactTokensForTokensSupp ...    - function swapExactETHForTokensSupport ...    - function swapExactTokensForETHSupport ... 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 ... interface IUniswapV2Factory    - function createPair(address tokenA, a ...  contract SOUL is IERC20, Ownable *    - function totalSupply()    - function decimals()    - function symbol()    - function name()    - function getOwner()    - function balanceOf(address account)    - function allowance(address holder, ad ...    - function _transferFrom(address sender ...    - function isSell(address recipient)    - function swapBackSoAI()    - function approve(address spender, uin ...    - function transferFee(address sender, ...    - function _transferBasic(address sende ...    - function transferFrom(address sender, ...    - function shouldSwapBack(address sende ...    - function setSoAIWalletSize(uint256 pe ...    - function updateSoAITax(uint256 lpFee_ ...    - function shouldExemptFees(address sen ...    - function shouldSoAISwapBack()    - function transfer(address recipient, ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-01-07
*/

// SPDX-License-Identifier: MIT

/**

    Start Dating with Your AI Dream Girl Now!
    Tired of being lonely? Our human-like AI girlfriends provide the companionship you've been missing. Choose your ideal partner and start building a relationship just for you!

    Web: https://soulfulai.fun
    iOS: https://apps.apple.com/us/app/soulful-ai-gf-spicy-chat/id6468923687
    X: https://twitter.com/Soulful_AI_Girl
    Tg: https://t.me/Soulful_AI_Girl_official
    Docs: https://medium.com/@soulful.ai

 */

pragma solidity 0.8.19;

abstract contract Ownable {
    address internal owner;
    constructor(address _owner) {
        owner = _owner;
    }
    modifier onlyOwner() {
        require(isOwner(msg.sender), "!OWNER"); _;
    }
    function isOwner(address account) public view returns (bool) {
        return account == owner;
    }
    function renounceOwnership() public onlyOwner {
        owner = address(0);
        emit OwnershipTransferred(address(0));
    }  
    event OwnershipTransferred(address owner);
}

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function decimals() external view returns (uint8);
    function symbol() external view returns (string memory);
    function name() external view returns (string memory);
    function getOwner() external view returns (address);
    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);
}

interface IUniswapV2Router {
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidity(
        address tokenA,
        address tokenB,
        uint amountADesired,
        uint amountBDesired,
        uint amountAMin,
        uint amountBMin,
        address to,
        uint deadline
    ) external returns (uint amountA, uint amountB, uint liquidity);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
    function swapExactTokensForTokensSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function swapExactETHForTokensSupportingFeeOnTransferTokens(
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external payable;
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
}

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

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

contract SOUL is IERC20, Ownable {
    using SafeMath for uint256;

    string constant private _name = "SoulAI";
    string constant private _symbol = "SOUL";

    uint8 constant private _decimals = 9;
    uint256 private _totalSupply = 10 ** 9 * (10 ** _decimals);

    uint256 private _lpTax = 0; 
    uint256 private _marketingTax = 22;
    uint256 private _totalTax = _lpTax + _marketingTax;
    uint256 private _denominators = 100;

    uint256 public maxTxAmount = (_totalSupply * 20) / 1000;
    address public teamAddress;
    IUniswapV2Router public uniswapRouter;
    address public uniswapPair;

    address private _routerAddress = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;
    address private _deadAddress = 0x000000000000000000000000000000000000dEaD;

    modifier lockSwap() { swappingInProgress = true; _; swappingInProgress = false; }

    bool public isTaxSwapEnabled = true;
    uint256 public swapThreshold = _totalSupply / 100000; // 0.1%
    bool private swappingInProgress;
    
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _noTax;
    mapping (address => bool) private _noMaxTx;

    constructor (address SoAIAddress) Ownable(msg.sender) {
        uniswapRouter = IUniswapV2Router(_routerAddress);
        uniswapPair = IUniswapV2Factory(uniswapRouter.factory()).createPair(uniswapRouter.WETH(), address(this));
        _allowances[address(this)][address(uniswapRouter)] = type(uint256).max;
        address _owner = owner;
        teamAddress = SoAIAddress;
        _noTax[teamAddress] = true;
        _noMaxTx[_owner] = true;
        _noMaxTx[teamAddress] = true;
        _noMaxTx[_deadAddress] = true;
        _balances[_owner] = _totalSupply;
        emit Transfer(address(0), _owner, _totalSupply);
    }

    receive() external payable { }

    function totalSupply() external view override returns (uint256) { return _totalSupply; }
    function decimals() external pure override returns (uint8) { return _decimals; }
    function symbol() external pure override returns (string memory) { return _symbol; }
    function name() external pure override returns (string memory) { return _name; }
    function getOwner() external view override returns (address) { return owner; }
    function balanceOf(address account) public view override returns (uint256) { return _balances[account]; }
    function allowance(address holder, address spender) external view override returns (uint256) { return _allowances[holder][spender]; }
                   
    function _transferFrom(address sender, address recipient, uint256 amount) internal returns (bool) {
        if(swappingInProgress){ return _transferBasic(sender, recipient, amount); }
        
        if (recipient != uniswapPair && recipient != _deadAddress) {
            require(_noMaxTx[recipient] || _balances[recipient] + amount <= maxTxAmount, "Transfer amount exceeds the bag size.");
        }        
        if(shouldSwapBack(sender, recipient, amount)){ 
            swapBackSoAI(); 
        } 
        bool shouldTax = shouldExemptFees(sender);
        if (shouldTax) {
            _balances[recipient] = _balances[recipient].add(transferFee(sender, amount));
        } else {
            _balances[recipient] = _balances[recipient].add(amount);
        }

        emit Transfer(sender, recipient, amount);
        return true;
    }

    function isSell(address recipient) private returns (bool){
        return recipient == uniswapPair;
    }
    function swapBackSoAI() internal lockSwap {
        uint256 contractTokenBalance = balanceOf(address(this));
        uint256 tokensToLp = contractTokenBalance.mul(_lpTax).div(_totalTax).div(2);
        uint256 amountToSwap = contractTokenBalance.sub(tokensToLp);

        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniswapRouter.WETH();

        uniswapRouter.swapExactTokensForETHSupportingFeeOnTransferTokens(
            amountToSwap,
            0,
            path,
            address(this),
            block.timestamp
        );
        uint256 amountETH = address(this).balance;
        uint256 totalFeeTokens = _totalTax.sub(_lpTax.div(2));
        uint256 ethToLp = amountETH.mul(_lpTax).div(totalFeeTokens).div(2);
        uint256 ethToMarketing = amountETH.mul(_marketingTax).div(totalFeeTokens);

        payable(teamAddress).transfer(ethToMarketing);
        if(tokensToLp > 0){
            uniswapRouter.addLiquidityETH{value: ethToLp}(
                address(this),
                tokensToLp,
                0,
                0,
                teamAddress,
                block.timestamp
            );
        }
    }
    
    function approve(address spender, uint256 amount) public override returns (bool) {
        _allowances[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);
        return true;
    }
    
    function transferFee(address sender, uint256 amount) internal returns (uint256) {
        _balances[sender] = _balances[sender].sub(amount, "Insufficient Balance");
        uint256 feeTokens = amount.mul(_totalTax).div(_denominators);
        bool hasNoFee = sender == owner;
        if (hasNoFee) {
            feeTokens = 0;
        }
        _balances[address(this)] = _balances[address(this)].add(feeTokens);
        emit Transfer(sender, address(this), feeTokens);
        return amount.sub(feeTokens);
    }
    
    function _transferBasic(address sender, address recipient, uint256 amount) internal returns (bool) {
        _balances[sender] = _balances[sender].sub(amount, "Insufficient Balance");
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
        return true;
    }
    function transferFrom(address sender, address recipient, uint256 amount) external override returns (bool) {
        if(_allowances[sender][msg.sender] != type(uint256).max){
            _allowances[sender][msg.sender] = _allowances[sender][msg.sender].sub(amount, "Insufficient Allowance");
        }

        return _transferFrom(sender, recipient, amount);
    }
        
    function shouldSwapBack(address sender, address recipient, uint256 amount) private returns (bool) {
        return shouldSoAISwapBack() && 
            shouldExemptFees(sender) && 
            isSell(recipient) && 
            amount > swapThreshold;
    }
    
    function setSoAIWalletSize(uint256 percent_) external onlyOwner {
        maxTxAmount = (_totalSupply * percent_ ) / 1000;
    }
    
    function updateSoAITax(uint256 lpFee_, uint256 devFee_) external onlyOwner {
         _lpTax = lpFee_; 
         _marketingTax = devFee_;
         _totalTax = _lpTax + _marketingTax;
    }    
    
    function shouldExemptFees(address sender) internal view returns (bool) {
        return !_noTax[sender];
    }

    function shouldSoAISwapBack() internal view returns (bool) {
        return !swappingInProgress
        && isTaxSwapEnabled
        && _balances[address(this)] >= swapThreshold;
    }
    function transfer(address recipient, uint256 amount) external override returns (bool) {
        return _transferFrom(msg.sender, recipient, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"SoAIAddress","type":"address"}],"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":"address","name":"owner","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":[{"internalType":"address","name":"holder","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":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"isTaxSwapEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"percent_","type":"uint256"}],"name":"setSoAIWalletSize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"swapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"teamAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"uniswapPair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"uniswapRouter","outputs":[{"internalType":"contract IUniswapV2Router","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"lpFee_","type":"uint256"},{"internalType":"uint256","name":"devFee_","type":"uint256"}],"name":"updateSoAITax","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126009600a62000490565b6200002290633b9aca00620004a8565b60015560006002819055601660038190556200003e91620004c2565b60045560646005556103e860015460146200005a9190620004a8565b620000669190620004d8565b600655600a80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d179055600b80547401000000000000000000000000000000000000dead6001600160a81b0319909116179055600154620000cb90620186a090620004d8565b600c55348015620000db57600080fd5b506040516200180b3803806200180b833981016040819052620000fe91620004fb565b60008054336001600160a01b031991821617909155600a54600880546001600160a01b039092169190921681179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa1580156200016a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001909190620004fb565b6001600160a01b031663c9c65396600860009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620001f2573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002189190620004fb565b6040516001600160e01b031960e084901b1681526001600160a01b0390911660048201523060248201526044016020604051808303816000875af115801562000265573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200028b9190620004fb565b600980546001600160a01b039283166001600160a01b031991821617909155306000908152600f60209081526040808320600854861684528252808320600019905582546007805488881696168617815594845260108352818420805460ff1990811660019081179092559187168086526011855283862080548416831790559554871685528285208054831682179055600b5490961684528184208054909116861790559354838352600e82528483208190559351938452919283927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3505062000526565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620003d2578160001904821115620003b657620003b66200037b565b80851615620003c457918102915b93841c939080029062000396565b509250929050565b600082620003eb575060016200048a565b81620003fa575060006200048a565b81600181146200041357600281146200041e576200043e565b60019150506200048a565b60ff8411156200043257620004326200037b565b50506001821b6200048a565b5060208310610133831016604e8410600b841016171562000463575081810a6200048a565b6200046f838362000391565b80600019048211156200048657620004866200037b565b0290505b92915050565b6000620004a160ff841683620003da565b9392505050565b80820281158282048414176200048a576200048a6200037b565b808201808211156200048a576200048a6200037b565b600082620004f657634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156200050e57600080fd5b81516001600160a01b0381168114620004a157600080fd5b6112d580620005366000396000f3fe6080604052600436106101235760003560e01c806370a08231116100a057806395d89b411161006457806395d89b411461035a578063a9059cbb14610387578063c816841b146103a7578063dd62ed3e146103c7578063e19f88ce1461040d57600080fd5b806370a08231146102bb578063715018a6146102f1578063735de9f714610306578063893d20e8146103265780638c0b5e221461034457600080fd5b806323b872dd116100e757806323b872dd1461020d5780632ef3a8611461022d5780632f54bf6e1461024f578063313ce5671461027e5780635b4f4efa1461029a57600080fd5b80630445b6671461012f57806306fdde0314610158578063095ea7b31461019057806318160ddd146101c05780631c75f085146101d557600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b50610145600c5481565b6040519081526020015b60405180910390f35b34801561016457600080fd5b50604080518082019091526006815265536f756c414960d01b60208201525b60405161014f9190610fd4565b34801561019c57600080fd5b506101b06101ab36600461103a565b61042d565b604051901515815260200161014f565b3480156101cc57600080fd5b50600154610145565b3480156101e157600080fd5b506007546101f5906001600160a01b031681565b6040516001600160a01b03909116815260200161014f565b34801561021957600080fd5b506101b0610228366004611066565b61049a565b34801561023957600080fd5b5061024d6102483660046110a7565b61055c565b005b34801561025b57600080fd5b506101b061026a3660046110c0565b6000546001600160a01b0391821691161490565b34801561028a57600080fd5b506040516009815260200161014f565b3480156102a657600080fd5b50600b546101b090600160a01b900460ff1681565b3480156102c757600080fd5b506101456102d63660046110c0565b6001600160a01b03166000908152600e602052604090205490565b3480156102fd57600080fd5b5061024d6105b0565b34801561031257600080fd5b506008546101f5906001600160a01b031681565b34801561033257600080fd5b506000546001600160a01b03166101f5565b34801561035057600080fd5b5061014560065481565b34801561036657600080fd5b5060408051808201909152600481526314d3d55360e21b6020820152610183565b34801561039357600080fd5b506101b06103a236600461103a565b61061f565b3480156103b357600080fd5b506009546101f5906001600160a01b031681565b3480156103d357600080fd5b506101456103e23660046110dd565b6001600160a01b039182166000908152600f6020908152604080832093909416825291909152205490565b34801561041957600080fd5b5061024d610428366004611116565b61062c565b336000818152600f602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104889086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383166000908152600f6020908152604080832033845290915281205460001914610547576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b0387166000908152600f82528381203382529091529190912054610522918490610671565b6001600160a01b0385166000908152600f602090815260408083203384529091529020555b6105528484846106ab565b90505b9392505050565b6000546001600160a01b0316331461058f5760405162461bcd60e51b815260040161058690611138565b60405180910390fd5b6103e8816001546105a0919061116e565b6105aa9190611185565b60065550565b6000546001600160a01b031633146105da5760405162461bcd60e51b815260040161058690611138565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b60006105553384846106ab565b6000546001600160a01b031633146106565760405162461bcd60e51b815260040161058690611138565b6002829055600381905561066a81836111a7565b6004555050565b600081848411156106955760405162461bcd60e51b81526004016105869190610fd4565b5060006106a284866111ba565b95945050505050565b600d5460009060ff16156106cb576106c48484846108bc565b9050610555565b6009546001600160a01b038481169116148015906106f75750600b546001600160a01b03848116911614155b156107a2576001600160a01b03831660009081526011602052604090205460ff168061074857506006546001600160a01b0384166000908152600e60205260409020546107459084906111a7565b11155b6107a25760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b6064820152608401610586565b6107ad8484846109a2565b156107ba576107ba6109fc565b6001600160a01b03841660009081526010602052604090205460ff16158015610827576108096107ea8685610ce1565b6001600160a01b0386166000908152600e602052604090205490610e00565b6001600160a01b0385166000908152600e6020526040902055610864565b6001600160a01b0384166000908152600e602052604090205461084a9084610e00565b6001600160a01b0385166000908152600e60205260409020555b836001600160a01b0316856001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516108a991815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0386166000908152600e9091529182205461090d918490610671565b6001600160a01b038086166000908152600e6020526040808220939093559085168152205461093c9083610e00565b6001600160a01b038085166000818152600e602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109909086815260200190565b60405180910390a35060019392505050565b60006109ac610e5f565b80156109d157506001600160a01b03841660009081526010602052604090205460ff16155b80156109ea57506009546001600160a01b038481169116145b8015610552575050600c541092915050565b600d805460ff19166001179055306000908152600e602052604081205490506000610a436002610a3d600454610a3d60025487610ea090919063ffffffff16565b90610f22565b90506000610a518383610f64565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610a8b57610a8b6111cd565b6001600160a01b03928316602091820292909201810191909152600854604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610ae4573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b0891906111e3565b81600181518110610b1b57610b1b6111cd565b6001600160a01b03928316602091820292909201015260085460405163791ac94760e01b815291169063791ac94790610b61908590600090869030904290600401611200565b600060405180830381600087803b158015610b7b57600080fd5b505af1158015610b8f573d6000803e3d6000fd5b50506002805447935060009250610bb391610baa9190610f22565b60045490610f64565b90506000610bd56002610a3d84610a3d60025488610ea090919063ffffffff16565b90506000610bf283610a3d60035487610ea090919063ffffffff16565b6007546040519192506001600160a01b03169082156108fc029083906000818181858888f19350505050158015610c2d573d6000803e3d6000fd5b508615610ccd5760085460075460405163f305d71960e01b8152306004820152602481018a905260006044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990849060c40160606040518083038185885af1158015610ca4573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610cc99190611271565b5050505b5050600d805460ff19169055505050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0385166000908152600e90915291822054610d32918490610671565b6001600160a01b0384166000908152600e6020526040812091909155600554600454610d649190610a3d908690610ea0565b6000549091506001600160a01b038581169116148015610d8357600091505b306000908152600e6020526040902054610d9d9083610e00565b306000818152600e6020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610dee9086815260200190565b60405180910390a36106a28483610f64565b600080610e0d83856111a7565b9050838110156105555760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610586565b600d5460009060ff16158015610e7e5750600b54600160a01b900460ff165b8015610e9b5750600c54306000908152600e602052604090205410155b905090565b600082600003610eb257506000610494565b6000610ebe838561116e565b905082610ecb8583611185565b146105555760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610586565b600061055583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250610fa6565b600061055583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610671565b60008183610fc75760405162461bcd60e51b81526004016105869190610fd4565b5060006106a28486611185565b600060208083528351808285015260005b8181101561100157858101830151858201604001528201610fe5565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461103757600080fd5b50565b6000806040838503121561104d57600080fd5b823561105881611022565b946020939093013593505050565b60008060006060848603121561107b57600080fd5b833561108681611022565b9250602084013561109681611022565b929592945050506040919091013590565b6000602082840312156110b957600080fd5b5035919050565b6000602082840312156110d257600080fd5b813561055581611022565b600080604083850312156110f057600080fd5b82356110fb81611022565b9150602083013561110b81611022565b809150509250929050565b6000806040838503121561112957600080fd5b50508035926020909101359150565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b808202811582820484141761049457610494611158565b6000826111a257634e487b7160e01b600052601260045260246000fd5b500490565b8082018082111561049457610494611158565b8181038181111561049457610494611158565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156111f557600080fd5b815161055581611022565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156112505784516001600160a01b03168352938301939183019160010161122b565b50506001600160a01b03969096166060850152505050608001529392505050565b60008060006060848603121561128657600080fd5b835192506020840151915060408401519050925092509256fea2646970667358221220b1f78639fc5a6faf6b3d4822e93aa1199f4c3381da72d48664b5c0149977fe1764736f6c63430008130033000000000000000000000000d613da278e2e3887835057696b884e71dcfe0eeb

0x6080604052600436106101235760003560e01c806370a08231116100a057806395d89b411161006457806395d89b411461035a578063a9059cbb14610387578063c816841b146103a7578063dd62ed3e146103c7578063e19f88ce1461040d57600080fd5b806370a08231146102bb578063715018a6146102f1578063735de9f714610306578063893d20e8146103265780638c0b5e221461034457600080fd5b806323b872dd116100e757806323b872dd1461020d5780632ef3a8611461022d5780632f54bf6e1461024f578063313ce5671461027e5780635b4f4efa1461029a57600080fd5b80630445b6671461012f57806306fdde0314610158578063095ea7b31461019057806318160ddd146101c05780631c75f085146101d557600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b50610145600c5481565b6040519081526020015b60405180910390f35b34801561016457600080fd5b50604080518082019091526006815265536f756c414960d01b60208201525b60405161014f9190610fd4565b34801561019c57600080fd5b506101b06101ab36600461103a565b61042d565b604051901515815260200161014f565b3480156101cc57600080fd5b50600154610145565b3480156101e157600080fd5b506007546101f5906001600160a01b031681565b6040516001600160a01b03909116815260200161014f565b34801561021957600080fd5b506101b0610228366004611066565b61049a565b34801561023957600080fd5b5061024d6102483660046110a7565b61055c565b005b34801561025b57600080fd5b506101b061026a3660046110c0565b6000546001600160a01b0391821691161490565b34801561028a57600080fd5b506040516009815260200161014f565b3480156102a657600080fd5b50600b546101b090600160a01b900460ff1681565b3480156102c757600080fd5b506101456102d63660046110c0565b6001600160a01b03166000908152600e602052604090205490565b3480156102fd57600080fd5b5061024d6105b0565b34801561031257600080fd5b506008546101f5906001600160a01b031681565b34801561033257600080fd5b506000546001600160a01b03166101f5565b34801561035057600080fd5b5061014560065481565b34801561036657600080fd5b5060408051808201909152600481526314d3d55360e21b6020820152610183565b34801561039357600080fd5b506101b06103a236600461103a565b61061f565b3480156103b357600080fd5b506009546101f5906001600160a01b031681565b3480156103d357600080fd5b506101456103e23660046110dd565b6001600160a01b039182166000908152600f6020908152604080832093909416825291909152205490565b34801561041957600080fd5b5061024d610428366004611116565b61062c565b336000818152600f602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104889086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383166000908152600f6020908152604080832033845290915281205460001914610547576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b0387166000908152600f82528381203382529091529190912054610522918490610671565b6001600160a01b0385166000908152600f602090815260408083203384529091529020555b6105528484846106ab565b90505b9392505050565b6000546001600160a01b0316331461058f5760405162461bcd60e51b815260040161058690611138565b60405180910390fd5b6103e8816001546105a0919061116e565b6105aa9190611185565b60065550565b6000546001600160a01b031633146105da5760405162461bcd60e51b815260040161058690611138565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b60006105553384846106ab565b6000546001600160a01b031633146106565760405162461bcd60e51b815260040161058690611138565b6002829055600381905561066a81836111a7565b6004555050565b600081848411156106955760405162461bcd60e51b81526004016105869190610fd4565b5060006106a284866111ba565b95945050505050565b600d5460009060ff16156106cb576106c48484846108bc565b9050610555565b6009546001600160a01b038481169116148015906106f75750600b546001600160a01b03848116911614155b156107a2576001600160a01b03831660009081526011602052604090205460ff168061074857506006546001600160a01b0384166000908152600e60205260409020546107459084906111a7565b11155b6107a25760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b6064820152608401610586565b6107ad8484846109a2565b156107ba576107ba6109fc565b6001600160a01b03841660009081526010602052604090205460ff16158015610827576108096107ea8685610ce1565b6001600160a01b0386166000908152600e602052604090205490610e00565b6001600160a01b0385166000908152600e6020526040902055610864565b6001600160a01b0384166000908152600e602052604090205461084a9084610e00565b6001600160a01b0385166000908152600e60205260409020555b836001600160a01b0316856001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516108a991815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0386166000908152600e9091529182205461090d918490610671565b6001600160a01b038086166000908152600e6020526040808220939093559085168152205461093c9083610e00565b6001600160a01b038085166000818152600e602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109909086815260200190565b60405180910390a35060019392505050565b60006109ac610e5f565b80156109d157506001600160a01b03841660009081526010602052604090205460ff16155b80156109ea57506009546001600160a01b038481169116145b8015610552575050600c541092915050565b600d805460ff19166001179055306000908152600e602052604081205490506000610a436002610a3d600454610a3d60025487610ea090919063ffffffff16565b90610f22565b90506000610a518383610f64565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610a8b57610a8b6111cd565b6001600160a01b03928316602091820292909201810191909152600854604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610ae4573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b0891906111e3565b81600181518110610b1b57610b1b6111cd565b6001600160a01b03928316602091820292909201015260085460405163791ac94760e01b815291169063791ac94790610b61908590600090869030904290600401611200565b600060405180830381600087803b158015610b7b57600080fd5b505af1158015610b8f573d6000803e3d6000fd5b50506002805447935060009250610bb391610baa9190610f22565b60045490610f64565b90506000610bd56002610a3d84610a3d60025488610ea090919063ffffffff16565b90506000610bf283610a3d60035487610ea090919063ffffffff16565b6007546040519192506001600160a01b03169082156108fc029083906000818181858888f19350505050158015610c2d573d6000803e3d6000fd5b508615610ccd5760085460075460405163f305d71960e01b8152306004820152602481018a905260006044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990849060c40160606040518083038185885af1158015610ca4573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610cc99190611271565b5050505b5050600d805460ff19169055505050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0385166000908152600e90915291822054610d32918490610671565b6001600160a01b0384166000908152600e6020526040812091909155600554600454610d649190610a3d908690610ea0565b6000549091506001600160a01b038581169116148015610d8357600091505b306000908152600e6020526040902054610d9d9083610e00565b306000818152600e6020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610dee9086815260200190565b60405180910390a36106a28483610f64565b600080610e0d83856111a7565b9050838110156105555760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610586565b600d5460009060ff16158015610e7e5750600b54600160a01b900460ff165b8015610e9b5750600c54306000908152600e602052604090205410155b905090565b600082600003610eb257506000610494565b6000610ebe838561116e565b905082610ecb8583611185565b146105555760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610586565b600061055583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250610fa6565b600061055583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610671565b60008183610fc75760405162461bcd60e51b81526004016105869190610fd4565b5060006106a28486611185565b600060208083528351808285015260005b8181101561100157858101830151858201604001528201610fe5565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461103757600080fd5b50565b6000806040838503121561104d57600080fd5b823561105881611022565b946020939093013593505050565b60008060006060848603121561107b57600080fd5b833561108681611022565b9250602084013561109681611022565b929592945050506040919091013590565b6000602082840312156110b957600080fd5b5035919050565b6000602082840312156110d257600080fd5b813561055581611022565b600080604083850312156110f057600080fd5b82356110fb81611022565b9150602083013561110b81611022565b809150509250929050565b6000806040838503121561112957600080fd5b50508035926020909101359150565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b808202811582820484141761049457610494611158565b6000826111a257634e487b7160e01b600052601260045260246000fd5b500490565b8082018082111561049457610494611158565b8181038181111561049457610494611158565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156111f557600080fd5b815161055581611022565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156112505784516001600160a01b03168352938301939183019160010161122b565b50506001600160a01b03969096166060850152505050608001529392505050565b60008060006060848603121561128657600080fd5b835192506020840151915060408401519050925092509256fea2646970667358221220b1f78639fc5a6faf6b3d4822e93aa1199f4c3381da72d48664b5c0149977fe1764736f6c63430008130033

000000000000000000000000d613da278e2e3887835057696b884e71dcfe0eeb

-----Decoded View---------------
Arg [0] : SoAIAddress (address): 0xD613dA278e2E3887835057696B884e71DCfE0eEB

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000d613da278e2e3887835057696b884e71dcfe0eeb

4593:7458:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5519:52;;;;;;;;;;;;;;;;;;;160:25:1;;;148:2;133:18;5519:52:0;;;;;;;;6810:80;;;;;;;;;;-1:-1:-1;6882:5:0;;;;;;;;;;;;-1:-1:-1;;;6882:5:0;;;;6810:80;;;;;;;:::i;9471:216::-;;;;;;;;;;-1:-1:-1;9471:216:0;;;;;:::i;:::-;;:::i;:::-;;;1370:14:1;;1363:22;1345:41;;1333:2;1318:18;9471:216:0;1205:187:1;6540:88:0;;;;;;;;;;-1:-1:-1;6613:12:0;;6540:88;;5112:26;;;;;;;;;;-1:-1:-1;5112:26:0;;;;-1:-1:-1;;;;;5112:26:0;;;;;;-1:-1:-1;;;;;1561:32:1;;;1543:51;;1531:2;1516:18;5112:26:0;1397:203:1;10570:370:0;;;;;;;;;;-1:-1:-1;10570:370:0;;;;;:::i;:::-;;:::i;11229:130::-;;;;;;;;;;-1:-1:-1;11229:130:0;;;;;:::i;:::-;;:::i;:::-;;765:103;;;;;;;;;;-1:-1:-1;765:103:0;;;;;:::i;:::-;820:4;855:5;-1:-1:-1;;;;;844:16:0;;;855:5;;844:16;;765:103;6634:80;;;;;;;;;;-1:-1:-1;6634:80:0;;4799:1;2645:36:1;;2633:2;2618:18;6634:80:0;2503:184:1;5477:35:0;;;;;;;;;;-1:-1:-1;5477:35:0;;;;-1:-1:-1;;;5477:35:0;;;;;;6980:105;;;;;;;;;;-1:-1:-1;6980:105:0;;;;;:::i;:::-;-1:-1:-1;;;;;7064:18:0;7046:7;7064:18;;;:9;:18;;;;;;;6980:105;874:131;;;;;;;;;;;;;:::i;5145:37::-;;;;;;;;;;-1:-1:-1;5145:37:0;;;;-1:-1:-1;;;;;5145:37:0;;;6896:78;;;;;;;;;;-1:-1:-1;6948:7:0;6966:5;-1:-1:-1;;;;;6966:5:0;6896:78;;5050:55;;;;;;;;;;;;;;;;6720:84;;;;;;;;;;-1:-1:-1;6794:7:0;;;;;;;;;;;;-1:-1:-1;;;6794:7:0;;;;6720:84;;11892:156;;;;;;;;;;-1:-1:-1;11892:156:0;;;;;:::i;:::-;;:::i;5189:26::-;;;;;;;;;;-1:-1:-1;5189:26:0;;;;-1:-1:-1;;;;;5189:26:0;;;7091:133;;;;;;;;;;-1:-1:-1;7091:133:0;;;;;:::i;:::-;-1:-1:-1;;;;;7193:19:0;;;7175:7;7193:19;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;7091:133;11371:192;;;;;;;;;;-1:-1:-1;11371:192:0;;;;;:::i;:::-;;:::i;9471:216::-;9575:10;9546:4;9563:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;9563:32:0;;;;;;;;;;:41;;;9620:37;9546:4;;9563:32;;9620:37;;;;9598:6;160:25:1;;148:2;133:18;;14:177;9620:37:0;;;;;;;;-1:-1:-1;9675:4:0;9471:216;;;;;:::o;10570:370::-;-1:-1:-1;;;;;10690:19:0;;10670:4;10690:19;;;:11;:19;;;;;;;;10710:10;10690:31;;;;;;;;-1:-1:-1;;10690:52:0;10687:186;;10792:69;;;;;;;;;;;-1:-1:-1;;;10792:69:0;;;;;;;;-1:-1:-1;;;;;10792:19:0;;-1:-1:-1;10792:19:0;;;:11;:19;;;;;10812:10;10792:31;;;;;;;;;;:69;;10828:6;;10792:35;:69::i;:::-;-1:-1:-1;;;;;10758:19:0;;;;;;:11;:19;;;;;;;;10778:10;10758:31;;;;;;;:103;10687:186;10892:40;10906:6;10914:9;10925:6;10892:13;:40::i;:::-;10885:47;;10570:370;;;;;;:::o;11229:130::-;820:4;855:5;-1:-1:-1;;;;;855:5:0;726:10;844:16;710:38;;;;-1:-1:-1;;;710:38:0;;;;;;;:::i;:::-;;;;;;;;;11347:4:::1;11334:8;11319:12;;:23;;;;:::i;:::-;11318:33;;;;:::i;:::-;11304:11;:47:::0;-1:-1:-1;11229:130:0:o;874:131::-;820:4;855:5;-1:-1:-1;;;;;855:5:0;726:10;844:16;710:38;;;;-1:-1:-1;;;710:38:0;;;;;;;:::i;:::-;947:1:::1;931:18:::0;;-1:-1:-1;;;;;;931:18:0::1;::::0;;965:32:::1;::::0;1543:51:1;;;965:32:0::1;::::0;1531:2:1;1516:18;965:32:0::1;;;;;;;874:131::o:0;11892:156::-;11972:4;11996:44;12010:10;12022:9;12033:6;11996:13;:44::i;11371:192::-;820:4;855:5;-1:-1:-1;;;;;855:5:0;726:10;844:16;710:38;;;;-1:-1:-1;;;710:38:0;;;;;;;:::i;:::-;11458:6:::1;:15:::0;;;11486:13:::1;:23:::0;;;11533:22:::1;11502:7:::0;11467:6;11533:22:::1;:::i;:::-;11521:9;:34:::0;-1:-1:-1;;11371:192:0:o;3678:190::-;3764:7;3800:12;3792:6;;;;3784:29;;;;-1:-1:-1;;;3784:29:0;;;;;;;;:::i;:::-;-1:-1:-1;3824:9:0;3836:5;3840:1;3836;:5;:::i;:::-;3824:17;3678:190;-1:-1:-1;;;;;3678:190:0:o;7251:864::-;7363:18;;7343:4;;7363:18;;7360:75;;;7391:41;7406:6;7414:9;7425:6;7391:14;:41::i;:::-;7384:48;;;;7360:75;7472:11;;-1:-1:-1;;;;;7459:24:0;;;7472:11;;7459:24;;;;:53;;-1:-1:-1;7500:12:0;;-1:-1:-1;;;;;7487:25:0;;;7500:12;;7487:25;;7459:53;7455:203;;;-1:-1:-1;;;;;7537:19:0;;;;;;:8;:19;;;;;;;;;:67;;-1:-1:-1;7593:11:0;;-1:-1:-1;;;;;7560:20:0;;;;;;:9;:20;;;;;;:29;;7583:6;;7560:29;:::i;:::-;:44;;7537:67;7529:117;;;;-1:-1:-1;;;7529:117:0;;4896:2:1;7529:117:0;;;4878:21:1;4935:2;4915:18;;;4908:30;4974:34;4954:18;;;4947:62;-1:-1:-1;;;5025:18:1;;;5018:35;5070:19;;7529:117:0;4694:401:1;7529:117:0;7679:41;7694:6;7702:9;7713:6;7679:14;:41::i;:::-;7676:88;;;7737:14;:12;:14::i;:::-;-1:-1:-1;;;;;11669:14:0;;7775;11669;;;:6;:14;;;;;;;;11668:15;7827:206;;;;7880:53;7905:27;7917:6;7925;7905:11;:27::i;:::-;-1:-1:-1;;;;;7880:20:0;;;;;;:9;:20;;;;;;;:24;:53::i;:::-;-1:-1:-1;;;;;7857:20:0;;;;;;:9;:20;;;;;:76;7827:206;;;-1:-1:-1;;;;;7989:20:0;;;;;;:9;:20;;;;;;:32;;8014:6;7989:24;:32::i;:::-;-1:-1:-1;;;;;7966:20:0;;;;;;:9;:20;;;;;:55;7827:206;8067:9;-1:-1:-1;;;;;8050:35:0;8059:6;-1:-1:-1;;;;;8050:35:0;;8078:6;8050:35;;;;160:25:1;;148:2;133:18;;14:177;8050:35:0;;;;;;;;-1:-1:-1;8103:4:0;;7251:864;-1:-1:-1;;;;7251:864:0:o;10234:330::-;10364:53;;;;;;;;;;;-1:-1:-1;;;10364:53:0;;;;;;;;-1:-1:-1;;;;;10364:17:0;;10327:4;10364:17;;;:9;:17;;;;;;;:53;;10386:6;;10364:21;:53::i;:::-;-1:-1:-1;;;;;10344:17:0;;;;;;;:9;:17;;;;;;:73;;;;10451:20;;;;;;;:32;;10476:6;10451:24;:32::i;:::-;-1:-1:-1;;;;;10428:20:0;;;;;;;:9;:20;;;;;;;:55;;;;10499:35;;;;;;;;;;10527:6;160:25:1;;148:2;133:18;;14:177;10499:35:0;;;;;;;;-1:-1:-1;10552:4:0;10234:330;;;;;:::o;10956:261::-;11048:4;11072:20;:18;:20::i;:::-;:62;;;;-1:-1:-1;;;;;;11669:14:0;;11644:4;11669:14;;;:6;:14;;;;;;;;11668:15;11110:24;11072:97;;;;-1:-1:-1;8211:11:0;;-1:-1:-1;;;;;8198:24:0;;;8211:11;;8198:24;11152:17;11072:137;;;;-1:-1:-1;;11196:13:0;;-1:-1:-1;11187:22:0;10956:261;-1:-1:-1;;10956:261:0:o;8236:1223::-;5410:18;:25;;-1:-1:-1;;5410:25:0;5431:4;5410:25;;;8338:4:::1;-1:-1:-1::0;7064:18:0;;;:9;:18;;;;;;8289:55:::1;;8355:18;8376:54;8428:1;8376:47;8413:9;;8376:32;8401:6;;8376:20;:24;;:32;;;;:::i;:::-;:36:::0;::::1;:47::i;:54::-;8355:75:::0;-1:-1:-1;8441:20:0::1;8464:36;:20:::0;8355:75;8464:24:::1;:36::i;:::-;8537:16;::::0;;8551:1:::1;8537:16:::0;;;;;::::1;::::0;;8441:59;;-1:-1:-1;8513:21:0::1;::::0;8537:16;;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;8537:16:0::1;8513:40;;8582:4;8564;8569:1;8564:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;8564:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;8608:13:::1;::::0;:20:::1;::::0;;-1:-1:-1;;;8608:20:0;;;;:13;;;::::1;::::0;:18:::1;::::0;:20:::1;::::0;;::::1;::::0;8564:7;;8608:20;;;;;:13;:20:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8598:4;8603:1;8598:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;8598:30:0;;::::1;:7;::::0;;::::1;::::0;;;;;:30;8641:13:::1;::::0;:195:::1;::::0;-1:-1:-1;;;8641:195:0;;:13;::::1;::::0;:64:::1;::::0;:195:::1;::::0;8720:12;;8641:13:::1;::::0;8763:4;;8790::::1;::::0;8810:15:::1;::::0;8641:195:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;8949:1:0::1;8938:6:::0;;8867:21:::1;::::0;-1:-1:-1;8847:17:0::1;::::0;-1:-1:-1;8924:28:0::1;::::0;8938:13:::1;::::0;:6;:10:::1;:13::i;:::-;8924:9;::::0;;:13:::1;:28::i;:::-;8899:53;;8963:15;8981:48;9027:1;8981:41;9007:14;8981:21;8995:6;;8981:9;:13;;:21;;;;:::i;:48::-;8963:66;;9040:22;9065:48;9098:14;9065:28;9079:13;;9065:9;:13;;:28;;;;:::i;:48::-;9134:11;::::0;9126:45:::1;::::0;9040:73;;-1:-1:-1;;;;;;9134:11:0::1;::::0;9126:45;::::1;;;::::0;9040:73;;9134:11:::1;9126:45:::0;9134:11;9126:45;9040:73;9134:11;9126:45;::::1;;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;9185:14:0;;9182:270:::1;;9215:13;::::0;9380:11:::1;::::0;9215:225:::1;::::0;-1:-1:-1;;;9215:225:0;;9287:4:::1;9215:225;::::0;::::1;6946:34:1::0;6996:18;;;6989:34;;;9215:13:0::1;7039:18:1::0;;;7032:34;;;7082:18;;;7075:34;-1:-1:-1;;;;;9380:11:0;;::::1;7125:19:1::0;;;7118:44;9410:15:0::1;7178:19:1::0;;;7171:35;9215:13:0;::::1;::::0;:29:::1;::::0;9252:7;;6880:19:1;;9215:225:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;9182:270;-1:-1:-1::0;;5440:18:0;:26;;-1:-1:-1;;5440:26:0;;;-1:-1:-1;;;;;;8236:1223:0:o;9699:523::-;9810:53;;;;;;;;;;;-1:-1:-1;;;9810:53:0;;;;;;;;-1:-1:-1;;;;;9810:17:0;;9770:7;9810:17;;;:9;:17;;;;;;;:53;;9832:6;;9810:21;:53::i;:::-;-1:-1:-1;;;;;9790:17:0;;;;;;:9;:17;;;;;:73;;;;9920:13;;9905:9;;9894:40;;9920:13;9894:21;;:6;;:10;:21::i;:40::-;9945:13;9971:5;9874:60;;-1:-1:-1;;;;;;9961:15:0;;;9971:5;;9961:15;9987:54;;;;10028:1;10016:13;;9987:54;10096:4;10078:24;;;;:9;:24;;;;;;:39;;10107:9;10078:28;:39::i;:::-;10069:4;10051:24;;;;:9;:24;;;;;;;:66;;;;10133:42;;-1:-1:-1;;;;;10133:42:0;;;;;;;10165:9;160:25:1;;148:2;133:18;;14:177;10133:42:0;;;;;;;;10193:21;:6;10204:9;10193:10;:21::i;3351:179::-;3409:7;;3441:5;3445:1;3441;:5;:::i;:::-;3429:17;;3470:1;3465;:6;;3457:46;;;;-1:-1:-1;;;3457:46:0;;7730:2:1;3457:46:0;;;7712:21:1;7769:2;7749:18;;;7742:30;7808:29;7788:18;;;7781:57;7855:18;;3457:46:0;7528:351:1;11699:187:0;11777:18;;11752:4;;11777:18;;11776:19;:48;;;;-1:-1:-1;11808:16:0;;-1:-1:-1;;;11808:16:0;;;;11776:48;:102;;;;-1:-1:-1;11865:13:0;;11855:4;11837:24;;;;:9;:24;;;;;;:41;;11776:102;11769:109;;11699:187;:::o;3874:246::-;3932:7;3956:1;3961;3956:6;3952:47;;-1:-1:-1;3986:1:0;3979:8;;3952:47;4009:9;4021:5;4025:1;4021;:5;:::i;:::-;4009:17;-1:-1:-1;4054:1:0;4045:5;4049:1;4009:17;4045:5;:::i;:::-;:10;4037:56;;;;-1:-1:-1;;;4037:56:0;;8086:2:1;4037:56:0;;;8068:21:1;8125:2;8105:18;;;8098:30;8164:34;8144:18;;;8137:62;-1:-1:-1;;;8215:18:1;;;8208:31;8256:19;;4037:56:0;7884:397:1;4126:132:0;4184:7;4211:39;4215:1;4218;4211:39;;;;;;;;;;;;;;;;;:3;:39::i;3536:136::-;3594:7;3621:43;3625:1;3628;3621:43;;;;;;;;;;;;;;;;;:3;:43::i;4264:189::-;4350:7;4385:12;4378:5;4370:28;;;;-1:-1:-1;;;4370:28:0;;;;;;;;:::i;:::-;-1:-1:-1;4409:9:0;4421:5;4425:1;4421;:5;:::i;196:548:1:-;308:4;337:2;366;355:9;348:21;398:6;392:13;441:6;436:2;425:9;421:18;414:34;466:1;476:140;490:6;487:1;484:13;476:140;;;585:14;;;581:23;;575:30;551:17;;;570:2;547:26;540:66;505:10;;476:140;;;480:3;665:1;660:2;651:6;640:9;636:22;632:31;625:42;735:2;728;724:7;719:2;711:6;707:15;703:29;692:9;688:45;684:54;676:62;;;;196:548;;;;:::o;749:131::-;-1:-1:-1;;;;;824:31:1;;814:42;;804:70;;870:1;867;860:12;804:70;749:131;:::o;885:315::-;953:6;961;1014:2;1002:9;993:7;989:23;985:32;982:52;;;1030:1;1027;1020:12;982:52;1069:9;1056:23;1088:31;1113:5;1088:31;:::i;:::-;1138:5;1190:2;1175:18;;;;1162:32;;-1:-1:-1;;;885:315:1:o;1605:456::-;1682:6;1690;1698;1751:2;1739:9;1730:7;1726:23;1722:32;1719:52;;;1767:1;1764;1757:12;1719:52;1806:9;1793:23;1825:31;1850:5;1825:31;:::i;:::-;1875:5;-1:-1:-1;1932:2:1;1917:18;;1904:32;1945:33;1904:32;1945:33;:::i;:::-;1605:456;;1997:7;;-1:-1:-1;;;2051:2:1;2036:18;;;;2023:32;;1605:456::o;2066:180::-;2125:6;2178:2;2166:9;2157:7;2153:23;2149:32;2146:52;;;2194:1;2191;2184:12;2146:52;-1:-1:-1;2217:23:1;;2066:180;-1:-1:-1;2066:180:1:o;2251:247::-;2310:6;2363:2;2351:9;2342:7;2338:23;2334:32;2331:52;;;2379:1;2376;2369:12;2331:52;2418:9;2405:23;2437:31;2462:5;2437:31;:::i;2924:388::-;2992:6;3000;3053:2;3041:9;3032:7;3028:23;3024:32;3021:52;;;3069:1;3066;3059:12;3021:52;3108:9;3095:23;3127:31;3152:5;3127:31;:::i;:::-;3177:5;-1:-1:-1;3234:2:1;3219:18;;3206:32;3247:33;3206:32;3247:33;:::i;:::-;3299:7;3289:17;;;2924:388;;;;;:::o;3317:248::-;3385:6;3393;3446:2;3434:9;3425:7;3421:23;3417:32;3414:52;;;3462:1;3459;3452:12;3414:52;-1:-1:-1;;3485:23:1;;;3555:2;3540:18;;;3527:32;;-1:-1:-1;3317:248:1:o;3570:329::-;3772:2;3754:21;;;3811:1;3791:18;;;3784:29;-1:-1:-1;;;3844:2:1;3829:18;;3822:36;3890:2;3875:18;;3570:329::o;3904:127::-;3965:10;3960:3;3956:20;3953:1;3946:31;3996:4;3993:1;3986:15;4020:4;4017:1;4010:15;4036:168;4109:9;;;4140;;4157:15;;;4151:22;;4137:37;4127:71;;4178:18;;:::i;4209:217::-;4249:1;4275;4265:132;;4319:10;4314:3;4310:20;4307:1;4300:31;4354:4;4351:1;4344:15;4382:4;4379:1;4372:15;4265:132;-1:-1:-1;4411:9:1;;4209:217::o;4431:125::-;4496:9;;;4517:10;;;4514:36;;;4530:18;;:::i;4561:128::-;4628:9;;;4649:11;;;4646:37;;;4663:18;;:::i;5232:127::-;5293:10;5288:3;5284:20;5281:1;5274:31;5324:4;5321:1;5314:15;5348:4;5345:1;5338:15;5364:251;5434:6;5487:2;5475:9;5466:7;5462:23;5458:32;5455:52;;;5503:1;5500;5493:12;5455:52;5535:9;5529:16;5554:31;5579:5;5554:31;:::i;5620:980::-;5882:4;5930:3;5919:9;5915:19;5961:6;5950:9;5943:25;5987:2;6025:6;6020:2;6009:9;6005:18;5998:34;6068:3;6063:2;6052:9;6048:18;6041:31;6092:6;6127;6121:13;6158:6;6150;6143:22;6196:3;6185:9;6181:19;6174:26;;6235:2;6227:6;6223:15;6209:29;;6256:1;6266:195;6280:6;6277:1;6274:13;6266:195;;;6345:13;;-1:-1:-1;;;;;6341:39:1;6329:52;;6436:15;;;;6401:12;;;;6377:1;6295:9;6266:195;;;-1:-1:-1;;;;;;;6517:32:1;;;;6512:2;6497:18;;6490:60;-1:-1:-1;;;6581:3:1;6566:19;6559:35;6478:3;5620:980;-1:-1:-1;;;5620:980:1:o;7217:306::-;7305:6;7313;7321;7374:2;7362:9;7353:7;7349:23;7345:32;7342:52;;;7390:1;7387;7380:12;7342:52;7419:9;7413:16;7403:26;;7469:2;7458:9;7454:18;7448:25;7438:35;;7513:2;7502:9;7498:18;7492:25;7482:35;;7217:306;;;;;:::o

ipfs://b1f78639fc5a6faf6b3d4822e93aa1199f4c3381da72d48664b5c0149977fe17