Token Colony Token

/**
 *Submitted for verification at Etherscan.io on 2021-12-02
*/

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

// File @openzeppelin/contracts/token/ERC20/[email protected]

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
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);
}


// File @openzeppelin/contracts/token/ERC20/extensions/[email protected]

/**
 * @dev Interface for the optional metadata functions from the ERC20 standard.
 *
 * _Available since v4.1._
 */
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);
}


// File @openzeppelin/contracts/utils/[email protected]

/**
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

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


// File @openzeppelin/contracts/token/ERC20/[email protected]

/**
 * @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 Contracts guidelines: functions revert
 * instead 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);

        _afterTokenTransfer(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);

        _afterTokenTransfer(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 amount) internal virtual {
        require(account != address(0), "ERC20: burn from the zero address");

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

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
        }
        _totalSupply -= amount;

        emit Transfer(account, address(0), amount);

        _afterTokenTransfer(account, address(0), 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 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 {}

    /**
     * @dev Hook that is called after any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * has been transferred to `to`.
     * - when `from` is zero, `amount` tokens have been minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens have been 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 _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}
}


// File @openzeppelin/contracts/utils/math/[email protected]

/**
 * @dev Standard math utilities missing in the Solidity language.
 */
library Math {
    /**
     * @dev Returns the largest of two numbers.
     */
    function max(uint256 a, uint256 b) internal pure returns (uint256) {
        return a >= b ? a : b;
    }

    /**
     * @dev Returns the smallest of two numbers.
     */
    function min(uint256 a, uint256 b) internal pure returns (uint256) {
        return a < b ? a : b;
    }

    /**
     * @dev Returns the average of two numbers. The result is rounded towards
     * zero.
     */
    function average(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b) / 2 can overflow.
        return (a & b) + (a ^ b) / 2;
    }

    /**
     * @dev Returns the ceiling of the division of two numbers.
     *
     * This differs from standard division with `/` in that it rounds up instead
     * of rounding down.
     */
    function ceilDiv(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b - 1) / b can overflow on addition, so we distribute.
        return a / b + (a % b == 0 ? 0 : 1);
    }
}


// File @openzeppelin/contracts/utils/[email protected]

/**
 * @dev Collection of functions related to array types.
 */
library Arrays {
    /**
     * @dev Searches a sorted `array` and returns the first index that contains
     * a value greater or equal to `element`. If no such index exists (i.e. all
     * values in the array are strictly less than `element`), the array length is
     * returned. Time complexity O(log n).
     *
     * `array` is expected to be sorted in ascending order, and to contain no
     * repeated elements.
     */
    function findUpperBound(uint256[] storage array, uint256 element) internal view returns (uint256) {
        if (array.length == 0) {
            return 0;
        }

        uint256 low = 0;
        uint256 high = array.length;

        while (low < high) {
            uint256 mid = Math.average(low, high);

            // Note that mid will always be strictly less than high (i.e. it will be a valid array index)
            // because Math.average rounds down (it does integer division with truncation).
            if (array[mid] > element) {
                high = mid;
            } else {
                low = mid + 1;
            }
        }

        // At this point `low` is the exclusive upper bound. We will return the inclusive upper bound.
        if (low > 0 && array[low - 1] == element) {
            return low - 1;
        } else {
            return low;
        }
    }
}


// File @openzeppelin/contracts/utils/[email protected]

/**
 * @title Counters
 * @author Matt Condon (@shrugs)
 * @dev Provides counters that can only be incremented, decremented or reset. This can be used e.g. to track the number
 * of elements in a mapping, issuing ERC721 ids, or counting request ids.
 *
 * Include with `using Counters for Counters.Counter;`
 */
library Counters {
    struct Counter {
        // This variable should never be directly accessed by users of the library: interactions must be restricted to
        // the library's function. As of Solidity v0.5.2, this cannot be enforced, though there is a proposal to add
        // this feature: see https://github.com/ethereum/solidity/issues/4637
        uint256 _value; // default: 0
    }

    function current(Counter storage counter) internal view returns (uint256) {
        return counter._value;
    }

    function increment(Counter storage counter) internal {
        unchecked {
            counter._value += 1;
        }
    }

    function decrement(Counter storage counter) internal {
        uint256 value = counter._value;
        require(value > 0, "Counter: decrement overflow");
        unchecked {
            counter._value = value - 1;
        }
    }

    function reset(Counter storage counter) internal {
        counter._value = 0;
    }
}


// File @openzeppelin/contracts/token/ERC20/extensions/[email protected]

/**
 * @dev This contract extends an ERC20 token with a snapshot mechanism. When a snapshot is created, the balances and
 * total supply at the time are recorded for later access.
 *
 * This can be used to safely create mechanisms based on token balances such as trustless dividends or weighted voting.
 * In naive implementations it's possible to perform a "double spend" attack by reusing the same balance from different
 * accounts. By using snapshots to calculate dividends or voting power, those attacks no longer apply. It can also be
 * used to create an efficient ERC20 forking mechanism.
 *
 * Snapshots are created by the internal {_snapshot} function, which will emit the {Snapshot} event and return a
 * snapshot id. To get the total supply at the time of a snapshot, call the function {totalSupplyAt} with the snapshot
 * id. To get the balance of an account at the time of a snapshot, call the {balanceOfAt} function with the snapshot id
 * and the account address.
 *
 * NOTE: Snapshot policy can be customized by overriding the {_getCurrentSnapshotId} method. For example, having it
 * return `block.number` will trigger the creation of snapshot at the begining of each new block. When overridding this
 * function, be careful about the monotonicity of its result. Non-monotonic snapshot ids will break the contract.
 *
 * Implementing snapshots for every block using this method will incur significant gas costs. For a gas-efficient
 * alternative consider {ERC20Votes}.
 *
 * ==== Gas Costs
 *
 * Snapshots are efficient. Snapshot creation is _O(1)_. Retrieval of balances or total supply from a snapshot is _O(log
 * n)_ in the number of snapshots that have been created, although _n_ for a specific account will generally be much
 * smaller since identical balances in subsequent snapshots are stored as a single entry.
 *
 * There is a constant overhead for normal ERC20 transfers due to the additional snapshot bookkeeping. This overhead is
 * only significant for the first transfer that immediately follows a snapshot for a particular account. Subsequent
 * transfers will have normal cost until the next snapshot, and so on.
 */

abstract contract ERC20Snapshot is ERC20 {
    // Inspired by Jordi Baylina's MiniMeToken to record historical balances:
    // https://github.com/Giveth/minimd/blob/ea04d950eea153a04c51fa510b068b9dded390cb/contracts/MiniMeToken.sol

    using Arrays for uint256[];
    using Counters for Counters.Counter;

    // Snapshotted values have arrays of ids and the value corresponding to that id. These could be an array of a
    // Snapshot struct, but that would impede usage of functions that work on an array.
    struct Snapshots {
        uint256[] ids;
        uint256[] values;
    }

    mapping(address => Snapshots) private _accountBalanceSnapshots;
    Snapshots private _totalSupplySnapshots;

    // Snapshot ids increase monotonically, with the first value being 1. An id of 0 is invalid.
    Counters.Counter private _currentSnapshotId;

    /**
     * @dev Emitted by {_snapshot} when a snapshot identified by `id` is created.
     */
    event Snapshot(uint256 id);

    /**
     * @dev Creates a new snapshot and returns its snapshot id.
     *
     * Emits a {Snapshot} event that contains the same id.
     *
     * {_snapshot} is `internal` and you have to decide how to expose it externally. Its usage may be restricted to a
     * set of accounts, for example using {AccessControl}, or it may be open to the public.
     *
     * [WARNING]
     * ====
     * While an open way of calling {_snapshot} is required for certain trust minimization mechanisms such as forking,
     * you must consider that it can potentially be used by attackers in two ways.
     *
     * First, it can be used to increase the cost of retrieval of values from snapshots, although it will grow
     * logarithmically thus rendering this attack ineffective in the long term. Second, it can be used to target
     * specific accounts and increase the cost of ERC20 transfers for them, in the ways specified in the Gas Costs
     * section above.
     *
     * We haven't measured the actual numbers; if this is something you're interested in please reach out to us.
     * ====
     */
    function _snapshot() internal virtual returns (uint256) {
        _currentSnapshotId.increment();

        uint256 currentId = _getCurrentSnapshotId();
        emit Snapshot(currentId);
        return currentId;
    }

    /**
     * @dev Get the current snapshotId
     */
    function _getCurrentSnapshotId() internal view virtual returns (uint256) {
        return _currentSnapshotId.current();
    }

    /**
     * @dev Retrieves the balance of `account` at the time `snapshotId` was created.
     */
    function balanceOfAt(address account, uint256 snapshotId) public view virtual returns (uint256) {
        (bool snapshotted, uint256 value) = _valueAt(snapshotId, _accountBalanceSnapshots[account]);

        return snapshotted ? value : balanceOf(account);
    }

    /**
     * @dev Retrieves the total supply at the time `snapshotId` was created.
     */
    function totalSupplyAt(uint256 snapshotId) public view virtual returns (uint256) {
        (bool snapshotted, uint256 value) = _valueAt(snapshotId, _totalSupplySnapshots);

        return snapshotted ? value : totalSupply();
    }

    // Update balance and/or total supply snapshots before the values are modified. This is implemented
    // in the _beforeTokenTransfer hook, which is executed for _mint, _burn, and _transfer operations.
    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual override {
        super._beforeTokenTransfer(from, to, amount);

        if (from == address(0)) {
            // mint
            _updateAccountSnapshot(to);
            _updateTotalSupplySnapshot();
        } else if (to == address(0)) {
            // burn
            _updateAccountSnapshot(from);
            _updateTotalSupplySnapshot();
        } else {
            // transfer
            _updateAccountSnapshot(from);
            _updateAccountSnapshot(to);
        }
    }

    function _valueAt(uint256 snapshotId, Snapshots storage snapshots) private view returns (bool, uint256) {
        require(snapshotId > 0, "ERC20Snapshot: id is 0");
        require(snapshotId <= _getCurrentSnapshotId(), "ERC20Snapshot: nonexistent id");

        // When a valid snapshot is queried, there are three possibilities:
        //  a) The queried value was not modified after the snapshot was taken. Therefore, a snapshot entry was never
        //  created for this id, and all stored snapshot ids are smaller than the requested one. The value that corresponds
        //  to this id is the current one.
        //  b) The queried value was modified after the snapshot was taken. Therefore, there will be an entry with the
        //  requested id, and its value is the one to return.
        //  c) More snapshots were created after the requested one, and the queried value was later modified. There will be
        //  no entry for the requested id: the value that corresponds to it is that of the smallest snapshot id that is
        //  larger than the requested one.
        //
        // In summary, we need to find an element in an array, returning the index of the smallest value that is larger if
        // it is not found, unless said value doesn't exist (e.g. when all values are smaller). Arrays.findUpperBound does
        // exactly this.

        uint256 index = snapshots.ids.findUpperBound(snapshotId);

        if (index == snapshots.ids.length) {
            return (false, 0);
        } else {
            return (true, snapshots.values[index]);
        }
    }

    function _updateAccountSnapshot(address account) private {
        _updateSnapshot(_accountBalanceSnapshots[account], balanceOf(account));
    }

    function _updateTotalSupplySnapshot() private {
        _updateSnapshot(_totalSupplySnapshots, totalSupply());
    }

    function _updateSnapshot(Snapshots storage snapshots, uint256 currentValue) private {
        uint256 currentId = _getCurrentSnapshotId();
        if (_lastSnapshotId(snapshots.ids) < currentId) {
            snapshots.ids.push(currentId);
            snapshots.values.push(currentValue);
        }
    }

    function _lastSnapshotId(uint256[] storage ids) private view returns (uint256) {
        if (ids.length == 0) {
            return 0;
        } else {
            return ids[ids.length - 1];
        }
    }
}


// File @openzeppelin/contracts/access/[email protected]

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * By default, the owner account will be the one that deploys the contract. This
 * can later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
abstract contract Ownable is Context {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _setOwner(_msgSender());
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view virtual returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _setOwner(address(0));
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _setOwner(newOwner);
    }

    function _setOwner(address newOwner) private {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}


// File @openzeppelin/contracts/token/ERC20/extensions/[email protected]

/**
 * @dev Interface of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
 * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
 *
 * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by
 * presenting a message signed by the account. By not relying on {IERC20-approve}, the token holder account doesn't
 * need to send a transaction, and thus is not required to hold Ether at all.
 */
interface IERC20Permit {
    /**
     * @dev Sets `value` as the allowance of `spender` over ``owner``'s tokens,
     * given ``owner``'s signed approval.
     *
     * IMPORTANT: The same issues {IERC20-approve} has related to transaction
     * ordering also apply here.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `deadline` must be a timestamp in the future.
     * - `v`, `r` and `s` must be a valid `secp256k1` signature from `owner`
     * over the EIP712-formatted function arguments.
     * - the signature must use ``owner``'s current nonce (see {nonces}).
     *
     * For more information on the signature format, see the
     * https://eips.ethereum.org/EIPS/eip-2612#specification[relevant EIP
     * section].
     */
    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;

