Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
• interface IBEP20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•  contract MISTRAL is IBEP20 *
•    - function paused()
•    - function _pause()
•    - function _unpause()
•    - function pauseContract()
•    - function unpauseContract()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferownership(address _n ...
•    - function transferFrom(address sender, ...
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(address sender, ad ...
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(address owner, addr ...
•    - function _burnFrom(address account, u ...
•    - function name()
•    - function symbol()
•    - function decimals()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-12-14
*/

/**
 *Submitted for verification at Etherscan.io on 2023-08-21
*/

/**
 *Submitted for verification at Etherscan.io on 2023-08-09
*/

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

library SafeMath {
    
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        uint256 c = a - b;
        return c;
    }
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
       if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, "SafeMath: division by zero");
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
}

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

contract MISTRAL is IBEP20 {
    using SafeMath for uint256;

       modifier onlyOwner() {
        require(msg.sender==owner, "Only Call by Owner");
        _;
    }

    address public owner;

    constructor () {

        _name="Mistral AI";
        _symbol="MISTRAL";
        _decimals=18;
        owner=msg.sender;
        _mint(msg.sender,(100000000000*(10**18)));
        _paused = false;
    }

    // 
    // 

    /**
     * @dev Emitted when the pause is triggered by `account`.
     */
    event Paused(address account);

    /**
     * @dev Emitted when the pause is lifted by `account`.
     */
    event Unpaused(address account);

    bool private _paused;

    /**
     * @dev Initializes the contract in unpaused state.
     */
 

      


    /**
     * @dev Returns true if the contract is paused, and false otherwise.
     */
    function paused() public view virtual returns (bool) {
        return _paused;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    modifier whenNotPaused() {
        require(!paused(), "Pausable: paused");
        _;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is paused.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    modifier whenPaused() {
        require(paused(), "Pausable: not paused");
        _;
    }

    /**
     * @dev Triggers stopped state.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    function _pause() internal virtual whenNotPaused {
        _paused = true;
        emit Paused(msg.sender);
    }

    /**
     * @dev Returns to normal state.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    function _unpause() internal virtual whenPaused {
        _paused = false;
        emit Unpaused(msg.sender);
    }

    function pauseContract() public onlyOwner{
        _pause();

    }
    function unpauseContract() public onlyOwner{
        _unpause();

    }

//         
    // 

    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    uint256 private _totalSupply;
    function totalSupply() public view override returns (uint256) {
        return _totalSupply;
    }
    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account];
    }

    function transfer(address recipient, uint256 amount) public whenNotPaused override returns (bool) {
        _transfer(msg.sender, recipient, amount);
        return true;
    }
    function allowance(address owner, address spender) public view override returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 value) public override returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }
     
    function transferownership(address _newonwer) public onlyOwner{
        owner=_newonwer;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public whenNotPaused override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount));
        return true;
    }
    function increaseAllowance(address spender, uint256 addedValue) public whenNotPaused returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].add(addedValue));
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public whenNotPaused returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].sub(subtractedValue));
        return true;
    }

    function _transfer(address sender, address recipient, uint256 amount) internal whenNotPaused {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _balances[sender] = _balances[sender].sub(amount);
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }
    function _mint(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: mint to the zero address");

        _totalSupply = _totalSupply.add(amount);
        _balances[account] = _balances[account].add(amount);
        emit Transfer(address(0), account, amount);
    }

    function _burn(address account, uint256 value) internal whenNotPaused {
        require(account != address(0), "ERC20: burn from the zero address");

        _totalSupply = _totalSupply.sub(value);
        _balances[account] = _balances[account].sub(value);
        emit Transfer(account, address(0), value);
    }

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

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

    function _burnFrom(address account, uint256 amount) internal whenNotPaused {
        _burn(account, amount);
        _approve(account, msg.sender, _allowances[account][msg.sender].sub(amount));
    }

string private _name;
    string private _symbol;
    uint8 private _decimals;

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

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

• 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":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","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"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","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":"value","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":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pauseContract","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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":[{"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"},{"inputs":[{"internalType":"address","name":"_newonwer","type":"address"}],"name":"transferownership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unpauseContract","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b506040518060400160405280600a81526020017f4d69737472616c20414900000000000000000000000000000000000000000000815250600490805190602001906200005f92919062000349565b506040518060400160405280600781526020017f4d49535452414c0000000000000000000000000000000000000000000000000081525060059080519060200190620000ad92919062000349565b506012600660006101000a81548160ff021916908360ff160217905550336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555062000129336c01431e0fae6d7217caa00000006200014960201b60201c565b60008060146101000a81548160ff02191690831515021790555062000617565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415620001bc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620001b3906200047a565b60405180910390fd5b620001d881600354620002e660201b62000ad21790919060201c565b6003819055506200023781600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054620002e660201b62000ad21790919060201c565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620002da91906200049c565b60405180910390a35050565b6000808284620002f79190620004ca565b9050838110156200033f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620003369062000458565b60405180910390fd5b8091505092915050565b828054620003579062000531565b90600052602060002090601f0160209004810192826200037b5760008555620003c7565b82601f106200039657805160ff1916838001178555620003c7565b82800160010185558215620003c7579182015b82811115620003c6578251825591602001919060010190620003a9565b5b509050620003d69190620003da565b5090565b5b80821115620003f5576000816000905550600101620003db565b5090565b600062000408601b83620004b9565b91506200041582620005c5565b602082019050919050565b60006200042f601f83620004b9565b91506200043c82620005ee565b602082019050919050565b620004528162000527565b82525050565b600060208201905081810360008301526200047381620003f9565b9050919050565b60006020820190508181036000830152620004958162000420565b9050919050565b6000602082019050620004b3600083018462000447565b92915050565b600082825260208201905092915050565b6000620004d78262000527565b9150620004e48362000527565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156200051c576200051b62000567565b5b828201905092915050565b6000819050919050565b600060028204905060018216806200054a57607f821691505b6020821081141562000561576200056062000596565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b611a5d80620006276000396000f3fe608060405234801561001057600080fd5b50600436106101005760003560e01c806370a0823111610097578063a9059cbb11610066578063a9059cbb146102b3578063b33712c5146102e3578063dd62ed3e146102ed578063e8b5b7961461031d57610100565b806370a08231146102175780638da5cb5b1461024757806395d89b4114610265578063a457c2d71461028357610100565b8063313ce567116100d3578063313ce567146101a157806339509351146101bf578063439766ce146101ef5780635c975abb146101f957610100565b806306fdde0314610105578063095ea7b31461012357806318160ddd1461015357806323b872dd14610171575b600080fd5b61010d610339565b60405161011a91906114a4565b60405180910390f35b61013d6004803603810190610138919061127e565b6103cb565b60405161014a9190611489565b60405180910390f35b61015b6103e2565b60405161016891906115e6565b60405180910390f35b61018b6004803603810190610186919061122b565b6103ec565b6040516101989190611489565b60405180910390f35b6101a96104e5565b6040516101b69190611601565b60405180910390f35b6101d960048036038101906101d4919061127e565b6104fc565b6040516101e69190611489565b60405180910390f35b6101f76105e9565b005b610201610681565b60405161020e9190611489565b60405180910390f35b610231600480360381019061022c91906111be565b610697565b60405161023e91906115e6565b60405180910390f35b61024f6106e0565b60405161025c919061146e565b60405180910390f35b61026d610704565b60405161027a91906114a4565b60405180910390f35b61029d6004803603810190610298919061127e565b610796565b6040516102aa9190611489565b60405180910390f35b6102cd60048036038101906102c8919061127e565b610883565b6040516102da9190611489565b60405180910390f35b6102eb6108e2565b005b610307600480360381019061030291906111eb565b61097a565b60405161031491906115e6565b60405180910390f35b610337600480360381019061033291906111be565b610a01565b005b6060600480546103489061174a565b80601f01602080910402602001604051908101604052809291908181526020018280546103749061174a565b80156103c15780601f10610396576101008083540402835291602001916103c1565b820191906000526020600020905b8154815290600101906020018083116103a457829003601f168201915b5050505050905090565b60006103d8338484610b30565b6001905092915050565b6000600354905090565b60006103f6610681565b15610436576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161042d90611586565b60405180910390fd5b610441848484610d43565b6104da84336104d585600260008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610fff90919063ffffffff16565b610b30565b600190509392505050565b6000600660009054906101000a900460ff16905090565b6000610506610681565b15610546576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161053d90611586565b60405180910390fd5b6105df33846105da85600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610ad290919063ffffffff16565b610b30565b6001905092915050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610677576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161066e90611506565b60405180910390fd5b61067f61105e565b565b60008060149054906101000a900460ff16905090565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6060600580546107139061174a565b80601f016020809104026020016040519081016040528092919081815260200182805461073f9061174a565b801561078c5780601f106107615761010080835404028352916020019161078c565b820191906000526020600020905b81548152906001019060200180831161076f57829003601f168201915b5050505050905090565b60006107a0610681565b156107e0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107d790611586565b60405180910390fd5b610879338461087485600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610fff90919063ffffffff16565b610b30565b6001905092915050565b600061088d610681565b156108cd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108c490611586565b60405180910390fd5b6108d8338484610d43565b6001905092915050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610970576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161096790611506565b60405180910390fd5b6109786110fa565b565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a8f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a8690611506565b60405180910390fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000808284610ae19190611638565b905083811015610b26576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b1d90611546565b60405180910390fd5b8091505092915050565b610b38610681565b15610b78576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b6f90611586565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610be8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bdf906115c6565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610c58576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c4f90611526565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610d3691906115e6565b60405180910390a3505050565b610d4b610681565b15610d8b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d8290611586565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610dfb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610df2906115a6565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610e6b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e62906114c6565b60405180910390fd5b610ebd81600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610fff90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610f5281600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610ad290919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610ff291906115e6565b60405180910390a3505050565b600082821115611044576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161103b90611566565b60405180910390fd5b60008284611052919061168e565b90508091505092915050565b611066610681565b156110a6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161109d90611586565b60405180910390fd5b6001600060146101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258336040516110f0919061146e565b60405180910390a1565b611102610681565b611141576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611138906114e6565b60405180910390fd5b60008060146101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa3360405161118a919061146e565b60405180910390a1565b6000813590506111a3816119f9565b92915050565b6000813590506111b881611a10565b92915050565b6000602082840312156111d4576111d36117da565b5b60006111e284828501611194565b91505092915050565b60008060408385031215611202576112016117da565b5b600061121085828601611194565b925050602061122185828601611194565b9150509250929050565b600080600060608486031215611244576112436117da565b5b600061125286828701611194565b935050602061126386828701611194565b9250506040611274868287016111a9565b9150509250925092565b60008060408385031215611295576112946117da565b5b60006112a385828601611194565b92505060206112b4858286016111a9565b9150509250929050565b6112c7816116c2565b82525050565b6112d6816116d4565b82525050565b60006112e78261161c565b6112f18185611627565b9350611301818560208601611717565b61130a816117df565b840191505092915050565b6000611322602383611627565b915061132d826117f0565b604082019050919050565b6000611345601483611627565b91506113508261183f565b602082019050919050565b6000611368601283611627565b915061137382611868565b602082019050919050565b600061138b602283611627565b915061139682611891565b604082019050919050565b60006113ae601b83611627565b91506113b9826118e0565b602082019050919050565b60006113d1601e83611627565b91506113dc82611909565b602082019050919050565b60006113f4601083611627565b91506113ff82611932565b602082019050919050565b6000611417602583611627565b91506114228261195b565b604082019050919050565b600061143a602483611627565b9150611445826119aa565b604082019050919050565b61145981611700565b82525050565b6114688161170a565b82525050565b600060208201905061148360008301846112be565b92915050565b600060208201905061149e60008301846112cd565b92915050565b600060208201905081810360008301526114be81846112dc565b905092915050565b600060208201905081810360008301526114df81611315565b9050919050565b600060208201905081810360008301526114ff81611338565b9050919050565b6000602082019050818103600083015261151f8161135b565b9050919050565b6000602082019050818103600083015261153f8161137e565b9050919050565b6000602082019050818103600083015261155f816113a1565b9050919050565b6000602082019050818103600083015261157f816113c4565b9050919050565b6000602082019050818103600083015261159f816113e7565b9050919050565b600060208201905081810360008301526115bf8161140a565b9050919050565b600060208201905081810360008301526115df8161142d565b9050919050565b60006020820190506115fb6000830184611450565b92915050565b6000602082019050611616600083018461145f565b92915050565b600081519050919050565b600082825260208201905092915050565b600061164382611700565b915061164e83611700565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156116835761168261177c565b5b828201905092915050565b600061169982611700565b91506116a483611700565b9250828210156116b7576116b661177c565b5b828203905092915050565b60006116cd826116e0565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b8381101561173557808201518184015260208101905061171a565b83811115611744576000848401525b50505050565b6000600282049050600182168061176257607f821691505b60208210811415611776576117756117ab565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f5061757361626c653a206e6f7420706175736564000000000000000000000000600082015250565b7f4f6e6c792043616c6c206279204f776e65720000000000000000000000000000600082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b7f536166654d6174683a207375627472616374696f6e206f766572666c6f770000600082015250565b7f5061757361626c653a2070617573656400000000000000000000000000000000600082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b611a02816116c2565b8114611a0d57600080fd5b50565b611a1981611700565b8114611a2457600080fd5b5056fea26469706673582212209665a4cc64fc55bf3e94d18db0144471259ba7345b1644d915ea1fb7d012cd3564736f6c63430008070033

0x608060405234801561001057600080fd5b50600436106101005760003560e01c806370a0823111610097578063a9059cbb11610066578063a9059cbb146102b3578063b33712c5146102e3578063dd62ed3e146102ed578063e8b5b7961461031d57610100565b806370a08231146102175780638da5cb5b1461024757806395d89b4114610265578063a457c2d71461028357610100565b8063313ce567116100d3578063313ce567146101a157806339509351146101bf578063439766ce146101ef5780635c975abb146101f957610100565b806306fdde0314610105578063095ea7b31461012357806318160ddd1461015357806323b872dd14610171575b600080fd5b61010d610339565b60405161011a91906114a4565b60405180910390f35b61013d6004803603810190610138919061127e565b6103cb565b60405161014a9190611489565b60405180910390f35b61015b6103e2565b60405161016891906115e6565b60405180910390f35b61018b6004803603810190610186919061122b565b6103ec565b6040516101989190611489565b60405180910390f35b6101a96104e5565b6040516101b69190611601565b60405180910390f35b6101d960048036038101906101d4919061127e565b6104fc565b6040516101e69190611489565b60405180910390f35b6101f76105e9565b005b610201610681565b60405161020e9190611489565b60405180910390f35b610231600480360381019061022c91906111be565b610697565b60405161023e91906115e6565b60405180910390f35b61024f6106e0565b60405161025c919061146e565b60405180910390f35b61026d610704565b60405161027a91906114a4565b60405180910390f35b61029d6004803603810190610298919061127e565b610796565b6040516102aa9190611489565b60405180910390f35b6102cd60048036038101906102c8919061127e565b610883565b6040516102da9190611489565b60405180910390f35b6102eb6108e2565b005b610307600480360381019061030291906111eb565b61097a565b60405161031491906115e6565b60405180910390f35b610337600480360381019061033291906111be565b610a01565b005b6060600480546103489061174a565b80601f01602080910402602001604051908101604052809291908181526020018280546103749061174a565b80156103c15780601f10610396576101008083540402835291602001916103c1565b820191906000526020600020905b8154815290600101906020018083116103a457829003601f168201915b5050505050905090565b60006103d8338484610b30565b6001905092915050565b6000600354905090565b60006103f6610681565b15610436576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161042d90611586565b60405180910390fd5b610441848484610d43565b6104da84336104d585600260008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610fff90919063ffffffff16565b610b30565b600190509392505050565b6000600660009054906101000a900460ff16905090565b6000610506610681565b15610546576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161053d90611586565b60405180910390fd5b6105df33846105da85600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610ad290919063ffffffff16565b610b30565b6001905092915050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610677576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161066e90611506565b60405180910390fd5b61067f61105e565b565b60008060149054906101000a900460ff16905090565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6060600580546107139061174a565b80601f016020809104026020016040519081016040528092919081815260200182805461073f9061174a565b801561078c5780601f106107615761010080835404028352916020019161078c565b820191906000526020600020905b81548152906001019060200180831161076f57829003601f168201915b5050505050905090565b60006107a0610681565b156107e0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107d790611586565b60405180910390fd5b610879338461087485600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610fff90919063ffffffff16565b610b30565b6001905092915050565b600061088d610681565b156108cd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108c490611586565b60405180910390fd5b6108d8338484610d43565b6001905092915050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610970576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161096790611506565b60405180910390fd5b6109786110fa565b565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a8f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a8690611506565b60405180910390fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000808284610ae19190611638565b905083811015610b26576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b1d90611546565b60405180910390fd5b8091505092915050565b610b38610681565b15610b78576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b6f90611586565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610be8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bdf906115c6565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610c58576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c4f90611526565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610d3691906115e6565b60405180910390a3505050565b610d4b610681565b15610d8b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d8290611586565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610dfb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610df2906115a6565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610e6b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e62906114c6565b60405180910390fd5b610ebd81600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610fff90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610f5281600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610ad290919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610ff291906115e6565b60405180910390a3505050565b600082821115611044576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161103b90611566565b60405180910390fd5b60008284611052919061168e565b90508091505092915050565b611066610681565b156110a6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161109d90611586565b60405180910390fd5b6001600060146101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258336040516110f0919061146e565b60405180910390a1565b611102610681565b611141576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611138906114e6565b60405180910390fd5b60008060146101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa3360405161118a919061146e565b60405180910390a1565b6000813590506111a3816119f9565b92915050565b6000813590506111b881611a10565b92915050565b6000602082840312156111d4576111d36117da565b5b60006111e284828501611194565b91505092915050565b60008060408385031215611202576112016117da565b5b600061121085828601611194565b925050602061122185828601611194565b9150509250929050565b600080600060608486031215611244576112436117da565b5b600061125286828701611194565b935050602061126386828701611194565b9250506040611274868287016111a9565b9150509250925092565b60008060408385031215611295576112946117da565b5b60006112a385828601611194565b92505060206112b4858286016111a9565b9150509250929050565b6112c7816116c2565b82525050565b6112d6816116d4565b82525050565b60006112e78261161c565b6112f18185611627565b9350611301818560208601611717565b61130a816117df565b840191505092915050565b6000611322602383611627565b915061132d826117f0565b604082019050919050565b6000611345601483611627565b91506113508261183f565b602082019050919050565b6000611368601283611627565b915061137382611868565b602082019050919050565b600061138b602283611627565b915061139682611891565b604082019050919050565b60006113ae601b83611627565b91506113b9826118e0565b602082019050919050565b60006113d1601e83611627565b91506113dc82611909565b602082019050919050565b60006113f4601083611627565b91506113ff82611932565b602082019050919050565b6000611417602583611627565b91506114228261195b565b604082019050919050565b600061143a602483611627565b9150611445826119aa565b604082019050919050565b61145981611700565b82525050565b6114688161170a565b82525050565b600060208201905061148360008301846112be565b92915050565b600060208201905061149e60008301846112cd565b92915050565b600060208201905081810360008301526114be81846112dc565b905092915050565b600060208201905081810360008301526114df81611315565b9050919050565b600060208201905081810360008301526114ff81611338565b9050919050565b6000602082019050818103600083015261151f8161135b565b9050919050565b6000602082019050818103600083015261153f8161137e565b9050919050565b6000602082019050818103600083015261155f816113a1565b9050919050565b6000602082019050818103600083015261157f816113c4565b9050919050565b6000602082019050818103600083015261159f816113e7565b9050919050565b600060208201905081810360008301526115bf8161140a565b9050919050565b600060208201905081810360008301526115df8161142d565b9050919050565b60006020820190506115fb6000830184611450565b92915050565b6000602082019050611616600083018461145f565b92915050565b600081519050919050565b600082825260208201905092915050565b600061164382611700565b915061164e83611700565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156116835761168261177c565b5b828201905092915050565b600061169982611700565b91506116a483611700565b9250828210156116b7576116b661177c565b5b828203905092915050565b60006116cd826116e0565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b8381101561173557808201518184015260208101905061171a565b83811115611744576000848401525b50505050565b6000600282049050600182168061176257607f821691505b60208210811415611776576117756117ab565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f5061757361626c653a206e6f7420706175736564000000000000000000000000600082015250565b7f4f6e6c792043616c6c206279204f776e65720000000000000000000000000000600082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b7f536166654d6174683a207375627472616374696f6e206f766572666c6f770000600082015250565b7f5061757361626c653a2070617573656400000000000000000000000000000000600082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b611a02816116c2565b8114611a0d57600080fd5b50565b611a1981611700565b8114611a2457600080fd5b5056fea26469706673582212209665a4cc64fc55bf3e94d18db0144471259ba7345b1644d915ea1fb7d012cd3564736f6c63430008070033

2036:6036:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7802:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5031:157;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4462:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5305:279;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7986:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5590:220;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4116:70;;;:::i;:::-;;2933:86;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4568:119;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2216:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7891:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5818:230;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4695:179;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4192:74;;;:::i;:::-;;4880:143;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5201:96;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;7802:83;7839:13;7872:5;7865:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7802:83;:::o;5031:157::-;5105:4;5122:36;5131:10;5143:7;5152:5;5122:8;:36::i;:::-;5176:4;5169:11;;5031:157;;;;:::o;4462:100::-;4515:7;4542:12;;4535:19;;4462:100;:::o;5305:279::-;5417:4;3259:8;:6;:8::i;:::-;3258:9;3250:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;5434:36:::1;5444:6;5452:9;5463:6;5434:9;:36::i;:::-;5481:73;5490:6;5498:10;5510:43;5546:6;5510:11;:19;5522:6;5510:19;;;;;;;;;;;;;;;:31;5530:10;5510:31;;;;;;;;;;;;;;;;:35;;:43;;;;:::i;:::-;5481:8;:73::i;:::-;5572:4;5565:11;;5305:279:::0;;;;;:::o;7986:83::-;8027:5;8052:9;;;;;;;;;;;8045:16;;7986:83;:::o;5590:220::-;5684:4;3259:8;:6;:8::i;:::-;3258:9;3250:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;5701:79:::1;5710:10;5722:7;5731:48;5768:10;5731:11;:23;5743:10;5731:23;;;;;;;;;;;;;;;:32;5755:7;5731:32;;;;;;;;;;;;;;;;:36;;:48;;;;:::i;:::-;5701:8;:79::i;:::-;5798:4;5791:11;;5590:220:::0;;;;:::o;4116:70::-;2160:5;;;;;;;;;;2148:17;;:10;:17;;;2140:48;;;;;;;;;;;;:::i;:::-;;;;;;;;;4168:8:::1;:6;:8::i;:::-;4116:70::o:0;2933:86::-;2980:4;3004:7;;;;;;;;;;;2997:14;;2933:86;:::o;4568:119::-;4634:7;4661:9;:18;4671:7;4661:18;;;;;;;;;;;;;;;;4654:25;;4568:119;;;:::o;2216:20::-;;;;;;;;;;;;:::o;7891:87::-;7930:13;7963:7;7956:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7891:87;:::o;5818:230::-;5917:4;3259:8;:6;:8::i;:::-;3258:9;3250:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;5934:84:::1;5943:10;5955:7;5964:53;6001:15;5964:11;:23;5976:10;5964:23;;;;;;;;;;;;;;;:32;5988:7;5964:32;;;;;;;;;;;;;;;;:36;;:53;;;;:::i;:::-;5934:8;:84::i;:::-;6036:4;6029:11;;5818:230:::0;;;;:::o;4695:179::-;4787:4;3259:8;:6;:8::i;:::-;3258:9;3250:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;4804:40:::1;4814:10;4826:9;4837:6;4804:9;:40::i;:::-;4862:4;4855:11;;4695:179:::0;;;;:::o;4192:74::-;2160:5;;;;;;;;;;2148:17;;:10;:17;;;2140:48;;;;;;;;;;;;:::i;:::-;;;;;;;;;4246:10:::1;:8;:10::i;:::-;4192:74::o:0;4880:143::-;4961:7;4988:11;:18;5000:5;4988:18;;;;;;;;;;;;;;;:27;5007:7;4988:27;;;;;;;;;;;;;;;;4981:34;;4880:143;;;;:::o;5201:96::-;2160:5;;;;;;;;;;2148:17;;:10;:17;;;2140:48;;;;;;;;;;;;:::i;:::-;;;;;;;;;5280:9:::1;5274:5;::::0;:15:::1;;;;;;;;;;;;;;;;;;5201:96:::0;:::o;231:179::-;289:7;309:9;325:1;321;:5;;;;:::i;:::-;309:17;;350:1;345;:6;;337:46;;;;;;;;;;;;:::i;:::-;;;;;;;;;401:1;394:8;;;231:179;;;;:::o;7149:349::-;3259:8;:6;:8::i;:::-;3258:9;3250:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;7273:1:::1;7256:19;;:5;:19;;;;7248:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;7354:1;7335:21;;:7;:21;;;;7327:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;7438:5;7408:11;:18;7420:5;7408:18;;;;;;;;;;;;;;;:27;7427:7;7408:27;;;;;;;;;;;;;;;:35;;;;7475:7;7459:31;;7468:5;7459:31;;;7484:5;7459:31;;;;;;:::i;:::-;;;;;;;;7149:349:::0;;;:::o;6056:443::-;3259:8;:6;:8::i;:::-;3258:9;3250:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;6186:1:::1;6168:20;;:6;:20;;;;6160:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;6270:1;6249:23;;:9;:23;;;;6241:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;6345:29;6367:6;6345:9;:17;6355:6;6345:17;;;;;;;;;;;;;;;;:21;;:29;;;;:::i;:::-;6325:9;:17;6335:6;6325:17;;;;;;;;;;;;;;;:49;;;;6408:32;6433:6;6408:9;:20;6418:9;6408:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;6385:9;:20;6395:9;6385:20;;;;;;;;;;;;;;;:55;;;;6473:9;6456:35;;6465:6;6456:35;;;6484:6;6456:35;;;;;;:::i;:::-;;;;;;;;6056:443:::0;;;:::o;416:182::-;474:7;507:1;502;:6;;494:49;;;;;;;;;;;;:::i;:::-;;;;;;;;;554:9;570:1;566;:5;;;;:::i;:::-;554:17;;589:1;582:8;;;416:182;;;;:::o;3733:116::-;3259:8;:6;:8::i;:::-;3258:9;3250:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;3803:4:::1;3793:7;;:14;;;;;;;;;;;;;;;;;;3823:18;3830:10;3823:18;;;;;;:::i;:::-;;;;;;;;3733:116::o:0;3990:118::-;3536:8;:6;:8::i;:::-;3528:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;4059:5:::1;4049:7:::0;::::1;:15;;;;;;;;;;;;;;;;;;4080:20;4089:10;4080:20;;;;;;:::i;:::-;;;;;;;;3990:118::o:0;7:139:1:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;7:139;;;;:::o;152:::-;198:5;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;152:139;;;;:::o;297:329::-;356:6;405:2;393:9;384:7;380:23;376:32;373:119;;;411:79;;:::i;:::-;373:119;531:1;556:53;601:7;592:6;581:9;577:22;556:53;:::i;:::-;546:63;;502:117;297:329;;;;:::o;632:474::-;700:6;708;757:2;745:9;736:7;732:23;728:32;725:119;;;763:79;;:::i;:::-;725:119;883:1;908:53;953:7;944:6;933:9;929:22;908:53;:::i;:::-;898:63;;854:117;1010:2;1036:53;1081:7;1072:6;1061:9;1057:22;1036:53;:::i;:::-;1026:63;;981:118;632:474;;;;;:::o;1112:619::-;1189:6;1197;1205;1254:2;1242:9;1233:7;1229:23;1225:32;1222:119;;;1260:79;;:::i;:::-;1222:119;1380:1;1405:53;1450:7;1441:6;1430:9;1426:22;1405:53;:::i;:::-;1395:63;;1351:117;1507:2;1533:53;1578:7;1569:6;1558:9;1554:22;1533:53;:::i;:::-;1523:63;;1478:118;1635:2;1661:53;1706:7;1697:6;1686:9;1682:22;1661:53;:::i;:::-;1651:63;;1606:118;1112:619;;;;;:::o;1737:474::-;1805:6;1813;1862:2;1850:9;1841:7;1837:23;1833:32;1830:119;;;1868:79;;:::i;:::-;1830:119;1988:1;2013:53;2058:7;2049:6;2038:9;2034:22;2013:53;:::i;:::-;2003:63;;1959:117;2115:2;2141:53;2186:7;2177:6;2166:9;2162:22;2141:53;:::i;:::-;2131:63;;2086:118;1737:474;;;;;:::o;2217:118::-;2304:24;2322:5;2304:24;:::i;:::-;2299:3;2292:37;2217:118;;:::o;2341:109::-;2422:21;2437:5;2422:21;:::i;:::-;2417:3;2410:34;2341:109;;:::o;2456:364::-;2544:3;2572:39;2605:5;2572:39;:::i;:::-;2627:71;2691:6;2686:3;2627:71;:::i;:::-;2620:78;;2707:52;2752:6;2747:3;2740:4;2733:5;2729:16;2707:52;:::i;:::-;2784:29;2806:6;2784:29;:::i;:::-;2779:3;2775:39;2768:46;;2548:272;2456:364;;;;:::o;2826:366::-;2968:3;2989:67;3053:2;3048:3;2989:67;:::i;:::-;2982:74;;3065:93;3154:3;3065:93;:::i;:::-;3183:2;3178:3;3174:12;3167:19;;2826:366;;;:::o;3198:::-;3340:3;3361:67;3425:2;3420:3;3361:67;:::i;:::-;3354:74;;3437:93;3526:3;3437:93;:::i;:::-;3555:2;3550:3;3546:12;3539:19;;3198:366;;;:::o;3570:::-;3712:3;3733:67;3797:2;3792:3;3733:67;:::i;:::-;3726:74;;3809:93;3898:3;3809:93;:::i;:::-;3927:2;3922:3;3918:12;3911:19;;3570:366;;;:::o;3942:::-;4084:3;4105:67;4169:2;4164:3;4105:67;:::i;:::-;4098:74;;4181:93;4270:3;4181:93;:::i;:::-;4299:2;4294:3;4290:12;4283:19;;3942:366;;;:::o;4314:::-;4456:3;4477:67;4541:2;4536:3;4477:67;:::i;:::-;4470:74;;4553:93;4642:3;4553:93;:::i;:::-;4671:2;4666:3;4662:12;4655:19;;4314:366;;;:::o;4686:::-;4828:3;4849:67;4913:2;4908:3;4849:67;:::i;:::-;4842:74;;4925:93;5014:3;4925:93;:::i;:::-;5043:2;5038:3;5034:12;5027:19;;4686:366;;;:::o;5058:::-;5200:3;5221:67;5285:2;5280:3;5221:67;:::i;:::-;5214:74;;5297:93;5386:3;5297:93;:::i;:::-;5415:2;5410:3;5406:12;5399:19;;5058:366;;;:::o;5430:::-;5572:3;5593:67;5657:2;5652:3;5593:67;:::i;:::-;5586:74;;5669:93;5758:3;5669:93;:::i;:::-;5787:2;5782:3;5778:12;5771:19;;5430:366;;;:::o;5802:::-;5944:3;5965:67;6029:2;6024:3;5965:67;:::i;:::-;5958:74;;6041:93;6130:3;6041:93;:::i;:::-;6159:2;6154:3;6150:12;6143:19;;5802:366;;;:::o;6174:118::-;6261:24;6279:5;6261:24;:::i;:::-;6256:3;6249:37;6174:118;;:::o;6298:112::-;6381:22;6397:5;6381:22;:::i;:::-;6376:3;6369:35;6298:112;;:::o;6416:222::-;6509:4;6547:2;6536:9;6532:18;6524:26;;6560:71;6628:1;6617:9;6613:17;6604:6;6560:71;:::i;:::-;6416:222;;;;:::o;6644:210::-;6731:4;6769:2;6758:9;6754:18;6746:26;;6782:65;6844:1;6833:9;6829:17;6820:6;6782:65;:::i;:::-;6644:210;;;;:::o;6860:313::-;6973:4;7011:2;7000:9;6996:18;6988:26;;7060:9;7054:4;7050:20;7046:1;7035:9;7031:17;7024:47;7088:78;7161:4;7152:6;7088:78;:::i;:::-;7080:86;;6860:313;;;;:::o;7179:419::-;7345:4;7383:2;7372:9;7368:18;7360:26;;7432:9;7426:4;7422:20;7418:1;7407:9;7403:17;7396:47;7460:131;7586:4;7460:131;:::i;:::-;7452:139;;7179:419;;;:::o;7604:::-;7770:4;7808:2;7797:9;7793:18;7785:26;;7857:9;7851:4;7847:20;7843:1;7832:9;7828:17;7821:47;7885:131;8011:4;7885:131;:::i;:::-;7877:139;;7604:419;;;:::o;8029:::-;8195:4;8233:2;8222:9;8218:18;8210:26;;8282:9;8276:4;8272:20;8268:1;8257:9;8253:17;8246:47;8310:131;8436:4;8310:131;:::i;:::-;8302:139;;8029:419;;;:::o;8454:::-;8620:4;8658:2;8647:9;8643:18;8635:26;;8707:9;8701:4;8697:20;8693:1;8682:9;8678:17;8671:47;8735:131;8861:4;8735:131;:::i;:::-;8727:139;;8454:419;;;:::o;8879:::-;9045:4;9083:2;9072:9;9068:18;9060:26;;9132:9;9126:4;9122:20;9118:1;9107:9;9103:17;9096:47;9160:131;9286:4;9160:131;:::i;:::-;9152:139;;8879:419;;;:::o;9304:::-;9470:4;9508:2;9497:9;9493:18;9485:26;;9557:9;9551:4;9547:20;9543:1;9532:9;9528:17;9521:47;9585:131;9711:4;9585:131;:::i;:::-;9577:139;;9304:419;;;:::o;9729:::-;9895:4;9933:2;9922:9;9918:18;9910:26;;9982:9;9976:4;9972:20;9968:1;9957:9;9953:17;9946:47;10010:131;10136:4;10010:131;:::i;:::-;10002:139;;9729:419;;;:::o;10154:::-;10320:4;10358:2;10347:9;10343:18;10335:26;;10407:9;10401:4;10397:20;10393:1;10382:9;10378:17;10371:47;10435:131;10561:4;10435:131;:::i;:::-;10427:139;;10154:419;;;:::o;10579:::-;10745:4;10783:2;10772:9;10768:18;10760:26;;10832:9;10826:4;10822:20;10818:1;10807:9;10803:17;10796:47;10860:131;10986:4;10860:131;:::i;:::-;10852:139;;10579:419;;;:::o;11004:222::-;11097:4;11135:2;11124:9;11120:18;11112:26;;11148:71;11216:1;11205:9;11201:17;11192:6;11148:71;:::i;:::-;11004:222;;;;:::o;11232:214::-;11321:4;11359:2;11348:9;11344:18;11336:26;;11372:67;11436:1;11425:9;11421:17;11412:6;11372:67;:::i;:::-;11232:214;;;;:::o;11533:99::-;11585:6;11619:5;11613:12;11603:22;;11533:99;;;:::o;11638:169::-;11722:11;11756:6;11751:3;11744:19;11796:4;11791:3;11787:14;11772:29;;11638:169;;;;:::o;11813:305::-;11853:3;11872:20;11890:1;11872:20;:::i;:::-;11867:25;;11906:20;11924:1;11906:20;:::i;:::-;11901:25;;12060:1;11992:66;11988:74;11985:1;11982:81;11979:107;;;12066:18;;:::i;:::-;11979:107;12110:1;12107;12103:9;12096:16;;11813:305;;;;:::o;12124:191::-;12164:4;12184:20;12202:1;12184:20;:::i;:::-;12179:25;;12218:20;12236:1;12218:20;:::i;:::-;12213:25;;12257:1;12254;12251:8;12248:34;;;12262:18;;:::i;:::-;12248:34;12307:1;12304;12300:9;12292:17;;12124:191;;;;:::o;12321:96::-;12358:7;12387:24;12405:5;12387:24;:::i;:::-;12376:35;;12321:96;;;:::o;12423:90::-;12457:7;12500:5;12493:13;12486:21;12475:32;;12423:90;;;:::o;12519:126::-;12556:7;12596:42;12589:5;12585:54;12574:65;;12519:126;;;:::o;12651:77::-;12688:7;12717:5;12706:16;;12651:77;;;:::o;12734:86::-;12769:7;12809:4;12802:5;12798:16;12787:27;;12734:86;;;:::o;12826:307::-;12894:1;12904:113;12918:6;12915:1;12912:13;12904:113;;;13003:1;12998:3;12994:11;12988:18;12984:1;12979:3;12975:11;12968:39;12940:2;12937:1;12933:10;12928:15;;12904:113;;;13035:6;13032:1;13029:13;13026:101;;;13115:1;13106:6;13101:3;13097:16;13090:27;13026:101;12875:258;12826:307;;;:::o;13139:320::-;13183:6;13220:1;13214:4;13210:12;13200:22;;13267:1;13261:4;13257:12;13288:18;13278:81;;13344:4;13336:6;13332:17;13322:27;;13278:81;13406:2;13398:6;13395:14;13375:18;13372:38;13369:84;;;13425:18;;:::i;:::-;13369:84;13190:269;13139:320;;;:::o;13465:180::-;13513:77;13510:1;13503:88;13610:4;13607:1;13600:15;13634:4;13631:1;13624:15;13651:180;13699:77;13696:1;13689:88;13796:4;13793:1;13786:15;13820:4;13817:1;13810:15;13960:117;14069:1;14066;14059:12;14083:102;14124:6;14175:2;14171:7;14166:2;14159:5;14155:14;14151:28;14141:38;;14083:102;;;:::o;14191:222::-;14331:34;14327:1;14319:6;14315:14;14308:58;14400:5;14395:2;14387:6;14383:15;14376:30;14191:222;:::o;14419:170::-;14559:22;14555:1;14547:6;14543:14;14536:46;14419:170;:::o;14595:168::-;14735:20;14731:1;14723:6;14719:14;14712:44;14595:168;:::o;14769:221::-;14909:34;14905:1;14897:6;14893:14;14886:58;14978:4;14973:2;14965:6;14961:15;14954:29;14769:221;:::o;14996:177::-;15136:29;15132:1;15124:6;15120:14;15113:53;14996:177;:::o;15179:180::-;15319:32;15315:1;15307:6;15303:14;15296:56;15179:180;:::o;15365:166::-;15505:18;15501:1;15493:6;15489:14;15482:42;15365:166;:::o;15537:224::-;15677:34;15673:1;15665:6;15661:14;15654:58;15746:7;15741:2;15733:6;15729:15;15722:32;15537:224;:::o;15767:223::-;15907:34;15903:1;15895:6;15891:14;15884:58;15976:6;15971:2;15963:6;15959:15;15952:31;15767:223;:::o;15996:122::-;16069:24;16087:5;16069:24;:::i;:::-;16062:5;16059:35;16049:63;;16108:1;16105;16098:12;16049:63;15996:122;:::o;16124:::-;16197:24;16215:5;16197:24;:::i;:::-;16190:5;16187:35;16177:63;;16236:1;16233;16226:12;16177:63;16124:122;:::o

ipfs://9665a4cc64fc55bf3e94d18db0144471259ba7345b1644d915ea1fb7d012cd35