Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... 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)  contract LifeToken is IERC20 *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function destroyTokens(address accoun ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - 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 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-08-26
*/

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;


interface IERC20 {
    function totalSupply() external view returns (uint256);

    function balanceOf(address account) external view returns (uint256);

    function transfer(address recipient, uint256 amount) external returns (bool);

    function allowance(address owner, address spender) external view returns (uint256);

    function approve(address spender, uint256 amount) external returns (bool);

    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);

    event Transfer(address indexed from, address indexed to, uint256 value);

    event Approval(address indexed owner, address indexed spender, uint256 value);
}

library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    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;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
}

/**
 * @dev Implementation of the `IERC20` interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using `_mint`.
 * For a generic mechanism see `ERC20Mintable`.
 * Additionally, an `Approval` event is emitted on calls to `transferFrom`.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard `decreaseAllowance` and `increaseAllowance`
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See `IERC20.approve`.
 */
 
 
contract LifeToken is IERC20 {
    using SafeMath for uint256;
    
    // OWNER DATA
    address public tokenBurner;

    mapping (address => uint256) private _balances;

    mapping (address => mapping (address => uint256)) private _allowances;

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

    constructor ()  {
        _name = "Life Crypto";
        _symbol = "LIFE";
        _decimals = 18;
        
        _mint(msg.sender, 10000000000 * 10 ** uint256(18)); 
        tokenBurner = msg.sender;
    }
    
    
    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(msg.sender == tokenBurner, "supplyController");
        _;
    }


    /**
     * @dev Returns the name of the token.
     */
    function name() public view returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5,05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei.
     * Here in Life crypto token, we have initialised constructor with 18 decimals.  
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }

    uint256 private _totalSupply;

    /**
     * @dev See `IERC20.totalSupply`.
     */
    function totalSupply() public override view returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See `IERC20.balanceOf`.
     */
    function balanceOf(address account) public override view returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See `IERC20.transfer`.
     *
     * Requirements:
     *
     * - `recipient` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(msg.sender, recipient, amount);
        return true;
    }
    
    /**
    * Function to bur tokens to 0 address
    * Can be done by owner only
    */
    function destroyTokens(address account, uint256 value) public onlyOwner returns (bool) {
        
        require(value <= _balances[account], "not enough supply");
        require(account == tokenBurner, "onlyOwner");

        _balances[account] = _balances[account].sub(value);
        _totalSupply = _totalSupply.sub(value);
        emit Transfer(account, address(0), value);
        return true;
        }
    /**
     * @dev See `IERC20.allowance`.
     */
    function allowance(address owner, address spender) public override view returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See `IERC20.approve`.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 value) public override returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

    /**
     * @dev See `IERC20.transferFrom`.
     *
     * Requirements:
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `value`.
     * - the caller must have allowance for `sender`'s tokens of at least
     * `amount`.
     */
    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount));
        return true;
    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].add(addedValue));
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].sub(subtractedValue));
        return true;
    }

    /**
     * @dev Moves tokens `amount` from `sender` to `recipient`.
     *
     * This is internal function is equivalent to `transfer`, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a `Transfer` event.
     *
     * Requirements:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    function _transfer(address sender, address recipient, uint256 amount) internal {
        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);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a `Transfer` event with `from` set to the zero address.
     *
     * Requirements
     *
     * - `to` cannot be the zero address.
     */
    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);
    }

     /**
     * @dev Destroys `amount` tokens from `account`, reducing the
     * total supply.
     *
     * Emits a `Transfer` event with `to` set to the zero address.
     *
     * Requirements
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    function _burn(address account, uint256 value) internal {
        require(account != address(0), "ERC20: burn from the zero address");

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

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner`s tokens.
     *
     * This is internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an `Approval` event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        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);
    }

    /**
     * @dev Destoys `amount` tokens from `account`.`amount` is then deducted
     * from the caller's allowance.
     *
     * See `_burn` and `_approve`.
     */
    function _burnFrom(address account, uint256 amount) internal {
        _burn(account, amount);
        _approve(account, msg.sender, _allowances[account][msg.sender].sub(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":"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":"account","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"destroyTokens","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":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"tokenBurner","outputs":[{"internalType":"address","name":"","type":"address"}],"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"}]

60806040523480156200001157600080fd5b506040518060400160405280600b81526020017f4c6966652043727970746f000000000000000000000000000000000000000000815250600390805190602001906200005f92919062000343565b506040518060400160405280600481526020017f4c4946450000000000000000000000000000000000000000000000000000000081525060049080519060200190620000ad92919062000343565b506012600560006101000a81548160ff021916908360ff160217905550620000fd336012600a620000df91906200057c565b6402540be400620000f19190620006b9565b6200014360201b60201c565b336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555062000817565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415620001b6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620001ad9062000474565b60405180910390fd5b620001d281600654620002e060201b62000a0d1790919060201c565b6006819055506200023181600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054620002e060201b62000a0d1790919060201c565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620002d4919062000496565b60405180910390a35050565b6000808284620002f19190620004c4565b90508381101562000339576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620003309062000452565b60405180910390fd5b8091505092915050565b828054620003519062000724565b90600052602060002090601f016020900481019282620003755760008555620003c1565b82601f106200039057805160ff1916838001178555620003c1565b82800160010185558215620003c1579182015b82811115620003c0578251825591602001919060010190620003a3565b5b509050620003d09190620003d4565b5090565b5b80821115620003ef576000816000905550600101620003d5565b5090565b600062000402601b83620004b3565b91506200040f82620007c5565b602082019050919050565b600062000429601f83620004b3565b91506200043682620007ee565b602082019050919050565b6200044c816200071a565b82525050565b600060208201905081810360008301526200046d81620003f3565b9050919050565b600060208201905081810360008301526200048f816200041a565b9050919050565b6000602082019050620004ad600083018462000441565b92915050565b600082825260208201905092915050565b6000620004d1826200071a565b9150620004de836200071a565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156200051657620005156200075a565b5b828201905092915050565b6000808291508390505b600185111562000573578086048111156200054b576200054a6200075a565b5b60018516156200055b5780820291505b80810290506200056b85620007b8565b94506200052b565b94509492505050565b600062000589826200071a565b915062000596836200071a565b9250620005c57fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484620005cd565b905092915050565b600082620005df5760019050620006b2565b81620005ef5760009050620006b2565b8160018114620006085760028114620006135762000649565b6001915050620006b2565b60ff8411156200062857620006276200075a565b5b8360020a9150848211156200064257620006416200075a565b5b50620006b2565b5060208310610133831016604e8410600b8410161715620006835782820a9050838111156200067d576200067c6200075a565b5b620006b2565b62000692848484600162000521565b92509050818404811115620006ac57620006ab6200075a565b5b81810290505b9392505050565b6000620006c6826200071a565b9150620006d3836200071a565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156200070f576200070e6200075a565b5b828202905092915050565b6000819050919050565b600060028204905060018216806200073d57607f821691505b6020821081141562000754576200075362000789565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60008160011c9050919050565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6117bd80620008276000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c8063395093511161008c578063a457c2d711610066578063a457c2d71461022a578063a9059cbb1461025a578063d3ce77fe1461028a578063dd62ed3e146102ba576100cf565b806339509351146101ac57806370a08231146101dc57806395d89b411461020c576100cf565b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461012257806323b872dd146101405780632996f97214610170578063313ce5671461018e575b600080fd5b6100dc6102ea565b6040516100e99190611209565b60405180910390f35b61010c60048036038101906101079190610fe7565b61037c565b60405161011991906111ee565b60405180910390f35b61012a610393565b604051610137919061134b565b60405180910390f35b61015a60048036038101906101559190610f98565b61039d565b60405161016791906111ee565b60405180910390f35b61017861044e565b60405161018591906111d3565b60405180910390f35b610196610472565b6040516101a39190611366565b60405180910390f35b6101c660048036038101906101c19190610fe7565b610489565b6040516101d391906111ee565b60405180910390f35b6101f660048036038101906101f19190610f33565b61052e565b604051610203919061134b565b60405180910390f35b610214610577565b6040516102219190611209565b60405180910390f35b610244600480360381019061023f9190610fe7565b610609565b60405161025191906111ee565b60405180910390f35b610274600480360381019061026f9190610fe7565b6106ae565b60405161028191906111ee565b60405180910390f35b6102a4600480360381019061029f9190610fe7565b6106c5565b6040516102b191906111ee565b60405180910390f35b6102d460048036038101906102cf9190610f5c565b610986565b6040516102e1919061134b565b60405180910390f35b6060600380546102f9906114af565b80601f0160208091040260200160405190810160405280929190818152602001828054610325906114af565b80156103725780601f1061034757610100808354040283529160200191610372565b820191906000526020600020905b81548152906001019060200180831161035557829003601f168201915b5050505050905090565b6000610389338484610a6b565b6001905092915050565b6000600654905090565b60006103aa848484610c36565b610443843361043e85600260008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610eaa90919063ffffffff16565b610a6b565b600190509392505050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600560009054906101000a900460ff16905090565b6000610524338461051f85600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610a0d90919063ffffffff16565b610a6b565b6001905092915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b606060048054610586906114af565b80601f01602080910402602001604051908101604052809291908181526020018280546105b2906114af565b80156105ff5780601f106105d4576101008083540402835291602001916105ff565b820191906000526020600020905b8154815290600101906020018083116105e257829003601f168201915b5050505050905090565b60006106a4338461069f85600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610eaa90919063ffffffff16565b610a6b565b6001905092915050565b60006106bb338484610c36565b6001905092915050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610756576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161074d9061128b565b60405180910390fd5b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156107d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107cf906112eb565b60405180910390fd5b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614610866576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161085d9061132b565b60405180910390fd5b6108b882600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610eaa90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061091082600654610eaa90919063ffffffff16565b600681905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610974919061134b565b60405180910390a36001905092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000808284610a1c919061139d565b905083811015610a61576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a589061126b565b60405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610adb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ad29061130b565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610b4b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b429061124b565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610c29919061134b565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610ca6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c9d906112cb565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610d16576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d0d9061122b565b60405180910390fd5b610d6881600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610eaa90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610dfd81600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610a0d90919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610e9d919061134b565b60405180910390a3505050565b600082821115610eef576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ee6906112ab565b60405180910390fd5b60008284610efd91906113f3565b90508091505092915050565b600081359050610f1881611759565b92915050565b600081359050610f2d81611770565b92915050565b600060208284031215610f4557600080fd5b6000610f5384828501610f09565b91505092915050565b60008060408385031215610f6f57600080fd5b6000610f7d85828601610f09565b9250506020610f8e85828601610f09565b9150509250929050565b600080600060608486031215610fad57600080fd5b6000610fbb86828701610f09565b9350506020610fcc86828701610f09565b9250506040610fdd86828701610f1e565b9150509250925092565b60008060408385031215610ffa57600080fd5b600061100885828601610f09565b925050602061101985828601610f1e565b9150509250929050565b61102c81611427565b82525050565b61103b81611439565b82525050565b600061104c82611381565b611056818561138c565b935061106681856020860161147c565b61106f8161153f565b840191505092915050565b600061108760238361138c565b915061109282611550565b604082019050919050565b60006110aa60228361138c565b91506110b58261159f565b604082019050919050565b60006110cd601b8361138c565b91506110d8826115ee565b602082019050919050565b60006110f060108361138c565b91506110fb82611617565b602082019050919050565b6000611113601e8361138c565b915061111e82611640565b602082019050919050565b600061113660258361138c565b915061114182611669565b604082019050919050565b600061115960118361138c565b9150611164826116b8565b602082019050919050565b600061117c60248361138c565b9150611187826116e1565b604082019050919050565b600061119f60098361138c565b91506111aa82611730565b602082019050919050565b6111be81611465565b82525050565b6111cd8161146f565b82525050565b60006020820190506111e86000830184611023565b92915050565b60006020820190506112036000830184611032565b92915050565b600060208201905081810360008301526112238184611041565b905092915050565b600060208201905081810360008301526112448161107a565b9050919050565b600060208201905081810360008301526112648161109d565b9050919050565b60006020820190508181036000830152611284816110c0565b9050919050565b600060208201905081810360008301526112a4816110e3565b9050919050565b600060208201905081810360008301526112c481611106565b9050919050565b600060208201905081810360008301526112e481611129565b9050919050565b600060208201905081810360008301526113048161114c565b9050919050565b600060208201905081810360008301526113248161116f565b9050919050565b6000602082019050818103600083015261134481611192565b9050919050565b600060208201905061136060008301846111b5565b92915050565b600060208201905061137b60008301846111c4565b92915050565b600081519050919050565b600082825260208201905092915050565b60006113a882611465565b91506113b383611465565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156113e8576113e76114e1565b5b828201905092915050565b60006113fe82611465565b915061140983611465565b92508282101561141c5761141b6114e1565b5b828203905092915050565b600061143282611445565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b8381101561149a57808201518184015260208101905061147f565b838111156114a9576000848401525b50505050565b600060028204905060018216806114c757607f821691505b602082108114156114db576114da611510565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b7f737570706c79436f6e74726f6c6c657200000000000000000000000000000000600082015250565b7f536166654d6174683a207375627472616374696f6e206f766572666c6f770000600082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f6e6f7420656e6f75676820737570706c79000000000000000000000000000000600082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f6f6e6c794f776e65720000000000000000000000000000000000000000000000600082015250565b61176281611427565b811461176d57600080fd5b50565b61177981611465565b811461178457600080fd5b5056fea2646970667358221220dd24b165572b5c8094edc16c0289164873ae3cc4a06d194e38f97897f35b561164736f6c63430008040033

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c8063395093511161008c578063a457c2d711610066578063a457c2d71461022a578063a9059cbb1461025a578063d3ce77fe1461028a578063dd62ed3e146102ba576100cf565b806339509351146101ac57806370a08231146101dc57806395d89b411461020c576100cf565b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461012257806323b872dd146101405780632996f97214610170578063313ce5671461018e575b600080fd5b6100dc6102ea565b6040516100e99190611209565b60405180910390f35b61010c60048036038101906101079190610fe7565b61037c565b60405161011991906111ee565b60405180910390f35b61012a610393565b604051610137919061134b565b60405180910390f35b61015a60048036038101906101559190610f98565b61039d565b60405161016791906111ee565b60405180910390f35b61017861044e565b60405161018591906111d3565b60405180910390f35b610196610472565b6040516101a39190611366565b60405180910390f35b6101c660048036038101906101c19190610fe7565b610489565b6040516101d391906111ee565b60405180910390f35b6101f660048036038101906101f19190610f33565b61052e565b604051610203919061134b565b60405180910390f35b610214610577565b6040516102219190611209565b60405180910390f35b610244600480360381019061023f9190610fe7565b610609565b60405161025191906111ee565b60405180910390f35b610274600480360381019061026f9190610fe7565b6106ae565b60405161028191906111ee565b60405180910390f35b6102a4600480360381019061029f9190610fe7565b6106c5565b6040516102b191906111ee565b60405180910390f35b6102d460048036038101906102cf9190610f5c565b610986565b6040516102e1919061134b565b60405180910390f35b6060600380546102f9906114af565b80601f0160208091040260200160405190810160405280929190818152602001828054610325906114af565b80156103725780601f1061034757610100808354040283529160200191610372565b820191906000526020600020905b81548152906001019060200180831161035557829003601f168201915b5050505050905090565b6000610389338484610a6b565b6001905092915050565b6000600654905090565b60006103aa848484610c36565b610443843361043e85600260008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610eaa90919063ffffffff16565b610a6b565b600190509392505050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600560009054906101000a900460ff16905090565b6000610524338461051f85600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610a0d90919063ffffffff16565b610a6b565b6001905092915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b606060048054610586906114af565b80601f01602080910402602001604051908101604052809291908181526020018280546105b2906114af565b80156105ff5780601f106105d4576101008083540402835291602001916105ff565b820191906000526020600020905b8154815290600101906020018083116105e257829003601f168201915b5050505050905090565b60006106a4338461069f85600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610eaa90919063ffffffff16565b610a6b565b6001905092915050565b60006106bb338484610c36565b6001905092915050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610756576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161074d9061128b565b60405180910390fd5b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156107d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107cf906112eb565b60405180910390fd5b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614610866576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161085d9061132b565b60405180910390fd5b6108b882600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610eaa90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061091082600654610eaa90919063ffffffff16565b600681905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610974919061134b565b60405180910390a36001905092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000808284610a1c919061139d565b905083811015610a61576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a589061126b565b60405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610adb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ad29061130b565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610b4b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b429061124b565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610c29919061134b565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610ca6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c9d906112cb565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610d16576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d0d9061122b565b60405180910390fd5b610d6881600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610eaa90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610dfd81600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610a0d90919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610e9d919061134b565b60405180910390a3505050565b600082821115610eef576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ee6906112ab565b60405180910390fd5b60008284610efd91906113f3565b90508091505092915050565b600081359050610f1881611759565b92915050565b600081359050610f2d81611770565b92915050565b600060208284031215610f4557600080fd5b6000610f5384828501610f09565b91505092915050565b60008060408385031215610f6f57600080fd5b6000610f7d85828601610f09565b9250506020610f8e85828601610f09565b9150509250929050565b600080600060608486031215610fad57600080fd5b6000610fbb86828701610f09565b9350506020610fcc86828701610f09565b9250506040610fdd86828701610f1e565b9150509250925092565b60008060408385031215610ffa57600080fd5b600061100885828601610f09565b925050602061101985828601610f1e565b9150509250929050565b61102c81611427565b82525050565b61103b81611439565b82525050565b600061104c82611381565b611056818561138c565b935061106681856020860161147c565b61106f8161153f565b840191505092915050565b600061108760238361138c565b915061109282611550565b604082019050919050565b60006110aa60228361138c565b91506110b58261159f565b604082019050919050565b60006110cd601b8361138c565b91506110d8826115ee565b602082019050919050565b60006110f060108361138c565b91506110fb82611617565b602082019050919050565b6000611113601e8361138c565b915061111e82611640565b602082019050919050565b600061113660258361138c565b915061114182611669565b604082019050919050565b600061115960118361138c565b9150611164826116b8565b602082019050919050565b600061117c60248361138c565b9150611187826116e1565b604082019050919050565b600061119f60098361138c565b91506111aa82611730565b602082019050919050565b6111be81611465565b82525050565b6111cd8161146f565b82525050565b60006020820190506111e86000830184611023565b92915050565b60006020820190506112036000830184611032565b92915050565b600060208201905081810360008301526112238184611041565b905092915050565b600060208201905081810360008301526112448161107a565b9050919050565b600060208201905081810360008301526112648161109d565b9050919050565b60006020820190508181036000830152611284816110c0565b9050919050565b600060208201905081810360008301526112a4816110e3565b9050919050565b600060208201905081810360008301526112c481611106565b9050919050565b600060208201905081810360008301526112e481611129565b9050919050565b600060208201905081810360008301526113048161114c565b9050919050565b600060208201905081810360008301526113248161116f565b9050919050565b6000602082019050818103600083015261134481611192565b9050919050565b600060208201905061136060008301846111b5565b92915050565b600060208201905061137b60008301846111c4565b92915050565b600081519050919050565b600082825260208201905092915050565b60006113a882611465565b91506113b383611465565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156113e8576113e76114e1565b5b828201905092915050565b60006113fe82611465565b915061140983611465565b92508282101561141c5761141b6114e1565b5b828203905092915050565b600061143282611445565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b8381101561149a57808201518184015260208101905061147f565b838111156114a9576000848401525b50505050565b600060028204905060018216806114c757607f821691505b602082108114156114db576114da611510565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b7f737570706c79436f6e74726f6c6c657200000000000000000000000000000000600082015250565b7f536166654d6174683a207375627472616374696f6e206f766572666c6f770000600082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f6e6f7420656e6f75676820737570706c79000000000000000000000000000000600082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f6f6e6c794f776e65720000000000000000000000000000000000000000000000600082015250565b61176281611427565b811461176d57600080fd5b50565b61177981611465565b811461178457600080fd5b5056fea2646970667358221220dd24b165572b5c8094edc16c0289164873ae3cc4a06d194e38f97897f35b561164736f6c63430008040033

4559:8220:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5405:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7859:157;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6325:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8328:265;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4653:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6140:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8781:206;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6488:119;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5607:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9269:216;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6820:165;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7090:418;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7569:143;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5405:83;5442:13;5475:5;5468:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5405:83;:::o;7859:157::-;7933:4;7950:36;7959:10;7971:7;7980:5;7950:8;:36::i;:::-;8004:4;7997:11;;7859:157;;;;:::o;6325:100::-;6378:7;6405:12;;6398:19;;6325:100;:::o;8328:265::-;8426:4;8443:36;8453:6;8461:9;8472:6;8443:9;:36::i;:::-;8490:73;8499:6;8507:10;8519:43;8555:6;8519:11;:19;8531:6;8519:19;;;;;;;;;;;;;;;:31;8539:10;8519:31;;;;;;;;;;;;;;;;:35;;:43;;;;:::i;:::-;8490:8;:73::i;:::-;8581:4;8574:11;;8328:265;;;;;:::o;4653:26::-;;;;;;;;;;;;:::o;6140:83::-;6181:5;6206:9;;;;;;;;;;;6199:16;;6140:83;:::o;8781:206::-;8861:4;8878:79;8887:10;8899:7;8908:48;8945:10;8908:11;:23;8920:10;8908:23;;;;;;;;;;;;;;;:32;8932:7;8908:32;;;;;;;;;;;;;;;;:36;;:48;;;;:::i;:::-;8878:8;:79::i;:::-;8975:4;8968:11;;8781:206;;;;:::o;6488:119::-;6554:7;6581:9;:18;6591:7;6581:18;;;;;;;;;;;;;;;;6574:25;;6488:119;;;:::o;5607:87::-;5646:13;5679:7;5672:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5607:87;:::o;9269:216::-;9354:4;9371:84;9380:10;9392:7;9401:53;9438:15;9401:11;:23;9413:10;9401:23;;;;;;;;;;;;;;;:32;9425:7;9401:32;;;;;;;;;;;;;;;;:36;;:53;;;;:::i;:::-;9371:8;:84::i;:::-;9473:4;9466:11;;9269:216;;;;:::o;6820:165::-;6898:4;6915:40;6925:10;6937:9;6948:6;6915:9;:40::i;:::-;6973:4;6966:11;;6820:165;;;;:::o;7090:418::-;7171:4;5281:11;;;;;;;;;;;5267:25;;:10;:25;;;5259:54;;;;;;;;;;;;:::i;:::-;;;;;;;;;7215:9:::1;:18;7225:7;7215:18;;;;;;;;;;;;;;;;7206:5;:27;;7198:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;7285:11;::::0;::::1;;;;;;;;7274:22;;:7;:22;;;7266:44;;;;;;;;;;;;:::i;:::-;;;;;;;;;7344:29;7367:5;7344:9;:18;7354:7;7344:18;;;;;;;;;;;;;;;;:22;;:29;;;;:::i;:::-;7323:9;:18;7333:7;7323:18;;;;;;;;;;;;;;;:50;;;;7399:23;7416:5;7399:12;;:16;;:23;;;;:::i;:::-;7384:12;:38;;;;7464:1;7438:36;;7447:7;7438:36;;;7468:5;7438:36;;;;;;:::i;:::-;;;;;;;;7492:4;7485:11;;7090:418:::0;;;;:::o;7569:143::-;7650:7;7677:11;:18;7689:5;7677:18;;;;;;;;;;;;;;;:27;7696:7;7677:27;;;;;;;;;;;;;;;;7670:34;;7569:143;;;;:::o;1010:181::-;1068:7;1088:9;1104:1;1100;:5;;;;:::i;:::-;1088:17;;1129:1;1124;:6;;1116:46;;;;;;;;;;;;:::i;:::-;;;;;;;;;1182:1;1175:8;;;1010:181;;;;:::o;12068:335::-;12178:1;12161:19;;:5;:19;;;;12153:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;12259:1;12240:21;;:7;:21;;;;12232:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;12343:5;12313:11;:18;12325:5;12313:18;;;;;;;;;;;;;;;:27;12332:7;12313:27;;;;;;;;;;;;;;;:35;;;;12380:7;12364:31;;12373:5;12364:31;;;12389:5;12364:31;;;;;;:::i;:::-;;;;;;;;12068:335;;;:::o;9975:429::-;10091:1;10073:20;;:6;:20;;;;10065:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;10175:1;10154:23;;:9;:23;;;;10146:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;10250:29;10272:6;10250:9;:17;10260:6;10250:17;;;;;;;;;;;;;;;;:21;;:29;;;;:::i;:::-;10230:9;:17;10240:6;10230:17;;;;;;;;;;;;;;;:49;;;;10313:32;10338:6;10313:9;:20;10323:9;10313:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;10290:9;:20;10300:9;10290:20;;;;;;;;;;;;;;;:55;;;;10378:9;10361:35;;10370:6;10361:35;;;10389:6;10361:35;;;;;;:::i;:::-;;;;;;;;9975:429;;;:::o;1466:184::-;1524:7;1557:1;1552;:6;;1544:49;;;;;;;;;;;;:::i;:::-;;;;;;;;;1604:9;1620:1;1616;:5;;;;:::i;:::-;1604:17;;1641:1;1634:8;;;1466:184;;;;:::o;7:139:1:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;59:87;;;;:::o;152:139::-;198:5;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;204:87;;;;:::o;297:262::-;356:6;405:2;393:9;384:7;380:23;376:32;373:2;;;421:1;418;411:12;373:2;464:1;489:53;534:7;525:6;514:9;510:22;489:53;:::i;:::-;479:63;;435:117;363:196;;;;:::o;565:407::-;633:6;641;690:2;678:9;669:7;665:23;661:32;658:2;;;706:1;703;696:12;658:2;749:1;774:53;819:7;810:6;799:9;795:22;774:53;:::i;:::-;764:63;;720:117;876:2;902:53;947:7;938:6;927:9;923:22;902:53;:::i;:::-;892:63;;847:118;648:324;;;;;:::o;978:552::-;1055:6;1063;1071;1120:2;1108:9;1099:7;1095:23;1091:32;1088:2;;;1136:1;1133;1126:12;1088:2;1179:1;1204:53;1249:7;1240:6;1229:9;1225:22;1204:53;:::i;:::-;1194:63;;1150:117;1306:2;1332:53;1377:7;1368:6;1357:9;1353:22;1332:53;:::i;:::-;1322:63;;1277:118;1434:2;1460:53;1505:7;1496:6;1485:9;1481:22;1460:53;:::i;:::-;1450:63;;1405:118;1078:452;;;;;:::o;1536:407::-;1604:6;1612;1661:2;1649:9;1640:7;1636:23;1632:32;1629:2;;;1677:1;1674;1667:12;1629:2;1720:1;1745:53;1790:7;1781:6;1770:9;1766:22;1745:53;:::i;:::-;1735:63;;1691:117;1847:2;1873:53;1918:7;1909:6;1898:9;1894:22;1873:53;:::i;:::-;1863:63;;1818:118;1619:324;;;;;:::o;1949:118::-;2036:24;2054:5;2036:24;:::i;:::-;2031:3;2024:37;2014:53;;:::o;2073:109::-;2154:21;2169:5;2154:21;:::i;:::-;2149:3;2142:34;2132:50;;:::o;2188:364::-;2276:3;2304:39;2337:5;2304:39;:::i;:::-;2359:71;2423:6;2418:3;2359:71;:::i;:::-;2352:78;;2439:52;2484:6;2479:3;2472:4;2465:5;2461:16;2439:52;:::i;:::-;2516:29;2538:6;2516:29;:::i;:::-;2511:3;2507:39;2500:46;;2280:272;;;;;:::o;2558:366::-;2700:3;2721:67;2785:2;2780:3;2721:67;:::i;:::-;2714:74;;2797:93;2886:3;2797:93;:::i;:::-;2915:2;2910:3;2906:12;2899:19;;2704:220;;;:::o;2930:366::-;3072:3;3093:67;3157:2;3152:3;3093:67;:::i;:::-;3086:74;;3169:93;3258:3;3169:93;:::i;:::-;3287:2;3282:3;3278:12;3271:19;;3076:220;;;:::o;3302:366::-;3444:3;3465:67;3529:2;3524:3;3465:67;:::i;:::-;3458:74;;3541:93;3630:3;3541:93;:::i;:::-;3659:2;3654:3;3650:12;3643:19;;3448:220;;;:::o;3674:366::-;3816:3;3837:67;3901:2;3896:3;3837:67;:::i;:::-;3830:74;;3913:93;4002:3;3913:93;:::i;:::-;4031:2;4026:3;4022:12;4015:19;;3820:220;;;:::o;4046:366::-;4188:3;4209:67;4273:2;4268:3;4209:67;:::i;:::-;4202:74;;4285:93;4374:3;4285:93;:::i;:::-;4403:2;4398:3;4394:12;4387:19;;4192:220;;;:::o;4418:366::-;4560:3;4581:67;4645:2;4640:3;4581:67;:::i;:::-;4574:74;;4657:93;4746:3;4657:93;:::i;:::-;4775:2;4770:3;4766:12;4759:19;;4564:220;;;:::o;4790:366::-;4932:3;4953:67;5017:2;5012:3;4953:67;:::i;:::-;4946:74;;5029:93;5118:3;5029:93;:::i;:::-;5147:2;5142:3;5138:12;5131:19;;4936:220;;;:::o;5162:366::-;5304:3;5325:67;5389:2;5384:3;5325:67;:::i;:::-;5318:74;;5401:93;5490:3;5401:93;:::i;:::-;5519:2;5514:3;5510:12;5503:19;;5308:220;;;:::o;5534:365::-;5676:3;5697:66;5761:1;5756:3;5697:66;:::i;:::-;5690:73;;5772:93;5861:3;5772:93;:::i;:::-;5890:2;5885:3;5881:12;5874:19;;5680:219;;;:::o;5905:118::-;5992:24;6010:5;5992:24;:::i;:::-;5987:3;5980:37;5970:53;;:::o;6029:112::-;6112:22;6128:5;6112:22;:::i;:::-;6107:3;6100:35;6090:51;;:::o;6147:222::-;6240:4;6278:2;6267:9;6263:18;6255:26;;6291:71;6359:1;6348:9;6344:17;6335:6;6291:71;:::i;:::-;6245:124;;;;:::o;6375:210::-;6462:4;6500:2;6489:9;6485:18;6477:26;;6513:65;6575:1;6564:9;6560:17;6551:6;6513:65;:::i;:::-;6467:118;;;;:::o;6591:313::-;6704:4;6742:2;6731:9;6727:18;6719:26;;6791:9;6785:4;6781:20;6777:1;6766:9;6762:17;6755:47;6819:78;6892:4;6883:6;6819:78;:::i;:::-;6811:86;;6709:195;;;;:::o;6910:419::-;7076:4;7114:2;7103:9;7099:18;7091:26;;7163:9;7157:4;7153:20;7149:1;7138:9;7134:17;7127:47;7191:131;7317:4;7191:131;:::i;:::-;7183:139;;7081:248;;;:::o;7335:419::-;7501:4;7539:2;7528:9;7524:18;7516:26;;7588:9;7582:4;7578:20;7574:1;7563:9;7559:17;7552:47;7616:131;7742:4;7616:131;:::i;:::-;7608:139;;7506:248;;;:::o;7760:419::-;7926:4;7964:2;7953:9;7949:18;7941:26;;8013:9;8007:4;8003:20;7999:1;7988:9;7984:17;7977:47;8041:131;8167:4;8041:131;:::i;:::-;8033:139;;7931:248;;;:::o;8185:419::-;8351:4;8389:2;8378:9;8374:18;8366:26;;8438:9;8432:4;8428:20;8424:1;8413:9;8409:17;8402:47;8466:131;8592:4;8466:131;:::i;:::-;8458:139;;8356:248;;;:::o;8610:419::-;8776:4;8814:2;8803:9;8799:18;8791:26;;8863:9;8857:4;8853:20;8849:1;8838:9;8834:17;8827:47;8891:131;9017:4;8891:131;:::i;:::-;8883:139;;8781:248;;;:::o;9035:419::-;9201:4;9239:2;9228:9;9224:18;9216:26;;9288:9;9282:4;9278:20;9274:1;9263:9;9259:17;9252:47;9316:131;9442:4;9316:131;:::i;:::-;9308:139;;9206:248;;;:::o;9460:419::-;9626:4;9664:2;9653:9;9649:18;9641:26;;9713:9;9707:4;9703:20;9699:1;9688:9;9684:17;9677:47;9741:131;9867:4;9741:131;:::i;:::-;9733:139;;9631:248;;;:::o;9885:419::-;10051:4;10089:2;10078:9;10074:18;10066:26;;10138:9;10132:4;10128:20;10124:1;10113:9;10109:17;10102:47;10166:131;10292:4;10166:131;:::i;:::-;10158:139;;10056:248;;;:::o;10310:419::-;10476:4;10514:2;10503:9;10499:18;10491:26;;10563:9;10557:4;10553:20;10549:1;10538:9;10534:17;10527:47;10591:131;10717:4;10591:131;:::i;:::-;10583:139;;10481:248;;;:::o;10735:222::-;10828:4;10866:2;10855:9;10851:18;10843:26;;10879:71;10947:1;10936:9;10932:17;10923:6;10879:71;:::i;:::-;10833:124;;;;:::o;10963:214::-;11052:4;11090:2;11079:9;11075:18;11067:26;;11103:67;11167:1;11156:9;11152:17;11143:6;11103:67;:::i;:::-;11057:120;;;;:::o;11183:99::-;11235:6;11269:5;11263:12;11253:22;;11242:40;;;:::o;11288:169::-;11372:11;11406:6;11401:3;11394:19;11446:4;11441:3;11437:14;11422:29;;11384:73;;;;:::o;11463:305::-;11503:3;11522:20;11540:1;11522:20;:::i;:::-;11517:25;;11556:20;11574:1;11556:20;:::i;:::-;11551:25;;11710:1;11642:66;11638:74;11635:1;11632:81;11629:2;;;11716:18;;:::i;:::-;11629:2;11760:1;11757;11753:9;11746:16;;11507:261;;;;:::o;11774:191::-;11814:4;11834:20;11852:1;11834:20;:::i;:::-;11829:25;;11868:20;11886:1;11868:20;:::i;:::-;11863:25;;11907:1;11904;11901:8;11898:2;;;11912:18;;:::i;:::-;11898:2;11957:1;11954;11950:9;11942:17;;11819:146;;;;:::o;11971:96::-;12008:7;12037:24;12055:5;12037:24;:::i;:::-;12026:35;;12016:51;;;:::o;12073:90::-;12107:7;12150:5;12143:13;12136:21;12125:32;;12115:48;;;:::o;12169:126::-;12206:7;12246:42;12239:5;12235:54;12224:65;;12214:81;;;:::o;12301:77::-;12338:7;12367:5;12356:16;;12346:32;;;:::o;12384:86::-;12419:7;12459:4;12452:5;12448:16;12437:27;;12427:43;;;:::o;12476:307::-;12544:1;12554:113;12568:6;12565:1;12562:13;12554:113;;;12653:1;12648:3;12644:11;12638:18;12634:1;12629:3;12625:11;12618:39;12590:2;12587:1;12583:10;12578:15;;12554:113;;;12685:6;12682:1;12679:13;12676:2;;;12765:1;12756:6;12751:3;12747:16;12740:27;12676:2;12525:258;;;;:::o;12789:320::-;12833:6;12870:1;12864:4;12860:12;12850:22;;12917:1;12911:4;12907:12;12938:18;12928:2;;12994:4;12986:6;12982:17;12972:27;;12928:2;13056;13048:6;13045:14;13025:18;13022:38;13019:2;;;13075:18;;:::i;:::-;13019:2;12840:269;;;;:::o;13115:180::-;13163:77;13160:1;13153:88;13260:4;13257:1;13250:15;13284:4;13281:1;13274:15;13301:180;13349:77;13346:1;13339:88;13446:4;13443:1;13436:15;13470:4;13467:1;13460:15;13487:102;13528:6;13579:2;13575:7;13570:2;13563:5;13559:14;13555:28;13545:38;;13535:54;;;:::o;13595:222::-;13735:34;13731:1;13723:6;13719:14;13712:58;13804:5;13799:2;13791:6;13787:15;13780:30;13701:116;:::o;13823:221::-;13963:34;13959:1;13951:6;13947:14;13940:58;14032:4;14027:2;14019:6;14015:15;14008:29;13929:115;:::o;14050:177::-;14190:29;14186:1;14178:6;14174:14;14167:53;14156:71;:::o;14233:166::-;14373:18;14369:1;14361:6;14357:14;14350:42;14339:60;:::o;14405:180::-;14545:32;14541:1;14533:6;14529:14;14522:56;14511:74;:::o;14591:224::-;14731:34;14727:1;14719:6;14715:14;14708:58;14800:7;14795:2;14787:6;14783:15;14776:32;14697:118;:::o;14821:167::-;14961:19;14957:1;14949:6;14945:14;14938:43;14927:61;:::o;14994:223::-;15134:34;15130:1;15122:6;15118:14;15111:58;15203:6;15198:2;15190:6;15186:15;15179:31;15100:117;:::o;15223:159::-;15363:11;15359:1;15351:6;15347:14;15340:35;15329:53;:::o;15388:122::-;15461:24;15479:5;15461:24;:::i;:::-;15454:5;15451:35;15441:2;;15500:1;15497;15490:12;15441:2;15431:79;:::o;15516:122::-;15589:24;15607:5;15589:24;:::i;:::-;15582:5;15579:35;15569:2;;15628:1;15625;15618:12;15569:2;15559:79;:::o

ipfs://dd24b165572b5c8094edc16c0289164873ae3cc4a06d194e38f97897f35b5611