    /**
     * @dev Returns the current nonce for `owner`. This value must be
     * included whenever a signature is generated for {permit}.
     *
     * Every successful call to {permit} increases ``owner``'s nonce by one. This
     * prevents a signature from being used multiple times.
     */
    function nonces(address owner) external view returns (uint256);

    /**
     * @dev Returns the domain separator used in the encoding of the signature for {permit}, as defined by {EIP712}.
     */
    // solhint-disable-next-line func-name-mixedcase
    function DOMAIN_SEPARATOR() external view returns (bytes32);
}


// File @openzeppelin/contracts/utils/cryptography/[email protected]

/**
 * @dev Elliptic Curve Digital Signature Algorithm (ECDSA) operations.
 *
 * These functions can be used to verify that a message was signed by the holder
 * of the private keys of a given address.
 */
library ECDSA {
    enum RecoverError {
        NoError,
        InvalidSignature,
        InvalidSignatureLength,
        InvalidSignatureS,
        InvalidSignatureV
    }

    function _throwError(RecoverError error) private pure {
        if (error == RecoverError.NoError) {
            return; // no error: do nothing
        } else if (error == RecoverError.InvalidSignature) {
            revert("ECDSA: invalid signature");
        } else if (error == RecoverError.InvalidSignatureLength) {
            revert("ECDSA: invalid signature length");
        } else if (error == RecoverError.InvalidSignatureS) {
            revert("ECDSA: invalid signature 's' value");
        } else if (error == RecoverError.InvalidSignatureV) {
            revert("ECDSA: invalid signature 'v' value");
        }
    }

    /**
     * @dev Returns the address that signed a hashed message (`hash`) with
     * `signature` or error string. This address can then be used for verification purposes.
     *
     * The `ecrecover` EVM opcode allows for malleable (non-unique) signatures:
     * this function rejects them by requiring the `s` value to be in the lower
     * half order, and the `v` value to be either 27 or 28.
     *
     * IMPORTANT: `hash` _must_ be the result of a hash operation for the
     * verification to be secure: it is possible to craft signatures that
     * recover to arbitrary addresses for non-hashed data. A safe way to ensure
     * this is by receiving a hash of the original message (which may otherwise
     * be too long), and then calling {toEthSignedMessageHash} on it.
     *
     * Documentation for signature generation:
     * - with https://web3js.readthedocs.io/en/v1.3.4/web3-eth-accounts.html#sign[Web3.js]
     * - with https://docs.ethers.io/v5/api/signer/#Signer-signMessage[ethers]
     *
     * _Available since v4.3._
     */
    function tryRecover(bytes32 hash, bytes memory signature) internal pure returns (address, RecoverError) {
        // Check the signature length
        // - case 65: r,s,v signature (standard)
        // - case 64: r,vs signature (cf https://eips.ethereum.org/EIPS/eip-2098) _Available since v4.1._
        if (signature.length == 65) {
            bytes32 r;
            bytes32 s;
            uint8 v;
            // ecrecover takes the signature parameters, and the only way to get them
            // currently is to use assembly.
            assembly {
                r := mload(add(signature, 0x20))
                s := mload(add(signature, 0x40))
                v := byte(0, mload(add(signature, 0x60)))
            }
            return tryRecover(hash, v, r, s);
        } else if (signature.length == 64) {
            bytes32 r;
            bytes32 vs;
            // ecrecover takes the signature parameters, and the only way to get them
            // currently is to use assembly.
            assembly {
                r := mload(add(signature, 0x20))
                vs := mload(add(signature, 0x40))
            }
            return tryRecover(hash, r, vs);
        } else {
            return (address(0), RecoverError.InvalidSignatureLength);
        }
    }

    /**
     * @dev Returns the address that signed a hashed message (`hash`) with
     * `signature`. This address can then be used for verification purposes.
     *
     * The `ecrecover` EVM opcode allows for malleable (non-unique) signatures:
     * this function rejects them by requiring the `s` value to be in the lower
     * half order, and the `v` value to be either 27 or 28.
     *
     * IMPORTANT: `hash` _must_ be the result of a hash operation for the
     * verification to be secure: it is possible to craft signatures that
     * recover to arbitrary addresses for non-hashed data. A safe way to ensure
     * this is by receiving a hash of the original message (which may otherwise
     * be too long), and then calling {toEthSignedMessageHash} on it.
     */
    function recover(bytes32 hash, bytes memory signature) internal pure returns (address) {
        (address recovered, RecoverError error) = tryRecover(hash, signature);
        _throwError(error);
        return recovered;
    }

    /**
     * @dev Overload of {ECDSA-tryRecover} that receives the `r` and `vs` short-signature fields separately.
     *
     * See https://eips.ethereum.org/EIPS/eip-2098[EIP-2098 short signatures]
     *
     * _Available since v4.3._
     */
    function tryRecover(
        bytes32 hash,
        bytes32 r,
        bytes32 vs
    ) internal pure returns (address, RecoverError) {
        bytes32 s;
        uint8 v;
        assembly {
            s := and(vs, 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)
            v := add(shr(255, vs), 27)
        }
        return tryRecover(hash, v, r, s);
    }

    /**
     * @dev Overload of {ECDSA-recover} that receives the `r and `vs` short-signature fields separately.
     *
     * _Available since v4.2._
     */
    function recover(
        bytes32 hash,
        bytes32 r,
        bytes32 vs
    ) internal pure returns (address) {
        (address recovered, RecoverError error) = tryRecover(hash, r, vs);
        _throwError(error);
        return recovered;
    }

    /**
     * @dev Overload of {ECDSA-tryRecover} that receives the `v`,
     * `r` and `s` signature fields separately.
     *
     * _Available since v4.3._
     */
    function tryRecover(
        bytes32 hash,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) internal pure returns (address, RecoverError) {
        // EIP-2 still allows signature malleability for ecrecover(). Remove this possibility and make the signature
        // unique. Appendix F in the Ethereum Yellow paper (https://ethereum.github.io/yellowpaper/paper.pdf), defines
        // the valid range for s in (301): 0 < s < secp256k1n ÷ 2 + 1, and for v in (302): v ∈ {27, 28}. Most
        // signatures from current libraries generate a unique signature with an s-value in the lower half order.
        //
        // If your library generates malleable signatures, such as s-values in the upper range, calculate a new s-value
        // with 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141 - s1 and flip v from 27 to 28 or
        // vice versa. If your library also generates signatures with 0/1 for v instead 27/28, add 27 to v to accept
        // these malleable signatures as well.
        if (uint256(s) > 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5D576E7357A4501DDFE92F46681B20A0) {
            return (address(0), RecoverError.InvalidSignatureS);
        }
        if (v != 27 && v != 28) {
            return (address(0), RecoverError.InvalidSignatureV);
        }

        // If the signature is valid (and not malleable), return the signer address
        address signer = ecrecover(hash, v, r, s);
        if (signer == address(0)) {
            return (address(0), RecoverError.InvalidSignature);
        }

        return (signer, RecoverError.NoError);
    }

    /**
     * @dev Overload of {ECDSA-recover} that receives the `v`,
     * `r` and `s` signature fields separately.
     */
    function recover(
        bytes32 hash,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) internal pure returns (address) {
        (address recovered, RecoverError error) = tryRecover(hash, v, r, s);
        _throwError(error);
        return recovered;
    }

    /**
     * @dev Returns an Ethereum Signed Message, created from a `hash`. This
     * produces hash corresponding to the one signed with the
     * https://eth.wiki/json-rpc/API#eth_sign[`eth_sign`]
     * JSON-RPC method as part of EIP-191.
     *
     * See {recover}.
     */
    function toEthSignedMessageHash(bytes32 hash) internal pure returns (bytes32) {
        // 32 is the length in bytes of hash,
        // enforced by the type signature above
        return keccak256(abi.encodePacked("\x19Ethereum Signed Message:\n32", hash));
    }

    /**
     * @dev Returns an Ethereum Signed Typed Data, created from a
     * `domainSeparator` and a `structHash`. This produces hash corresponding
     * to the one signed with the
     * https://eips.ethereum.org/EIPS/eip-712[`eth_signTypedData`]
     * JSON-RPC method as part of EIP-712.
     *
     * See {recover}.
     */
    function toTypedDataHash(bytes32 domainSeparator, bytes32 structHash) internal pure returns (bytes32) {
        return keccak256(abi.encodePacked("\x19\x01", domainSeparator, structHash));
    }
}


// File @openzeppelin/contracts/utils/cryptography/[email protected]

/**
 * @dev https://eips.ethereum.org/EIPS/eip-712[EIP 712] is a standard for hashing and signing of typed structured data.
 *
 * The encoding specified in the EIP is very generic, and such a generic implementation in Solidity is not feasible,
 * thus this contract does not implement the encoding itself. Protocols need to implement the type-specific encoding
 * they need in their contracts using a combination of `abi.encode` and `keccak256`.
 *
 * This contract implements the EIP 712 domain separator ({_domainSeparatorV4}) that is used as part of the encoding
 * scheme, and the final step of the encoding to obtain the message digest that is then signed via ECDSA
 * ({_hashTypedDataV4}).
 *
 * The implementation of the domain separator was designed to be as efficient as possible while still properly updating
 * the chain id to protect against replay attacks on an eventual fork of the chain.
 *
 * NOTE: This contract implements the version of the encoding known as "v4", as implemented by the JSON RPC method
 * https://docs.metamask.io/guide/signing-data.html[`eth_signTypedDataV4` in MetaMask].
 *
 * _Available since v3.4._
 */
abstract contract EIP712 {
    /* solhint-disable var-name-mixedcase */
    // Cache the domain separator as an immutable value, but also store the chain id that it corresponds to, in order to
    // invalidate the cached domain separator if the chain id changes.
    bytes32 private immutable _CACHED_DOMAIN_SEPARATOR;
    uint256 private immutable _CACHED_CHAIN_ID;

    bytes32 private immutable _HASHED_NAME;
    bytes32 private immutable _HASHED_VERSION;
    bytes32 private immutable _TYPE_HASH;

    /* solhint-enable var-name-mixedcase */

    /**
     * @dev Initializes the domain separator and parameter caches.
     *
     * The meaning of `name` and `version` is specified in
     * https://eips.ethereum.org/EIPS/eip-712#definition-of-domainseparator[EIP 712]:
     *
     * - `name`: the user readable name of the signing domain, i.e. the name of the DApp or the protocol.
     * - `version`: the current major version of the signing domain.
     *
     * NOTE: These parameters cannot be changed except through a xref:learn::upgrading-smart-contracts.adoc[smart
     * contract upgrade].
     */
    constructor(string memory name, string memory version) {
        bytes32 hashedName = keccak256(bytes(name));
        bytes32 hashedVersion = keccak256(bytes(version));
        bytes32 typeHash = keccak256(
            "EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)"
        );
        _HASHED_NAME = hashedName;
        _HASHED_VERSION = hashedVersion;
        _CACHED_CHAIN_ID = block.chainid;
        _CACHED_DOMAIN_SEPARATOR = _buildDomainSeparator(typeHash, hashedName, hashedVersion);
        _TYPE_HASH = typeHash;
    }

    /**
     * @dev Returns the domain separator for the current chain.
     */
    function _domainSeparatorV4() internal view returns (bytes32) {
        if (block.chainid == _CACHED_CHAIN_ID) {
            return _CACHED_DOMAIN_SEPARATOR;
        } else {
            return _buildDomainSeparator(_TYPE_HASH, _HASHED_NAME, _HASHED_VERSION);
        }
    }

    function _buildDomainSeparator(
        bytes32 typeHash,
        bytes32 nameHash,
        bytes32 versionHash
    ) private view returns (bytes32) {
        return keccak256(abi.encode(typeHash, nameHash, versionHash, block.chainid, address(this)));
    }

    /**
     * @dev Given an already https://eips.ethereum.org/EIPS/eip-712#definition-of-hashstruct[hashed struct], this
     * function returns the hash of the fully encoded EIP712 message for this domain.
     *
     * This hash can be used together with {ECDSA-recover} to obtain the signer of a message. For example:
     *
     * ```solidity
     * bytes32 digest = _hashTypedDataV4(keccak256(abi.encode(
     *     keccak256("Mail(address to,string contents)"),
     *     mailTo,
     *     keccak256(bytes(mailContents))
     * )));
     * address signer = ECDSA.recover(digest, signature);
     * ```
     */
    function _hashTypedDataV4(bytes32 structHash) internal view virtual returns (bytes32) {
        return ECDSA.toTypedDataHash(_domainSeparatorV4(), structHash);
    }
}


// File @openzeppelin/contracts/token/ERC20/extensions/[email protected]

/**
 * @dev Implementation of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
 * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
 *
 * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by
 * presenting a message signed by the account. By not relying on `{IERC20-approve}`, the token holder account doesn't
 * need to send a transaction, and thus is not required to hold Ether at all.
 *
 * _Available since v3.4._
 */
