Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library Address
•    - function isContract(address account)
•    - function toPayable(address account)
•    - function sendValue(address payable re ...
• library SafeERC20
•    - function safeTransfer(IERC20 token, a ...
•    - function safeTransferFrom(IERC20 toke ...
•    - function safeApprove(IERC20 token, ad ...
•    - function safeIncreaseAllowance(IERC20 ...
•    - function safeDecreaseAllowance(IERC20 ...
•    - function callOptionalReturn(IERC20 to ...
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•  contract Initializable
•    - function isConstructor()
•  contract Context is Initializable
•    - function _msgSender()
•    - function _msgData()
•  contract Ownable is Initializable, ...
•    - function initialize(address sender)
•    - function owner()
•    - function isOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•    - function mod(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b, st ...
• library ECDSA
•    - function recover(bytes32 hash, bytes ...
•    - function toEthSignedMessageHash(bytes ...
•  contract VestingVault is Initializ ... *
•    - function initialize(
•    - function beneficiary()
•    - function beneficiaryVerified()
•    - function vestingAmount()
•    - function intervalVested()
•    - function cliff()
•    - function interval()
•    - function stamp()
•    - function start()
•    - function duration()
•    - function revocable()
•    - function released(address token)
•    - function revoked(address token)
•    - function releasable(IERC20 token)
•    - function release(IERC20 token)
•    - function revoke(IERC20 token)
•    - function _releasableAmount(IERC20 tok ...
•    - function _vestedAmount(IERC20 token)
•    - function getBatchTimestamp()
•    - function getCalculatedIntervalInSecon ...
•    - function setCalculatedVestedAmountPer ...
•    - function getVestedAmountNow()
•    - function verifyAddress(bytes32 hash, ...
•    - function recover(bytes32 hash, bytes ...
•    - function toEthSignedMessageHash(bytes ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-10-29
*/

// File: @openzeppelin\contracts-ethereum-package\contracts\utils\Address.sol

pragma solidity ^0.5.5;

/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev Returns true if `account` is a contract.
     *
     * [IMPORTANT]
     * ====
     * It is unsafe to assume that an address for which this function returns
     * false is an externally-owned account (EOA) and not a contract.
     *
     * Among others, `isContract` will return false for the following 
     * types of addresses:
     *
     *  - an externally-owned account
     *  - a contract in construction
     *  - an address where a contract will be created
     *  - an address where a contract lived, but was destroyed
     * ====
     */
    function isContract(address account) internal view returns (bool) {
        // According to EIP-1052, 0x0 is the value returned for not-yet created accounts
        // and 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470 is returned
        // for accounts without code, i.e. `keccak256('')`
        bytes32 codehash;
        bytes32 accountHash = 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470;
        // solhint-disable-next-line no-inline-assembly
        assembly { codehash := extcodehash(account) }
        return (codehash != accountHash && codehash != 0x0);
    }

    /**
     * @dev Converts an `address` into `address payable`. Note that this is
     * simply a type cast: the actual underlying value is not changed.
     *
     * _Available since v2.4.0._
     */
    function toPayable(address account) internal pure returns (address payable) {
        return address(uint160(account));
    }

    /**
     * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
     * `recipient`, forwarding all available gas and reverting on errors.
     *
     * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
     * of certain opcodes, possibly making contracts go over the 2300 gas limit
     * imposed by `transfer`, making them unable to receive funds via
     * `transfer`. {sendValue} removes this limitation.
     *
     * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
     *
     * IMPORTANT: because control is transferred to `recipient`, care must be
     * taken to not create reentrancy vulnerabilities. Consider using
     * {ReentrancyGuard} or the
     * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
     *
     * _Available since v2.4.0._
     */
    function sendValue(address payable recipient, uint256 amount) internal {
        require(address(this).balance >= amount, "Address: insufficient balance");

        // solhint-disable-next-line avoid-call-value
        (bool success, ) = recipient.call.value(amount)("");
        require(success, "Address: unable to send value, recipient may have reverted");
    }
}

// File: @openzeppelin\contracts-ethereum-package\contracts\token\ERC20\SafeERC20.sol

pragma solidity ^0.5.0;




/**
 * @title SafeERC20
 * @dev Wrappers around ERC20 operations that throw on failure (when the token
 * contract returns false). Tokens that return no value (and instead revert or
 * throw on failure) are also supported, non-reverting calls are assumed to be
 * successful.
 * To use this library you can add a `using SafeERC20 for ERC20;` statement to your contract,
 * which allows you to call the safe operations as `token.safeTransfer(...)`, etc.
 */
library SafeERC20 {
    using SafeMath for uint256;
    using Address for address;

    function safeTransfer(IERC20 token, address to, uint256 value) internal {
        callOptionalReturn(token, abi.encodeWithSelector(token.transfer.selector, to, value));
    }

    function safeTransferFrom(IERC20 token, address from, address to, uint256 value) internal {
        callOptionalReturn(token, abi.encodeWithSelector(token.transferFrom.selector, from, to, value));
    }

    function safeApprove(IERC20 token, address spender, uint256 value) internal {
        // safeApprove should only be called when setting an initial allowance,
        // or when resetting it to zero. To increase and decrease it, use
        // 'safeIncreaseAllowance' and 'safeDecreaseAllowance'
        // solhint-disable-next-line max-line-length
        require((value == 0) || (token.allowance(address(this), spender) == 0),
            "SafeERC20: approve from non-zero to non-zero allowance"
        );
        callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, value));
    }

    function safeIncreaseAllowance(IERC20 token, address spender, uint256 value) internal {
        uint256 newAllowance = token.allowance(address(this), spender).add(value);
        callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
    }

    function safeDecreaseAllowance(IERC20 token, address spender, uint256 value) internal {
        uint256 newAllowance = token.allowance(address(this), spender).sub(value, "SafeERC20: decreased allowance below zero");
        callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
    }

    /**
     * @dev Imitates a Solidity high-level call (i.e. a regular function call to a contract), relaxing the requirement
     * on the return value: the return value is optional (but if data is returned, it must not be false).
     * @param token The token targeted by the call.
     * @param data The call data (encoded using abi.encode or one of its variants).
     */
    function callOptionalReturn(IERC20 token, bytes memory data) private {
        // We need to perform a low level call here, to bypass Solidity's return data size checking mechanism, since
        // we're implementing it ourselves.

        // A Solidity high level call has three parts:
        //  1. The target address is checked to verify it contains contract code
        //  2. The call itself is made, and success asserted
        //  3. The return value is decoded, which in turn checks the size of the returned data.
        // solhint-disable-next-line max-line-length
        require(address(token).isContract(), "SafeERC20: call to non-contract");

        // solhint-disable-next-line avoid-low-level-calls
        (bool success, bytes memory returndata) = address(token).call(data);
        require(success, "SafeERC20: low-level call failed");

        if (returndata.length > 0) { // Return data is optional
            // solhint-disable-next-line max-line-length
            require(abi.decode(returndata, (bool)), "SafeERC20: ERC20 operation did not succeed");
        }
    }
}

// File: @openzeppelin\contracts-ethereum-package\contracts\token\ERC20\IERC20.sol

pragma solidity ^0.5.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP. Does not include
 * the optional functions; to access them see {ERC20Detailed}.
 */
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\upgrades\contracts\Initializable.sol

pragma solidity >=0.4.24 <0.7.0;


/**
 * @title Initializable
 *
 * @dev Helper contract to support initializer functions. To use it, replace
 * the constructor with a function that has the `initializer` modifier.
 * WARNING: Unlike constructors, initializer functions must be manually
 * invoked. This applies both to deploying an Initializable contract, as well
 * as extending an Initializable contract via inheritance.
 * WARNING: When used with inheritance, manual care must be taken to not invoke
 * a parent initializer twice, or ensure that all initializers are idempotent,
 * because this is not dealt with automatically as with constructors.
 */
contract Initializable {

  /**
   * @dev Indicates that the contract has been initialized.
   */
  bool private initialized;

  /**
   * @dev Indicates that the contract is in the process of being initialized.
   */
  bool private initializing;

  /**
   * @dev Modifier to use in the initializer function of a contract.
   */
  modifier initializer() {
    require(initializing || isConstructor() || !initialized, "Contract instance has already been initialized");

    bool isTopLevelCall = !initializing;
    if (isTopLevelCall) {
      initializing = true;
      initialized = true;
    }

    _;

    if (isTopLevelCall) {
      initializing = false;
    }
  }

  /// @dev Returns true if and only if the function is running in the constructor
  function isConstructor() private view returns (bool) {
    // extcodesize checks the size of the code stored in an address, and
    // address returns the current address. Since the code is still not
    // deployed when running a constructor, any checks on its code size will
    // yield zero, making it an effective way to detect if a contract is
    // under construction or not.
    address self = address(this);
    uint256 cs;
    assembly { cs := extcodesize(self) }
    return cs == 0;
  }

  // Reserved storage space to allow for layout changes in the future.
  uint256[50] private ______gap;
}

// File: node_modules\@openzeppelin\contracts-ethereum-package\contracts\GSN\Context.sol

pragma solidity ^0.5.0;


/*
 * @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 GSN 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.
 */
contract Context is Initializable {
    // Empty internal constructor, to prevent people from mistakenly deploying
    // an instance of this contract, which should be used via inheritance.
    constructor () internal { }
    // solhint-disable-previous-line no-empty-blocks

    function _msgSender() internal view returns (address payable) {
        return msg.sender;
    }

    function _msgData() internal view returns (bytes memory) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}

// File: @openzeppelin\contracts-ethereum-package\contracts\ownership\Ownable.sol

pragma solidity ^0.5.0;



/**
 * @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.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be aplied to your functions to restrict their use to
 * the owner.
 */
contract Ownable is Initializable, Context {
    address private _owner;

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

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    function initialize(address sender) public initializer {
        _owner = sender;
        emit OwnershipTransferred(address(0), _owner);
    }

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

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

    /**
     * @dev Returns true if the caller is the current owner.
     */
    function isOwner() public view returns (bool) {
        return _msgSender() == _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 onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = 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 onlyOwner {
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     */
    function _transferOwnership(address newOwner) internal {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }

    uint256[50] private ______gap;
}

// File: @openzeppelin\contracts-ethereum-package\contracts\math\SafeMath.sol

pragma solidity ^0.5.0;

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when 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.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

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

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     *
     * _Available since v2.4.0._
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

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

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

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     *
     * _Available since v2.4.0._
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

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

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

// File: @openzeppelin\contracts-ethereum-package\contracts\cryptography\ECDSA.sol

pragma solidity ^0.5.0;

/**
 * @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 {
    /**
     * @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.
     *
     * NOTE: This call _does not revert_ if the signature is invalid, or
     * if the signer is otherwise unable to be retrieved. In those scenarios,
     * the zero address is returned.
     *
     * 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) {
        // Check the signature length
        if (signature.length != 65) {
            return (address(0));
        }

        // Divide the signature in r, s and v variables
        bytes32 r;
        bytes32 s;
        uint8 v;

        // ecrecover takes the signature parameters, and the only way to get them
        // currently is to use assembly.
        // solhint-disable-next-line no-inline-assembly
        assembly {
            r := mload(add(signature, 0x20))
            s := mload(add(signature, 0x40))
            v := byte(0, mload(add(signature, 0x60)))
        }

        // 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 (281): 0 < s < secp256k1n ÷ 2 + 1, and for v in (282): 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);
        }

        if (v != 27 && v != 28) {
            return address(0);
        }

        // If the signature is valid (and not malleable), return the signer address
        return ecrecover(hash, v, r, s);
    }

    /**
     * @dev Returns an Ethereum Signed Message, created from a `hash`. This
     * replicates the behavior of the
     * https://github.com/ethereum/wiki/wiki/JSON-RPC#eth_sign[`eth_sign`]
     * JSON-RPC method.
     *
     * 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));
    }
}

// File: contracts\VestingVault.sol

pragma solidity ^0.5.0;







/**
 * @title VestingVault
 * @dev A token holder contract that can release its token balance gradually like a
 * typical vesting scheme, with a cliff and vesting period. Optionally revocable by the
 * owner.
 */
contract VestingVault is Initializable, Ownable {
    // The vesting schedule is time-based (i.e. using block timestamps as opposed to e.g. block numbers), and is
    // therefore sensitive to timestamp manipulation (which is something miners can do, to a certain degree). Therefore,
    // it is recommended to avoid using short time durations (less than a minute). Typical vesting schemes, with a
    // cliff period of a year and a duration of four years, are safe to use.
    // solhint-disable not-rely-on-time

    using SafeMath for uint256;
    using SafeERC20 for IERC20;
    using ECDSA for bytes32;

    event TokensReleased(address token, uint256 amount);
    event TokenVestingRevoked(address token);
    event TokenVestingBeneficiaryVerified(address beneficiary);

    // beneficiary of tokens after they are released
    address private _beneficiary;
    uint256 private _vestingAmount;
    uint256 private _intervalVested;
    uint256 private _cliff;
    uint256 private _start;
    uint256 private _interval;
    string private _stamp;
    uint256 private _duration;
    bool private _revocable;
    bool private _beneficiaryVerified;

    // Durations and timestamps are expressed in UNIX time, the same units as block.timestamp.
    uint32 private constant SECONDS_PER_MINUTE = 60;
    uint32 private constant MINUTES_PER_HOUR = 60;
    uint32 private constant SECONDS_PER_HOUR = SECONDS_PER_MINUTE * MINUTES_PER_HOUR;
    uint32 private constant HOURS_PER_DAY = 24;
    uint32 private constant SECONDS_PER_DAY = HOURS_PER_DAY * SECONDS_PER_HOUR; // 86400 seconds per day
    uint32 private constant DAYS_PER_MONTH = 30;
    uint32 private constant SECONDS_PER_MONTH = DAYS_PER_MONTH * SECONDS_PER_DAY; // Month here is of 30 days period or 2592000 seconds per month.
    uint32 private constant DAYS_PER_YEAR = 365;
    uint32 private constant SECONDS_PER_YEAR = DAYS_PER_YEAR * SECONDS_PER_DAY; // Year here is of 365 days period.

    mapping(address => uint256) private _released;
    mapping(address => bool) private _revoked;

    /**
     * @dev Creates a vesting contract that vests its balance of any ERC20 token to the
     * beneficiary, gradually in a linear fashion until start + duration. By then all
     * of the balance will have vested.
     * @param beneficiary address of the beneficiary to whom vested tokens are transferred
     * @param vestingAmount vesting amount of the benefeciary to be recieved
     * @param cliffDuration duration in seconds of the cliff in which tokens will begin to vest
     * @param start the time (as Unix time) at which point vesting starts
     * @param duration duration in seconds of the period in which the tokens will vest
     * @param interval The time period at which the tokens has to be vested
     * @param stamp the interval is in Minutes(MIN)/Hours(H)/Days(D)/Months(M)/Years(Y)
     * @param revocable whether the vesting is revocable or not
     */
    function initialize(
        address beneficiary,
        uint256 vestingAmount,
        uint256 start,
        uint256 cliffDuration,
        uint256 duration,
        uint256 interval,
        string memory stamp,
        bool revocable
    ) public initializer {

        require(
            beneficiary != address(0),
            "VestingVault: beneficiary is the zero address"
        );
        require(duration > 0, "VestingVault: duration is 0");
        // solhint-disable-next-line max-line-length
        require(
            cliffDuration <= duration,
            "VestingVault: cliff is longer than duration"
        );
        // solhint-disable-next-line max-line-length
        require(
            start.add(duration) > block.timestamp,
            "VestingVault: final time is before current time"
        );
        require(
            keccak256(abi.encodePacked(stamp)) == keccak256("MIN") ||
            keccak256(abi.encodePacked(stamp)) == keccak256("H") ||
            keccak256(abi.encodePacked(stamp)) == keccak256("D") ||
            keccak256(abi.encodePacked(stamp)) == keccak256("M") ||
            keccak256(abi.encodePacked(stamp)) == keccak256("Y"),
            "VestingVault: Interval Stamp can be Minutes(MIN)/Hours(H)/Days(D)/Months(M)/Years(Y)"
        );
        uint256 interval_in_sec = getCalculatedIntervalInSeconds(interval, stamp);
        require(
            ((cliffDuration % interval_in_sec == 0) && (duration % interval_in_sec == 0)) ,
            "VestingVault: duration & cliffDuration should multiplication of interval"
        );

        Ownable.initialize(msg.sender);

        _beneficiary = beneficiary;
        _revocable = revocable;
        _vestingAmount = vestingAmount;
        _duration = duration;
        _cliff = start.add(cliffDuration);
        _interval = interval;
        _stamp = stamp;
        _start = start;
        _beneficiaryVerified = false;
        setCalculatedVestedAmountPerInterval(vestingAmount, duration, interval, stamp);
    }

    /**
     * @return the beneficiary of the tokens vesting.
     */
    function beneficiary() public view returns (address) {
        return _beneficiary;
    }

    /**
     * @return the beneficiaryVerified of the tokens vesting.
     */
    function beneficiaryVerified() public view returns (bool) {
        return _beneficiaryVerified;
    }

    /**
     * @return the vesting amount of the benefeciary.
     */
    function vestingAmount() public view returns (uint256) {
        return _vestingAmount;
    }

    /**
     * @return the amount of token to be vested for the benefeciary per interval.
     */
    function intervalVested() public view returns (uint256) {
        return _intervalVested;
    }

    /**
     * @return the cliff time of the token vesting.
     */
    function cliff() public view returns (uint256) {
        return _cliff;
    }

    /**
     * @return the interval time of the token vesting in seconds.
     */
    function interval() public view returns (uint256) {
        return _interval;
    }

    /**
     * @return the interval time is respect to Minutes(MIN)/Hours(H)/Days(D)/Months(M)/Years(Y).
     */
    function stamp() public view returns (string memory) {
        return _stamp;
    }

    /**
     * @return the start time of the token vesting.
     */
    function start() public view returns (uint256) {
        return _start;
    }

    /**
     * @return the duration of the token vesting.
     */
    function duration() public view returns (uint256) {
        return _duration;
    }

    /**
     * @return true if the vesting is revocable.
     */
    function revocable() public view returns (bool) {
        return _revocable;
    }

    /**
     * @return the amount of the token released.
     */
    function released(address token) public view returns (uint256) {
        return _released[token];
    }

    /**
     * @return true if the token is revoked.
     */
    function revoked(address token) public view returns (bool) {
        return _revoked[token];
    }

    /**
     * @dev Calculates the amount that has already vested but hasn't been released yet.
     * @param token ERC20 token which is being vested
     */
    function releasable(IERC20 token) public view returns (uint256) {
        return _vestedAmount(token).sub(_released[address(token)]);
    }

    /**
     * @notice Transfers vested tokens to beneficiary.
     * @param token ERC20 token which is being vested
     */
    function release(IERC20 token) public {

        require(_beneficiaryVerified == true, "VestingVault: Beneficiary signature not yet verified");

        require(block.timestamp > _cliff, "VestingVault: you have not passed the lock period yet");

        uint256 unreleased = _releasableAmount(token);

        require(unreleased > 0, "VestingVault: no tokens are due");

        _released[address(token)] = _released[address(token)].add(unreleased);

        token.safeTransfer(_beneficiary, unreleased);

        emit TokensReleased(address(token), unreleased);
    }

    /**
     * @notice Allows the owner to revoke the vesting. Tokens already vested
     * remain in the contract, the rest are returned to the owner.
     * @param token ERC20 token which is being vested
     */
    function revoke(IERC20 token) public onlyOwner {
        require(_revocable, "VestingVault: cannot revoke");
        require(
            !_revoked[address(token)],
            "VestingVault: token already revoked"
        );

        uint256 balance = token.balanceOf(address(this));

        uint256 unreleased = _releasableAmount(token);
        uint256 refund = balance.sub(unreleased);

        _revoked[address(token)] = true;

        token.safeTransfer(owner(), refund);

        emit TokenVestingRevoked(address(token));
    }

    /**
     * @dev Calculates the amount that has already vested but hasn't been released yet.
     * @param token ERC20 token which is being vested
     */
    function _releasableAmount(IERC20 token) private view returns (uint256) {
        return _vestedAmount(token).sub(_released[address(token)]);
    }

    /**
     * @dev Calculates the amount that has already vested.
     * @param token ERC20 token which is being vested
     */
    function _vestedAmount(IERC20 token) private view returns (uint256) {
        uint256 currentBalance = token.balanceOf(address(this));
        uint256 totalBalance = currentBalance.add(_released[address(token)]);

        if (block.timestamp < _cliff) {
            return 0;
        } else if (
            block.timestamp >= _start.add(_duration) || _revoked[address(token)]
        ) {
            return totalBalance;
        } else {
            return getBatchTimestamp().mul(totalBalance).div(_duration);
        }
    }

    /**
     * @return Retrieves the duration passed from start till now according to interval in seconds.
     */
    function getBatchTimestamp() private view returns (uint256) {
        require(
            block.timestamp > _start,
            "VestingVault: Current timestamp is smaller than start time"
        );

        uint256 INTERVAL_TIMESTAMP = getCalculatedIntervalInSeconds(_interval,_stamp);
        uint256 ADJUSTED_INTERVAL = (block.timestamp.sub(_start)).div(INTERVAL_TIMESTAMP);

        uint256 START_TILL_NOW = ADJUSTED_INTERVAL.mul(INTERVAL_TIMESTAMP);
        return START_TILL_NOW;
    }

    /**
     * @return Timestamp in Interval.
     */
    function getCalculatedIntervalInSeconds(uint256 interval__, string memory stamp__) public pure returns (uint256) {
        if (keccak256(abi.encodePacked(stamp__)) == keccak256("MIN")) {
            return (SECONDS_PER_MINUTE * interval__);
        } else if (keccak256(abi.encodePacked(stamp__)) == keccak256("H")) {
            return (SECONDS_PER_HOUR * interval__);
        } else if (keccak256(abi.encodePacked(stamp__)) == keccak256("D")) {
            return (SECONDS_PER_DAY * interval__);
        } else if (keccak256(abi.encodePacked(stamp__)) == keccak256("M")) {
            return (SECONDS_PER_MONTH * interval__);
        } else if (keccak256(abi.encodePacked(stamp__)) == keccak256("Y")) {
            return (SECONDS_PER_YEAR * interval__);
        }
    }

    /**
     * @dev Sets the calculated vesting amount per interval.
     * @param vestedAmount The total amount that is to be vested. 
     * @param duration_ The total duration in which the veted tokens will be released.
     * @param interval_ The intervals at which the token will be released.
     * @param stamp_ The intervals mentioned are in Minutes(MIN)/Hours(H)/Days(D)/Months(M)/Years(Y).
     */
    function setCalculatedVestedAmountPerInterval(
        uint256 vestedAmount,
        uint256 duration_,
        uint256 interval_,
        string memory stamp_
    ) private {
        uint256 diff = vestedAmount;

        if (keccak256(abi.encodePacked(stamp_)) == keccak256("MIN")) {
            _intervalVested = (
                diff.div(duration_.div(SECONDS_PER_MINUTE).div(interval_))
            );
        } else if (keccak256(abi.encodePacked(stamp_)) == keccak256("H")) {
            _intervalVested = (
                diff.div(duration_.div(SECONDS_PER_HOUR).div(interval_))
            );
        } else if (keccak256(abi.encodePacked(stamp_)) == keccak256("D")) {
            _intervalVested = (
                diff.div(duration_.div(SECONDS_PER_DAY).div(interval_))
            );
        } else if (keccak256(abi.encodePacked(stamp_)) == keccak256("M")) {
            _intervalVested = (
                diff.div(duration_.div(SECONDS_PER_MONTH).div(interval_))
            );
        } else if (keccak256(abi.encodePacked(stamp_)) == keccak256("Y")) {
            _intervalVested = (
                diff.div(duration_.div(SECONDS_PER_YEAR).div(interval_))
            );
        }
    }

    function getVestedAmountNow() public view returns (uint256) {
        return getBatchTimestamp().mul(_vestingAmount).div(_duration);
    }

    function verifyAddress(bytes32 hash, bytes memory signature) public returns (bool) {
        // bytes32 tmpHash = toEthSignedMessageHash(hash);
        address tempAddress = recover(hash, signature);
        require(tempAddress == _beneficiary, "VestingVault: ECDSA Recover Failed, Beneficiary Address Signature is invalid");
        _beneficiaryVerified = true;
        emit TokenVestingBeneficiaryVerified(_beneficiary);
        return true;
    }

    function recover(bytes32 hash, bytes memory signature) public pure returns (address) {
        return hash.recover(signature);
    }

    function toEthSignedMessageHash(bytes32 hash) public pure returns (bytes32) {
        return hash.toEthSignedMessageHash();
    }
    
    uint256[50] private ______gap;
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"vestingAmount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"duration","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"cliff","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"hash","type":"bytes32"},{"name":"signature","type":"bytes"}],"name":"recover","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":false,"inputs":[{"name":"token","type":"address"}],"name":"release","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"beneficiary","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"intervalVested","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"beneficiaryVerified","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getVestedAmountNow","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"interval__","type":"uint256"},{"name":"stamp__","type":"string"}],"name":"getCalculatedIntervalInSeconds","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":false,"inputs":[{"name":"beneficiary","type":"address"},{"name":"vestingAmount","type":"uint256"},{"name":"start","type":"uint256"},{"name":"cliffDuration","type":"uint256"},{"name":"duration","type":"uint256"},{"name":"interval","type":"uint256"},{"name":"stamp","type":"string"},{"name":"revocable","type":"bool"}],"name":"initialize","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"token","type":"address"}],"name":"revoke","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"revocable","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"hash","type":"bytes32"}],"name":"toEthSignedMessageHash","outputs":[{"name":"","type":"bytes32"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[],"name":"interval","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"token","type":"address"}],"name":"released","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"token","type":"address"}],"name":"releasable","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"start","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"sender","type":"address"}],"name":"initialize","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"stamp","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"hash","type":"bytes32"},{"name":"signature","type":"bytes"}],"name":"verifyAddress","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"token","type":"address"}],"name":"revoked","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"anonymous":false,"inputs":[{"indexed":false,"name":"token","type":"address"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"TokensReleased","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"token","type":"address"}],"name":"TokenVestingRevoked","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"beneficiary","type":"address"}],"name":"TokenVestingBeneficiaryVerified","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"}]

0x608060405234801561001057600080fd5b506004361061018d5760003560e01c8063872a7810116100de578063a3f8eace11610097578063c85e07b911610071578063c85e07b914610543578063dc5b2596146105c0578063f2fde38b1461066b578063fa01dc06146106915761018d565b8063a3f8eace146104ef578063be9a655514610515578063c4d66de81461051d5761018d565b8063872a78101461048c5780638da5cb5b146104945780638f32d59b1461049c578063918a15cf146104a4578063947a36fb146104c15780639852595c146104c95761018d565b80633d78e4d71161014b578063578a423c11610125578063578a423c146102df5780635a2ab2b61461038a578063715018a61461045e57806374a8f103146104665761018d565b80633d78e4d7146102b357806349fb7221146102bb578063521c5127146102d75761018d565b8062728f76146101925780630fb5a6b4146101ac57806313d033c0146101b457806319045a25146101bc578063191655871461028357806338af3eed146102ab575b600080fd5b61019a6106b7565b60408051918252519081900360200190f35b61019a6106be565b61019a6106c4565b610267600480360360408110156101d257600080fd5b81359190810190604081016020820135600160201b8111156101f357600080fd5b82018360208201111561020557600080fd5b803590602001918460018302840111600160201b8311171561022657600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295506106ca945050505050565b604080516001600160a01b039092168252519081900360200190f35b6102a96004803603602081101561029957600080fd5b50356001600160a01b03166106e5565b005b61026761087e565b61019a61088d565b6102c3610893565b604080519115158252519081900360200190f35b61019a6108a1565b61019a600480360360408110156102f557600080fd5b81359190810190604081016020820135600160201b81111561031657600080fd5b82018360208201111561032857600080fd5b803590602001918460018302840111600160201b8311171561034957600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295506108d4945050505050565b6102a960048036036101008110156103a157600080fd5b6001600160a01b038235169160208101359160408201359160608101359160808201359160a08101359181019060e0810160c0820135600160201b8111156103e857600080fd5b8201836020820111156103fa57600080fd5b803590602001918460018302840111600160201b8311171561041b57600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295505050503515159050610be7565b6102a96111d2565b6102a96004803603602081101561047c57600080fd5b50356001600160a01b031661127a565b6102c36114b2565b6102676114bb565b6102c36114ca565b61019a600480360360208110156104ba57600080fd5b50356114f0565b61019a611503565b61019a600480360360208110156104df57600080fd5b50356001600160a01b0316611509565b61019a6004803603602081101561050557600080fd5b50356001600160a01b0316611524565b61019a611556565b6102a96004803603602081101561053357600080fd5b50356001600160a01b031661155c565b61054b611653565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561058557818101518382015260200161056d565b50505050905090810190601f1680156105b25780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102c3600480360360408110156105d657600080fd5b81359190810190604081016020820135600160201b8111156105f757600080fd5b82018360208201111561060957600080fd5b803590602001918460018302840111600160201b8311171561062a57600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295506116e9945050505050565b6102a96004803603602081101561068157600080fd5b50356001600160a01b03166117a0565b6102c3600480360360208110156106a757600080fd5b50356001600160a01b031661180a565b6067545b90565b606d5490565b60695490565b60006106dc838363ffffffff61182816565b90505b92915050565b606e5460ff61010090910416151560011461073457604051600160e51b62461bcd02815260040180806020018281038252603481526020018061253c6034913960400191505060405180910390fd5b606954421161077757604051600160e51b62461bcd0281526004018080602001828103825260358152602001806125d76035913960400191505060405180910390fd5b600061078282611524565b90508015156107db5760408051600160e51b62461bcd02815260206004820152601f60248201527f56657374696e675661756c743a206e6f20746f6b656e73206172652064756500604482015290519081900360640190fd5b6001600160a01b0382166000908152606f6020526040902054610804908263ffffffff61191716565b6001600160a01b038084166000818152606f60205260409020929092556066546108369291168363ffffffff61197416565b604080516001600160a01b03841681526020810183905281517fc7798891864187665ac6dd119286e44ec13f014527aeeb2b8eb3fd413df93179929181900390910190a15050565b6066546001600160a01b031690565b60685490565b606e54610100900460ff1690565b60006108cf606d546108c36067546108b76119ce565b9063ffffffff611aeb16565b9063ffffffff611b4b16565b905090565b60006040518080600160e91b6226a4a70281525060030190506040518091039020826040516020018082805190602001908083835b602083106109285780518252601f199092019160209182019101610909565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040528051906020012014156109735750603c82026106df565b6040518080600160fb1b60090281525060010190506040518091039020826040516020018082805190602001908083835b602083106109c35780518252601f1990920191602091820191016109a4565b6001836020036101000a038019825116818451168082178552505050505050905001915050604051602081830303815290604052805190602001201415610a0f5750610e1082026106df565b6040518080600160fa1b60110281525060010190506040518091039020826040516020018082805190602001908083835b60208310610a5f5780518252601f199092019160209182019101610a40565b6001836020036101000a038019825116818451168082178552505050505050905001915050604051602081830303815290604052805190602001201415610aac57506201518082026106df565b6040518080600160f81b604d0281525060010190506040518091039020826040516020018082805190602001908083835b60208310610afc5780518252601f199092019160209182019101610add565b6001836020036101000a038019825116818451168082178552505050505050905001915050604051602081830303815290604052805190602001201415610b49575062278d0082026106df565b6040518080600160f81b60590281525060010190506040518091039020826040516020018082805190602001908083835b60208310610b995780518252601f199092019160209182019101610b7a565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040528051906020012014156106df57506301e1338082026106df565b600054610100900460ff1680610c005750610c00611b8d565b80610c0e575060005460ff16155b1515610c4e57604051600160e51b62461bcd02815260040180806020018281038252602e815260200180612658602e913960400191505060405180910390fd5b600054610100900460ff16158015610c79576000805460ff1961ff0019909116610100171660011790555b6001600160a01b0389161515610cc357604051600160e51b62461bcd02815260040180806020018281038252602d8152602001806125aa602d913960400191505060405180910390fd5b841515610d1a5760408051600160e51b62461bcd02815260206004820152601b60248201527f56657374696e675661756c743a206475726174696f6e20697320300000000000604482015290519081900360640190fd5b84861115610d5c57604051600160e51b62461bcd02815260040180806020018281038252602b81526020018061262d602b913960400191505060405180910390fd5b42610d6d888763ffffffff61191716565b11610dac57604051600160e51b62461bcd02815260040180806020018281038252602f81526020018061276e602f913960400191505060405180910390fd5b6040518080600160e91b6226a4a70281525060030190506040518091039020836040516020018082805190602001908083835b60208310610dfe5780518252601f199092019160209182019101610ddf565b6001836020036101000a038019825116818451168082178552505050505050905001915050604051602081830303815290604052805190602001201480610ecd57506040518080600160fb1b60090281525060010190506040518091039020836040516020018082805190602001908083835b60208310610e905780518252601f199092019160209182019101610e71565b6001836020036101000a03801982511681845116808217855250505050505090500191505060405160208183030381529060405280519060200120145b80610f6057506040518080600160fa1b60110281525060010190506040518091039020836040516020018082805190602001908083835b60208310610f235780518252601f199092019160209182019101610f04565b6001836020036101000a03801982511681845116808217855250505050505090500191505060405160208183030381529060405280519060200120145b80610ff357506040518080600160f81b604d0281525060010190506040518091039020836040516020018082805190602001908083835b60208310610fb65780518252601f199092019160209182019101610f97565b6001836020036101000a03801982511681845116808217855250505050505090500191505060405160208183030381529060405280519060200120145b8061108657506040518080600160f81b60590281525060010190506040518091039020836040516020018082805190602001908083835b602083106110495780518252601f19909201916020918201910161102a565b6001836020036101000a03801982511681845116808217855250505050505090500191505060405160208183030381529060405280519060200120145b15156110c657604051600160e51b62461bcd0281526004018080602001828103825260548152602001806126d26054913960600191505060405180910390fd5b60006110d285856108d4565b905080878115156110df57fe5b061580156110f6575080868115156110f357fe5b06155b151561113657604051600160e51b62461bcd0281526004018080602001828103825260488152602001806127266048913960600191505060405180910390fd5b61113f3361155c565b606680546001600160a01b0319166001600160a01b038c16179055606e805460ff19168415151790556067899055606d86905561117c8888611917565b606955606b859055835161119790606c90602087019061245a565b50606a889055606e805461ff00191690556111b489878787611b93565b5080156111c7576000805461ff00191690555b505050505050505050565b6111da6114ca565b15156112305760408051600160e51b62461bcd02815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b6033546040516000916001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3603380546001600160a01b0319169055565b6112826114ca565b15156112d85760408051600160e51b62461bcd02815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b606e5460ff1615156113345760408051600160e51b62461bcd02815260206004820152601b60248201527f56657374696e675661756c743a2063616e6e6f74207265766f6b650000000000604482015290519081900360640190fd5b6001600160a01b03811660009081526070602052604090205460ff161561138f57604051600160e51b62461bcd0281526004018080602001828103825260238152602001806125196023913960400191505060405180910390fd5b60408051600160e01b6370a0823102815230600482015290516000916001600160a01b038416916370a0823191602480820192602092909190829003018186803b1580156113dc57600080fd5b505afa1580156113f0573d6000803e3d6000fd5b505050506040513d602081101561140657600080fd5b50519050600061141583611524565b90506000611429838363ffffffff611eea16565b6001600160a01b0385166000908152607060205260409020805460ff1916600117905590506114706114596114bb565b6001600160a01b038616908363ffffffff61197416565b604080516001600160a01b038616815290517f39983c6d4d174a7aee564f449d4a5c3c7ac9649d72b7793c56901183996f8af69181900360200190a150505050565b606e5460ff1690565b6033546001600160a01b031690565b6033546000906001600160a01b03166114e1611f2c565b6001600160a01b031614905090565b60006114fb82611f30565b90505b919050565b606b5490565b6001600160a01b03166000908152606f602052604090205490565b6001600160a01b0381166000908152606f60205260408120546114fb9061154a84611f81565b9063ffffffff611eea16565b606a5490565b600054610100900460ff16806115755750611575611b8d565b80611583575060005460ff16155b15156115c357604051600160e51b62461bcd02815260040180806020018281038252602e815260200180612658602e913960400191505060405180910390fd5b600054610100900460ff161580156115ee576000805460ff1961ff0019909116610100171660011790555b603380546001600160a01b0319166001600160a01b0384811691909117918290556040519116906000907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3801561164f576000805461ff00191690555b5050565b606c8054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156116df5780601f106116b4576101008083540402835291602001916116df565b820191906000526020600020905b8154815290600101906020018083116116c257829003601f168201915b5050505050905090565b6000806116f684846106ca565b6066549091506001600160a01b0380831691161461174857604051600160e51b62461bcd02815260040180806020018281038252604c815260200180612686604c913960600191505060405180910390fd5b606e805461ff001916610100179055606654604080516001600160a01b039092168252517f2c72aa492f0b40b73c1e9fbf8c4d31f5149d4861fbb1facb35fb261328ef8b499181900360200190a15060019392505050565b6117a86114ca565b15156117fe5760408051600160e51b62461bcd02815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b611807816120a4565b50565b6001600160a01b031660009081526070602052604090205460ff1690565b805160009060411461183c575060006106df565b60208201516040830151606084015160001a7f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a082111561188257600093505050506106df565b8060ff16601b1415801561189a57508060ff16601c14155b156118ab57600093505050506106df565b6040805160008152602080820180845289905260ff8416828401526060820186905260808201859052915160019260a0808401939192601f1981019281900390910190855afa158015611902573d6000803e3d6000fd5b5050604051601f190151979650505050505050565b6000828201838110156106dc5760408051600160e51b62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b604080516001600160a01b038416602482015260448082018490528251808303909101815260649091019091526020810180516001600160e01b0316600160e01b63a9059cbb021790526119c990849061214a565b505050565b606a546000904211611a1457604051600160e51b62461bcd02815260040180806020018281038252603a815260200180612570603a913960400191505060405180910390fd5b606b54606c805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152600094611ab294909391929091830182828015611aa85780601f10611a7d57610100808354040283529160200191611aa8565b820191906000526020600020905b815481529060010190602001808311611a8b57829003601f168201915b50505050506108d4565b90506000611acf826108c3606a5442611eea90919063ffffffff16565b90506000611ae3828463ffffffff611aeb16565b935050505090565b6000821515611afc575060006106df565b828202828482811515611b0b57fe5b04146106dc57604051600160e51b62461bcd02815260040180806020018281038252602181526020018061260c6021913960400191505060405180910390fd5b60006106dc83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250612317565b303b1590565b60408051600160e91b6226a4a702815290519081900360030181208251869284916020918201918291908401908083835b60208310611be35780518252601f199092019160209182019101611bc4565b6001836020036101000a038019825116818451168082178552505050505050905001915050604051602081830303815290604052805190602001201415611c4b57611c43611c36846108c387603c611b4b565b829063ffffffff611b4b16565b606855611ee3565b6040518080600160fb1b60090281525060010190506040518091039020826040516020018082805190602001908083835b60208310611c9b5780518252601f199092019160209182019101611c7c565b6001836020036101000a038019825116818451168082178552505050505050905001915050604051602081830303815290604052805190602001201415611cef57611c43611c36846108c387610e10611b4b565b6040518080600160fa1b60110281525060010190506040518091039020826040516020018082805190602001908083835b60208310611d3f5780518252601f199092019160209182019101611d20565b6001836020036101000a038019825116818451168082178552505050505050905001915050604051602081830303815290604052805190602001201415611d9457611c43611c36846108c38762015180611b4b565b6040518080600160f81b604d0281525060010190506040518091039020826040516020018082805190602001908083835b60208310611de45780518252601f199092019160209182019101611dc5565b6001836020036101000a038019825116818451168082178552505050505050905001915050604051602081830303815290604052805190602001201415611e3957611c43611c36846108c38762278d00611b4b565b6040518080600160f81b60590281525060010190506040518091039020826040516020018082805190602001908083835b60208310611e895780518252601f199092019160209182019101611e6a565b6001836020036101000a038019825116818451168082178552505050505050905001915050604051602081830303815290604052805190602001201415611ee357611edf611c36846108c3876301e13380611b4b565b6068555b5050505050565b60006106dc83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506123c0565b3390565b604080517f19457468657265756d205369676e6564204d6573736167653a0a333200000000602080830191909152603c8083019490945282518083039094018452605c909101909152815191012090565b60408051600160e01b6370a08231028152306004820152905160009182916001600160a01b038516916370a08231916024808301926020929190829003018186803b158015611fcf57600080fd5b505afa158015611fe3573d6000803e3d6000fd5b505050506040513d6020811015611ff957600080fd5b50516001600160a01b0384166000908152606f60205260408120549192509061202990839063ffffffff61191716565b9050606954421015612040576000925050506114fe565b606d54606a546120559163ffffffff61191716565b4210158061207b57506001600160a01b03841660009081526070602052604090205460ff165b156120895791506114fe9050565b61209b606d546108c3836108b76119ce565b925050506114fe565b6001600160a01b03811615156120ee57604051600160e51b62461bcd0281526004018080602001828103825260268152602001806124f36026913960400191505060405180910390fd5b6033546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3603380546001600160a01b0319166001600160a01b0392909216919091179055565b61215c826001600160a01b031661241e565b15156121b25760408051600160e51b62461bcd02815260206004820152601f60248201527f5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400604482015290519081900360640190fd5b60006060836001600160a01b0316836040518082805190602001908083835b602083106121f05780518252601f1990920191602091820191016121d1565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612252576040519150601f19603f3d011682016040523d82523d6000602084013e612257565b606091505b50915091508115156122b35760408051600160e51b62461bcd02815260206004820181905260248201527f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564604482015290519081900360640190fd5b805115612311578080602001905160208110156122cf57600080fd5b5051151561231157604051600160e51b62461bcd02815260040180806020018281038252602a81526020018061279d602a913960400191505060405180910390fd5b50505050565b6000818315156123a857604051600160e51b62461bcd0281526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561236d578181015183820152602001612355565b50505050905090810190601f16801561239a5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50600083858115156123b657fe5b0495945050505050565b6000818484111561241657604051600160e51b62461bcd0281526004018080602001828103825283818151815260200191508051906020019080838360008381101561236d578181015183820152602001612355565b505050900390565b6000813f7fc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a47081811480159061245257508115155b949350505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061249b57805160ff19168380011785556124c8565b828001600101855582156124c8579182015b828111156124c85782518255916020019190600101906124ad565b506124d49291506124d8565b5090565b6106bb91905b808211156124d457600081556001016124de56fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737356657374696e675661756c743a20746f6b656e20616c7265616479207265766f6b656456657374696e675661756c743a2042656e6566696369617279207369676e6174757265206e6f742079657420766572696669656456657374696e675661756c743a2043757272656e742074696d657374616d7020697320736d616c6c6572207468616e2073746172742074696d6556657374696e675661756c743a2062656e656669636961727920697320746865207a65726f206164647265737356657374696e675661756c743a20796f752068617665206e6f742070617373656420746865206c6f636b20706572696f6420796574536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7756657374696e675661756c743a20636c696666206973206c6f6e676572207468616e206475726174696f6e436f6e747261637420696e7374616e63652068617320616c7265616479206265656e20696e697469616c697a656456657374696e675661756c743a204543445341205265636f766572204661696c65642c2042656e65666963696172792041646472657373205369676e617475726520697320696e76616c696456657374696e675661756c743a20496e74657276616c205374616d702063616e206265204d696e75746573284d494e292f486f7572732848292f446179732844292f4d6f6e746873284d292f596561727328592956657374696e675661756c743a206475726174696f6e202620636c6966664475726174696f6e2073686f756c64206d756c7469706c69636174696f6e206f6620696e74657276616c56657374696e675661756c743a2066696e616c2074696d65206973206265666f72652063757272656e742074696d655361666545524332303a204552433230206f7065726174696f6e20646964206e6f742073756363656564a165627a7a723058200055f5130b2a8957415b2d7b4e79158eb9d492b660ce159e7d77b750cbc4f6500029

25485:14072:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;25485:14072:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30993:95;;;:::i;:::-;;;;;;;;;;;;;;;;32074:85;;;:::i;31373:79::-;;;:::i;39239:134::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;39239:134:0;;;;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;39239:134:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;39239:134:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;39239:134:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;39239:134:0;;-1:-1:-1;39239:134:0;;-1:-1:-1;;;;;39239:134:0:i;:::-;;;;-1:-1:-1;;;;;39239:134:0;;;;;;;;;;;;;;33120:583;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;33120:583:0;-1:-1:-1;;;;;33120:583:0;;:::i;:::-;;30628:91;;;:::i;31197:97::-;;;:::i;30808:104::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;38627:140;;;:::i;36177:784::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;36177:784:0;;;;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;36177:784:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;36177:784:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;36177:784:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;36177:784:0;;-1:-1:-1;36177:784:0;;-1:-1:-1;;;;;36177:784:0:i;28478:2069::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;28478:2069:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;28478:2069:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;28478:2069:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;28478:2069:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;28478:2069:0;;-1:-1:-1;;;;28478:2069:0;;;;-1:-1:-1;28478:2069:0;:::i;15048:140::-;;;:::i;33930:552::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;33930:552:0;-1:-1:-1;;;;;33930:552:0;;:::i;32235:84::-;;;:::i;14235:79::-;;;:::i;14601:94::-;;;:::i;39381:131::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;39381:131:0;;:::i;31545:85::-;;;:::i;32395:105::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;32395:105:0;-1:-1:-1;;;;;32395:105:0;;:::i;32842:141::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;32842:141:0;-1:-1:-1;;;;;32842:141:0;;:::i;31918:79::-;;;:::i;14009:145::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;14009:145:0;-1:-1:-1;;;;;14009:145:0;;:::i;31754:85::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;31754:85:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;38775:456;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;38775:456:0;;;;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;38775:456:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;38775:456:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;38775:456:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;38775:456:0;;-1:-1:-1;38775:456:0;;-1:-1:-1;;;;;38775:456:0:i;15343:109::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;15343:109:0;-1:-1:-1;;;;;15343:109:0;;:::i;32572:100::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;32572:100:0;-1:-1:-1;;;;;32572:100:0;;:::i;30993:95::-;31066:14;;30993:95;;:::o;32074:85::-;32142:9;;32074:85;:::o;31373:79::-;31438:6;;31373:79;:::o;39239:134::-;39315:7;39342:23;:4;39355:9;39342:23;:12;:23;:::i;:::-;39335:30;;39239:134;;;;;:::o;33120:583::-;33179:20;;;;;;;;:28;;:20;:28;33171:93;;;;-1:-1:-1;;;;;33171:93:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33303:6;;33285:15;:24;33277:90;;;;-1:-1:-1;;;;;33277:90:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33380:18;33401:24;33419:5;33401:17;:24::i;:::-;33380:45;-1:-1:-1;33446:14:0;;;33438:58;;;;;-1:-1:-1;;;;;33438:58:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;33537:25:0;;;;;;:9;:25;;;;;;:41;;33567:10;33537:41;:29;:41;:::i;:::-;-1:-1:-1;;;;;33509:25:0;;;;;;;:9;:25;;;;;:69;;;;33610:12;;33591:44;;33509:25;33610:12;33624:10;33591:44;:18;:44;:::i;:::-;33653:42;;;-1:-1:-1;;;;;33653:42:0;;;;;;;;;;;;;;;;;;;;;;;33120:583;;:::o;30628:91::-;30699:12;;-1:-1:-1;;;;;30699:12:0;30628:91;:::o;31197:97::-;31271:15;;31197:97;:::o;30808:104::-;30884:20;;;;;;;;30808:104::o;38627:140::-;38678:7;38705:54;38749:9;;38705:39;38729:14;;38705:19;:17;:19::i;:::-;:23;:39;:23;:39;:::i;:::-;:43;:54;:43;:54;:::i;:::-;38698:61;;38627:140;:::o;36177:784::-;36281:7;36345:16;;;;-1:-1:-1;;;;;36345:16:0;;;;;;;;;;;;;;36332:7;36315:25;;;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;36315:25:0;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;36315:25:0;;;36305:36;;;;;;:56;36301:653;;;-1:-1:-1;26810:2:0;36386:31;;36378:40;;36301:653;36480:14;;;;-1:-1:-1;;;;;36480:14:0;;;;;;;;;;;;;;36467:7;36450:25;;;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;36450:25:0;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;36450:25:0;;;36440:36;;;;;;:54;36436:518;;;-1:-1:-1;26914:37:0;36519:29;;36511:38;;36436:518;36611:14;;;;-1:-1:-1;;;;;36611:14:0;;;;;;;;;;;;;;36598:7;36581:25;;;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;36581:25:0;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;36581:25:0;;;36571:36;;;;;;:54;36567:387;;;-1:-1:-1;27049:32:0;36650:28;;36642:37;;36567:387;36741:14;;;;-1:-1:-1;;;;;36741:14:0;;;;;;;;;;;;;;36728:7;36711:25;;;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;36711:25:0;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;36711:25:0;;;36701:36;;;;;;:54;36697:257;;;-1:-1:-1;27207:32:0;36780:30;;36772:39;;36697:257;36873:14;;;;-1:-1:-1;;;;;36873:14:0;;;;;;;;;;;;;;36860:7;36843:25;;;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;36843:25:0;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;36843:25:0;;;36833:36;;;;;;:54;36829:125;;;-1:-1:-1;27404:31:0;36912:29;;36904:38;;28478:2069;10973:12;;;;;;;;:31;;;10989:15;:13;:15::i;:::-;10973:47;;;-1:-1:-1;11009:11:0;;;;11008:12;10973:47;10965:106;;;;;;-1:-1:-1;;;;;10965:106:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11080:19;11103:12;;;;;;11102:13;11122:83;;;;11151:12;:19;;-1:-1:-1;;;;11151:19:0;;;;;11179:18;11166:4;11179:18;;;11122:83;-1:-1:-1;;;;;28786:25:0;;;;28764:120;;;;-1:-1:-1;;;;;28764:120:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28903:12;;;28895:52;;;;;-1:-1:-1;;;;;28895:52:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;29034:25;;;;29012:118;;;;-1:-1:-1;;;;;29012:118:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29239:15;29217:19;:5;29227:8;29217:19;:9;:19;:::i;:::-;:37;29195:134;;;;-1:-1:-1;;;;;29195:134:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29400:16;;;;-1:-1:-1;;;;;29400:16:0;;;;;;;;;;;;;;29389:5;29372:23;;;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;29372:23:0;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;29372:23:0;;;29362:34;;;;;;:54;:123;;;;29471:14;;;;-1:-1:-1;;;;;29471:14:0;;;;;;;;;;;;;;29460:5;29443:23;;;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;29443:23:0;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;29443:23:0;;;29433:34;;;;;;:52;29362:123;:192;;;;29540:14;;;;-1:-1:-1;;;;;29540:14:0;;;;;;;;;;;;;;29529:5;29512:23;;;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;29512:23:0;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;29512:23:0;;;29502:34;;;;;;:52;29362:192;:261;;;;29609:14;;;;-1:-1:-1;;;;;29609:14:0;;;;;;;;;;;;;;29598:5;29581:23;;;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;29581:23:0;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;29581:23:0;;;29571:34;;;;;;:52;29362:261;:330;;;;29678:14;;;;-1:-1:-1;;;;;29678:14:0;;;;;;;;;;;;;;29667:5;29650:23;;;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;29650:23:0;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;29650:23:0;;;29640:34;;;;;;:52;29362:330;29340:464;;;;;;-1:-1:-1;;;;;29340:464:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29815:23;29841:47;29872:8;29882:5;29841:30;:47::i;:::-;29815:73;;29939:15;29923:13;:31;;;;;;;;:36;29922:75;;;;;29976:15;29965:8;:26;;;;;;;;:31;29922:75;29899:200;;;;;;-1:-1:-1;;;;;29899:200:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30112:30;30131:10;30112:18;:30::i;:::-;30155:12;:26;;-1:-1:-1;;;;;;30155:26:0;-1:-1:-1;;;;;30155:26:0;;;;;30192:10;:22;;-1:-1:-1;;30192:22:0;;;;;;;30225:14;:30;;;30266:9;:20;;;30306:24;:5;30316:13;30306:9;:24::i;:::-;30297:6;:33;30341:9;:20;;;30372:14;;;;:6;;:14;;;;;:::i;:::-;-1:-1:-1;30397:6:0;:14;;;30422:20;:28;;-1:-1:-1;;30422:28:0;;;30461:78;30498:13;30513:8;30523;30533:5;30461:36;:78::i;:::-;11213:1;11227:14;11223:57;;;11267:5;11252:20;;-1:-1:-1;;11252:20:0;;;11223:57;28478:2069;;;;;;;;;:::o;15048:140::-;14447:9;:7;:9::i;:::-;14439:54;;;;;;;-1:-1:-1;;;;;14439:54:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15131:6;;15110:40;;15147:1;;-1:-1:-1;;;;;15131:6:0;;15110:40;;15147:1;;15110:40;15161:6;:19;;-1:-1:-1;;;;;;15161:19:0;;;15048:140::o;33930:552::-;14447:9;:7;:9::i;:::-;14439:54;;;;;;;-1:-1:-1;;;;;14439:54:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33996:10;;;;33988:50;;;;;;;-1:-1:-1;;;;;33988:50:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;34072:24:0;;;;;;:8;:24;;;;;;;;34071:25;34049:110;;;;-1:-1:-1;;;;;34049:110:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;34190:30;;;-1:-1:-1;;;;;34190:30:0;;34214:4;34190:30;;;;;;34172:15;;-1:-1:-1;;;;;34190:15:0;;;;;:30;;;;;;;;;;;;;;;:15;:30;;;5:2:-1;;;;30:1;27;20:12;5:2;34190:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;34190:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;34190:30:0;;-1:-1:-1;34233:18:0;34254:24;34272:5;34254:17;:24::i;:::-;34233:45;-1:-1:-1;34289:14:0;34306:23;:7;34233:45;34306:23;:11;:23;:::i;:::-;-1:-1:-1;;;;;34342:24:0;;;;;;:8;:24;;;;;:31;;-1:-1:-1;;34342:31:0;34369:4;34342:31;;;34289:40;-1:-1:-1;34386:35:0;34405:7;:5;:7::i;:::-;-1:-1:-1;;;;;34386:18:0;;;34414:6;34386:35;:18;:35;:::i;:::-;34439;;;-1:-1:-1;;;;;34439:35:0;;;;;;;;;;;;;;;14504:1;;;33930:552;:::o;32235:84::-;32301:10;;;;32235:84;:::o;14235:79::-;14300:6;;-1:-1:-1;;;;;14300:6:0;14235:79;:::o;14601:94::-;14681:6;;14641:4;;-1:-1:-1;;;;;14681:6:0;14665:12;:10;:12::i;:::-;-1:-1:-1;;;;;14665:22:0;;14658:29;;14601:94;:::o;39381:131::-;39448:7;39475:29;:4;:27;:29::i;:::-;39468:36;;39381:131;;;;:::o;31545:85::-;31613:9;;31545:85;:::o;32395:105::-;-1:-1:-1;;;;;32476:16:0;32449:7;32476:16;;;:9;:16;;;;;;;32395:105::o;32842:141::-;-1:-1:-1;;;;;32949:25:0;;32897:7;32949:25;;;:9;:25;;;;;;32924:51;;:20;32967:5;32924:13;:20::i;:::-;:24;:51;:24;:51;:::i;31918:79::-;31983:6;;31918:79;:::o;14009:145::-;10973:12;;;;;;;;:31;;;10989:15;:13;:15::i;:::-;10973:47;;;-1:-1:-1;11009:11:0;;;;11008:12;10973:47;10965:106;;;;;;-1:-1:-1;;;;;10965:106:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11080:19;11103:12;;;;;;11102:13;11122:83;;;;11151:12;:19;;-1:-1:-1;;;;11151:19:0;;;;;11179:18;11166:4;11179:18;;;11122:83;14075:6;:15;;-1:-1:-1;;;;;;14075:15:0;-1:-1:-1;;;;;14075:15:0;;;;;;;;;;;14106:40;;14139:6;;;-1:-1:-1;;14106:40:0;;-1:-1:-1;;14106:40:0;11227:14;11223:57;;;11267:5;11252:20;;-1:-1:-1;;11252:20:0;;;11223:57;14009:145;;:::o;31754:85::-;31825:6;31818:13;;;;;;;;-1:-1:-1;;31818:13:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31792;;31818;;31825:6;;31818:13;;31825:6;31818:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31754:85;:::o;38775:456::-;38852:4;38929:19;38951:24;38959:4;38965:9;38951:7;:24::i;:::-;39009:12;;38929:46;;-1:-1:-1;;;;;;38994:27:0;;;39009:12;;38994:27;38986:116;;;;-1:-1:-1;;;;;38986:116:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;39113:20;:27;;-1:-1:-1;;39113:27:0;;;;;39188:12;;39156:45;;;-1:-1:-1;;;;;39188:12:0;;;39156:45;;;;;;;;;;;;-1:-1:-1;39219:4:0;;38775:456;-1:-1:-1;;;38775:456:0:o;15343:109::-;14447:9;:7;:9::i;:::-;14439:54;;;;;;;-1:-1:-1;;;;;14439:54:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15416:28;15435:8;15416:18;:28::i;:::-;15343:109;:::o;32572:100::-;-1:-1:-1;;;;;32649:15:0;32625:4;32649:15;;;:8;:15;;;;;;;;;32572:100::o;22708:1930::-;22849:16;;22786:7;;22869:2;22849:22;22845:74;;-1:-1:-1;22904:1:0;22888:19;;22845:74;23280:4;23265:20;;23259:27;23326:4;23311:20;;23305:27;23380:4;23365:20;;23359:27;22988:9;23351:36;24310:66;24297:79;;24293:129;;;24408:1;24393:17;;;;;;;24293:129;24438:1;:7;;24443:2;24438:7;;:18;;;;;24449:1;:7;;24454:2;24449:7;;24438:18;24434:68;;;24488:1;24473:17;;;;;;;24434:68;24606:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;24606:24:0;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;24606:24:0;;-1:-1:-1;;24606:24:0;;;22708:1930;-1:-1:-1;;;;;;;22708:1930:0:o;16772:181::-;16830:7;16862:5;;;16886:6;;;;16878:46;;;;;-1:-1:-1;;;;;16878:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;3788:176;3897:58;;;-1:-1:-1;;;;;3897:58:0;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;3897:58:0;;;;;;;;25:18:-1;;61:17;;-1:-1;;;;;182:15;-1:-1;;;;;179:29;160:49;;3871:85:0;;3890:5;;3871:18;:85::i;:::-;3788:176;;;:::o;35608:504::-;35719:6;;35659:7;;35701:15;:24;35679:132;;;;-1:-1:-1;;;;;35679:132:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;35884:9;;35894:6;35853:48;;;;;;;;;;;;;-1:-1:-1;;35853:48:0;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;35853:48:0;;35884:9;;35853:48;;35894:6;;35853:48;;35894:6;35853:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:30;:48::i;:::-;35824:77;;35912:25;35940:53;35974:18;35941:27;35961:6;;35941:15;:19;;:27;;;;:::i;35940:53::-;35912:81;-1:-1:-1;36006:22:0;36031:41;35912:81;36053:18;36031:41;:21;:41;:::i;:::-;36006:66;-1:-1:-1;;;;35608:504:0;:::o;18144:471::-;18202:7;18447:6;;18443:47;;;-1:-1:-1;18477:1:0;18470:8;;18443:47;18514:5;;;18518:1;18514;:5;18538;;;;;;;;:10;18530:56;;;;-1:-1:-1;;;;;18530:56:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19083:132;19141:7;19168:39;19172:1;19175;19168:39;;;;;;;;;;;;;;;;;:3;:39::i;11374:508::-;11791:4;11837:17;11869:7;11374:508;:::o;37384:1235::-;37657:16;;;-1:-1:-1;;;;;37657:16:0;;;;;;;;;;;;37628:24;;37589:12;;37645:6;;37628:24;;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;37628:24:0;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;37628:24:0;;;37618:35;;;;;;:55;37614:998;;;37727:58;37736:48;37774:9;37736:33;:9;26810:2;37736:13;:33::i;:48::-;37727:4;;:58;:8;:58;:::i;:::-;37690:15;:110;37614:998;;;37861:14;;;;-1:-1:-1;;;;;37861:14:0;;;;;;;;;;;;;;37849:6;37832:24;;;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;37832:24:0;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;37832:24:0;;;37822:35;;;;;;:53;37818:794;;;37929:56;37938:46;37974:9;37938:31;:9;26914:37;37938:13;:31::i;37818:794::-;38061:14;;;;-1:-1:-1;;;;;38061:14:0;;;;;;;;;;;;;;38049:6;38032:24;;;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;38032:24:0;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;38032:24:0;;;38022:35;;;;;;:53;38018:594;;;38129:55;38138:45;38173:9;38138:30;:9;27049:32;38138:13;:30::i;38018:594::-;38260:14;;;;-1:-1:-1;;;;;38260:14:0;;;;;;;;;;;;;;38248:6;38231:24;;;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;38231:24:0;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;38231:24:0;;;38221:35;;;;;;:53;38217:395;;;38328:57;38337:47;38374:9;38337:32;:9;27207:32;38337:13;:32::i;38217:395::-;38461:14;;;;-1:-1:-1;;;;;38461:14:0;;;;;;;;;;;;;;38449:6;38432:24;;;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;38432:24:0;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;38432:24:0;;;38422:35;;;;;;:53;38418:194;;;38529:56;38538:46;38574:9;38538:31;:9;27404:31;38538:13;:31::i;38529:56::-;38492:15;:108;38418:194;37384:1235;;;;;:::o;17228:136::-;17286:7;17313:43;17317:1;17320;17313:43;;;;;;;;;;;;;;;;;:3;:43::i;12914:98::-;12994:10;12914:98;:::o;24912:269::-;25114:58;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;25114:58:0;;;;;;;25104:69;;;;;;24912:269::o;34942:540::-;35046:30;;;-1:-1:-1;;;;;35046:30:0;;35070:4;35046:30;;;;;;35001:7;;;;-1:-1:-1;;;;;35046:15:0;;;;;:30;;;;;;;;;;;;;;:15;:30;;;5:2:-1;;;;30:1;27;20:12;5:2;35046:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;35046:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;35046:30:0;-1:-1:-1;;;;;35129:25:0;;35087:20;35129:25;;;:9;35046:30;35129:25;;;;;35046:30;;-1:-1:-1;35087:20:0;35110:45;;35046:30;;35110:45;:18;:45;:::i;:::-;35087:68;;35190:6;;35172:15;:24;35168:307;;;35220:1;35213:8;;;;;;35168:307;35287:9;;35276:6;;:21;;;:10;:21;:::i;:::-;35257:15;:40;;:68;;;-1:-1:-1;;;;;;35301:24:0;;;;;;:8;:24;;;;;;;;35257:68;35239:236;;;35359:12;-1:-1:-1;35352:19:0;;-1:-1:-1;35352:19:0;35239:236;35411:52;35453:9;;35411:37;35435:12;35411:19;:17;:19::i;:52::-;35404:59;;;;;;15558:229;-1:-1:-1;;;;;15632:22:0;;;;15624:73;;;;-1:-1:-1;;;;;15624:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15734:6;;15713:38;;-1:-1:-1;;;;;15713:38:0;;;;15734:6;;15713:38;;15734:6;;15713:38;15762:6;:17;;-1:-1:-1;;;;;;15762:17:0;-1:-1:-1;;;;;15762:17:0;;;;;;;;;;15558:229::o;5827:1114::-;6431:27;6439:5;-1:-1:-1;;;;;6431:25:0;;:27::i;:::-;6423:71;;;;;;;-1:-1:-1;;;;;6423:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;6568:12;6582:23;6617:5;-1:-1:-1;;;;;6609:19:0;6629:4;6609:25;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;6609:25:0;;;;;;;;;;;;;;;;;;;;;;;;14:1:-1;21;16:31;;;;75:4;69:11;64:16;;144:4;140:9;133:4;115:16;111:27;107:43;104:1;100:51;94:4;87:65;169:16;166:1;159:27;225:16;222:1;215:4;212:1;208:12;193:49;7:242;;16:31;36:4;31:9;;7:242;;6567:67:0;;;;6653:7;6645:52;;;;;;;-1:-1:-1;;;;;6645:52:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6714:17;;:21;6710:224;;6856:10;6845:30;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6845:30:0;6837:85;;;;;;-1:-1:-1;;;;;6837:85:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5827:1114;;;;:::o;19745:345::-;19831:7;19933:12;19926:5;;;19918:28;;;;-1:-1:-1;;;;;19918:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;19918:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19957:9;19973:1;19969;:5;;;;;;;;;19745:345;-1:-1:-1;;;;;19745:345:0:o;17701:192::-;17787:7;17823:12;17815:6;;;;17807:29;;;;-1:-1:-1;;;;;17807:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;17807:29:0;-1:-1:-1;;;17859:5:0;;;17701:192::o;790:619::-;850:4;1318:20;;1161:66;1358:23;;;;;;:42;;-1:-1:-1;1385:15:0;;;1358:42;1350:51;790:619;-1:-1:-1;;;;790:619:0:o;25485:14072::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;25485:14072:0;;;-1:-1:-1;25485:14072:0;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;

bzzr://0055f5130b2a8957415b2d7b4e79158eb9d492b660ce159e7d77b750cbc4f650