Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
•    - function _msgData()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
• interface IERC20Metadata is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•  contract ERC20 is Context, IERC20, ...
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(
•    - function _mint(address account, uint2 ...
•    - function _approve(
•    - function _beforeTokenTransfer(
•  contract ERC20PresetFixedSupply is ...
•  contract Colizeum is ERC20PresetFi ... *

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-06-16
*/

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.4;

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

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

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

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

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

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

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

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

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

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

interface IERC20Metadata is IERC20 {
    /**
     * @dev Returns the name of the token.
     */
    function name() external view returns (string memory);

    /**
     * @dev Returns the symbol of the token.
     */
    function symbol() external view returns (string memory);

    /**
     * @dev Returns the decimals places of the token.
     */
    function decimals() external view returns (uint8);
}


/**
 * @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 {ERC20PresetMinterPauser}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * We have followed general OpenZeppelin guidelines: functions revert instead
 * of returning `false` on failure. This behavior is nonetheless conventional
 * and does not conflict with the expectations of ERC20 applications.
 *
 * 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 ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * The default value of {decimals} is 18. To select a different value for
     * {decimals} you should overload it.
     *
     * All two of these values are immutable: they can only be set once during
     * construction.
     */
    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

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

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual override 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. This is the value {ERC20} uses, unless this function is
     * overridden;
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view virtual override returns (uint8) {
        return 18;
    }

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

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view virtual override 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 virtual override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender) public view virtual override returns (uint256) {
        return _allowances[owner][spender];
    }

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

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Emits an {Approval} event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {ERC20}.
     *
     * Requirements:
     *
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     * - the caller must have allowance for ``sender``'s tokens of at least
     * `amount`.
     */
    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);

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

        return true;
    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender] + addedValue);
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * 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 virtual returns (bool) {
        uint256 currentAllowance = _allowances[_msgSender()][spender];
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(_msgSender(), spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    /**
     * @dev Moves `amount` of tokens from `sender` to `recipient`.
     *
     * This 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 virtual {
        require(sender != address(0), "ERC20: transfer from the zero address");
        // require(recipient != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(sender, recipient, amount);

        uint256 senderBalance = _balances[sender];
        require(senderBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[sender] = senderBalance - amount;
        }
        _balances[recipient] += 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:
     *
     * - `account` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _beforeTokenTransfer(address(0), account, amount);

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

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner` s tokens.
     *
     * This 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 amount
    ) internal virtual {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

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

    /**
     * @dev Hook that is called before any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * will be to transferred to `to`.
     * - when `from` is zero, `amount` tokens will be minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens will be burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}
}


contract ERC20PresetFixedSupply is ERC20 {
    /**
     * @dev Mints `initialSupply` amount of token and transfers them to `owner`.
     *
     * See {ERC20-constructor}.
     */
    constructor(
        string memory name,
        string memory symbol,
        uint256 initialSupply,
        address owner
    ) ERC20(name, symbol) {
        _mint(owner, initialSupply);
    }
}

contract Colizeum is ERC20PresetFixedSupply {
    uint256 HARDCAP = 1e9 * 1e18;
    constructor() ERC20PresetFixedSupply("Colizeum", "ZEUM", HARDCAP, msg.sender) {
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"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":"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"}]

60806040526b033b2e3c9fd0803ce80000006005553480156200002157600080fd5b506040518060400160405280600881526020017f436f6c697a65756d0000000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f5a45554d000000000000000000000000000000000000000000000000000000008152506005543383838160039080519060200190620000ac9291906200024e565b508060049080519060200190620000c59291906200024e565b505050620000da8183620000e460201b60201c565b50505050620004aa565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141562000157576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200014e9062000336565b60405180910390fd5b6200016b600083836200024960201b60201c565b80600260008282546200017f919062000386565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254620001d6919062000386565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200023d919062000358565b60405180910390a35050565b505050565b8280546200025c90620003ed565b90600052602060002090601f016020900481019282620002805760008555620002cc565b82601f106200029b57805160ff1916838001178555620002cc565b82800160010185558215620002cc579182015b82811115620002cb578251825591602001919060010190620002ae565b5b509050620002db9190620002df565b5090565b5b80821115620002fa576000816000905550600101620002e0565b5090565b60006200030d601f8362000375565b91506200031a8262000481565b602082019050919050565b6200033081620003e3565b82525050565b600060208201905081810360008301526200035181620002fe565b9050919050565b60006020820190506200036f600083018462000325565b92915050565b600082825260208201905092915050565b60006200039382620003e3565b9150620003a083620003e3565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115620003d857620003d762000423565b5b828201905092915050565b6000819050919050565b600060028204905060018216806200040657607f821691505b602082108114156200041d576200041c62000452565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b61129880620004ba6000396000f3fe608060405234801561001057600080fd5b50600436106100a95760003560e01c80633950935111610071578063395093511461016857806370a082311461019857806395d89b41146101c8578063a457c2d7146101e6578063a9059cbb14610216578063dd62ed3e14610246576100a9565b806306fdde03146100ae578063095ea7b3146100cc57806318160ddd146100fc57806323b872dd1461011a578063313ce5671461014a575b600080fd5b6100b6610276565b6040516100c39190610da2565b60405180910390f35b6100e660048036038101906100e19190610c0f565b610308565b6040516100f39190610d87565b60405180910390f35b610104610326565b6040516101119190610e84565b60405180910390f35b610134600480360381019061012f9190610bbc565b610330565b6040516101419190610d87565b60405180910390f35b610152610428565b60405161015f9190610e9f565b60405180910390f35b610182600480360381019061017d9190610c0f565b610431565b60405161018f9190610d87565b60405180910390f35b6101b260048036038101906101ad9190610b4f565b6104dd565b6040516101bf9190610e84565b60405180910390f35b6101d0610525565b6040516101dd9190610da2565b60405180910390f35b61020060048036038101906101fb9190610c0f565b6105b7565b60405161020d9190610d87565b60405180910390f35b610230600480360381019061022b9190610c0f565b6106a2565b60405161023d9190610d87565b60405180910390f35b610260600480360381019061025b9190610b7c565b6106c0565b60405161026d9190610e84565b60405180910390f35b60606003805461028590610fb4565b80601f01602080910402602001604051908101604052809291908181526020018280546102b190610fb4565b80156102fe5780601f106102d3576101008083540402835291602001916102fe565b820191906000526020600020905b8154815290600101906020018083116102e157829003601f168201915b5050505050905090565b600061031c610315610747565b848461074f565b6001905092915050565b6000600254905090565b600061033d84848461091a565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000610388610747565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610408576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103ff90610e04565b60405180910390fd5b61041c85610414610747565b85840361074f565b60019150509392505050565b60006012905090565b60006104d361043e610747565b84846001600061044c610747565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546104ce9190610ed6565b61074f565b6001905092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60606004805461053490610fb4565b80601f016020809104026020016040519081016040528092919081815260200182805461056090610fb4565b80156105ad5780601f10610582576101008083540402835291602001916105ad565b820191906000526020600020905b81548152906001019060200180831161059057829003601f168201915b5050505050905090565b600080600160006105c6610747565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610683576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161067a90610e64565b60405180910390fd5b61069761068e610747565b8585840361074f565b600191505092915050565b60006106b66106af610747565b848461091a565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156107bf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107b690610e44565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561082f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161082690610dc4565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161090d9190610e84565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561098a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161098190610e24565b60405180910390fd5b610995838383610b20565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610a1b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a1290610de4565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610aae9190610ed6565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b129190610e84565b60405180910390a350505050565b505050565b600081359050610b3481611234565b92915050565b600081359050610b498161124b565b92915050565b600060208284031215610b6557610b64611044565b5b6000610b7384828501610b25565b91505092915050565b60008060408385031215610b9357610b92611044565b5b6000610ba185828601610b25565b9250506020610bb285828601610b25565b9150509250929050565b600080600060608486031215610bd557610bd4611044565b5b6000610be386828701610b25565b9350506020610bf486828701610b25565b9250506040610c0586828701610b3a565b9150509250925092565b60008060408385031215610c2657610c25611044565b5b6000610c3485828601610b25565b9250506020610c4585828601610b3a565b9150509250929050565b610c5881610f3e565b82525050565b6000610c6982610eba565b610c738185610ec5565b9350610c83818560208601610f81565b610c8c81611049565b840191505092915050565b6000610ca4602283610ec5565b9150610caf8261105a565b604082019050919050565b6000610cc7602683610ec5565b9150610cd2826110a9565b604082019050919050565b6000610cea602883610ec5565b9150610cf5826110f8565b604082019050919050565b6000610d0d602583610ec5565b9150610d1882611147565b604082019050919050565b6000610d30602483610ec5565b9150610d3b82611196565b604082019050919050565b6000610d53602583610ec5565b9150610d5e826111e5565b604082019050919050565b610d7281610f6a565b82525050565b610d8181610f74565b82525050565b6000602082019050610d9c6000830184610c4f565b92915050565b60006020820190508181036000830152610dbc8184610c5e565b905092915050565b60006020820190508181036000830152610ddd81610c97565b9050919050565b60006020820190508181036000830152610dfd81610cba565b9050919050565b60006020820190508181036000830152610e1d81610cdd565b9050919050565b60006020820190508181036000830152610e3d81610d00565b9050919050565b60006020820190508181036000830152610e5d81610d23565b9050919050565b60006020820190508181036000830152610e7d81610d46565b9050919050565b6000602082019050610e996000830184610d69565b92915050565b6000602082019050610eb46000830184610d78565b92915050565b600081519050919050565b600082825260208201905092915050565b6000610ee182610f6a565b9150610eec83610f6a565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115610f2157610f20610fe6565b5b828201905092915050565b6000610f3782610f4a565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b83811015610f9f578082015181840152602081019050610f84565b83811115610fae576000848401525b50505050565b60006002820490506001821680610fcc57607f821691505b60208210811415610fe057610fdf611015565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206160008201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b61123d81610f2c565b811461124857600080fd5b50565b61125481610f6a565b811461125f57600080fd5b5056fea2646970667358221220cf0da783edd0b70b3eb455f8b035de309d5cbfb579226ce14b6a47aa23df572064736f6c63430008050033

0x608060405234801561001057600080fd5b50600436106100a95760003560e01c80633950935111610071578063395093511461016857806370a082311461019857806395d89b41146101c8578063a457c2d7146101e6578063a9059cbb14610216578063dd62ed3e14610246576100a9565b806306fdde03146100ae578063095ea7b3146100cc57806318160ddd146100fc57806323b872dd1461011a578063313ce5671461014a575b600080fd5b6100b6610276565b6040516100c39190610da2565b60405180910390f35b6100e660048036038101906100e19190610c0f565b610308565b6040516100f39190610d87565b60405180910390f35b610104610326565b6040516101119190610e84565b60405180910390f35b610134600480360381019061012f9190610bbc565b610330565b6040516101419190610d87565b60405180910390f35b610152610428565b60405161015f9190610e9f565b60405180910390f35b610182600480360381019061017d9190610c0f565b610431565b60405161018f9190610d87565b60405180910390f35b6101b260048036038101906101ad9190610b4f565b6104dd565b6040516101bf9190610e84565b60405180910390f35b6101d0610525565b6040516101dd9190610da2565b60405180910390f35b61020060048036038101906101fb9190610c0f565b6105b7565b60405161020d9190610d87565b60405180910390f35b610230600480360381019061022b9190610c0f565b6106a2565b60405161023d9190610d87565b60405180910390f35b610260600480360381019061025b9190610b7c565b6106c0565b60405161026d9190610e84565b60405180910390f35b60606003805461028590610fb4565b80601f01602080910402602001604051908101604052809291908181526020018280546102b190610fb4565b80156102fe5780601f106102d3576101008083540402835291602001916102fe565b820191906000526020600020905b8154815290600101906020018083116102e157829003601f168201915b5050505050905090565b600061031c610315610747565b848461074f565b6001905092915050565b6000600254905090565b600061033d84848461091a565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000610388610747565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610408576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103ff90610e04565b60405180910390fd5b61041c85610414610747565b85840361074f565b60019150509392505050565b60006012905090565b60006104d361043e610747565b84846001600061044c610747565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546104ce9190610ed6565b61074f565b6001905092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60606004805461053490610fb4565b80601f016020809104026020016040519081016040528092919081815260200182805461056090610fb4565b80156105ad5780601f10610582576101008083540402835291602001916105ad565b820191906000526020600020905b81548152906001019060200180831161059057829003601f168201915b5050505050905090565b600080600160006105c6610747565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610683576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161067a90610e64565b60405180910390fd5b61069761068e610747565b8585840361074f565b600191505092915050565b60006106b66106af610747565b848461091a565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156107bf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107b690610e44565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561082f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161082690610dc4565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161090d9190610e84565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561098a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161098190610e24565b60405180910390fd5b610995838383610b20565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610a1b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a1290610de4565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610aae9190610ed6565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b129190610e84565b60405180910390a350505050565b505050565b600081359050610b3481611234565b92915050565b600081359050610b498161124b565b92915050565b600060208284031215610b6557610b64611044565b5b6000610b7384828501610b25565b91505092915050565b60008060408385031215610b9357610b92611044565b5b6000610ba185828601610b25565b9250506020610bb285828601610b25565b9150509250929050565b600080600060608486031215610bd557610bd4611044565b5b6000610be386828701610b25565b9350506020610bf486828701610b25565b9250506040610c0586828701610b3a565b9150509250925092565b60008060408385031215610c2657610c25611044565b5b6000610c3485828601610b25565b9250506020610c4585828601610b3a565b9150509250929050565b610c5881610f3e565b82525050565b6000610c6982610eba565b610c738185610ec5565b9350610c83818560208601610f81565b610c8c81611049565b840191505092915050565b6000610ca4602283610ec5565b9150610caf8261105a565b604082019050919050565b6000610cc7602683610ec5565b9150610cd2826110a9565b604082019050919050565b6000610cea602883610ec5565b9150610cf5826110f8565b604082019050919050565b6000610d0d602583610ec5565b9150610d1882611147565b604082019050919050565b6000610d30602483610ec5565b9150610d3b82611196565b604082019050919050565b6000610d53602583610ec5565b9150610d5e826111e5565b604082019050919050565b610d7281610f6a565b82525050565b610d8181610f74565b82525050565b6000602082019050610d9c6000830184610c4f565b92915050565b60006020820190508181036000830152610dbc8184610c5e565b905092915050565b60006020820190508181036000830152610ddd81610c97565b9050919050565b60006020820190508181036000830152610dfd81610cba565b9050919050565b60006020820190508181036000830152610e1d81610cdd565b9050919050565b60006020820190508181036000830152610e3d81610d00565b9050919050565b60006020820190508181036000830152610e5d81610d23565b9050919050565b60006020820190508181036000830152610e7d81610d46565b9050919050565b6000602082019050610e996000830184610d69565b92915050565b6000602082019050610eb46000830184610d78565b92915050565b600081519050919050565b600082825260208201905092915050565b6000610ee182610f6a565b9150610eec83610f6a565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115610f2157610f20610fe6565b5b828201905092915050565b6000610f3782610f4a565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b83811015610f9f578082015181840152602081019050610f84565b83811115610fae576000848401525b50505050565b60006002820490506001821680610fcc57607f821691505b60208210811415610fe057610fdf611015565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206160008201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b61123d81610f2c565b811461124857600080fd5b50565b61125481610f6a565b811461125f57600080fd5b5056fea2646970667358221220cf0da783edd0b70b3eb455f8b035de309d5cbfb579226ce14b6a47aa23df572064736f6c63430008050033

13969:175:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5375:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7542:169;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6495:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8193:492;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6337:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9094:215;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6666:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5594:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9812:413;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7006:175;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7244:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5375:100;5429:13;5462:5;5455:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5375:100;:::o;7542:169::-;7625:4;7642:39;7651:12;:10;:12::i;:::-;7665:7;7674:6;7642:8;:39::i;:::-;7699:4;7692:11;;7542:169;;;;:::o;6495:108::-;6556:7;6583:12;;6576:19;;6495:108;:::o;8193:492::-;8333:4;8350:36;8360:6;8368:9;8379:6;8350:9;:36::i;:::-;8399:24;8426:11;:19;8438:6;8426:19;;;;;;;;;;;;;;;:33;8446:12;:10;:12::i;:::-;8426:33;;;;;;;;;;;;;;;;8399:60;;8498:6;8478:16;:26;;8470:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;8585:57;8594:6;8602:12;:10;:12::i;:::-;8635:6;8616:16;:25;8585:8;:57::i;:::-;8673:4;8666:11;;;8193:492;;;;;:::o;6337:93::-;6395:5;6420:2;6413:9;;6337:93;:::o;9094:215::-;9182:4;9199:80;9208:12;:10;:12::i;:::-;9222:7;9268:10;9231:11;:25;9243:12;:10;:12::i;:::-;9231:25;;;;;;;;;;;;;;;:34;9257:7;9231:34;;;;;;;;;;;;;;;;:47;;;;:::i;:::-;9199:8;:80::i;:::-;9297:4;9290:11;;9094:215;;;;:::o;6666:127::-;6740:7;6767:9;:18;6777:7;6767:18;;;;;;;;;;;;;;;;6760:25;;6666:127;;;:::o;5594:104::-;5650:13;5683:7;5676:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5594:104;:::o;9812:413::-;9905:4;9922:24;9949:11;:25;9961:12;:10;:12::i;:::-;9949:25;;;;;;;;;;;;;;;:34;9975:7;9949:34;;;;;;;;;;;;;;;;9922:61;;10022:15;10002:16;:35;;9994:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;10115:67;10124:12;:10;:12::i;:::-;10138:7;10166:15;10147:16;:34;10115:8;:67::i;:::-;10213:4;10206:11;;;9812:413;;;;:::o;7006:175::-;7092:4;7109:42;7119:12;:10;:12::i;:::-;7133:9;7144:6;7109:9;:42::i;:::-;7169:4;7162:11;;7006:175;;;;:::o;7244:151::-;7333:7;7360:11;:18;7372:5;7360:18;;;;;;;;;;;;;;;:27;7379:7;7360:27;;;;;;;;;;;;;;;;7353:34;;7244:151;;;;:::o;95:98::-;148:7;175:10;168:17;;95:98;:::o;12455:380::-;12608:1;12591:19;;:5;:19;;;;12583:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;12689:1;12670:21;;:7;:21;;;;12662:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;12773:6;12743:11;:18;12755:5;12743:18;;;;;;;;;;;;;;;:27;12762:7;12743:27;;;;;;;;;;;;;;;:36;;;;12811:7;12795:32;;12804:5;12795:32;;;12820:6;12795:32;;;;;;:::i;:::-;;;;;;;;12455:380;;;:::o;10715:677::-;10873:1;10855:20;;:6;:20;;;;10847:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;11015:47;11036:6;11044:9;11055:6;11015:20;:47::i;:::-;11075:21;11099:9;:17;11109:6;11099:17;;;;;;;;;;;;;;;;11075:41;;11152:6;11135:13;:23;;11127:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;11273:6;11257:13;:22;11237:9;:17;11247:6;11237:17;;;;;;;;;;;;;;;:42;;;;11325:6;11301:9;:20;11311:9;11301:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;11366:9;11349:35;;11358:6;11349:35;;;11377:6;11349:35;;;;;;:::i;:::-;;;;;;;;10836:556;10715:677;;;:::o;13438:125::-;;;;:::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:329::-;356:6;405:2;393:9;384:7;380:23;376:32;373:2;;;411:79;;:::i;:::-;373:2;531:1;556:53;601:7;592:6;581:9;577:22;556:53;:::i;:::-;546:63;;502:117;363:263;;;;:::o;632:474::-;700:6;708;757:2;745:9;736:7;732:23;728:32;725:2;;;763:79;;:::i;:::-;725:2;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;715:391;;;;;:::o;1112:619::-;1189:6;1197;1205;1254:2;1242:9;1233:7;1229:23;1225:32;1222:2;;;1260:79;;:::i;:::-;1222:2;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;1212:519;;;;;:::o;1737:474::-;1805:6;1813;1862:2;1850:9;1841:7;1837:23;1833:32;1830:2;;;1868:79;;:::i;:::-;1830:2;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;1820:391;;;;;:::o;2217:109::-;2298:21;2313:5;2298:21;:::i;:::-;2293:3;2286:34;2276:50;;:::o;2332:364::-;2420:3;2448:39;2481:5;2448:39;:::i;:::-;2503:71;2567:6;2562:3;2503:71;:::i;:::-;2496:78;;2583:52;2628:6;2623:3;2616:4;2609:5;2605:16;2583:52;:::i;:::-;2660:29;2682:6;2660:29;:::i;:::-;2655:3;2651:39;2644:46;;2424:272;;;;;:::o;2702:366::-;2844:3;2865:67;2929:2;2924:3;2865:67;:::i;:::-;2858:74;;2941:93;3030:3;2941:93;:::i;:::-;3059:2;3054:3;3050:12;3043:19;;2848:220;;;:::o;3074:366::-;3216:3;3237:67;3301:2;3296:3;3237:67;:::i;:::-;3230:74;;3313:93;3402:3;3313:93;:::i;:::-;3431:2;3426:3;3422:12;3415:19;;3220:220;;;:::o;3446:366::-;3588:3;3609:67;3673:2;3668:3;3609:67;:::i;:::-;3602:74;;3685:93;3774:3;3685:93;:::i;:::-;3803:2;3798:3;3794:12;3787:19;;3592:220;;;:::o;3818:366::-;3960:3;3981:67;4045:2;4040:3;3981:67;:::i;:::-;3974:74;;4057:93;4146:3;4057:93;:::i;:::-;4175:2;4170:3;4166:12;4159:19;;3964:220;;;:::o;4190:366::-;4332:3;4353:67;4417:2;4412:3;4353:67;:::i;:::-;4346:74;;4429:93;4518:3;4429:93;:::i;:::-;4547:2;4542:3;4538:12;4531:19;;4336:220;;;:::o;4562:366::-;4704:3;4725:67;4789:2;4784:3;4725:67;:::i;:::-;4718:74;;4801:93;4890:3;4801:93;:::i;:::-;4919:2;4914:3;4910:12;4903:19;;4708:220;;;:::o;4934:118::-;5021:24;5039:5;5021:24;:::i;:::-;5016:3;5009:37;4999:53;;:::o;5058:112::-;5141:22;5157:5;5141:22;:::i;:::-;5136:3;5129:35;5119:51;;:::o;5176:210::-;5263:4;5301:2;5290:9;5286:18;5278:26;;5314:65;5376:1;5365:9;5361:17;5352:6;5314:65;:::i;:::-;5268:118;;;;:::o;5392:313::-;5505:4;5543:2;5532:9;5528:18;5520:26;;5592:9;5586:4;5582:20;5578:1;5567:9;5563:17;5556:47;5620:78;5693:4;5684:6;5620:78;:::i;:::-;5612:86;;5510:195;;;;:::o;5711:419::-;5877:4;5915:2;5904:9;5900:18;5892:26;;5964:9;5958:4;5954:20;5950:1;5939:9;5935:17;5928:47;5992:131;6118:4;5992:131;:::i;:::-;5984:139;;5882:248;;;:::o;6136:419::-;6302:4;6340:2;6329:9;6325:18;6317:26;;6389:9;6383:4;6379:20;6375:1;6364:9;6360:17;6353:47;6417:131;6543:4;6417:131;:::i;:::-;6409:139;;6307:248;;;:::o;6561:419::-;6727:4;6765:2;6754:9;6750:18;6742:26;;6814:9;6808:4;6804:20;6800:1;6789:9;6785:17;6778:47;6842:131;6968:4;6842:131;:::i;:::-;6834:139;;6732:248;;;:::o;6986:419::-;7152:4;7190:2;7179:9;7175:18;7167:26;;7239:9;7233:4;7229:20;7225:1;7214:9;7210:17;7203:47;7267:131;7393:4;7267:131;:::i;:::-;7259:139;;7157:248;;;:::o;7411:419::-;7577:4;7615:2;7604:9;7600:18;7592:26;;7664:9;7658:4;7654:20;7650:1;7639:9;7635:17;7628:47;7692:131;7818:4;7692:131;:::i;:::-;7684:139;;7582:248;;;:::o;7836:419::-;8002:4;8040:2;8029:9;8025:18;8017:26;;8089:9;8083:4;8079:20;8075:1;8064:9;8060:17;8053:47;8117:131;8243:4;8117:131;:::i;:::-;8109:139;;8007:248;;;:::o;8261:222::-;8354:4;8392:2;8381:9;8377:18;8369:26;;8405:71;8473:1;8462:9;8458:17;8449:6;8405:71;:::i;:::-;8359:124;;;;:::o;8489:214::-;8578:4;8616:2;8605:9;8601:18;8593:26;;8629:67;8693:1;8682:9;8678:17;8669:6;8629:67;:::i;:::-;8583:120;;;;:::o;8790:99::-;8842:6;8876:5;8870:12;8860:22;;8849:40;;;:::o;8895:169::-;8979:11;9013:6;9008:3;9001:19;9053:4;9048:3;9044:14;9029:29;;8991:73;;;;:::o;9070:305::-;9110:3;9129:20;9147:1;9129:20;:::i;:::-;9124:25;;9163:20;9181:1;9163:20;:::i;:::-;9158:25;;9317:1;9249:66;9245:74;9242:1;9239:81;9236:2;;;9323:18;;:::i;:::-;9236:2;9367:1;9364;9360:9;9353:16;;9114:261;;;;:::o;9381:96::-;9418:7;9447:24;9465:5;9447:24;:::i;:::-;9436:35;;9426:51;;;:::o;9483:90::-;9517:7;9560:5;9553:13;9546:21;9535:32;;9525:48;;;:::o;9579:126::-;9616:7;9656:42;9649:5;9645:54;9634:65;;9624:81;;;:::o;9711:77::-;9748:7;9777:5;9766:16;;9756:32;;;:::o;9794:86::-;9829:7;9869:4;9862:5;9858:16;9847:27;;9837:43;;;:::o;9886:307::-;9954:1;9964:113;9978:6;9975:1;9972:13;9964:113;;;10063:1;10058:3;10054:11;10048:18;10044:1;10039:3;10035:11;10028:39;10000:2;9997:1;9993:10;9988:15;;9964:113;;;10095:6;10092:1;10089:13;10086:2;;;10175:1;10166:6;10161:3;10157:16;10150:27;10086:2;9935:258;;;;:::o;10199:320::-;10243:6;10280:1;10274:4;10270:12;10260:22;;10327:1;10321:4;10317:12;10348:18;10338:2;;10404:4;10396:6;10392:17;10382:27;;10338:2;10466;10458:6;10455:14;10435:18;10432:38;10429:2;;;10485:18;;:::i;:::-;10429:2;10250:269;;;;:::o;10525:180::-;10573:77;10570:1;10563:88;10670:4;10667:1;10660:15;10694:4;10691:1;10684:15;10711:180;10759:77;10756:1;10749:88;10856:4;10853:1;10846:15;10880:4;10877:1;10870:15;11020:117;11129:1;11126;11119:12;11143:102;11184:6;11235:2;11231:7;11226:2;11219:5;11215:14;11211:28;11201:38;;11191:54;;;:::o;11251:221::-;11391:34;11387:1;11379:6;11375:14;11368:58;11460:4;11455:2;11447:6;11443:15;11436:29;11357:115;:::o;11478:225::-;11618:34;11614:1;11606:6;11602:14;11595:58;11687:8;11682:2;11674:6;11670:15;11663:33;11584:119;:::o;11709:227::-;11849:34;11845:1;11837:6;11833:14;11826:58;11918:10;11913:2;11905:6;11901:15;11894:35;11815:121;:::o;11942:224::-;12082:34;12078:1;12070:6;12066:14;12059:58;12151:7;12146:2;12138:6;12134:15;12127:32;12048:118;:::o;12172:223::-;12312:34;12308:1;12300:6;12296:14;12289:58;12381:6;12376:2;12368:6;12364:15;12357:31;12278:117;:::o;12401:224::-;12541:34;12537:1;12529:6;12525:14;12518:58;12610:7;12605:2;12597:6;12593:15;12586:32;12507:118;:::o;12631:122::-;12704:24;12722:5;12704:24;:::i;:::-;12697:5;12694:35;12684:2;;12743:1;12740;12733:12;12684:2;12674:79;:::o;12759:122::-;12832:24;12850:5;12832:24;:::i;:::-;12825:5;12822:35;12812:2;;12871:1;12868;12861:12;12812:2;12802:79;:::o

ipfs://cf0da783edd0b70b3eb455f8b035de309d5cbfb579226ce14b6a47aa23df5720