abstract contract ERC20Permit is ERC20, IERC20Permit, EIP712 {
    using Counters for Counters.Counter;

    mapping(address => Counters.Counter) private _nonces;

    // solhint-disable-next-line var-name-mixedcase
    bytes32 private immutable _PERMIT_TYPEHASH =
        keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");

    /**
     * @dev Initializes the {EIP712} domain separator using the `name` parameter, and setting `version` to `"1"`.
     *
     * It's a good idea to use the same `name` that is defined as the ERC20 token name.
     */
    constructor(string memory name) EIP712(name, "1") {}

    /**
     * @dev See {IERC20Permit-permit}.
     */
    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public virtual override {
        require(block.timestamp <= deadline, "ERC20Permit: expired deadline");

        bytes32 structHash = keccak256(abi.encode(_PERMIT_TYPEHASH, owner, spender, value, _useNonce(owner), deadline));

        bytes32 hash = _hashTypedDataV4(structHash);

        address signer = ECDSA.recover(hash, v, r, s);
        require(signer == owner, "ERC20Permit: invalid signature");

        _approve(owner, spender, value);
    }

    /**
     * @dev See {IERC20Permit-nonces}.
     */
    function nonces(address owner) public view virtual override returns (uint256) {
        return _nonces[owner].current();
    }

    /**
     * @dev See {IERC20Permit-DOMAIN_SEPARATOR}.
     */
    // solhint-disable-next-line func-name-mixedcase
    function DOMAIN_SEPARATOR() external view override returns (bytes32) {
        return _domainSeparatorV4();
    }

    /**
     * @dev "Consume a nonce": return the current value and increment.
     *
     * _Available since v4.1._
     */
    function _useNonce(address owner) internal virtual returns (uint256 current) {
        Counters.Counter storage nonce = _nonces[owner];
        current = nonce.current();
        nonce.increment();
    }
}


// File @openzeppelin/contracts/utils/math/[email protected]

/**
 * @dev Wrappers over Solidity's uintXX/intXX casting operators with added overflow
 * checks.
 *
 * Downcasting from uint256/int256 in Solidity does not revert on overflow. This can
 * easily result in undesired exploitation or bugs, since developers usually
 * assume that overflows raise errors. `SafeCast` restores this intuition by
 * reverting the transaction when such an operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 *
 * Can be combined with {SafeMath} and {SignedSafeMath} to extend it to smaller types, by performing
 * all math on `uint256` and `int256` and then downcasting.
 */
library SafeCast {
    /**
     * @dev Returns the downcasted uint224 from uint256, reverting on
     * overflow (when the input is greater than largest uint224).
     *
     * Counterpart to Solidity's `uint224` operator.
     *
     * Requirements:
     *
     * - input must fit into 224 bits
     */
    function toUint224(uint256 value) internal pure returns (uint224) {
        require(value <= type(uint224).max, "SafeCast: value doesn't fit in 224 bits");
        return uint224(value);
    }

    /**
     * @dev Returns the downcasted uint128 from uint256, reverting on
     * overflow (when the input is greater than largest uint128).
     *
     * Counterpart to Solidity's `uint128` operator.
     *
     * Requirements:
     *
     * - input must fit into 128 bits
     */
    function toUint128(uint256 value) internal pure returns (uint128) {
        require(value <= type(uint128).max, "SafeCast: value doesn't fit in 128 bits");
        return uint128(value);
    }

    /**
     * @dev Returns the downcasted uint96 from uint256, reverting on
     * overflow (when the input is greater than largest uint96).
     *
     * Counterpart to Solidity's `uint96` operator.
     *
     * Requirements:
     *
     * - input must fit into 96 bits
     */
    function toUint96(uint256 value) internal pure returns (uint96) {
        require(value <= type(uint96).max, "SafeCast: value doesn't fit in 96 bits");
        return uint96(value);
    }

    /**
     * @dev Returns the downcasted uint64 from uint256, reverting on
     * overflow (when the input is greater than largest uint64).
     *
     * Counterpart to Solidity's `uint64` operator.
     *
     * Requirements:
     *
     * - input must fit into 64 bits
     */
    function toUint64(uint256 value) internal pure returns (uint64) {
        require(value <= type(uint64).max, "SafeCast: value doesn't fit in 64 bits");
        return uint64(value);
    }

    /**
     * @dev Returns the downcasted uint32 from uint256, reverting on
     * overflow (when the input is greater than largest uint32).
     *
     * Counterpart to Solidity's `uint32` operator.
     *
     * Requirements:
     *
     * - input must fit into 32 bits
     */
    function toUint32(uint256 value) internal pure returns (uint32) {
        require(value <= type(uint32).max, "SafeCast: value doesn't fit in 32 bits");
        return uint32(value);
    }

    /**
     * @dev Returns the downcasted uint16 from uint256, reverting on
     * overflow (when the input is greater than largest uint16).
     *
     * Counterpart to Solidity's `uint16` operator.
     *
     * Requirements:
     *
     * - input must fit into 16 bits
     */
    function toUint16(uint256 value) internal pure returns (uint16) {
        require(value <= type(uint16).max, "SafeCast: value doesn't fit in 16 bits");
        return uint16(value);
    }

    /**
     * @dev Returns the downcasted uint8 from uint256, reverting on
     * overflow (when the input is greater than largest uint8).
     *
     * Counterpart to Solidity's `uint8` operator.
     *
     * Requirements:
     *
     * - input must fit into 8 bits.
     */
    function toUint8(uint256 value) internal pure returns (uint8) {
        require(value <= type(uint8).max, "SafeCast: value doesn't fit in 8 bits");
        return uint8(value);
    }

    /**
     * @dev Converts a signed int256 into an unsigned uint256.
     *
     * Requirements:
     *
     * - input must be greater than or equal to 0.
     */
    function toUint256(int256 value) internal pure returns (uint256) {
        require(value >= 0, "SafeCast: value must be positive");
        return uint256(value);
    }

    /**
     * @dev Returns the downcasted int128 from int256, reverting on
     * overflow (when the input is less than smallest int128 or
     * greater than largest int128).
     *
     * Counterpart to Solidity's `int128` operator.
     *
     * Requirements:
     *
     * - input must fit into 128 bits
     *
     * _Available since v3.1._
     */
    function toInt128(int256 value) internal pure returns (int128) {
        require(value >= type(int128).min && value <= type(int128).max, "SafeCast: value doesn't fit in 128 bits");
        return int128(value);
    }

    /**
     * @dev Returns the downcasted int64 from int256, reverting on
     * overflow (when the input is less than smallest int64 or
     * greater than largest int64).
     *
     * Counterpart to Solidity's `int64` operator.
     *
     * Requirements:
     *
     * - input must fit into 64 bits
     *
     * _Available since v3.1._
     */
    function toInt64(int256 value) internal pure returns (int64) {
        require(value >= type(int64).min && value <= type(int64).max, "SafeCast: value doesn't fit in 64 bits");
        return int64(value);
    }

    /**
     * @dev Returns the downcasted int32 from int256, reverting on
     * overflow (when the input is less than smallest int32 or
     * greater than largest int32).
     *
     * Counterpart to Solidity's `int32` operator.
     *
     * Requirements:
     *
     * - input must fit into 32 bits
     *
     * _Available since v3.1._
     */
    function toInt32(int256 value) internal pure returns (int32) {
        require(value >= type(int32).min && value <= type(int32).max, "SafeCast: value doesn't fit in 32 bits");
        return int32(value);
    }

    /**
     * @dev Returns the downcasted int16 from int256, reverting on
     * overflow (when the input is less than smallest int16 or
     * greater than largest int16).
     *
     * Counterpart to Solidity's `int16` operator.
     *
     * Requirements:
     *
     * - input must fit into 16 bits
     *
     * _Available since v3.1._
     */
    function toInt16(int256 value) internal pure returns (int16) {
        require(value >= type(int16).min && value <= type(int16).max, "SafeCast: value doesn't fit in 16 bits");
        return int16(value);
    }

    /**
     * @dev Returns the downcasted int8 from int256, reverting on
     * overflow (when the input is less than smallest int8 or
     * greater than largest int8).
     *
     * Counterpart to Solidity's `int8` operator.
     *
     * Requirements:
     *
     * - input must fit into 8 bits.
     *
     * _Available since v3.1._
     */
    function toInt8(int256 value) internal pure returns (int8) {
        require(value >= type(int8).min && value <= type(int8).max, "SafeCast: value doesn't fit in 8 bits");
        return int8(value);
    }

    /**
     * @dev Converts an unsigned uint256 into a signed int256.
     *
     * Requirements:
     *
     * - input must be less than or equal to maxInt256.
     */
    function toInt256(uint256 value) internal pure returns (int256) {
        // Note: Unsafe cast below is okay because `type(int256).max` is guaranteed to be positive
        require(value <= uint256(type(int256).max), "SafeCast: value doesn't fit in an int256");
        return int256(value);
    }
}


// File @openzeppelin/contracts/token/ERC20/extensions/[email protected]

/**
 * @dev Extension of ERC20 to support Compound-like voting and delegation. This version is more generic than Compound's,
 * and supports token supply up to 2^224^ - 1, while COMP is limited to 2^96^ - 1.
 *
 * NOTE: If exact COMP compatibility is required, use the {ERC20VotesComp} variant of this module.
 *
 * This extension keeps a history (checkpoints) of each account's vote power. Vote power can be delegated either
 * by calling the {delegate} function directly, or by providing a signature to be used with {delegateBySig}. Voting
 * power can be queried through the public accessors {getVotes} and {getPastVotes}.
 *
 * By default, token balance does not account for voting power. This makes transfers cheaper. The downside is that it
 * requires users to delegate to themselves in order to activate checkpoints and have their voting power tracked.
 * Enabling self-delegation can easily be done by overriding the {delegates} function. Keep in mind however that this
 * will significantly increase the base gas cost of transfers.
 *
 * _Available since v4.2._
 */
abstract contract ERC20Votes is ERC20Permit {
    struct Checkpoint {
        uint32 fromBlock;
        uint224 votes;
    }

    bytes32 private constant _DELEGATION_TYPEHASH =
        keccak256("Delegation(address delegatee,uint256 nonce,uint256 expiry)");

    mapping(address => address) private _delegates;
    mapping(address => Checkpoint[]) private _checkpoints;
    Checkpoint[] private _totalSupplyCheckpoints;

    /**
     * @dev Emitted when an account changes their delegate.
     */
    event DelegateChanged(address indexed delegator, address indexed fromDelegate, address indexed toDelegate);

    /**
     * @dev Emitted when a token transfer or delegate change results in changes to an account's voting power.
     */
    event DelegateVotesChanged(address indexed delegate, uint256 previousBalance, uint256 newBalance);

    /**
     * @dev Get the `pos`-th checkpoint for `account`.
     */
    function checkpoints(address account, uint32 pos) public view virtual returns (Checkpoint memory) {
        return _checkpoints[account][pos];
    }

    /**
     * @dev Get number of checkpoints for `account`.
     */
    function numCheckpoints(address account) public view virtual returns (uint32) {
        return SafeCast.toUint32(_checkpoints[account].length);
    }

    /**
     * @dev Get the address `account` is currently delegating to.
     */
    function delegates(address account) public view virtual returns (address) {
        return _delegates[account];
    }

    /**
     * @dev Gets the current votes balance for `account`
     */
    function getVotes(address account) public view returns (uint256) {
        uint256 pos = _checkpoints[account].length;
        return pos == 0 ? 0 : _checkpoints[account][pos - 1].votes;
    }

    /**
     * @dev Retrieve the number of votes for `account` at the end of `blockNumber`.
     *
     * Requirements:
     *
     * - `blockNumber` must have been already mined
     */
    function getPastVotes(address account, uint256 blockNumber) public view returns (uint256) {
        require(blockNumber < block.number, "ERC20Votes: block not yet mined");
        return _checkpointsLookup(_checkpoints[account], blockNumber);
    }

    /**
     * @dev Retrieve the `totalSupply` at the end of `blockNumber`. Note, this value is the sum of all balances.
     * It is but NOT the sum of all the delegated votes!
     *
     * Requirements:
     *
     * - `blockNumber` must have been already mined
     */
    function getPastTotalSupply(uint256 blockNumber) public view returns (uint256) {
        require(blockNumber < block.number, "ERC20Votes: block not yet mined");
        return _checkpointsLookup(_totalSupplyCheckpoints, blockNumber);
    }

    /**
     * @dev Lookup a value in a list of (sorted) checkpoints.
     */
    function _checkpointsLookup(Checkpoint[] storage ckpts, uint256 blockNumber) private view returns (uint256) {
        // We run a binary search to look for the earliest checkpoint taken after `blockNumber`.
        //
        // During the loop, the index of the wanted checkpoint remains in the range [low-1, high).
        // With each iteration, either `low` or `high` is moved towards the middle of the range to maintain the invariant.
        // - If the middle checkpoint is after `blockNumber`, we look in [low, mid)
        // - If the middle checkpoint is before or equal to `blockNumber`, we look in [mid+1, high)
        // Once we reach a single value (when low == high), we've found the right checkpoint at the index high-1, if not
        // out of bounds (in which case we're looking too far in the past and the result is 0).
        // Note that if the latest checkpoint available is exactly for `blockNumber`, we end up with an index that is
        // past the end of the array, so we technically don't find a checkpoint after `blockNumber`, but it works out
        // the same.
        uint256 high = ckpts.length;
        uint256 low = 0;
        while (low < high) {
            uint256 mid = Math.average(low, high);
            if (ckpts[mid].fromBlock > blockNumber) {
                high = mid;
            } else {
                low = mid + 1;
            }
        }

        return high == 0 ? 0 : ckpts[high - 1].votes;
    }

    /**
     * @dev Delegate votes from the sender to `delegatee`.
     */
    function delegate(address delegatee) public virtual {
        return _delegate(_msgSender(), delegatee);
    }

    /**
     * @dev Delegates votes from signer to `delegatee`
     */
    function delegateBySig(
        address delegatee,
        uint256 nonce,
        uint256 expiry,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public virtual {
        require(block.timestamp <= expiry, "ERC20Votes: signature expired");
        address signer = ECDSA.recover(
            _hashTypedDataV4(keccak256(abi.encode(_DELEGATION_TYPEHASH, delegatee, nonce, expiry))),
            v,
            r,
            s
        );
        require(nonce == _useNonce(signer), "ERC20Votes: invalid nonce");
        return _delegate(signer, delegatee);
    }

    /**
     * @dev Maximum token supply. Defaults to `type(uint224).max` (2^224^ - 1).
     */
    function _maxSupply() internal view virtual returns (uint224) {
        return type(uint224).max;
    }

    /**
     * @dev Snapshots the totalSupply after it has been increased.
     */
    function _mint(address account, uint256 amount) internal virtual override {
        super._mint(account, amount);
        require(totalSupply() <= _maxSupply(), "ERC20Votes: total supply risks overflowing votes");

        _writeCheckpoint(_totalSupplyCheckpoints, _add, amount);
    }

    /**
     * @dev Snapshots the totalSupply after it has been decreased.
     */
    function _burn(address account, uint256 amount) internal virtual override {
        super._burn(account, amount);

        _writeCheckpoint(_totalSupplyCheckpoints, _subtract, amount);
    }

    /**
     * @dev Move voting power when tokens are transferred.
     *
     * Emits a {DelegateVotesChanged} event.
     */
    function _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual override {
        super._afterTokenTransfer(from, to, amount);

        _moveVotingPower(delegates(from), delegates(to), amount);
    }

    /**
     * @dev Change delegation for `delegator` to `delegatee`.
     *
     * Emits events {DelegateChanged} and {DelegateVotesChanged}.
     */
    function _delegate(address delegator, address delegatee) internal virtual {
        address currentDelegate = delegates(delegator);
        uint256 delegatorBalance = balanceOf(delegator);
        _delegates[delegator] = delegatee;

        emit DelegateChanged(delegator, currentDelegate, delegatee);

        _moveVotingPower(currentDelegate, delegatee, delegatorBalance);
    }

    function _moveVotingPower(
        address src,
        address dst,
        uint256 amount
    ) private {
        if (src != dst && amount > 0) {
            if (src != address(0)) {
                (uint256 oldWeight, uint256 newWeight) = _writeCheckpoint(_checkpoints[src], _subtract, amount);
                emit DelegateVotesChanged(src, oldWeight, newWeight);
            }

            if (dst != address(0)) {
                (uint256 oldWeight, uint256 newWeight) = _writeCheckpoint(_checkpoints[dst], _add, amount);
                emit DelegateVotesChanged(dst, oldWeight, newWeight);
            }
        }
    }

    function _writeCheckpoint(
        Checkpoint[] storage ckpts,
        function(uint256, uint256) view returns (uint256) op,
        uint256 delta
    ) private returns (uint256 oldWeight, uint256 newWeight) {
        uint256 pos = ckpts.length;
        oldWeight = pos == 0 ? 0 : ckpts[pos - 1].votes;
        newWeight = op(oldWeight, delta);

        if (pos > 0 && ckpts[pos - 1].fromBlock == block.number) {
            ckpts[pos - 1].votes = SafeCast.toUint224(newWeight);
        } else {
            ckpts.push(Checkpoint({fromBlock: SafeCast.toUint32(block.number), votes: SafeCast.toUint224(newWeight)}));
        }
    }

    function _add(uint256 a, uint256 b) private pure returns (uint256) {
        return a + b;
    }

    function _subtract(uint256 a, uint256 b) private pure returns (uint256) {
        return a - b;
    }
}


// File contracts/Governance/ColonyGovernanceToken.sol

contract ColonyGovernanceToken is ERC20, ERC20Snapshot, Ownable, ERC20Permit, ERC20Votes {
    bool public minted;

    constructor() ERC20("Colony Token", "CLY") ERC20Permit("Colony Token") {
        minted = false;
    }

    function initialMint(address[] memory receivers, uint256[] memory values)
    external
    onlyOwner
    {
        require(!minted, "Tokens have already been minted!");
        require(receivers.length == values.length, "Receivers-Values mismatch!");

        minted = true;

        for (uint i = 0; i < receivers.length; i++) {
            _mint(receivers[i], values[i]);
        }

        emit ColonyTokenMinted();
    }

    function snapshot() public onlyOwner {
        _snapshot();
    }

    // The following functions are overrides required by Solidity.

    function _beforeTokenTransfer(address from, address to, uint256 amount)
    internal
    override(ERC20, ERC20Snapshot)
    {
        super._beforeTokenTransfer(from, to, amount);
    }

    function _afterTokenTransfer(address from, address to, uint256 amount)
    internal
    override(ERC20, ERC20Votes)
    {
        super._afterTokenTransfer(from, to, amount);
    }

    function _mint(address to, uint256 amount)
    internal
    override(ERC20, ERC20Votes)
    {
        super._mint(to, amount);
    }

    function _burn(address account, uint256 amount)
    internal
    override(ERC20, ERC20Votes)
    {
        super._burn(account, amount);
    }

    event ColonyTokenMinted();
}

• 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":[],"name":"ColonyTokenMinted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"delegator","type":"address"},{"indexed":true,"internalType":"address","name":"fromDelegate","type":"address"},{"indexed":true,"internalType":"address","name":"toDelegate","type":"address"}],"name":"DelegateChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"delegate","type":"address"},{"indexed":false,"internalType":"uint256","name":"previousBalance","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"newBalance","type":"uint256"}],"name":"DelegateVotesChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"id","type":"uint256"}],"name":"Snapshot","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":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"snapshotId","type":"uint256"}],"name":"balanceOfAt","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint32","name":"pos","type":"uint32"}],"name":"checkpoints","outputs":[{"components":[{"internalType":"uint32","name":"fromBlock","type":"uint32"},{"internalType":"uint224","name":"votes","type":"uint224"}],"internalType":"struct ERC20Votes.Checkpoint","name":"","type":"tuple"}],"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":"delegatee","type":"address"}],"name":"delegate","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"delegatee","type":"address"},{"internalType":"uint256","name":"nonce","type":"uint256"},{"internalType":"uint256","name":"expiry","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"delegateBySig","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"delegates","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"blockNumber","type":"uint256"}],"name":"getPastTotalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"blockNumber","type":"uint256"}],"name":"getPastVotes","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"getVotes","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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":[{"internalType":"address[]","name":"receivers","type":"address[]"},{"internalType":"uint256[]","name":"values","type":"uint256[]"}],"name":"initialMint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"minted","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"numCheckpoints","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"snapshot","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"snapshotId","type":"uint256"}],"name":"totalSupplyAt","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

6101406040527f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9610120523480156200003757600080fd5b506040518060400160405280600c81526020016b21b7b637b73c902a37b5b2b760a11b81525080604051806040016040528060018152602001603160f81b8152506040518060400160405280600c81526020016b21b7b637b73c902a37b5b2b760a11b81525060405180604001604052806003815260200162434c5960e81b8152508160039080519060200190620000d1929190620001f4565b508051620000e7906004906020840190620001f4565b50505062000104620000fe6200019e60201b60201c565b620001a2565b815160209283012081519183019190912060c082815260e08290524660a0818152604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f8189018190528183019790975260608101959095526080808601939093523085830152805180860390920182529390920190925280519301929092209091526101005250600e805460ff19169055620002d7565b3390565b600980546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b82805462000202906200029a565b90600052602060002090601f01602090048101928262000226576000855562000271565b82601f106200024157805160ff191683800117855562000271565b8280016001018555821562000271579182015b828111156200027157825182559160200191906001019062000254565b506200027f92915062000283565b5090565b5b808211156200027f576000815560010162000284565b600181811c90821680620002af57607f821691505b60208210811415620002d157634e487b7160e01b600052602260045260246000fd5b50919050565b60805160a05160c05160e0516101005161012051612576620003276000396000610c840152600061120f0152600061125e01526000611239015260006111bd015260006111e601526125766000f3fe608060405234801561001057600080fd5b50600436106101da5760003560e01c80637ecebe0011610104578063a457c2d7116100a2578063d505accf11610071578063d505accf1461040d578063dd62ed3e14610420578063f1127ed814610459578063f2fde38b1461049657600080fd5b8063a457c2d7146103c1578063a9059cbb146103d4578063c3cda520146103e7578063c6fe12ea146103fa57600080fd5b806395d89b41116100de57806395d89b411461038b5780639711715a14610393578063981b24d01461039b5780639ab24eb0146103ae57600080fd5b80637ecebe00146103545780638da5cb5b146103675780638e539e8c1461037857600080fd5b80633a46b1a81161017c5780635c19a95c1161014b5780635c19a95c146102e65780636fcfff45146102fb57806370a0823114610323578063715018a61461034c57600080fd5b80633a46b1a81461026f5780634ee2cd7e146102825780634f02c42014610295578063587cde1e146102a257600080fd5b806323b872dd116101b857806323b872dd14610232578063313ce567146102455780633644e51514610254578063395093511461025c57600080fd5b806306fdde03146101df578063095ea7b3146101fd57806318160ddd14610220575b600080fd5b6101e76104a9565b6040516101f49190612046565b60405180910390f35b61021061020b3660046120b2565b61053b565b60405190151581526020016101f4565b6002545b6040519081526020016101f4565b6102106102403660046120dc565b610552565b604051601281526020016101f4565b610224610601565b61021061026a3660046120b2565b610610565b61022461027d3660046120b2565b61064c565b6102246102903660046120b2565b6106c6565b600e546102109060ff1681565b6102ce6102b0366004612118565b6001600160a01b039081166000908152600b60205260409020541690565b6040516001600160a01b0390911681526020016101f4565b6102f96102f4366004612118565b61071f565b005b61030e610309366004612118565b61072c565b60405163ffffffff90911681526020016101f4565b610224610331366004612118565b6001600160a01b031660009081526020819052604090205490565b6102f961074e565b610224610362366004612118565b610784565b6009546001600160a01b03166102ce565b610224610386366004612133565b6107a2565b6101e76107fe565b6102f961080d565b6102246103a9366004612133565b61083f565b6102246103bc366004612118565b61086a565b6102106103cf3660046120b2565b6108f1565b6102106103e23660046120b2565b61098a565b6102f96103f536600461215d565b610997565b6102f961040836600461228b565b610acd565b6102f961041b36600461234b565b610c30565b61022461042e3660046123b5565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b61046c6104673660046123e8565b610d94565b60408051825163ffffffff1681526020928301516001600160e01b031692810192909252016101f4565b6102f96104a4366004612118565b610e18565b6060600380546104b890612428565b80601f01602080910402602001604051908101604052809291908181526020018280546104e490612428565b80156105315780601f1061050657610100808354040283529160200191610531565b820191906000526020600020905b81548152906001019060200180831161051457829003601f168201915b5050505050905090565b6000610548338484610eb0565b5060015b92915050565b600061055f848484610fd4565b6001600160a01b0384166000908152600160209081526040808320338452909152902054828110156105e95760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084015b60405180910390fd5b6105f68533858403610eb0565b506001949350505050565b600061060b6111b9565b905090565b3360008181526001602090815260408083206001600160a01b03871684529091528120549091610548918590610647908690612473565b610eb0565b600043821061069d5760405162461bcd60e51b815260206004820152601f60248201527f4552433230566f7465733a20626c6f636b206e6f7420796574206d696e65640060448201526064016105e0565b6001600160a01b0383166000908152600c602052604090206106bf90836112ac565b9392505050565b6001600160a01b0382166000908152600560205260408120819081906106ed908590611369565b9150915081610714576001600160a01b038516600090815260208190526040902054610716565b805b95945050505050565b6107293382611460565b50565b6001600160a01b0381166000908152600c602052604081205461054c906114d9565b6009546001600160a01b031633146107785760405162461bcd60e51b81526004016105e09061248b565b6107826000611542565b565b6001600160a01b0381166000908152600a602052604081205461054c565b60004382106107f35760405162461bcd60e51b815260206004820152601f60248201527f4552433230566f7465733a20626c6f636b206e6f7420796574206d696e65640060448201526064016105e0565b61054c600d836112ac565b6060600480546104b890612428565b6009546001600160a01b031633146108375760405162461bcd60e51b81526004016105e09061248b565b610729611594565b600080600061084f846006611369565b915091508161086057600254610862565b805b949350505050565b6001600160a01b0381166000908152600c602052604081205480156108de576001600160a01b0383166000908152600c602052604090206108ac6001836124c0565b815481106108bc576108bc6124d7565b60009182526020909120015464010000000090046001600160e01b03166108e1565b60005b6001600160e01b03169392505050565b3360009081526001602090815260408083206001600160a01b0386168452909152812054828110156109735760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084016105e0565b6109803385858403610eb0565b5060019392505050565b6000610548338484610fd4565b834211156109e75760405162461bcd60e51b815260206004820152601d60248201527f4552433230566f7465733a207369676e6174757265206578706972656400000060448201526064016105e0565b604080517fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf60208201526001600160a01b038816918101919091526060810186905260808101859052600090610a6190610a599060a001604051602081830303815290604052805190602001206115ee565b85858561163c565b9050610a6c81611664565b8614610aba5760405162461bcd60e51b815260206004820152601960248201527f4552433230566f7465733a20696e76616c6964206e6f6e63650000000000000060448201526064016105e0565b610ac48188611460565b50505050505050565b6009546001600160a01b03163314610af75760405162461bcd60e51b81526004016105e09061248b565b600e5460ff1615610b4a5760405162461bcd60e51b815260206004820181905260248201527f546f6b656e73206861766520616c7265616479206265656e206d696e7465642160448201526064016105e0565b8051825114610b9b5760405162461bcd60e51b815260206004820152601a60248201527f5265636569766572732d56616c756573206d69736d617463682100000000000060448201526064016105e0565b600e805460ff1916600117905560005b8251811015610c0257610bf0838281518110610bc957610bc96124d7565b6020026020010151838381518110610be357610be36124d7565b602002602001015161168c565b80610bfa816124ed565b915050610bab565b506040517f5bd10dad5faf0e04172702bd9504c02d218bd257ef3ccf68a0c2b2cd32d0dcef90600090a15050565b83421115610c805760405162461bcd60e51b815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e6500000060448201526064016105e0565b60007f0000000000000000000000000000000000000000000000000000000000000000888888610caf8c611664565b6040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810186905260e0016040516020818303038152906040528051906020012090506000610d0a826115ee565b90506000610d1a8287878761163c565b9050896001600160a01b0316816001600160a01b031614610d7d5760405162461bcd60e51b815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e6174757265000060448201526064016105e0565b610d888a8a8a610eb0565b50505050505050505050565b60408051808201909152600080825260208201526001600160a01b0383166000908152600c60205260409020805463ffffffff8416908110610dd857610dd86124d7565b60009182526020918290206040805180820190915291015463ffffffff8116825264010000000090046001600160e01b0316918101919091529392505050565b6009546001600160a01b03163314610e425760405162461bcd60e51b81526004016105e09061248b565b6001600160a01b038116610ea75760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016105e0565b61072981611542565b6001600160a01b038316610f125760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016105e0565b6001600160a01b038216610f735760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016105e0565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166110385760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105e0565b6001600160a01b03821661109a5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105e0565b6110a583838361169a565b6001600160a01b0383166000908152602081905260409020548181101561111d5760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016105e0565b6001600160a01b03808516600090815260208190526040808220858503905591851681529081208054849290611154908490612473565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516111a091815260200190565b60405180910390a36111b38484846116aa565b50505050565b60007f000000000000000000000000000000000000000000000000000000000000000046141561120857507f000000000000000000000000000000000000000000000000000000000000000090565b50604080517f00000000000000000000000000000000000000000000000000000000000000006020808301919091527f0000000000000000000000000000000000000000000000000000000000000000828401527f000000000000000000000000000000000000000000000000000000000000000060608301524660808301523060a0808401919091528351808403909101815260c0909201909252805191012090565b8154600090815b818110156113105760006112c782846116b5565b9050848682815481106112dc576112dc6124d7565b60009182526020909120015463ffffffff1611156112fc5780925061130a565b611307816001612473565b91505b506112b3565b811561135457846113226001846124c0565b81548110611332576113326124d7565b60009182526020909120015464010000000090046001600160e01b0316611357565b60005b6001600160e01b031695945050505050565b600080600084116113b55760405162461bcd60e51b815260206004820152601660248201527504552433230536e617073686f743a20696420697320360541b60448201526064016105e0565b6113bd6116d0565b84111561140c5760405162461bcd60e51b815260206004820152601d60248201527f4552433230536e617073686f743a206e6f6e6578697374656e7420696400000060448201526064016105e0565b600061141884866116db565b8454909150811415611431576000809250925050611459565b6001846001018281548110611448576114486124d7565b906000526020600020015492509250505b9250929050565b6001600160a01b038281166000818152600b60208181526040808420805485845282862054949093528787166001600160a01b03198416811790915590519190951694919391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a46111b382848361179e565b600063ffffffff82111561153e5760405162461bcd60e51b815260206004820152602660248201527f53616665436173743a2076616c756520646f65736e27742066697420696e203360448201526532206269747360d01b60648201526084016105e0565b5090565b600980546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b60006115a4600880546001019055565b60006115ae6116d0565b90507f8030e83b04d87bef53480e26263266d6ca66863aa8506aca6f2559d18aa1cb67816040516115e191815260200190565b60405180910390a1919050565b600061054c6115fb6111b9565b8360405161190160f01b6020820152602281018390526042810182905260009060620160405160208183030381529060405280519060200120905092915050565b600080600061164d878787876118db565b9150915061165a816119c8565b5095945050505050565b6001600160a01b0381166000908152600a602052604090208054600181018255905b50919050565b6116968282611b83565b5050565b6116a5838383611c0d565b505050565b6116a5838383611c55565b60006116c46002848418612508565b6106bf90848416612473565b600061060b60085490565b81546000906116ec5750600061054c565b82546000905b8082101561174857600061170683836116b5565b90508486828154811061171b5761171b6124d7565b9060005260206000200154111561173457809150611742565b61173f816001612473565b92505b506116f2565b60008211801561177d575083856117606001856124c0565b81548110611770576117706124d7565b9060005260206000200154145b156117965761178d6001836124c0565b9250505061054c565b50905061054c565b816001600160a01b0316836001600160a01b0316141580156117c05750600081115b156116a5576001600160a01b0383161561184e576001600160a01b0383166000908152600c6020526040812081906117fb90611c8785611c93565b91509150846001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248383604051611843929190918252602082015260400190565b60405180910390a250505b6001600160a01b038216156116a5576001600160a01b0382166000908152600c60205260408120819061188490611e0c85611c93565b91509150836001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a72483836040516118cc929190918252602082015260400190565b60405180910390a25050505050565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a083111561191257506000905060036119bf565b8460ff16601b1415801561192a57508460ff16601c14155b1561193b57506000905060046119bf565b6040805160008082526020820180845289905260ff881692820192909252606081018690526080810185905260019060a0016020604051602081039080840390855afa15801561198f573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166119b8576000600192509250506119bf565b9150600090505b94509492505050565b60008160048111156119dc576119dc61252a565b14156119e55750565b60018160048111156119f9576119f961252a565b1415611a475760405162461bcd60e51b815260206004820152601860248201527f45434453413a20696e76616c6964207369676e6174757265000000000000000060448201526064016105e0565b6002816004811115611a5b57611a5b61252a565b1415611aa95760405162461bcd60e51b815260206004820152601f60248201527f45434453413a20696e76616c6964207369676e6174757265206c656e6774680060448201526064016105e0565b6003816004811115611abd57611abd61252a565b1415611b165760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b60648201526084016105e0565b6004816004811115611b2a57611b2a61252a565b14156107295760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202776272076616c604482015261756560f01b60648201526084016105e0565b611b8d8282611e18565b6002546001600160e01b031015611bff5760405162461bcd60e51b815260206004820152603060248201527f4552433230566f7465733a20746f74616c20737570706c79207269736b73206f60448201526f766572666c6f77696e6720766f74657360801b60648201526084016105e0565b6111b3600d611e0c83611c93565b6001600160a01b038316611c2c57611c2482611f0b565b6116a5611f3d565b6001600160a01b038216611c4357611c2483611f0b565b611c4c83611f0b565b6116a582611f0b565b6001600160a01b038381166000908152600b60205260408082205485841683529120546116a59291821691168361179e565b60006106bf82846124c0565b825460009081908015611cde5785611cac6001836124c0565b81548110611cbc57611cbc6124d7565b60009182526020909120015464010000000090046001600160e01b0316611ce1565b60005b6001600160e01b03169250611cfa83858763ffffffff16565b9150600081118015611d3857504386611d146001846124c0565b81548110611d2457611d246124d7565b60009182526020909120015463ffffffff16145b15611d9857611d4682611f4b565b86611d526001846124c0565b81548110611d6257611d626124d7565b9060005260206000200160000160046101000a8154816001600160e01b0302191690836001600160e01b03160217905550611e03565b856040518060400160405280611dad436114d9565b63ffffffff168152602001611dc185611f4b565b6001600160e01b0390811690915282546001810184556000938452602093849020835194909301519091166401000000000263ffffffff909316929092179101555b50935093915050565b60006106bf8284612473565b6001600160a01b038216611e6e5760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f20616464726573730060448201526064016105e0565b611e7a6000838361169a565b8060026000828254611e8c9190612473565b90915550506001600160a01b03821660009081526020819052604081208054839290611eb9908490612473565b90915550506040518181526001600160a01b038316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a3611696600083836116aa565b6001600160a01b038116600090815260056020908152604080832091839052909120546107299190611fb4565b611fb4565b6107826006611f3860025490565b60006001600160e01b0382111561153e5760405162461bcd60e51b815260206004820152602760248201527f53616665436173743a2076616c756520646f65736e27742066697420696e20326044820152663234206269747360c81b60648201526084016105e0565b6000611fbe6116d0565b905080611fca84611ffe565b10156116a5578254600180820185556000858152602080822090930193909355938401805494850181558252902090910155565b805460009061200f57506000919050565b8154829061201f906001906124c0565b8154811061202f5761202f6124d7565b90600052602060002001549050919050565b919050565b600060208083528351808285015260005b8181101561207357858101830151858201604001528201612057565b81811115612085576000604083870101525b50601f01601f1916929092016040019392505050565b80356001600160a01b038116811461204157600080fd5b600080604083850312156120c557600080fd5b6120ce8361209b565b946020939093013593505050565b6000806000606084860312156120f157600080fd5b6120fa8461209b565b92506121086020850161209b565b9150604084013590509250925092565b60006020828403121561212a57600080fd5b6106bf8261209b565b60006020828403121561214557600080fd5b5035919050565b803560ff8116811461204157600080fd5b60008060008060008060c0878903121561217657600080fd5b61217f8761209b565b9550602087013594506040870135935061219b6060880161214c565b92506080870135915060a087013590509295509295509295565b634e487b7160e01b600052604160045260246000fd5b604051601f8201601f1916810167ffffffffffffffff811182821017156121f4576121f46121b5565b604052919050565b600067ffffffffffffffff821115612216576122166121b5565b5060051b60200190565b600082601f83011261223157600080fd5b81356020612246612241836121fc565b6121cb565b82815260059290921b8401810191818101908684111561226557600080fd5b8286015b848110156122805780358352918301918301612269565b509695505050505050565b6000806040838503121561229e57600080fd5b823567ffffffffffffffff808211156122b657600080fd5b818501915085601f8301126122ca57600080fd5b813560206122da612241836121fc565b82815260059290921b840181019181810190898411156122f957600080fd5b948201945b8386101561231e5761230f8661209b565b825294820194908201906122fe565b9650508601359250508082111561233457600080fd5b5061234185828601612220565b9150509250929050565b600080600080600080600060e0888a03121561236657600080fd5b61236f8861209b565b965061237d6020890161209b565b955060408801359450606088013593506123996080890161214c565b925060a0880135915060c0880135905092959891949750929550565b600080604083850312156123c857600080fd5b6123d18361209b565b91506123df6020840161209b565b90509250929050565b600080604083850312156123fb57600080fd5b6124048361209b565b9150602083013563ffffffff8116811461241d57600080fd5b809150509250929050565b600181811c9082168061243c57607f821691505b6020821081141561168657634e487b7160e01b600052602260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b600082198211156124865761248661245d565b500190565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000828210156124d2576124d261245d565b500390565b634e487b7160e01b600052603260045260246000fd5b60006000198214156125015761250161245d565b5060010190565b60008261252557634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052602160045260246000fdfea26469706673582212205f85bd346b15c3cea6fe04e0ac21ff7d655507cb46ebb70089584b817fb32cab64736f6c63430008090033

67782:1546:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6364:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8531:169;;;;;;:::i;:::-;;:::i;:::-;;;1218:14:1;;1211:22;1193:41;;1181:2;1166:18;8531:169:0;1053:187:1;7484:108:0;7572:12;;7484:108;;;1391:25:1;;;1379:2;1364:18;7484:108:0;1245:177:1;9182:492:0;;;;;;:::i;:::-;;:::i;7326:93::-;;;7409:2;1902:36:1;;1890:2;1875:18;7326:93:0;1760:184:1;49469:115:0;;;:::i;10083:215::-;;;;;;:::i;:::-;;:::i;61134:251::-;;;;;;:::i;:::-;;:::i;25343:266::-;;;;;;:::i;:::-;;:::i;67878:18::-;;;;;;;;;60534:119;;;;;;:::i;:::-;-1:-1:-1;;;;;60626:19:0;;;60599:7;60626:19;;;:10;:19;;;;;;;;60534:119;;;;-1:-1:-1;;;;;2486:32:1;;;2468:51;;2456:2;2441:18;60534:119:0;2322:203:1;63573:112:0;;;;;;:::i;:::-;;:::i;:::-;;60290:151;;;;;;:::i;:::-;;:::i;:::-;;;2704:10:1;2692:23;;;2674:42;;2662:2;2647:18;60290:151:0;2530:192:1;7655:127:0;;;;;;:::i;:::-;-1:-1:-1;;;;;7756:18:0;7729:7;7756:18;;;;;;;;;;;;7655:127;30862:94;;;:::i;49211:128::-;;;;;;:::i;:::-;;:::i;30211:87::-;30284:6;;-1:-1:-1;;;;;30284:6:0;30211:87;;61674:242;;;;;;:::i;:::-;;:::i;6583:104::-;;;:::i;68463:67::-;;;:::i;25713:234::-;;;;;;:::i;:::-;;:::i;60737:195::-;;;;;;:::i;:::-;;:::i;10801:413::-;;;;;;:::i;:::-;;:::i;7995:175::-;;;;;;:::i;:::-;;:::i;63767:589::-;;;;;;:::i;:::-;;:::i;68017:438::-;;;;;;:::i;:::-;;:::i;48500:645::-;;;;;;:::i;:::-;;:::i;8233:151::-;;;;;;:::i;:::-;-1:-1:-1;;;;;8349:18:0;;;8322:7;8349:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;8233:151;60060:150;;;;;;:::i;:::-;;:::i;:::-;;;;7482:13:1;;7497:10;7478:30;7460:49;;7569:4;7557:17;;;7551:24;-1:-1:-1;;;;;7547:50:1;7525:20;;;7518:80;;;;7433:18;60060:150:0;7258:346:1;31111:192:0;;;;;;:::i;:::-;;:::i;6364:100::-;6418:13;6451:5;6444:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6364:100;:::o;8531:169::-;8614:4;8631:39;4186:10;8654:7;8663:6;8631:8;:39::i;:::-;-1:-1:-1;8688:4:0;8531:169;;;;;:::o;9182:492::-;9322:4;9339:36;9349:6;9357:9;9368:6;9339:9;:36::i;:::-;-1:-1:-1;;;;;9415:19:0;;9388:24;9415:19;;;:11;:19;;;;;;;;4186:10;9415:33;;;;;;;;9467:26;;;;9459:79;;;;-1:-1:-1;;;9459:79:0;;8196:2:1;9459:79:0;;;8178:21:1;8235:2;8215:18;;;8208:30;8274:34;8254:18;;;8247:62;-1:-1:-1;;;8325:18:1;;;8318:38;8373:19;;9459:79:0;;;;;;;;;9574:57;9583:6;4186:10;9624:6;9605:16;:25;9574:8;:57::i;:::-;-1:-1:-1;9662:4:0;;9182:492;-1:-1:-1;;;;9182:492:0:o;49469:115::-;49529:7;49556:20;:18;:20::i;:::-;49549:27;;49469:115;:::o;10083:215::-;4186:10;10171:4;10220:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;10220:34:0;;;;;;;;;;10171:4;;10188:80;;10211:7;;10220:47;;10257:10;;10220:47;:::i;:::-;10188:8;:80::i;61134:251::-;61215:7;61257:12;61243:11;:26;61235:70;;;;-1:-1:-1;;;61235:70:0;;8870:2:1;61235:70:0;;;8852:21:1;8909:2;8889:18;;;8882:30;8948:33;8928:18;;;8921:61;8999:18;;61235:70:0;8668:355:1;61235:70:0;-1:-1:-1;;;;;61342:21:0;;;;;;:12;:21;;;;;61323:54;;61365:11;61323:18;:54::i;:::-;61316:61;61134:251;-1:-1:-1;;;61134:251:0:o;25343:266::-;-1:-1:-1;;;;;25507:33:0;;25430:7;25507:33;;;:24;:33;;;;;25430:7;;;;25486:55;;25495:10;;25486:8;:55::i;:::-;25450:91;;;;25561:11;:40;;-1:-1:-1;;;;;7756:18:0;;7729:7;7756:18;;;;;;;;;;;25561:40;;;25575:5;25561:40;25554:47;25343:266;-1:-1:-1;;;;;25343:266:0:o;63573:112::-;63643:34;4186:10;63667:9;63643;:34::i;:::-;63573:112;:::o;60290:151::-;-1:-1:-1;;;;;60404:21:0;;60360:6;60404:21;;;:12;:21;;;;;:28;60386:47;;:17;:47::i;30862:94::-;30284:6;;-1:-1:-1;;;;;30284:6:0;4186:10;30431:23;30423:68;;;;-1:-1:-1;;;30423:68:0;;;;;;;:::i;:::-;30927:21:::1;30945:1;30927:9;:21::i;:::-;30862:94::o:0;49211:128::-;-1:-1:-1;;;;;49307:14:0;;49280:7;49307:14;;;:7;:14;;;;;19910;49307:24;19818:114;61674:242;61744:7;61786:12;61772:11;:26;61764:70;;;;-1:-1:-1;;;61764:70:0;;8870:2:1;61764:70:0;;;8852:21:1;8909:2;8889:18;;;8882:30;8948:33;8928:18;;;8921:61;8999:18;;61764:70:0;8668:355:1;61764:70:0;61852:56;61871:23;61896:11;61852:18;:56::i;6583:104::-;6639:13;6672:7;6665:14;;;;;:::i;68463:67::-;30284:6;;-1:-1:-1;;;;;30284:6:0;4186:10;30431:23;30423:68;;;;-1:-1:-1;;;30423:68:0;;;;;;;:::i;:::-;68511:11:::1;:9;:11::i;25713:234::-:0;25785:7;25806:16;25824:13;25841:43;25850:10;25862:21;25841:8;:43::i;:::-;25805:79;;;;25904:11;:35;;7572:12;;25904:35;;;25918:5;25904:35;25897:42;25713:234;-1:-1:-1;;;;25713:234:0:o;60737:195::-;-1:-1:-1;;;;;60827:21:0;;60793:7;60827:21;;;:12;:21;;;;;:28;60873:8;;:51;;-1:-1:-1;;;;;60888:21:0;;;;;;:12;:21;;;;;60910:7;60916:1;60910:3;:7;:::i;:::-;60888:30;;;;;;;;:::i;:::-;;;;;;;;;;:36;;;;-1:-1:-1;;;;;60888:36:0;60873:51;;;60884:1;60873:51;-1:-1:-1;;;;;60866:58:0;;60737:195;-1:-1:-1;;;60737:195:0:o;10801:413::-;4186:10;10894:4;10938:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;10938:34:0;;;;;;;;;;10991:35;;;;10983:85;;;;-1:-1:-1;;;10983:85:0;;9853:2:1;10983:85:0;;;9835:21:1;9892:2;9872:18;;;9865:30;9931:34;9911:18;;;9904:62;-1:-1:-1;;;9982:18:1;;;9975:35;10027:19;;10983:85:0;9651:401:1;10983:85:0;11104:67;4186:10;11127:7;11155:15;11136:16;:34;11104:8;:67::i;:::-;-1:-1:-1;11202:4:0;;10801:413;-1:-1:-1;;;10801:413:0:o;7995:175::-;8081:4;8098:42;4186:10;8122:9;8133:6;8098:9;:42::i;63767:589::-;63985:6;63966:15;:25;;63958:67;;;;-1:-1:-1;;;63958:67:0;;10259:2:1;63958:67:0;;;10241:21:1;10298:2;10278:18;;;10271:30;10337:31;10317:18;;;10310:59;10386:18;;63958:67:0;10057:353:1;63958:67:0;64108:58;;;59311:71;64108:58;;;10646:25:1;-1:-1:-1;;;;;10707:32:1;;10687:18;;;10680:60;;;;10756:18;;;10749:34;;;10799:18;;;10792:34;;;64036:14:0;;64053:174;;64081:87;;10618:19:1;;64108:58:0;;;;;;;;;;;;64098:69;;;;;;64081:16;:87::i;:::-;64183:1;64199;64215;64053:13;:174::i;:::-;64036:191;;64255:17;64265:6;64255:9;:17::i;:::-;64246:5;:26;64238:64;;;;-1:-1:-1;;;64238:64:0;;11039:2:1;64238:64:0;;;11021:21:1;11078:2;11058:18;;;11051:30;11117:27;11097:18;;;11090:55;11162:18;;64238:64:0;10837:349:1;64238:64:0;64320:28;64330:6;64338:9;64320;:28::i;:::-;64313:35;63767:589;;;;;;:::o;68017:438::-;30284:6;;-1:-1:-1;;;;;30284:6:0;4186:10;30431:23;30423:68;;;;-1:-1:-1;;;30423:68:0;;;;;;;:::i;:::-;68145:6:::1;::::0;::::1;;68144:7;68136:52;;;::::0;-1:-1:-1;;;68136:52:0;;11393:2:1;68136:52:0::1;::::0;::::1;11375:21:1::0;;;11412:18;;;11405:30;11471:34;11451:18;;;11444:62;11523:18;;68136:52:0::1;11191:356:1::0;68136:52:0::1;68227:6;:13;68207:9;:16;:33;68199:72;;;::::0;-1:-1:-1;;;68199:72:0;;11754:2:1;68199:72:0::1;::::0;::::1;11736:21:1::0;11793:2;11773:18;;;11766:30;11832:28;11812:18;;;11805:56;11878:18;;68199:72:0::1;11552:350:1::0;68199:72:0::1;68284:6;:13:::0;;-1:-1:-1;;68284:13:0::1;68293:4;68284:13;::::0;;:6:::1;68310:101;68331:9;:16;68327:1;:20;68310:101;;;68369:30;68375:9;68385:1;68375:12;;;;;;;;:::i;:::-;;;;;;;68389:6;68396:1;68389:9;;;;;;;;:::i;:::-;;;;;;;68369:5;:30::i;:::-;68349:3:::0;::::1;::::0;::::1;:::i;:::-;;;;68310:101;;;-1:-1:-1::0;68428:19:0::1;::::0;::::1;::::0;;;::::1;68017:438:::0;;:::o;48500:645::-;48744:8;48725:15;:27;;48717:69;;;;-1:-1:-1;;;48717:69:0;;12249:2:1;48717:69:0;;;12231:21:1;12288:2;12268:18;;;12261:30;12327:31;12307:18;;;12300:59;12376:18;;48717:69:0;12047:353:1;48717:69:0;48799:18;48841:16;48859:5;48866:7;48875:5;48882:16;48892:5;48882:9;:16::i;:::-;48830:79;;;;;;12692:25:1;;;;-1:-1:-1;;;;;12791:15:1;;;12771:18;;;12764:43;12843:15;;;;12823:18;;;12816:43;12875:18;;;12868:34;12918:19;;;12911:35;12962:19;;;12955:35;;;12664:19;;48830:79:0;;;;;;;;;;;;48820:90;;;;;;48799:111;;48923:12;48938:28;48955:10;48938:16;:28::i;:::-;48923:43;;48979:14;48996:28;49010:4;49016:1;49019;49022;48996:13;:28::i;:::-;48979:45;;49053:5;-1:-1:-1;;;;;49043:15:0;:6;-1:-1:-1;;;;;49043:15:0;;49035:58;;;;-1:-1:-1;;;49035:58:0;;13203:2:1;49035:58:0;;;13185:21:1;13242:2;13222:18;;;13215:30;13281:32;13261:18;;;13254:60;13331:18;;49035:58:0;13001:354:1;49035:58:0;49106:31;49115:5;49122:7;49131:5;49106:8;:31::i;:::-;48706:439;;;48500:645;;;;;;;:::o;60060:150::-;-1:-1:-1;;;;;;;;;;;;;;;;;;;;;;60176:21:0;;;;;;:12;:21;;;;;:26;;;;;;;;;;;;:::i;:::-;;;;;;;;;;60169:33;;;;;;;;;60176:26;;60169:33;;;;;;;;;-1:-1:-1;;;;;60169:33:0;;;;;;;;;60060:150;-1:-1:-1;;;60060:150:0:o;31111:192::-;30284:6;;-1:-1:-1;;;;;30284:6:0;4186:10;30431:23;30423:68;;;;-1:-1:-1;;;30423:68:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;31200:22:0;::::1;31192:73;;;::::0;-1:-1:-1;;;31192:73:0;;13562:2:1;31192:73:0::1;::::0;::::1;13544:21:1::0;13601:2;13581:18;;;13574:30;13640:34;13620:18;;;13613:62;-1:-1:-1;;;13691:18:1;;;13684:36;13737:19;;31192:73:0::1;13360:402:1::0;31192:73:0::1;31276:19;31286:8;31276:9;:19::i;14485:380::-:0;-1:-1:-1;;;;;14621:19:0;;14613:68;;;;-1:-1:-1;;;14613:68:0;;13969:2:1;14613:68:0;;;13951:21:1;14008:2;13988:18;;;13981:30;14047:34;14027:18;;;14020:62;-1:-1:-1;;;14098:18:1;;;14091:34;14142:19;;14613:68:0;13767:400:1;14613:68:0;-1:-1:-1;;;;;14700:21:0;;14692:68;;;;-1:-1:-1;;;14692:68:0;;14374:2:1;14692:68:0;;;14356:21:1;14413:2;14393:18;;;14386:30;14452:34;14432:18;;;14425:62;-1:-1:-1;;;14503:18:1;;;14496:32;14545:19;;14692:68:0;14172:398:1;14692:68:0;-1:-1:-1;;;;;14773:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;14825:32;;1391:25:1;;;14825:32:0;;1364:18:1;14825:32:0;;;;;;;14485:380;;;:::o;11704:733::-;-1:-1:-1;;;;;11844:20:0;;11836:70;;;;-1:-1:-1;;;11836:70:0;;14777:2:1;11836:70:0;;;14759:21:1;14816:2;14796:18;;;14789:30;14855:34;14835:18;;;14828:62;-1:-1:-1;;;14906:18:1;;;14899:35;14951:19;;11836:70:0;14575:401:1;11836:70:0;-1:-1:-1;;;;;11925:23:0;;11917:71;;;;-1:-1:-1;;;11917:71:0;;15183:2:1;11917:71:0;;;15165:21:1;15222:2;15202:18;;;15195:30;15261:34;15241:18;;;15234:62;-1:-1:-1;;;15312:18:1;;;15305:33;15355:19;;11917:71:0;14981:399:1;11917:71:0;12001:47;12022:6;12030:9;12041:6;12001:20;:47::i;:::-;-1:-1:-1;;;;;12085:17:0;;12061:21;12085:17;;;;;;;;;;;12121:23;;;;12113:74;;;;-1:-1:-1;;;12113:74:0;;15587:2:1;12113:74:0;;;15569:21:1;15626:2;15606:18;;;15599:30;15665:34;15645:18;;;15638:62;-1:-1:-1;;;15716:18:1;;;15709:36;15762:19;;12113:74:0;15385:402:1;12113:74:0;-1:-1:-1;;;;;12223:17:0;;;:9;:17;;;;;;;;;;;12243:22;;;12223:42;;12287:20;;;;;;;;:30;;12259:6;;12223:9;12287:30;;12259:6;;12287:30;:::i;:::-;;;;;;;;12352:9;-1:-1:-1;;;;;12335:35:0;12344:6;-1:-1:-1;;;;;12335:35:0;;12363:6;12335:35;;;;1391:25:1;;1379:2;1364:18;;1245:177;12335:35:0;;;;;;;;12383:46;12403:6;12411:9;12422:6;12383:19;:46::i;:::-;11825:612;11704:733;;;:::o;45783:281::-;45836:7;45877:16;45860:13;:33;45856:201;;;-1:-1:-1;45917:24:0;;45783:281::o;45856:201::-;-1:-1:-1;46253:73:0;;;46003:10;46253:73;;;;17167:25:1;;;;46015:12:0;17208:18:1;;;17201:34;46029:15:0;17251:18:1;;;17244:34;46297:13:0;17294:18:1;;;17287:34;46320:4:0;17337:19:1;;;;17330:61;;;;46253:73:0;;;;;;;;;;17139:19:1;;;;46253:73:0;;;46243:84;;;;;;49469:115::o;62005:1482::-;63138:12;;62104:7;;;63187:236;63200:4;63194:3;:10;63187:236;;;63221:11;63235:23;63248:3;63253:4;63235:12;:23::i;:::-;63221:37;;63300:11;63277:5;63283:3;63277:10;;;;;;;;:::i;:::-;;;;;;;;;;:20;;;:34;63273:139;;;63339:3;63332:10;;63273:139;;;63389:7;:3;63395:1;63389:7;:::i;:::-;63383:13;;63273:139;63206:217;63187:236;;;63442:9;;:37;;63458:5;63464:8;63471:1;63464:4;:8;:::i;:::-;63458:15;;;;;;;;:::i;:::-;;;;;;;;;;:21;;;;-1:-1:-1;;;;;63458:21:0;63442:37;;;63454:1;63442:37;-1:-1:-1;;;;;63435:44:0;;62005:1482;-1:-1:-1;;;;;62005:1482:0:o;26794:1619::-;26883:4;26889:7;26930:1;26917:10;:14;26909:49;;;;-1:-1:-1;;;26909:49:0;;15994:2:1;26909:49:0;;;15976:21:1;16033:2;16013:18;;;16006:30;-1:-1:-1;;;16052:18:1;;;16045:52;16114:18;;26909:49:0;15792:346:1;26909:49:0;26991:23;:21;:23::i;:::-;26977:10;:37;;26969:79;;;;-1:-1:-1;;;26969:79:0;;16345:2:1;26969:79:0;;;16327:21:1;16384:2;16364:18;;;16357:30;16423:31;16403:18;;;16396:59;16472:18;;26969:79:0;16143:353:1;26969:79:0;28187:13;28203:40;:9;28232:10;28203:28;:40::i;:::-;28269:20;;28187:56;;-1:-1:-1;28260:29:0;;28256:150;;;28314:5;28321:1;28306:17;;;;;;;28256:150;28364:4;28370:9;:16;;28387:5;28370:23;;;;;;;;:::i;:::-;;;;;;;;;28356:38;;;;;26794:1619;;;;;;:::o;65806:388::-;-1:-1:-1;;;;;60626:19:0;;;65891:23;60626:19;;;:10;:19;;;;;;;;;;7756:18;;;;;;;66006:21;;;;:33;;;-1:-1:-1;;;;;;66006:33:0;;;;;;;66057:54;;60626:19;;;;;7756:18;;66006:33;;60626:19;;;66057:54;;65891:23;66057:54;66124:62;66141:15;66158:9;66169:16;66124;:62::i;53018:190::-;53074:6;53110:16;53101:25;;;53093:76;;;;-1:-1:-1;;;53093:76:0;;16703:2:1;53093:76:0;;;16685:21:1;16742:2;16722:18;;;16715:30;16781:34;16761:18;;;16754:62;-1:-1:-1;;;16832:18:1;;;16825:36;16878:19;;53093:76:0;16501:402:1;53093:76:0;-1:-1:-1;53194:5:0;53018:190::o;31311:173::-;31386:6;;;-1:-1:-1;;;;;31403:17:0;;;-1:-1:-1;;;;;;31403:17:0;;;;;;;31436:40;;31386:6;;;31403:17;31386:6;;31436:40;;31367:16;;31436:40;31356:128;31311:173;:::o;24815:223::-;24862:7;24882:30;:18;20029:19;;20047:1;20029:19;;;19940:127;24882:30;24925:17;24945:23;:21;:23::i;:::-;24925:43;;24984:19;24993:9;24984:19;;;;1391:25:1;;1379:2;1364:18;;1245:177;24984:19:0;;;;;;;;25021:9;24815:223;-1:-1:-1;24815:223:0:o;46977:167::-;47054:7;47081:55;47103:20;:18;:20::i;:::-;47125:10;42661:57;;-1:-1:-1;;;42661:57:0;;;18135:27:1;18178:11;;;18171:27;;;18214:12;;;18207:28;;;42624:7:0;;18251:12:1;;42661:57:0;;;;;;;;;;;;42651:68;;;;;;42644:75;;42531:196;;;;;41333:279;41461:7;41482:17;41501:18;41523:25;41534:4;41540:1;41543;41546;41523:10;:25::i;:::-;41481:67;;;;41559:18;41571:5;41559:11;:18::i;:::-;-1:-1:-1;41595:9:0;41333:279;-1:-1:-1;;;;;41333:279:0:o;49722:207::-;-1:-1:-1;;;;;49843:14:0;;49782:15;49843:14;;;:7;:14;;;;;19910;;20047:1;20029:19;;;;19910:14;49904:17;49799:130;49722:207;;;:::o;68999:137::-;69105:23;69117:2;69121:6;69105:11;:23::i;:::-;68999:137;;:::o;68608:190::-;68746:44;68773:4;68779:2;68783:6;68746:26;:44::i;:::-;68608:190;;;:::o;68806:185::-;68940:43;68966:4;68972:2;68976:6;68940:25;:43::i;16961:156::-;17023:7;17098:11;17108:1;17099:5;;;17098:11;:::i;:::-;17088:21;;17089:5;;;17088:21;:::i;25104:127::-;25168:7;25195:28;:18;19910:14;;19818:114;18099:918;18212:12;;18188:7;;18208:58;;-1:-1:-1;18253:1:0;18246:8;;18208:58;18319:12;;18278:11;;18344:424;18357:4;18351:3;:10;18344:424;;;18378:11;18392:23;18405:3;18410:4;18392:12;:23::i;:::-;18378:37;;18649:7;18636:5;18642:3;18636:10;;;;;;;;:::i;:::-;;;;;;;;;:20;18632:125;;;18684:3;18677:10;;18632:125;;;18734:7;:3;18740:1;18734:7;:::i;:::-;18728:13;;18632:125;18363:405;18344:424;;;18894:1;18888:3;:7;:36;;;;-1:-1:-1;18917:7:0;18899:5;18905:7;18911:1;18905:3;:7;:::i;:::-;18899:14;;;;;;;;:::i;:::-;;;;;;;;;:25;18888:36;18884:126;;;18948:7;18954:1;18948:3;:7;:::i;:::-;18941:14;;;;;;18884:126;-1:-1:-1;18995:3:0;-1:-1:-1;18988:10:0;;66202:643;66334:3;-1:-1:-1;;;;;66327:10:0;:3;-1:-1:-1;;;;;66327:10:0;;;:24;;;;;66350:1;66341:6;:10;66327:24;66323:515;;;-1:-1:-1;;;;;66372:17:0;;;66368:224;;-1:-1:-1;;;;;66468:17:0;;66411;66468;;;:12;:17;;;;;66411;;66451:54;;66487:9;66498:6;66451:16;:54::i;:::-;66410:95;;;;66550:3;-1:-1:-1;;;;;66529:47:0;;66555:9;66566;66529:47;;;;;;17798:25:1;;;17854:2;17839:18;;17832:34;17786:2;17771:18;;17624:248;66529:47:0;;;;;;;;66391:201;;66368:224;-1:-1:-1;;;;;66612:17:0;;;66608:219;;-1:-1:-1;;;;;66708:17:0;;66651;66708;;;:12;:17;;;;;66651;;66691:49;;66727:4;66733:6;66691:16;:49::i;:::-;66650:90;;;;66785:3;-1:-1:-1;;;;;66764:47:0;;66790:9;66801;66764:47;;;;;;17798:25:1;;;17854:2;17839:18;;17832:34;17786:2;17771:18;;17624:248;66764:47:0;;;;;;;;66631:196;;66202:643;;;:::o;39562:1632::-;39693:7;;40627:66;40614:79;;40610:163;;;-1:-1:-1;40726:1:0;;-1:-1:-1;40730:30:0;40710:51;;40610:163;40787:1;:7;;40792:2;40787:7;;:18;;;;;40798:1;:7;;40803:2;40798:7;;40787:18;40783:102;;;-1:-1:-1;40838:1:0;;-1:-1:-1;40842:30:0;40822:51;;40783:102;40999:24;;;40982:14;40999:24;;;;;;;;;18501:25:1;;;18574:4;18562:17;;18542:18;;;18535:45;;;;18596:18;;;18589:34;;;18639:18;;;18632:34;;;40999:24:0;;18473:19:1;;40999:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;40999:24:0;;-1:-1:-1;;40999:24:0;;;-1:-1:-1;;;;;;;41038:20:0;;41034:103;;41091:1;41095:29;41075:50;;;;;;;41034:103;41157:6;-1:-1:-1;41165:20:0;;-1:-1:-1;39562:1632:0;;;;;;;;:::o;34224:643::-;34302:20;34293:5;:29;;;;;;;;:::i;:::-;;34289:571;;;34224:643;:::o;34289:571::-;34400:29;34391:5;:38;;;;;;;;:::i;:::-;;34387:473;;;34446:34;;-1:-1:-1;;;34446:34:0;;19011:2:1;34446:34:0;;;18993:21:1;19050:2;19030:18;;;19023:30;19089:26;19069:18;;;19062:54;19133:18;;34446:34:0;18809:348:1;34387:473:0;34511:35;34502:5;:44;;;;;;;;:::i;:::-;;34498:362;;;34563:41;;-1:-1:-1;;;34563:41:0;;19364:2:1;34563:41:0;;;19346:21:1;19403:2;19383:18;;;19376:30;19442:33;19422:18;;;19415:61;19493:18;;34563:41:0;19162:355:1;34498:362:0;34635:30;34626:5;:39;;;;;;;;:::i;:::-;;34622:238;;;34682:44;;-1:-1:-1;;;34682:44:0;;19724:2:1;34682:44:0;;;19706:21:1;19763:2;19743:18;;;19736:30;19802:34;19782:18;;;19775:62;-1:-1:-1;;;19853:18:1;;;19846:32;19895:19;;34682:44:0;19522:398:1;34622:238:0;34757:30;34748:5;:39;;;;;;;;:::i;:::-;;34744:116;;;34804:44;;-1:-1:-1;;;34804:44:0;;20127:2:1;34804:44:0;;;20109:21:1;20166:2;20146:18;;;20139:30;20205:34;20185:18;;;20178:62;-1:-1:-1;;;20256:18:1;;;20249:32;20298:19;;34804:44:0;19925:398:1;64662:290:0;64747:28;64759:7;64768:6;64747:11;:28::i;:::-;7572:12;;-1:-1:-1;;;;;;64794:29:0;64786:90;;;;-1:-1:-1;;;64786:90:0;;20530:2:1;64786:90:0;;;20512:21:1;20569:2;20549:18;;;20542:30;20608:34;20588:18;;;20581:62;-1:-1:-1;;;20659:18:1;;;20652:46;20715:19;;64786:90:0;20328:412:1;64786:90:0;64889:55;64906:23;64931:4;64937:6;64889:16;:55::i;26164:622::-;-1:-1:-1;;;;;26368:18:0;;26364:415;;26424:26;26447:2;26424:22;:26::i;:::-;26465:28;:26;:28::i;26364:415::-;-1:-1:-1;;;;;26515:16:0;;26511:268;;26569:28;26592:4;26569:22;:28::i;26511:268::-;26698:28;26721:4;26698:22;:28::i;:::-;26741:26;26764:2;26741:22;:26::i;65380:262::-;-1:-1:-1;;;;;60626:19:0;;;60599:7;60626:19;;;:10;:19;;;;;;;;;;;;;;;65578:56;;60626:19;;;;;65627:6;65578:16;:56::i;67612:103::-;67675:7;67702:5;67706:1;67702;:5;:::i;66853:645::-;67090:12;;67027:17;;;;67125:8;;:35;;67140:5;67146:7;67152:1;67146:3;:7;:::i;:::-;67140:14;;;;;;;;:::i;:::-;;;;;;;;;;:20;;;;-1:-1:-1;;;;;67140:20:0;67125:35;;;67136:1;67125:35;-1:-1:-1;;;;;67113:47:0;;;67183:20;67186:9;67197:5;67183:2;:20;;:::i;:::-;67171:32;;67226:1;67220:3;:7;:51;;;;-1:-1:-1;67259:12:0;67231:5;67237:7;67243:1;67237:3;:7;:::i;:::-;67231:14;;;;;;;;:::i;:::-;;;;;;;;;;:24;;;:40;67220:51;67216:275;;;67311:29;67330:9;67311:18;:29::i;:::-;67288:5;67294:7;67300:1;67294:3;:7;:::i;:::-;67288:14;;;;;;;;:::i;:::-;;;;;;;;:20;;;:52;;;;;-1:-1:-1;;;;;67288:52:0;;;;;-1:-1:-1;;;;;67288:52:0;;;;;;67216:275;;;67373:5;67384:94;;;;;;;;67407:31;67425:12;67407:17;:31::i;:::-;67384:94;;;;;;67447:29;67466:9;67447:18;:29::i;:::-;-1:-1:-1;;;;;67384:94:0;;;;;;67373:106;;;;;;;-1:-1:-1;67373:106:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;67216:275;67065:433;66853:645;;;;;;:::o;67506:98::-;67564:7;67591:5;67595:1;67591;:5;:::i;12724:399::-;-1:-1:-1;;;;;12808:21:0;;12800:65;;;;-1:-1:-1;;;12800:65:0;;20947:2:1;12800:65:0;;;20929:21:1;20986:2;20966:18;;;20959:30;21025:33;21005:18;;;20998:61;21076:18;;12800:65:0;20745:355:1;12800:65:0;12878:49;12907:1;12911:7;12920:6;12878:20;:49::i;:::-;12956:6;12940:12;;:22;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;;;12973:18:0;;:9;:18;;;;;;;;;;:28;;12995:6;;12973:9;:28;;12995:6;;12973:28;:::i;:::-;;;;-1:-1:-1;;13017:37:0;;1391:25:1;;;-1:-1:-1;;;;;13017:37:0;;;13034:1;;13017:37;;1379:2:1;1364:18;13017:37:0;;;;;;;13067:48;13095:1;13099:7;13108:6;13067:19;:48::i;28421:146::-;-1:-1:-1;;;;;28505:33:0;;;;;;:24;:33;;;;;;;;7756:18;;;;;;;;28489:70;;28505:33;28489:15;:70::i;28540:18::-;28489:15;:70::i;28575:118::-;28632:53;28648:21;28671:13;7572:12;;;7484:108;51048:195;51105:7;-1:-1:-1;;;;;51133:26:0;;;51125:78;;;;-1:-1:-1;;;51125:78:0;;21307:2:1;51125:78:0;;;21289:21:1;21346:2;21326:18;;;21319:30;21385:34;21365:18;;;21358:62;-1:-1:-1;;;21436:18:1;;;21429:37;21483:19;;51125:78:0;21105:403:1;28701:310:0;28796:17;28816:23;:21;:23::i;:::-;28796:43;-1:-1:-1;28796:43:0;28854:30;28870:9;28854:15;:30::i;:::-;:42;28850:154;;;28913:29;;;;;;;;-1:-1:-1;28913:29:0;;;;;;;;;;;;;;28957:16;;;:35;;;;;;;;;;;;;;;28701:310::o;29019:212::-;29113:10;;29089:7;;29109:115;;-1:-1:-1;29152:1:0;;29019:212;-1:-1:-1;29019:212:0:o;29109:115::-;29197:10;;29193:3;;29197:14;;29210:1;;29197:14;:::i;:::-;29193:19;;;;;;;;:::i;:::-;;;;;;;;;29186:26;;29019:212;;;:::o;29109:115::-;29019:212;;;:::o;14:597:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;452:6;449:1;446:13;443:91;;;522:1;517:2;508:6;497:9;493:22;489:31;482:42;443:91;-1:-1:-1;595:2:1;574:15;-1:-1:-1;;570:29:1;555:45;;;;602:2;551:54;;14:597;-1:-1:-1;;;14:597:1:o;616:173::-;684:20;;-1:-1:-1;;;;;733:31:1;;723:42;;713:70;;779:1;776;769:12;794:254;862:6;870;923:2;911:9;902:7;898:23;894:32;891:52;;;939:1;936;929:12;891:52;962:29;981:9;962:29;:::i;:::-;952:39;1038:2;1023:18;;;;1010:32;;-1:-1:-1;;;794:254:1:o;1427:328::-;1504:6;1512;1520;1573:2;1561:9;1552:7;1548:23;1544:32;1541:52;;;1589:1;1586;1579:12;1541:52;1612:29;1631:9;1612:29;:::i;:::-;1602:39;;1660:38;1694:2;1683:9;1679:18;1660:38;:::i;:::-;1650:48;;1745:2;1734:9;1730:18;1717:32;1707:42;;1427:328;;;;;:::o;2131:186::-;2190:6;2243:2;2231:9;2222:7;2218:23;2214:32;2211:52;;;2259:1;2256;2249:12;2211:52;2282:29;2301:9;2282:29;:::i;2727:180::-;2786:6;2839:2;2827:9;2818:7;2814:23;2810:32;2807:52;;;2855:1;2852;2845:12;2807:52;-1:-1:-1;2878:23:1;;2727:180;-1:-1:-1;2727:180:1:o;2912:156::-;2978:20;;3038:4;3027:16;;3017:27;;3007:55;;3058:1;3055;3048:12;3073:531;3175:6;3183;3191;3199;3207;3215;3268:3;3256:9;3247:7;3243:23;3239:33;3236:53;;;3285:1;3282;3275:12;3236:53;3308:29;3327:9;3308:29;:::i;:::-;3298:39;;3384:2;3373:9;3369:18;3356:32;3346:42;;3435:2;3424:9;3420:18;3407:32;3397:42;;3458:36;3490:2;3479:9;3475:18;3458:36;:::i;:::-;3448:46;;3541:3;3530:9;3526:19;3513:33;3503:43;;3593:3;3582:9;3578:19;3565:33;3555:43;;3073:531;;;;;;;;:::o;3609:127::-;3670:10;3665:3;3661:20;3658:1;3651:31;3701:4;3698:1;3691:15;3725:4;3722:1;3715:15;3741:275;3812:2;3806:9;3877:2;3858:13;;-1:-1:-1;;3854:27:1;3842:40;;3912:18;3897:34;;3933:22;;;3894:62;3891:88;;;3959:18;;:::i;:::-;3995:2;3988:22;3741:275;;-1:-1:-1;3741:275:1:o;4021:183::-;4081:4;4114:18;4106:6;4103:30;4100:56;;;4136:18;;:::i;:::-;-1:-1:-1;4181:1:1;4177:14;4193:4;4173:25;;4021:183::o;4209:662::-;4263:5;4316:3;4309:4;4301:6;4297:17;4293:27;4283:55;;4334:1;4331;4324:12;4283:55;4370:6;4357:20;4396:4;4420:60;4436:43;4476:2;4436:43;:::i;:::-;4420:60;:::i;:::-;4514:15;;;4600:1;4596:10;;;;4584:23;;4580:32;;;4545:12;;;;4624:15;;;4621:35;;;4652:1;4649;4642:12;4621:35;4688:2;4680:6;4676:15;4700:142;4716:6;4711:3;4708:15;4700:142;;;4782:17;;4770:30;;4820:12;;;;4733;;4700:142;;;-1:-1:-1;4860:5:1;4209:662;-1:-1:-1;;;;;;4209:662:1:o;4876:1146::-;4994:6;5002;5055:2;5043:9;5034:7;5030:23;5026:32;5023:52;;;5071:1;5068;5061:12;5023:52;5111:9;5098:23;5140:18;5181:2;5173:6;5170:14;5167:34;;;5197:1;5194;5187:12;5167:34;5235:6;5224:9;5220:22;5210:32;;5280:7;5273:4;5269:2;5265:13;5261:27;5251:55;;5302:1;5299;5292:12;5251:55;5338:2;5325:16;5360:4;5384:60;5400:43;5440:2;5400:43;:::i;5384:60::-;5478:15;;;5560:1;5556:10;;;;5548:19;;5544:28;;;5509:12;;;;5584:19;;;5581:39;;;5616:1;5613;5606:12;5581:39;5640:11;;;;5660:148;5676:6;5671:3;5668:15;5660:148;;;5742:23;5761:3;5742:23;:::i;:::-;5730:36;;5693:12;;;;5786;;;;5660:148;;;5827:5;-1:-1:-1;;5870:18:1;;5857:32;;-1:-1:-1;;5901:16:1;;;5898:36;;;5930:1;5927;5920:12;5898:36;;5953:63;6008:7;5997:8;5986:9;5982:24;5953:63;:::i;:::-;5943:73;;;4876:1146;;;;;:::o;6027:606::-;6138:6;6146;6154;6162;6170;6178;6186;6239:3;6227:9;6218:7;6214:23;6210:33;6207:53;;;6256:1;6253;6246:12;6207:53;6279:29;6298:9;6279:29;:::i;:::-;6269:39;;6327:38;6361:2;6350:9;6346:18;6327:38;:::i;:::-;6317:48;;6412:2;6401:9;6397:18;6384:32;6374:42;;6463:2;6452:9;6448:18;6435:32;6425:42;;6486:37;6518:3;6507:9;6503:19;6486:37;:::i;:::-;6476:47;;6570:3;6559:9;6555:19;6542:33;6532:43;;6622:3;6611:9;6607:19;6594:33;6584:43;;6027:606;;;;;;;;;;:::o;6638:260::-;6706:6;6714;6767:2;6755:9;6746:7;6742:23;6738:32;6735:52;;;6783:1;6780;6773:12;6735:52;6806:29;6825:9;6806:29;:::i;:::-;6796:39;;6854:38;6888:2;6877:9;6873:18;6854:38;:::i;:::-;6844:48;;6638:260;;;;;:::o;6903:350::-;6970:6;6978;7031:2;7019:9;7010:7;7006:23;7002:32;6999:52;;;7047:1;7044;7037:12;6999:52;7070:29;7089:9;7070:29;:::i;:::-;7060:39;;7149:2;7138:9;7134:18;7121:32;7193:10;7186:5;7182:22;7175:5;7172:33;7162:61;;7219:1;7216;7209:12;7162:61;7242:5;7232:15;;;6903:350;;;;;:::o;7609:380::-;7688:1;7684:12;;;;7731;;;7752:61;;7806:4;7798:6;7794:17;7784:27;;7752:61;7859:2;7851:6;7848:14;7828:18;7825:38;7822:161;;;7905:10;7900:3;7896:20;7893:1;7886:31;7940:4;7937:1;7930:15;7968:4;7965:1;7958:15;8403:127;8464:10;8459:3;8455:20;8452:1;8445:31;8495:4;8492:1;8485:15;8519:4;8516:1;8509:15;8535:128;8575:3;8606:1;8602:6;8599:1;8596:13;8593:39;;;8612:18;;:::i;:::-;-1:-1:-1;8648:9:1;;8535:128::o;9028:356::-;9230:2;9212:21;;;9249:18;;;9242:30;9308:34;9303:2;9288:18;;9281:62;9375:2;9360:18;;9028:356::o;9389:125::-;9429:4;9457:1;9454;9451:8;9448:34;;;9462:18;;:::i;:::-;-1:-1:-1;9499:9:1;;9389:125::o;9519:127::-;9580:10;9575:3;9571:20;9568:1;9561:31;9611:4;9608:1;9601:15;9635:4;9632:1;9625:15;11907:135;11946:3;-1:-1:-1;;11967:17:1;;11964:43;;;11987:18;;:::i;:::-;-1:-1:-1;12034:1:1;12023:13;;11907:135::o;17402:217::-;17442:1;17468;17458:132;;17512:10;17507:3;17503:20;17500:1;17493:31;17547:4;17544:1;17537:15;17575:4;17572:1;17565:15;17458:132;-1:-1:-1;17604:9:1;;17402:217::o;18677:127::-;18738:10;18733:3;18729:20;18726:1;18719:31;18769:4;18766:1;18759:15;18793:4;18790:1;18783:15

ipfs://5f85bd346b15c3cea6fe04e0ac21ff7d655507cb46ebb70089584b817fb32cab