Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library Math
•    - function max(uint256 a, uint256 b)
•    - function min(uint256 a, uint256 b)
•    - function average(uint256 a, uint256 b ...
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(
•    - function mod(uint256 a, uint256 b)
•    - function mod(
• library Address
•    - function isContract(address account)
•    - function sendValue(address payable re ...
•    - function functionCall(address target, ...
•    - function functionCall(
•    - function functionCallWithValue(
• functionCallWithValue(
•    - function functionCallWithValue(
•    - function _functionCallWithValue(
• library SafeERC20
•    - function safeTransfer(
•    - function safeTransferFrom(
•    - function safeApprove(
•    - function safeIncreaseAllowance(
•    - function safeDecreaseAllowance(
•    - function _callOptionalReturn(IERC20 t ...
•  contract ReentrancyGuard
• library Babylonian
•    - function sqrt(uint256 y)
• library FixedPoint
•    - function encode(uint112 x)
•    - function encode144(uint144 x)
•    - function div(uq112x112 memory self, u ...
•    - function mul(uq112x112 memory self, u ...
•    - function fraction(uint112 numerator, ...
•    - function decode(uq112x112 memory self ...
•    - function decode144(uq144x112 memory s ...
•    - function reciprocal(uq112x112 memory ...
•    - function sqrt(uq112x112 memory self)
• library Safe112
•    - function add(uint112 a, uint112 b)
•    - function sub(uint112 a, uint112 b)
•    - function sub(
•    - function mul(uint112 a, uint112 b)
•    - function div(uint112 a, uint112 b)
•    - function div(
•    - function mod(uint112 a, uint112 b)
•    - function mod(
•    - function _msgSender()
•    - function _msgData()
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•  contract Operator is Context, Owna ...
•    - function operator()
•    - function isOperator()
•    - function transferOperator(address new ...
•    - function _transferOperator(address ne ...
•  contract ContractGuard
•    - function checkSameOriginReentranted()
•    - function checkSameSenderReentranted()
• interface IBasisAsset
•    - function mint(address recipient, uint ...
•    - function burn(uint256 amount)
•    - function burnFrom(address from, uint2 ...
•    - function isOperator()
•    - function operator()
• interface IOracle
•    - function update()
•    - function consult(address token, uint2 ...
• interface IBoardroom
•    - function allocateSeigniorage(uint256 ...
•  contract Treasury is ContractGuard ... *
•    - function isMigrated()
•    - function isInitialized()
•    - function nextEpochPoint()
•    - function getCashPrice()
•    - function getReserve()
•    - function initialize()
•    - function migrate(address target)
•    - function _updateCashPrice()
•    - function buyBonds(uint256 amount, uin ...
•    - function redeemBonds(uint256 amount, ...
•    - function allocateSeigniorage()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-12-08
*/

// File: @openzeppelin/contracts/math/Math.sol

pragma solidity ^0.6.0;

/**
 * @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, so we distribute
        return (a / 2) + (b / 2) + (((a % 2) + (b % 2)) / 2);
    }
}

// File: @openzeppelin/contracts/token/ERC20/IERC20.sol

pragma solidity ^0.6.0;

/**
 * @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/math/SafeMath.sol

pragma solidity ^0.6.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.
     */
    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.
     */
    function div(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        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.
     */
    function mod(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

// File: @openzeppelin/contracts/utils/Address.sol

pragma solidity ^0.6.2;

/**
 * @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) {
        // This method relies in extcodesize, which returns 0 for contracts in
        // construction, since the code is only stored at the end of the
        // constructor execution.

        uint256 size;
        // solhint-disable-next-line no-inline-assembly
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }

    /**
     * @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].
     */
    function sendValue(address payable recipient, uint256 amount) internal {
        require(
            address(this).balance >= amount,
            'Address: insufficient balance'
        );

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

    /**
     * @dev Performs a Solidity function call using a low level `call`. A
     * plain`call` is an unsafe replacement for a function call: use this
     * function instead.
     *
     * If `target` reverts with a revert reason, it is bubbled up by this
     * function (like regular Solidity function calls).
     *
     * Returns the raw returned data. To convert to the expected return value,
     * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
     *
     * Requirements:
     *
     * - `target` must be a contract.
     * - calling `target` with `data` must not revert.
     *
     * _Available since v3.1._
     */
    function functionCall(address target, bytes memory data)
        internal
        returns (bytes memory)
    {
        return functionCall(target, data, 'Address: low-level call failed');
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
     * `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal returns (bytes memory) {
        return _functionCallWithValue(target, data, 0, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but also transferring `value` wei to `target`.
     *
     * Requirements:
     *
     * - the calling contract must have an ETH balance of at least `value`.
     * - the called Solidity function must be `payable`.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(
        address target,
        bytes memory data,
        uint256 value
    ) internal returns (bytes memory) {
        return
            functionCallWithValue(
                target,
                data,
                value,
                'Address: low-level call with value failed'
            );
    }

    /**
     * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
     * with `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(
        address target,
        bytes memory data,
        uint256 value,
        string memory errorMessage
    ) internal returns (bytes memory) {
        require(
            address(this).balance >= value,
            'Address: insufficient balance for call'
        );
        return _functionCallWithValue(target, data, value, errorMessage);
    }

    function _functionCallWithValue(
        address target,
        bytes memory data,
        uint256 weiValue,
        string memory errorMessage
    ) private returns (bytes memory) {
        require(isContract(target), 'Address: call to non-contract');

        // solhint-disable-next-line avoid-low-level-calls
        (bool success, bytes memory returndata) = target.call{value: weiValue}(
            data
        );
        if (success) {
            return returndata;
        } else {
            // Look for revert reason and bubble it up if present
            if (returndata.length > 0) {
                // The easiest way to bubble the revert reason is using memory via assembly

                // solhint-disable-next-line no-inline-assembly
                assembly {
                    let returndata_size := mload(returndata)
                    revert(add(32, returndata), returndata_size)
                }
            } else {
                revert(errorMessage);
            }
        }
    }
}

// File: @openzeppelin/contracts/token/ERC20/SafeERC20.sol

pragma solidity ^0.6.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 IERC20;` 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)
        );
    }

    /**
     * @dev Deprecated. This function has issues similar to the ones found in
     * {IERC20-approve}, and its usage is discouraged.
     *
     * Whenever possible, use {safeIncreaseAllowance} and
     * {safeDecreaseAllowance} instead.
     */
    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. We use {Address.functionCall} to perform this call, which verifies that
        // the target address contains contract code and also asserts for success in the low-level call.

        bytes memory returndata = address(token).functionCall(
            data,
            '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/utils/ReentrancyGuard.sol

pragma solidity ^0.6.0;

/**
 * @dev Contract module that helps prevent reentrant calls to a function.
 *
 * Inheriting from `ReentrancyGuard` will make the {nonReentrant} modifier
 * available, which can be applied to functions to make sure there are no nested
 * (reentrant) calls to them.
 *
 * Note that because there is a single `nonReentrant` guard, functions marked as
 * `nonReentrant` may not call one another. This can be worked around by making
 * those functions `private`, and then adding `external` `nonReentrant` entry
 * points to them.
 *
 * TIP: If you would like to learn more about reentrancy and alternative ways
 * to protect against it, check out our blog post
 * https://blog.openzeppelin.com/reentrancy-after-istanbul/[Reentrancy After Istanbul].
 */
contract ReentrancyGuard {
    // Booleans are more expensive than uint256 or any type that takes up a full
    // word because each write operation emits an extra SLOAD to first read the
    // slot's contents, replace the bits taken up by the boolean, and then write
    // back. This is the compiler's defense against contract upgrades and
    // pointer aliasing, and it cannot be disabled.

    // The values being non-zero value makes deployment a bit more expensive,
    // but in exchange the refund on every call to nonReentrant will be lower in
    // amount. Since refunds are capped to a percentage of the total
    // transaction's gas, it is best to keep them low in cases like this one, to
    // increase the likelihood of the full refund coming into effect.
    uint256 private constant _NOT_ENTERED = 1;
    uint256 private constant _ENTERED = 2;

    uint256 private _status;

    constructor() internal {
        _status = _NOT_ENTERED;
    }

    /**
     * @dev Prevents a contract from calling itself, directly or indirectly.
     * Calling a `nonReentrant` function from another `nonReentrant`
     * function is not supported. It is possible to prevent this from happening
     * by making the `nonReentrant` function external, and make it call a
     * `private` function that does the actual work.
     */
    modifier nonReentrant() {
        // On the first call to nonReentrant, _notEntered will be true
        require(_status != _ENTERED, 'ReentrancyGuard: reentrant call');

        // Any calls to nonReentrant after this point will fail
        _status = _ENTERED;

        _;

        // By storing the original value once again, a refund is triggered (see
        // https://eips.ethereum.org/EIPS/eip-2200)
        _status = _NOT_ENTERED;
    }
}

// File: contracts/lib/Babylonian.sol

pragma solidity ^0.6.0;

library Babylonian {
    function sqrt(uint256 y) internal pure returns (uint256 z) {
        if (y > 3) {
            z = y;
            uint256 x = y / 2 + 1;
            while (x < z) {
                z = x;
                x = (y / x + x) / 2;
            }
        } else if (y != 0) {
            z = 1;
        }
        // else z = 0
    }
}

// File: contracts/lib/FixedPoint.sol

pragma solidity ^0.6.0;

// a library for handling binary fixed point numbers (https://en.wikipedia.org/wiki/Q_(number_format))
library FixedPoint {
    // range: [0, 2**112 - 1]
    // resolution: 1 / 2**112
    struct uq112x112 {
        uint224 _x;
    }

    // range: [0, 2**144 - 1]
    // resolution: 1 / 2**112
    struct uq144x112 {
        uint256 _x;
    }

    uint8 private constant RESOLUTION = 112;
    uint256 private constant Q112 = uint256(1) << RESOLUTION;
    uint256 private constant Q224 = Q112 << RESOLUTION;

    // encode a uint112 as a UQ112x112
    function encode(uint112 x) internal pure returns (uq112x112 memory) {
        return uq112x112(uint224(x) << RESOLUTION);
    }

    // encodes a uint144 as a UQ144x112
    function encode144(uint144 x) internal pure returns (uq144x112 memory) {
        return uq144x112(uint256(x) << RESOLUTION);
    }

    // divide a UQ112x112 by a uint112, returning a UQ112x112
    function div(uq112x112 memory self, uint112 x)
        internal
        pure
        returns (uq112x112 memory)
    {
        require(x != 0, 'FixedPoint: DIV_BY_ZERO');
        return uq112x112(self._x / uint224(x));
    }

    // multiply a UQ112x112 by a uint, returning a UQ144x112
    // reverts on overflow
    function mul(uq112x112 memory self, uint256 y)
        internal
        pure
        returns (uq144x112 memory)
    {
        uint256 z;
        require(
            y == 0 || (z = uint256(self._x) * y) / y == uint256(self._x),
            'FixedPoint: MULTIPLICATION_OVERFLOW'
        );
        return uq144x112(z);
    }

    // returns a UQ112x112 which represents the ratio of the numerator to the denominator
    // equivalent to encode(numerator).div(denominator)
    function fraction(uint112 numerator, uint112 denominator)
        internal
        pure
        returns (uq112x112 memory)
    {
        require(denominator > 0, 'FixedPoint: DIV_BY_ZERO');
        return uq112x112((uint224(numerator) << RESOLUTION) / denominator);
    }

    // decode a UQ112x112 into a uint112 by truncating after the radix point
    function decode(uq112x112 memory self) internal pure returns (uint112) {
        return uint112(self._x >> RESOLUTION);
    }

    // decode a UQ144x112 into a uint144 by truncating after the radix point
    function decode144(uq144x112 memory self) internal pure returns (uint144) {
        return uint144(self._x >> RESOLUTION);
    }

    // take the reciprocal of a UQ112x112
    function reciprocal(uq112x112 memory self)
        internal
        pure
        returns (uq112x112 memory)
    {
        require(self._x != 0, 'FixedPoint: ZERO_RECIPROCAL');
        return uq112x112(uint224(Q224 / self._x));
    }

    // square root of a UQ112x112
    function sqrt(uq112x112 memory self)
        internal
        pure
        returns (uq112x112 memory)
    {
        return uq112x112(uint224(Babylonian.sqrt(uint256(self._x)) << 56));
    }
}

// File: contracts/lib/Safe112.sol

pragma solidity ^0.6.0;

library Safe112 {
    function add(uint112 a, uint112 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, 'Safe112: addition overflow');

        return c;
    }

    function sub(uint112 a, uint112 b) internal pure returns (uint256) {
        return sub(a, b, 'Safe112: subtraction overflow');
    }

    function sub(
        uint112 a,
        uint112 b,
        string memory errorMessage
    ) internal pure returns (uint112) {
        require(b <= a, errorMessage);
        uint112 c = a - b;

        return c;
    }

    function mul(uint112 a, uint112 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, 'Safe112: multiplication overflow');

        return c;
    }

    function div(uint112 a, uint112 b) internal pure returns (uint256) {
        return div(a, b, 'Safe112: division by zero');
    }

    function div(
        uint112 a,
        uint112 b,
        string memory errorMessage
    ) internal pure returns (uint112) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, errorMessage);
        uint112 c = a / b;

        return c;
    }

    function mod(uint112 a, uint112 b) internal pure returns (uint256) {
        return mod(a, b, 'Safe112: modulo by zero');
    }

    function mod(
        uint112 a,
        uint112 b,
        string memory errorMessage
    ) internal pure returns (uint112) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

// File: @openzeppelin/contracts/GSN/Context.sol

pragma solidity ^0.6.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.
 */
abstract contract Context {
    function _msgSender() internal virtual view returns (address payable) {
        return msg.sender;
    }

    function _msgData() internal virtual 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/access/Ownable.sol

pragma solidity ^0.6.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.
 *
 * 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.
 */
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() internal {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    /**
     * @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(_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 {
        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 virtual onlyOwner {
        require(
            newOwner != address(0),
            'Ownable: new owner is the zero address'
        );
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

// File: contracts/owner/Operator.sol

pragma solidity ^0.6.0;

contract Operator is Context, Ownable {
    address private _operator;

    event OperatorTransferred(
        address indexed previousOperator,
        address indexed newOperator
    );

    constructor() internal {
        _operator = _msgSender();
        emit OperatorTransferred(address(0), _operator);
    }

    function operator() public view returns (address) {
        return _operator;
    }

    modifier onlyOperator() {
        require(
            _operator == msg.sender,
            'operator: caller is not the operator'
        );
        _;
    }

    function isOperator() public view returns (bool) {
        return _msgSender() == _operator;
    }

    function transferOperator(address newOperator_) public onlyOwner {
        _transferOperator(newOperator_);
    }

    function _transferOperator(address newOperator_) internal {
        require(
            newOperator_ != address(0),
            'operator: zero address given for new operator'
        );
        emit OperatorTransferred(address(0), newOperator_);
        _operator = newOperator_;
    }
}

// File: contracts/utils/ContractGuard.sol

pragma solidity ^0.6.12;

contract ContractGuard {
    mapping(uint256 => mapping(address => bool)) private _status;

    function checkSameOriginReentranted() internal view returns (bool) {
        return _status[block.number][tx.origin];
    }

    function checkSameSenderReentranted() internal view returns (bool) {
        return _status[block.number][msg.sender];
    }

    modifier onlyOneBlock() {
        require(
            !checkSameOriginReentranted(),
            'ContractGuard: one block, one function'
        );
        require(
            !checkSameSenderReentranted(),
            'ContractGuard: one block, one function'
        );

        _;

        _status[block.number][tx.origin] = true;
        _status[block.number][msg.sender] = true;
    }
}

// File: contracts/interfaces/IBasisAsset.sol

pragma solidity ^0.6.0;

interface IBasisAsset {
    function mint(address recipient, uint256 amount) external returns (bool);

    function burn(uint256 amount) external;

    function burnFrom(address from, uint256 amount) external;

    function isOperator() external returns (bool);

    function operator() external view returns (address);
}

// File: contracts/interfaces/IOracle.sol

pragma solidity ^0.6.0;

interface IOracle {
    function update() external;

    function consult(address token, uint256 amountIn)
        external
        view
        returns (uint256 amountOut);
    // function getReserves() external view returns (uint112 reserve0, uint112 reserve1, uint32 blockTimestamp);
}

// File: contracts/interfaces/IBoardroom.sol

pragma solidity ^0.6.0;

interface IBoardroom {
    function allocateSeigniorage(uint256 amount) external;
}

// File: contracts/Treasury.sol

pragma solidity ^0.6.0;

/**
 * @title Basis Cash Treasury contract
 * @notice Monetary policy logic to adjust supplies of basis cash assets
 * @author Summer Smith & Rick Sanchez
 */
contract Treasury is ContractGuard, Operator {
    using FixedPoint for *;
    using SafeERC20 for IERC20;
    using Address for address;
    using SafeMath for uint256;
    using Safe112 for uint112;

    /* ========= CONSTANT VARIABLES ======== */

    uint256 public constant PERIOD = 1 days;

    /* ========== STATE VARIABLES ========== */

    // flags
    bool private migrated = false;
    bool private initialized = false;

    // epoch
    uint256 public startTime;
    uint256 public epoch = 0;

    // core components
    address private cash;
    address private bond;
    address private share;
    address private boardroom;
    address private cashOracle;

    // price
    uint256 public cashPriceOne;
    uint256 public cashPriceCeiling;
    uint256 private bondDepletionFloor;
    uint256 private seigniorageSaved = 0;

    /* ========== CONSTRUCTOR ========== */

    constructor(
        address _cash,
        address _bond,
        address _share,
        address _cashOracle,
        address _boardroom,
        uint256 _startTime
    ) public {
        cash = _cash;
        bond = _bond;
        share = _share;
        cashOracle = _cashOracle;
        boardroom = _boardroom;

        startTime = _startTime;

        cashPriceOne = 10**18;
        cashPriceCeiling = uint256(105).mul(cashPriceOne).div(10**2);

        bondDepletionFloor = uint256(1000).mul(cashPriceOne);
    }

    /* =================== Modifier =================== */

    modifier checkCondition {
        require(!migrated, 'Treasury: migrated');
        require(now >= startTime, 'Treasury: not started yet');

        _;
    }

    modifier checkEpoch {
        require(now >= nextEpochPoint(), 'Treasury: not opened yet');

        _;

        epoch = epoch.add(1);
    }

    modifier checkOperator {
        require(
            IBasisAsset(cash).operator() == address(this) &&
                IBasisAsset(bond).operator() == address(this) &&
                IBasisAsset(share).operator() == address(this) &&
                Operator(boardroom).operator() == address(this),
            'Treasury: need more permission'
        );

        _;
    }

    modifier notInitialized {
        require(!initialized, 'Treasury: already initialized');

        _;
    }

    /* ========== VIEW FUNCTIONS ========== */

    // flags
    function isMigrated() public view returns (bool) {
        return migrated;
    }

    function isInitialized() public view returns (bool) {
        return initialized;
    }

    // epoch
    function nextEpochPoint() public view returns (uint256) {
        return startTime.add(epoch.mul(PERIOD));
    }

    // oracle
    function getCashPrice() public view returns (uint256 cashPrice) {
        try IOracle(cashOracle).consult(cash, 1e18) returns (uint256 price) {
            return price;
        } catch {
            revert('Treasury: failed to consult cash price from the oracle');
        }
    }

    // budget
    function getReserve() public view returns (uint256) {
        return seigniorageSaved;
    }

    /* ========== GOVERNANCE ========== */

    function initialize() public notInitialized checkOperator {
        // burn all of it's balance
        IBasisAsset(cash).burn(IERC20(cash).balanceOf(address(this)));

        // mint only 1001 cash to itself
        IBasisAsset(cash).mint(address(this), 1001 ether);

        // set seigniorageSaved to it's balance
        seigniorageSaved = IERC20(cash).balanceOf(address(this));

        initialized = true;
        emit Initialized(msg.sender, block.number);
    }

    function migrate(address target) public onlyOperator checkOperator {
        require(!migrated, 'Treasury: migrated');

        // cash
        Operator(cash).transferOperator(target);
        Operator(cash).transferOwnership(target);
        IERC20(cash).transfer(target, IERC20(cash).balanceOf(address(this)));

        // bond
        Operator(bond).transferOperator(target);
        Operator(bond).transferOwnership(target);
        IERC20(bond).transfer(target, IERC20(bond).balanceOf(address(this)));

        // share
        Operator(share).transferOperator(target);
        Operator(share).transferOwnership(target);
        IERC20(share).transfer(target, IERC20(share).balanceOf(address(this)));

        migrated = true;
        emit Migration(target);
    }

    /* ========== MUTABLE FUNCTIONS ========== */

    function _updateCashPrice() internal {
        try IOracle(cashOracle).update()  {} catch {}
    }

    function buyBonds(uint256 amount, uint256 targetPrice)
        external
        onlyOneBlock
        checkCondition
        checkOperator
    {
        require(amount > 0, 'Treasury: cannot purchase bonds with zero amount');

        uint256 cashPrice = getCashPrice();
        require(cashPrice == targetPrice, 'Treasury: cash price moved');
        require(
            cashPrice < cashPriceOne, // price < $1
            'Treasury: cashPrice not eligible for bond purchase'
        );

        uint256 bondPrice = cashPrice;

        IBasisAsset(cash).burnFrom(msg.sender, amount);
        IBasisAsset(bond).mint(msg.sender, amount.mul(1e18).div(bondPrice));
        _updateCashPrice();

        emit BoughtBonds(msg.sender, amount);
    }

    function redeemBonds(uint256 amount, uint256 targetPrice)
        external
        onlyOneBlock
        checkCondition
        checkOperator
    {
        require(amount > 0, 'Treasury: cannot redeem bonds with zero amount');

        uint256 cashPrice = getCashPrice();
        require(cashPrice == targetPrice, 'Treasury: cash price moved');
        require(
            cashPrice > cashPriceCeiling, // price > $1.05
            'Treasury: cashPrice not eligible for bond purchase'
        );
        require(
            IERC20(cash).balanceOf(address(this)) >= amount,
            'Treasury: treasury has no more budget'
        );

        seigniorageSaved = seigniorageSaved.sub(
            Math.min(seigniorageSaved, amount)
        );

        IBasisAsset(bond).burnFrom(msg.sender, amount);
        IERC20(cash).safeTransfer(msg.sender, amount);
        _updateCashPrice();

        emit RedeemedBonds(msg.sender, amount);
    }

    function allocateSeigniorage()
        external
        onlyOneBlock
        checkCondition
        checkEpoch
        checkOperator
    {
        _updateCashPrice();
        uint256 cashPrice = getCashPrice();
        require(
            cashPrice > cashPriceCeiling,
            'Treasury: there is no seigniorage to be allocated'
        );

        uint256 cashSupply = IERC20(cash).totalSupply().sub(seigniorageSaved);
        uint256 percentage = cashPrice.sub(cashPriceOne);
        uint256 seigniorage = cashSupply.mul(percentage).div(1e18);

        if (seigniorageSaved > bondDepletionFloor) {
            IBasisAsset(cash).mint(address(this), seigniorage);
            IERC20(cash).safeApprove(boardroom, seigniorage);
            IBoardroom(boardroom).allocateSeigniorage(seigniorage);
            emit BoardroomFunded(now, seigniorage);
        } else {
            seigniorageSaved = seigniorageSaved.add(seigniorage);
            IBasisAsset(cash).mint(address(this), seigniorage);
            emit TreasuryFunded(now, seigniorage);
        }
    }

    event Initialized(address indexed executor, uint256 at);
    event Migration(address indexed target);
    event RedeemedBonds(address indexed from, uint256 amount);
    event BoughtBonds(address indexed from, uint256 amount);
    event TreasuryFunded(uint256 timestamp, uint256 seigniorage);
    event BoardroomFunded(uint256 timestamp, uint256 seigniorage);
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_cash","type":"address"},{"internalType":"address","name":"_bond","type":"address"},{"internalType":"address","name":"_share","type":"address"},{"internalType":"address","name":"_cashOracle","type":"address"},{"internalType":"address","name":"_boardroom","type":"address"},{"internalType":"uint256","name":"_startTime","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"seigniorage","type":"uint256"}],"name":"BoardroomFunded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"BoughtBonds","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"executor","type":"address"},{"indexed":false,"internalType":"uint256","name":"at","type":"uint256"}],"name":"Initialized","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"target","type":"address"}],"name":"Migration","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOperator","type":"address"},{"indexed":true,"internalType":"address","name":"newOperator","type":"address"}],"name":"OperatorTransferred","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":true,"internalType":"address","name":"from","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"RedeemedBonds","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"seigniorage","type":"uint256"}],"name":"TreasuryFunded","type":"event"},{"inputs":[],"name":"PERIOD","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"allocateSeigniorage","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"targetPrice","type":"uint256"}],"name":"buyBonds","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"cashPriceCeiling","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"cashPriceOne","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"epoch","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getCashPrice","outputs":[{"internalType":"uint256","name":"cashPrice","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getReserve","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"initialize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"isInitialized","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"isMigrated","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"isOperator","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"target","type":"address"}],"name":"migrate","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"nextEpochPoint","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"operator","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"targetPrice","type":"uint256"}],"name":"redeemBonds","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newOperator_","type":"address"}],"name":"transferOperator","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

0x608060405234801561001057600080fd5b50600436106101375760003560e01c8063715018a6116100b8578063a9cfc46e1161007c578063a9cfc46e1461024c578063b06faf6214610254578063b4d1d7951461025c578063c5967c2614610264578063ce5494bb1461026c578063f2fde38b1461029257610137565b8063715018a61461022457806378e979251461022c5780638129fc1c146102345780638da5cb5b1461023c578063900cf0cf1461024457610137565b80634456eda2116100ff5780634456eda2146101c557806354f04a11146101cd578063570ca735146101f057806359bf5d39146102145780635b7561791461021c57610137565b8063118ebbf91461013c57806316ec08941461016157806323ced1351461017b57806329605e7714610183578063392e53cd146101a9575b600080fd5b61015f6004803603604081101561015257600080fd5b50803590602001356102b8565b005b6101696108d2565b60408051918252519081900360200190f35b610169610999565b61015f6004803603602081101561019957600080fd5b50356001600160a01b031661099f565b6101b1610a15565b604080519115158252519081900360200190f35b6101b1610a25565b61015f600480360360408110156101e357600080fd5b5080359060200135610a4b565b6101f8611022565b604080516001600160a01b039092168252519081900360200190f35b610169611031565b61015f611037565b61015f61177d565b610169611831565b61015f611837565b6101f8611cf7565b610169611d06565b610169611d0c565b6101b1611d12565b610169611d22565b610169611d29565b61015f6004803603602081101561028257600080fd5b50356001600160a01b0316611d4f565b61015f600480360360208110156102a857600080fd5b50356001600160a01b03166125ca565b6102c0612779565b156102fc5760405162461bcd60e51b8152600401808060200182810382526026815260200180612fd96026913960400191505060405180910390fd5b610304612798565b156103405760405162461bcd60e51b8152600401808060200182810382526026815260200180612fd96026913960400191505060405180910390fd5b600254600160a01b900460ff1615610394576040805162461bcd60e51b8152602060048201526012602482015271151c99585cdd5c9e4e881b5a59dc985d195960721b604482015290519081900360640190fd5b6003544210156103e7576040805162461bcd60e51b8152602060048201526019602482015278151c99585cdd5c9e4e881b9bdd081cdd185c9d1959081e595d603a1b604482015290519081900360640190fd5b6005546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b15801561042b57600080fd5b505afa15801561043f573d6000803e3d6000fd5b505050506040513d602081101561045557600080fd5b50516001600160a01b03161480156104e357506006546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b1580156104ac57600080fd5b505afa1580156104c0573d6000803e3d6000fd5b505050506040513d60208110156104d657600080fd5b50516001600160a01b0316145b801561056557506007546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b15801561052e57600080fd5b505afa158015610542573d6000803e3d6000fd5b505050506040513d602081101561055857600080fd5b50516001600160a01b0316145b80156105e757506008546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b1580156105b057600080fd5b505afa1580156105c4573d6000803e3d6000fd5b505050506040513d60208110156105da57600080fd5b50516001600160a01b0316145b610626576040805162461bcd60e51b815260206004820152601e6024820152600080516020612f3b833981519152604482015290519081900360640190fd5b600082116106655760405162461bcd60e51b815260040180806020018281038252602e815260200180612e32602e913960400191505060405180910390fd5b600061066f6108d2565b90508181146106c5576040805162461bcd60e51b815260206004820152601a60248201527f54726561737572793a2063617368207072696365206d6f766564000000000000604482015290519081900360640190fd5b600b5481116107055760405162461bcd60e51b8152600401808060200182810382526032815260200180612e606032913960400191505060405180910390fd5b600554604080516370a0823160e01b8152306004820152905185926001600160a01b0316916370a08231916024808301926020929190829003018186803b15801561074f57600080fd5b505afa158015610763573d6000803e3d6000fd5b505050506040513d602081101561077957600080fd5b505110156107b85760405162461bcd60e51b8152600401808060200182810382526025815260200180612ebf6025913960400191505060405180910390fd5b6107d06107c7600d54856127b7565b600d54906127cd565b600d556006546040805163079cc67960e41b81523360048201526024810186905290516001600160a01b03909216916379cc67909160448082019260009290919082900301818387803b15801561082657600080fd5b505af115801561083a573d6000803e3d6000fd5b505060055461085692506001600160a01b03169050338561280f565b61085e612866565b60408051848152905133917f9c3478f12dce08d85673d802af16ed5b9ebab8420ffd7b145d65d3157084b2ce919081900360200190a25050436000908152602081815260408083203284529091528082208054600160ff199182168117909255338452919092208054909116909117905550565b60095460055460408051633ddac95360e01b81526001600160a01b039283166004820152670de0b6b3a7640000602482015290516000939290921691633ddac95391604480820192602092909190829003018186803b15801561093457600080fd5b505afa92505050801561095957506040513d602081101561095457600080fd5b505160015b6109945760405162461bcd60e51b8152600401808060200182810382526036815260200180612f056036913960400191505060405180910390fd5b905090565b600b5481565b6109a76128c6565b6001546001600160a01b03908116911614610a09576040805162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b610a12816128ca565b50565b600254600160a81b900460ff1690565b6002546000906001600160a01b0316610a3c6128c6565b6001600160a01b031614905090565b610a53612779565b15610a8f5760405162461bcd60e51b8152600401808060200182810382526026815260200180612fd96026913960400191505060405180910390fd5b610a97612798565b15610ad35760405162461bcd60e51b8152600401808060200182810382526026815260200180612fd96026913960400191505060405180910390fd5b600254600160a01b900460ff1615610b27576040805162461bcd60e51b8152602060048201526012602482015271151c99585cdd5c9e4e881b5a59dc985d195960721b604482015290519081900360640190fd5b600354421015610b7a576040805162461bcd60e51b8152602060048201526019602482015278151c99585cdd5c9e4e881b9bdd081cdd185c9d1959081e595d603a1b604482015290519081900360640190fd5b6005546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b158015610bbe57600080fd5b505afa158015610bd2573d6000803e3d6000fd5b505050506040513d6020811015610be857600080fd5b50516001600160a01b0316148015610c7657506006546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b158015610c3f57600080fd5b505afa158015610c53573d6000803e3d6000fd5b505050506040513d6020811015610c6957600080fd5b50516001600160a01b0316145b8015610cf857506007546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b158015610cc157600080fd5b505afa158015610cd5573d6000803e3d6000fd5b505050506040513d6020811015610ceb57600080fd5b50516001600160a01b0316145b8015610d7a57506008546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b158015610d4357600080fd5b505afa158015610d57573d6000803e3d6000fd5b505050506040513d6020811015610d6d57600080fd5b50516001600160a01b0316145b610db9576040805162461bcd60e51b815260206004820152601e6024820152600080516020612f3b833981519152604482015290519081900360640190fd5b60008211610df85760405162461bcd60e51b8152600401808060200182810382526030815260200180612f5b6030913960400191505060405180910390fd5b6000610e026108d2565b9050818114610e58576040805162461bcd60e51b815260206004820152601a60248201527f54726561737572793a2063617368207072696365206d6f766564000000000000604482015290519081900360640190fd5b600a548110610e985760405162461bcd60e51b8152600401808060200182810382526032815260200180612e606032913960400191505060405180910390fd5b6005546040805163079cc67960e41b815233600482015260248101869052905183926001600160a01b0316916379cc679091604480830192600092919082900301818387803b158015610eea57600080fd5b505af1158015610efe573d6000803e3d6000fd5b50506006546001600160a01b031691506340c10f19905033610f3284610f2c89670de0b6b3a76400006126d5565b90612737565b6040518363ffffffff1660e01b815260040180836001600160a01b0316815260200182815260200192505050602060405180830381600087803b158015610f7857600080fd5b505af1158015610f8c573d6000803e3d6000fd5b505050506040513d6020811015610fa257600080fd5b50610fad9050612866565b60408051858152905133917fdbf5270c3cf4729fec4fdac76fda864aa4f3d14d657ad21772ac28f627141ed9919081900360200190a25050436000908152602081815260408083203284529091528082208054600160ff19918216811790925533845291909220805490911690911790555050565b6002546001600160a01b031690565b600d5490565b61103f612779565b1561107b5760405162461bcd60e51b8152600401808060200182810382526026815260200180612fd96026913960400191505060405180910390fd5b611083612798565b156110bf5760405162461bcd60e51b8152600401808060200182810382526026815260200180612fd96026913960400191505060405180910390fd5b600254600160a01b900460ff1615611113576040805162461bcd60e51b8152602060048201526012602482015271151c99585cdd5c9e4e881b5a59dc985d195960721b604482015290519081900360640190fd5b600354421015611166576040805162461bcd60e51b8152602060048201526019602482015278151c99585cdd5c9e4e881b9bdd081cdd185c9d1959081e595d603a1b604482015290519081900360640190fd5b61116e611d29565b4210156111c2576040805162461bcd60e51b815260206004820152601860248201527f54726561737572793a206e6f74206f70656e6564207965740000000000000000604482015290519081900360640190fd5b6005546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b15801561120657600080fd5b505afa15801561121a573d6000803e3d6000fd5b505050506040513d602081101561123057600080fd5b50516001600160a01b03161480156112be57506006546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b15801561128757600080fd5b505afa15801561129b573d6000803e3d6000fd5b505050506040513d60208110156112b157600080fd5b50516001600160a01b0316145b801561134057506007546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b15801561130957600080fd5b505afa15801561131d573d6000803e3d6000fd5b505050506040513d602081101561133357600080fd5b50516001600160a01b0316145b80156113c257506008546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b15801561138b57600080fd5b505afa15801561139f573d6000803e3d6000fd5b505050506040513d60208110156113b557600080fd5b50516001600160a01b0316145b611401576040805162461bcd60e51b815260206004820152601e6024820152600080516020612f3b833981519152604482015290519081900360640190fd5b611409612866565b60006114136108d2565b9050600b5481116114555760405162461bcd60e51b81526004018080602001828103825260318152602001806130356031913960400191505060405180910390fd5b60006114dd600d54600560009054906101000a90046001600160a01b03166001600160a01b03166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b1580156114ab57600080fd5b505afa1580156114bf573d6000803e3d6000fd5b505050506040513d60208110156114d557600080fd5b5051906127cd565b905060006114f6600a54846127cd90919063ffffffff16565b90506000611510670de0b6b3a7640000610f2c85856126d5565b9050600c54600d54111561166057600554604080516340c10f1960e01b81523060048201526024810184905290516001600160a01b03909216916340c10f19916044808201926020929091908290030181600087803b15801561157257600080fd5b505af1158015611586573d6000803e3d6000fd5b505050506040513d602081101561159c57600080fd5b50506008546005546115bb916001600160a01b03918216911683612967565b600854604080516397ffe1d760e01b81526004810184905290516001600160a01b03909216916397ffe1d79160248082019260009290919082900301818387803b15801561160857600080fd5b505af115801561161c573d6000803e3d6000fd5b5050604080514281526020810185905281517f03ca7276ab7799bf73fb79d27ff0610cd7049574f2508ef8445162833d439aea9450908190039091019150a161172c565b600d5461166d9082612a7a565b600d55600554604080516340c10f1960e01b81523060048201526024810184905290516001600160a01b03909216916340c10f19916044808201926020929091908290030181600087803b1580156116c457600080fd5b505af11580156116d8573d6000803e3d6000fd5b505050506040513d60208110156116ee57600080fd5b5050604080514281526020810183905281517ff705142bf09f04297640495ddf7c59b7fd6f51894c5aea9602d631cf05f0efc2929181900390910190a15b505060045461173f925090506001612a7a565b600455436000908152602081815260408083203284529091528082208054600160ff1991821681179092553384529190922080549091169091179055565b6117856128c6565b6001546001600160a01b039081169116146117e7576040805162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b6001546040516000916001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600180546001600160a01b0319169055565b60035481565b600254600160a81b900460ff1615611896576040805162461bcd60e51b815260206004820152601d60248201527f54726561737572793a20616c726561647920696e697469616c697a6564000000604482015290519081900360640190fd5b6005546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b1580156118da57600080fd5b505afa1580156118ee573d6000803e3d6000fd5b505050506040513d602081101561190457600080fd5b50516001600160a01b031614801561199257506006546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b15801561195b57600080fd5b505afa15801561196f573d6000803e3d6000fd5b505050506040513d602081101561198557600080fd5b50516001600160a01b0316145b8015611a1457506007546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b1580156119dd57600080fd5b505afa1580156119f1573d6000803e3d6000fd5b505050506040513d6020811015611a0757600080fd5b50516001600160a01b0316145b8015611a9657506008546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b158015611a5f57600080fd5b505afa158015611a73573d6000803e3d6000fd5b505050506040513d6020811015611a8957600080fd5b50516001600160a01b0316145b611ad5576040805162461bcd60e51b815260206004820152601e6024820152600080516020612f3b833981519152604482015290519081900360640190fd5b600554604080516370a0823160e01b815230600482015290516001600160a01b03909216916342966c689183916370a0823191602480820192602092909190829003018186803b158015611b2857600080fd5b505afa158015611b3c573d6000803e3d6000fd5b505050506040513d6020811015611b5257600080fd5b5051604080516001600160e01b031960e085901b168152600481019290925251602480830192600092919082900301818387803b158015611b9257600080fd5b505af1158015611ba6573d6000803e3d6000fd5b5050600554604080516340c10f1960e01b8152306004820152683643aa647986040000602482015290516001600160a01b0390921693506340c10f1992506044808201926020929091908290030181600087803b158015611c0657600080fd5b505af1158015611c1a573d6000803e3d6000fd5b505050506040513d6020811015611c3057600080fd5b5050600554604080516370a0823160e01b815230600482015290516001600160a01b03909216916370a0823191602480820192602092909190829003018186803b158015611c7d57600080fd5b505afa158015611c91573d6000803e3d6000fd5b505050506040513d6020811015611ca757600080fd5b5051600d556002805460ff60a81b1916600160a81b17905560408051438152905133917f25ff68dd81b34665b5ba7e553ee5511bf6812e12adb4a7e2c0d9e26b3099ce79919081900360200190a2565b6001546001600160a01b031690565b60045481565b600a5481565b600254600160a01b900460ff1690565b6201518081565b6000610994611d46620151806004546126d590919063ffffffff16565b60035490612a7a565b6002546001600160a01b03163314611d985760405162461bcd60e51b8152600401808060200182810382526024815260200180612f8b6024913960400191505060405180910390fd5b6005546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b158015611ddc57600080fd5b505afa158015611df0573d6000803e3d6000fd5b505050506040513d6020811015611e0657600080fd5b50516001600160a01b0316148015611e9457506006546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b158015611e5d57600080fd5b505afa158015611e71573d6000803e3d6000fd5b505050506040513d6020811015611e8757600080fd5b50516001600160a01b0316145b8015611f1657506007546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b158015611edf57600080fd5b505afa158015611ef3573d6000803e3d6000fd5b505050506040513d6020811015611f0957600080fd5b50516001600160a01b0316145b8015611f9857506008546040805163570ca73560e01b8152905130926001600160a01b03169163570ca735916004808301926020929190829003018186803b158015611f6157600080fd5b505afa158015611f75573d6000803e3d6000fd5b505050506040513d6020811015611f8b57600080fd5b50516001600160a01b0316145b611fd7576040805162461bcd60e51b815260206004820152601e6024820152600080516020612f3b833981519152604482015290519081900360640190fd5b600254600160a01b900460ff161561202b576040805162461bcd60e51b8152602060048201526012602482015271151c99585cdd5c9e4e881b5a59dc985d195960721b604482015290519081900360640190fd5b600554604080516329605e7760e01b81526001600160a01b038481166004830152915191909216916329605e7791602480830192600092919082900301818387803b15801561207957600080fd5b505af115801561208d573d6000803e3d6000fd5b50506005546040805163f2fde38b60e01b81526001600160a01b038681166004830152915191909216935063f2fde38b9250602480830192600092919082900301818387803b1580156120df57600080fd5b505af11580156120f3573d6000803e3d6000fd5b5050600554604080516370a0823160e01b815230600482015290516001600160a01b03909216935063a9059cbb9250849184916370a08231916024808301926020929190829003018186803b15801561214b57600080fd5b505afa15801561215f573d6000803e3d6000fd5b505050506040513d602081101561217557600080fd5b5051604080516001600160e01b031960e086901b1681526001600160a01b03909316600484015260248301919091525160448083019260209291908290030181600087803b1580156121c657600080fd5b505af11580156121da573d6000803e3d6000fd5b505050506040513d60208110156121f057600080fd5b5050600654604080516329605e7760e01b81526001600160a01b038481166004830152915191909216916329605e7791602480830192600092919082900301818387803b15801561224057600080fd5b505af1158015612254573d6000803e3d6000fd5b50506006546040805163f2fde38b60e01b81526001600160a01b038681166004830152915191909216935063f2fde38b9250602480830192600092919082900301818387803b1580156122a657600080fd5b505af11580156122ba573d6000803e3d6000fd5b5050600654604080516370a0823160e01b815230600482015290516001600160a01b03909216935063a9059cbb9250849184916370a08231916024808301926020929190829003018186803b15801561231257600080fd5b505afa158015612326573d6000803e3d6000fd5b505050506040513d602081101561233c57600080fd5b5051604080516001600160e01b031960e086901b1681526001600160a01b03909316600484015260248301919091525160448083019260209291908290030181600087803b15801561238d57600080fd5b505af11580156123a1573d6000803e3d6000fd5b505050506040513d60208110156123b757600080fd5b5050600754604080516329605e7760e01b81526001600160a01b038481166004830152915191909216916329605e7791602480830192600092919082900301818387803b15801561240757600080fd5b505af115801561241b573d6000803e3d6000fd5b50506007546040805163f2fde38b60e01b81526001600160a01b038681166004830152915191909216935063f2fde38b9250602480830192600092919082900301818387803b15801561246d57600080fd5b505af1158015612481573d6000803e3d6000fd5b5050600754604080516370a0823160e01b815230600482015290516001600160a01b03909216935063a9059cbb9250849184916370a08231916024808301926020929190829003018186803b1580156124d957600080fd5b505afa1580156124ed573d6000803e3d6000fd5b505050506040513d602081101561250357600080fd5b5051604080516001600160e01b031960e086901b1681526001600160a01b03909316600484015260248301919091525160448083019260209291908290030181600087803b15801561255457600080fd5b505af1158015612568573d6000803e3d6000fd5b505050506040513d602081101561257e57600080fd5b50506002805460ff60a01b1916600160a01b1790556040516001600160a01b038216907f0caca70b66aed56b0630989a049110023c5a3f37e0ea4b6ce96fc747663f3ebc90600090a250565b6125d26128c6565b6001546001600160a01b03908116911614612634576040805162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b6001600160a01b0381166126795760405162461bcd60e51b8152600401808060200182810382526026815260200180612e0c6026913960400191505060405180910390fd5b6001546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600180546001600160a01b0319166001600160a01b0392909216919091179055565b6000826126e457506000612731565b828202828482816126f157fe5b041461272e5760405162461bcd60e51b8152600401808060200182810382526021815260200180612ee46021913960400191505060405180910390fd5b90505b92915050565b600061272e83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250612ad4565b4360009081526020818152604080832032845290915290205460ff1690565b4360009081526020818152604080832033845290915290205460ff1690565b60008183106127c6578161272e565b5090919050565b600061272e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612b76565b604080516001600160a01b038416602482015260448082018490528251808303909101815260649091019091526020810180516001600160e01b031663a9059cbb60e01b179052612861908490612bd0565b505050565b600960009054906101000a90046001600160a01b03166001600160a01b031663a2e620456040518163ffffffff1660e01b8152600401600060405180830381600087803b1580156128b657600080fd5b505af1925050508015610a125750565b3390565b6001600160a01b03811661290f5760405162461bcd60e51b815260040180806020018281038252602d815260200180612e92602d913960400191505060405180910390fd5b6040516001600160a01b038216906000907f74da04524d50c64947f5dd5381ef1a4dca5cba8ed1d816243f9e48aa0b5617ed908290a3600280546001600160a01b0319166001600160a01b0392909216919091179055565b8015806129ed575060408051636eb1769f60e11b81523060048201526001600160a01b03848116602483015291519185169163dd62ed3e91604480820192602092909190829003018186803b1580156129bf57600080fd5b505afa1580156129d3573d6000803e3d6000fd5b505050506040513d60208110156129e957600080fd5b5051155b612a285760405162461bcd60e51b8152600401808060200182810382526036815260200180612fff6036913960400191505060405180910390fd5b604080516001600160a01b038416602482015260448082018490528251808303909101815260649091019091526020810180516001600160e01b031663095ea7b360e01b179052612861908490612bd0565b60008282018381101561272e576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b60008183612b605760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612b25578181015183820152602001612b0d565b50505050905090810190601f168015612b525780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581612b6c57fe5b0495945050505050565b60008184841115612bc85760405162461bcd60e51b8152602060048201818152835160248401528351909283926044909101919085019080838360008315612b25578181015183820152602001612b0d565b505050900390565b6060612c25826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564815250856001600160a01b0316612c819092919063ffffffff16565b80519091501561286157808060200190516020811015612c4457600080fd5b50516128615760405162461bcd60e51b815260040180806020018281038252602a815260200180612faf602a913960400191505060405180910390fd5b6060612c908484600085612c98565b949350505050565b6060612ca385612e05565b612cf4576040805162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000604482015290519081900360640190fd5b60006060866001600160a01b031685876040518082805190602001908083835b60208310612d335780518252601f199092019160209182019101612d14565b6001836020036101000a03801982511681845116808217855250505050505090500191505060006040518083038185875af1925050503d8060008114612d95576040519150601f19603f3d011682016040523d82523d6000602084013e612d9a565b606091505b50915091508115612dae579150612c909050565b805115612dbe5780518082602001fd5b60405162461bcd60e51b8152602060048201818152865160248401528651879391928392604401919085019080838360008315612b25578181015183820152602001612b0d565b3b15159056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737354726561737572793a2063616e6e6f742072656465656d20626f6e64732077697468207a65726f20616d6f756e7454726561737572793a20636173685072696365206e6f7420656c696769626c6520666f7220626f6e642070757263686173656f70657261746f723a207a65726f206164647265737320676976656e20666f72206e6577206f70657261746f7254726561737572793a20747265617375727920686173206e6f206d6f726520627564676574536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7754726561737572793a206661696c656420746f20636f6e73756c7420636173682070726963652066726f6d20746865206f7261636c6554726561737572793a206e656564206d6f7265207065726d697373696f6e000054726561737572793a2063616e6e6f7420707572636861736520626f6e64732077697468207a65726f20616d6f756e746f70657261746f723a2063616c6c6572206973206e6f7420746865206f70657261746f725361666545524332303a204552433230206f7065726174696f6e20646964206e6f742073756363656564436f6e747261637447756172643a206f6e6520626c6f636b2c206f6e652066756e6374696f6e5361666545524332303a20617070726f76652066726f6d206e6f6e2d7a65726f20746f206e6f6e2d7a65726f20616c6c6f77616e636554726561737572793a207468657265206973206e6f20736569676e696f7261676520746f20626520616c6c6f6361746564a2646970667358221220e03c6ffac837a251cb1e22aa7bd38e7a19ab11a7fe5766ee3cfa2860c5ba1d5364736f6c634300060c0033

34549:7887:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;39995:967;;;;;;;;;;;;;;;;-1:-1:-1;39995:967:0;;;;;;;:::i;:::-;;37318:287;;;:::i;:::-;;;;;;;;;;;;;;;;35302:31;;;:::i;32100:115::-;;;;;;;;;;;;;;;;-1:-1:-1;32100:115:0;-1:-1:-1;;;;;32100:115:0;;:::i;37070:89::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;31992:100;;;:::i;39223:764::-;;;;;;;;;;;;;;;;-1:-1:-1;39223:764:0;;;;;;;:::i;31727:85::-;;;:::i;:::-;;;;-1:-1:-1;;;;;31727:85:0;;;;;;;;;;;;;;37628:94;;;:::i;40970:1092::-;;;:::i;30735:148::-;;;:::i;35017:24::-;;;:::i;37776:481::-;;;:::i;30093:79::-;;;:::i;35048:24::-;;;:::i;35268:27::-;;;:::i;36979:83::-;;;:::i;34813:39::-;;;:::i;37181:114::-;;;:::i;38265:789::-;;;;;;;;;;;;;;;;-1:-1:-1;38265:789:0;-1:-1:-1;;;;;38265:789:0;;:::i;31038:281::-;;;;;;;;;;;;;;;;-1:-1:-1;31038:281:0;-1:-1:-1;;;;;31038:281:0;;:::i;39995:967::-;33022:28;:26;:28::i;:::-;33021:29;32999:117;;;;-1:-1:-1;;;32999:117:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33150:28;:26;:28::i;:::-;33149:29;33127:117;;;;-1:-1:-1;;;33127:117:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;36126:8:::1;::::0;-1:-1:-1;;;36126:8:0;::::1;;;36125:9;36117:40;;;::::0;;-1:-1:-1;;;36117:40:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;-1:-1:-1;;;36117:40:0;;;;;;;;;;;;;::::1;;36183:9;;36176:3;:16;;36168:54;;;::::0;;-1:-1:-1;;;36168:54:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;-1:-1:-1;;;36168:54:0;;;;;;;;;;;;;::::1;;36474:4:::2;::::0;36462:28:::2;::::0;;-1:-1:-1;;;36462:28:0;;;;36502:4:::2;::::0;-1:-1:-1;;;;;36474:4:0::2;::::0;36462:26:::2;::::0;:28:::2;::::0;;::::2;::::0;::::2;::::0;;;;;;;;36474:4;36462:28;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;36462:28:0;-1:-1:-1;;;;;36462:45:0::2;;:111:::0;::::2;;;-1:-1:-1::0;36540:4:0::2;::::0;36528:28:::2;::::0;;-1:-1:-1;;;36528:28:0;;;;36568:4:::2;::::0;-1:-1:-1;;;;;36540:4:0::2;::::0;36528:26:::2;::::0;:28:::2;::::0;;::::2;::::0;::::2;::::0;;;;;;;;36540:4;36528:28;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;36528:28:0;-1:-1:-1;;;;;36528:45:0::2;;36462:111;:178;;;;-1:-1:-1::0;36606:5:0::2;::::0;36594:29:::2;::::0;;-1:-1:-1;;;36594:29:0;;;;36635:4:::2;::::0;-1:-1:-1;;;;;36606:5:0::2;::::0;36594:27:::2;::::0;:29:::2;::::0;;::::2;::::0;::::2;::::0;;;;;;;;36606:5;36594:29;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;36594:29:0;-1:-1:-1;;;;;36594:46:0::2;;36462:178;:246;;;;-1:-1:-1::0;36670:9:0::2;::::0;36661:30:::2;::::0;;-1:-1:-1;;;36661:30:0;;;;36703:4:::2;::::0;-1:-1:-1;;;;;36670:9:0::2;::::0;36661:28:::2;::::0;:30:::2;::::0;;::::2;::::0;::::2;::::0;;;;;;;;36670:9;36661:30;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;36661:30:0;-1:-1:-1;;;;;36661:47:0::2;;36462:246;36440:326;;;::::0;;-1:-1:-1;;;36440:326:0;;::::2;;::::0;::::2;::::0;::::2;::::0;;;;-1:-1:-1;;;;;;;;;;;36440:326:0;;;;;;;;;;;;;::::2;;40173:1:::3;40164:6;:10;40156:69;;;;-1:-1:-1::0;;;40156:69:0::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;40238:17;40258:14;:12;:14::i;:::-;40238:34;;40304:11;40291:9;:24;40283:63;;;::::0;;-1:-1:-1;;;40283:63:0;;::::3;;::::0;::::3;::::0;::::3;::::0;;;;::::3;::::0;;;;;;;;;;;;;::::3;;40391:16;;40379:9;:28;40357:145;;;;-1:-1:-1::0;;;40357:145:0::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;40542:4;::::0;40535:37:::3;::::0;;-1:-1:-1;;;40535:37:0;;40566:4:::3;40535:37;::::0;::::3;::::0;;;40576:6;;-1:-1:-1;;;;;40542:4:0::3;::::0;40535:22:::3;::::0;:37;;;;;::::3;::::0;;;;;;;;40542:4;40535:37;::::3;;::::0;::::3;;;;::::0;::::3;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;;;;;;;;::::0;::::3;;-1:-1:-1::0;40535:37:0;:47:::3;;40513:134;;;;-1:-1:-1::0;;;40513:134:0::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;40679:80;40714:34;40723:16;;40741:6;40714:8;:34::i;:::-;40679:16;::::0;;:20:::3;:80::i;:::-;40660:16;:99:::0;40784:4:::3;::::0;40772:46:::3;::::0;;-1:-1:-1;;;40772:46:0;;40799:10:::3;40772:46;::::0;::::3;::::0;;;;;;;;;-1:-1:-1;;;;;40784:4:0;;::::3;::::0;40772:26:::3;::::0;:46;;;;;40784:4:::3;::::0;40772:46;;;;;;;;40784:4;;40772:46;::::3;;::::0;::::3;;;;::::0;::::3;;;;;;;;;;;;::::0;::::3;;;;;-1:-1:-1::0;;40836:4:0::3;::::0;40829:45:::3;::::0;-1:-1:-1;;;;;;40836:4:0::3;::::0;-1:-1:-1;40855:10:0::3;40867:6:::0;40829:25:::3;:45::i;:::-;40885:18;:16;:18::i;:::-;40921:33;::::0;;;;;;;40935:10:::3;::::0;40921:33:::3;::::0;;;;;::::3;::::0;;::::3;-1:-1:-1::0;;33279:12:0;33271:7;:21;;;;;;;;;;;33293:9;33271:32;;;;;;;;:39;;33306:4;-1:-1:-1;;33271:39:0;;;;;;;;33343:10;33321:33;;;;;;:40;;;;;;;;;;-1:-1:-1;39995:967:0:o;37318:287::-;37405:10;;37425:4;;37397:39;;;-1:-1:-1;;;37397:39:0;;-1:-1:-1;;;;;37425:4:0;;;37397:39;;;;37431:4;37397:39;;;;;;37363:17;;37405:10;;;;;37397:27;;:39;;;;;;;;;;;;;;;37405:10;37397:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;37397:39:0;;;37393:205;;37522:64;;-1:-1:-1;;;37522:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;37393:205;37483:5;-1:-1:-1;37318:287:0;:::o;35302:31::-;;;;:::o;32100:115::-;30315:12;:10;:12::i;:::-;30305:6;;-1:-1:-1;;;;;30305:6:0;;;:22;;;30297:67;;;;;-1:-1:-1;;;30297:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;32176:31:::1;32194:12;32176:17;:31::i;:::-;32100:115:::0;:::o;37070:89::-;37140:11;;-1:-1:-1;;;37140:11:0;;;;;37070:89::o;31992:100::-;32075:9;;32035:4;;-1:-1:-1;;;;;32075:9:0;32059:12;:10;:12::i;:::-;-1:-1:-1;;;;;32059:25:0;;32052:32;;31992:100;:::o;39223:764::-;33022:28;:26;:28::i;:::-;33021:29;32999:117;;;;-1:-1:-1;;;32999:117:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33150:28;:26;:28::i;:::-;33149:29;33127:117;;;;-1:-1:-1;;;33127:117:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;36126:8:::1;::::0;-1:-1:-1;;;36126:8:0;::::1;;;36125:9;36117:40;;;::::0;;-1:-1:-1;;;36117:40:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;-1:-1:-1;;;36117:40:0;;;;;;;;;;;;;::::1;;36183:9;;36176:3;:16;;36168:54;;;::::0;;-1:-1:-1;;;36168:54:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;-1:-1:-1;;;36168:54:0;;;;;;;;;;;;;::::1;;36474:4:::2;::::0;36462:28:::2;::::0;;-1:-1:-1;;;36462:28:0;;;;36502:4:::2;::::0;-1:-1:-1;;;;;36474:4:0::2;::::0;36462:26:::2;::::0;:28:::2;::::0;;::::2;::::0;::::2;::::0;;;;;;;;36474:4;36462:28;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;36462:28:0;-1:-1:-1;;;;;36462:45:0::2;;:111:::0;::::2;;;-1:-1:-1::0;36540:4:0::2;::::0;36528:28:::2;::::0;;-1:-1:-1;;;36528:28:0;;;;36568:4:::2;::::0;-1:-1:-1;;;;;36540:4:0::2;::::0;36528:26:::2;::::0;:28:::2;::::0;;::::2;::::0;::::2;::::0;;;;;;;;36540:4;36528:28;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;36528:28:0;-1:-1:-1;;;;;36528:45:0::2;;36462:111;:178;;;;-1:-1:-1::0;36606:5:0::2;::::0;36594:29:::2;::::0;;-1:-1:-1;;;36594:29:0;;;;36635:4:::2;::::0;-1:-1:-1;;;;;36606:5:0::2;::::0;36594:27:::2;::::0;:29:::2;::::0;;::::2;::::0;::::2;::::0;;;;;;;;36606:5;36594:29;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;36594:29:0;-1:-1:-1;;;;;36594:46:0::2;;36462:178;:246;;;;-1:-1:-1::0;36670:9:0::2;::::0;36661:30:::2;::::0;;-1:-1:-1;;;36661:30:0;;;;36703:4:::2;::::0;-1:-1:-1;;;;;36670:9:0::2;::::0;36661:28:::2;::::0;:30:::2;::::0;;::::2;::::0;::::2;::::0;;;;;;;;36670:9;36661:30;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;36661:30:0;-1:-1:-1;;;;;36661:47:0::2;;36462:246;36440:326;;;::::0;;-1:-1:-1;;;36440:326:0;;::::2;;::::0;::::2;::::0;::::2;::::0;;;;-1:-1:-1;;;;;;;;;;;36440:326:0;;;;;;;;;;;;;::::2;;39398:1:::3;39389:6;:10;39381:71;;;;-1:-1:-1::0;;;39381:71:0::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;39465:17;39485:14;:12;:14::i;:::-;39465:34;;39531:11;39518:9;:24;39510:63;;;::::0;;-1:-1:-1;;;39510:63:0;;::::3;;::::0;::::3;::::0;::::3;::::0;;;;::::3;::::0;;;;;;;;;;;;;::::3;;39618:12;;39606:9;:24;39584:138;;;;-1:-1:-1::0;;;39584:138:0::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;39789:4;::::0;39777:46:::3;::::0;;-1:-1:-1;;;39777:46:0;;39804:10:::3;39777:46;::::0;::::3;::::0;;;;;;;;;39755:9;;-1:-1:-1;;;;;39789:4:0::3;::::0;39777:26:::3;::::0;:46;;;;;39735:17:::3;::::0;39777:46;;;;;;;39735:17;39789:4;39777:46;::::3;;::::0;::::3;;;;::::0;::::3;;;;;;;;;;;;::::0;::::3;;;;;-1:-1:-1::0;;39846:4:0::3;::::0;-1:-1:-1;;;;;39846:4:0::3;::::0;-1:-1:-1;39834:22:0::3;::::0;-1:-1:-1;39857:10:0::3;39869:31;39890:9:::0;39869:16:::3;:6:::0;39880:4:::3;39869:10;:16::i;:::-;:20:::0;::::3;:31::i;:::-;39834:67;;;;;;;;;;;;;-1:-1:-1::0;;;;;39834:67:0::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;;;;;;;;::::0;::::3;;-1:-1:-1::0;39912:18:0::3;::::0;-1:-1:-1;39912:16:0::3;:18::i;:::-;39948:31;::::0;;;;;;;39960:10:::3;::::0;39948:31:::3;::::0;;;;;::::3;::::0;;::::3;-1:-1:-1::0;;33279:12:0;33271:7;:21;;;;;;;;;;;33293:9;33271:32;;;;;;;;:39;;33306:4;-1:-1:-1;;33271:39:0;;;;;;;;33343:10;33321:33;;;;;;:40;;;;;;;;;;-1:-1:-1;;39223:764:0:o;31727:85::-;31795:9;;-1:-1:-1;;;;;31795:9:0;31727:85;:::o;37628:94::-;37698:16;;37628:94;:::o;40970:1092::-;33022:28;:26;:28::i;:::-;33021:29;32999:117;;;;-1:-1:-1;;;32999:117:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33150:28;:26;:28::i;:::-;33149:29;33127:117;;;;-1:-1:-1;;;33127:117:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;36126:8:::1;::::0;-1:-1:-1;;;36126:8:0;::::1;;;36125:9;36117:40;;;::::0;;-1:-1:-1;;;36117:40:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;-1:-1:-1;;;36117:40:0;;;;;;;;;;;;;::::1;;36183:9;;36176:3;:16;;36168:54;;;::::0;;-1:-1:-1;;;36168:54:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;-1:-1:-1;;;36168:54:0;;;;;;;;;;;;;::::1;;36298:16:::2;:14;:16::i;:::-;36291:3;:23;;36283:60;;;::::0;;-1:-1:-1;;;36283:60:0;;::::2;;::::0;::::2;::::0;::::2;::::0;;;;::::2;::::0;;;;;;;;;;;;;::::2;;36474:4:::3;::::0;36462:28:::3;::::0;;-1:-1:-1;;;36462:28:0;;;;36502:4:::3;::::0;-1:-1:-1;;;;;36474:4:0::3;::::0;36462:26:::3;::::0;:28:::3;::::0;;::::3;::::0;::::3;::::0;;;;;;;;36474:4;36462:28;::::3;;::::0;::::3;;;;::::0;::::3;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;;;;;;;;::::0;::::3;;-1:-1:-1::0;36462:28:0;-1:-1:-1;;;;;36462:45:0::3;;:111:::0;::::3;;;-1:-1:-1::0;36540:4:0::3;::::0;36528:28:::3;::::0;;-1:-1:-1;;;36528:28:0;;;;36568:4:::3;::::0;-1:-1:-1;;;;;36540:4:0::3;::::0;36528:26:::3;::::0;:28:::3;::::0;;::::3;::::0;::::3;::::0;;;;;;;;36540:4;36528:28;::::3;;::::0;::::3;;;;::::0;::::3;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;;;;;;;;::::0;::::3;;-1:-1:-1::0;36528:28:0;-1:-1:-1;;;;;36528:45:0::3;;36462:111;:178;;;;-1:-1:-1::0;36606:5:0::3;::::0;36594:29:::3;::::0;;-1:-1:-1;;;36594:29:0;;;;36635:4:::3;::::0;-1:-1:-1;;;;;36606:5:0::3;::::0;36594:27:::3;::::0;:29:::3;::::0;;::::3;::::0;::::3;::::0;;;;;;;;36606:5;36594:29;::::3;;::::0;::::3;;;;::::0;::::3;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;;;;;;;;::::0;::::3;;-1:-1:-1::0;36594:29:0;-1:-1:-1;;;;;36594:46:0::3;;36462:178;:246;;;;-1:-1:-1::0;36670:9:0::3;::::0;36661:30:::3;::::0;;-1:-1:-1;;;36661:30:0;;;;36703:4:::3;::::0;-1:-1:-1;;;;;36670:9:0::3;::::0;36661:28:::3;::::0;:30:::3;::::0;;::::3;::::0;::::3;::::0;;;;;;;;36670:9;36661:30;::::3;;::::0;::::3;;;;::::0;::::3;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;;;;;;;;::::0;::::3;;-1:-1:-1::0;36661:30:0;-1:-1:-1;;;;;36661:47:0::3;;36462:246;36440:326;;;::::0;;-1:-1:-1;;;36440:326:0;;::::3;;::::0;::::3;::::0;::::3;::::0;;;;-1:-1:-1;;;;;;;;;;;36440:326:0;;;;;;;;;;;;;::::3;;41124:18:::4;:16;:18::i;:::-;41153:17;41173:14;:12;:14::i;:::-;41153:34;;41232:16;;41220:9;:28;41198:127;;;;-1:-1:-1::0;;;41198:127:0::4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;41338:18;41359:48;41390:16;;41366:4;;;;;;;;;-1:-1:-1::0;;;;;41366:4:0::4;-1:-1:-1::0;;;;;41359:24:0::4;;:26;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::4;;;;;;;;;;;;::::0;::::4;;;;;;;;;;;;;;;;;;;::::0;::::4;;-1:-1:-1::0;41359:26:0;;:30:::4;:48::i;:::-;41338:69;;41418:18;41439:27;41453:12;;41439:9;:13;;:27;;;;:::i;:::-;41418:48:::0;-1:-1:-1;41477:19:0::4;41499:36;41530:4;41499:26;:10:::0;41418:48;41499:14:::4;:26::i;:36::-;41477:58;;41571:18;;41552:16;;:37;41548:507;;;41618:4;::::0;41606:50:::4;::::0;;-1:-1:-1;;;41606:50:0;;41637:4:::4;41606:50;::::0;::::4;::::0;;;;;;;;;-1:-1:-1;;;;;41618:4:0;;::::4;::::0;41606:22:::4;::::0;:50;;;;;::::4;::::0;;;;;;;;;41618:4:::4;::::0;41606:50;::::4;;::::0;::::4;;;;::::0;::::4;;;;;;;;;;;;::::0;::::4;;;;;;;;;;;;;;;;;;;::::0;::::4;;-1:-1:-1::0;;41696:9:0::4;::::0;41678:4:::4;::::0;41671:48:::4;::::0;-1:-1:-1;;;;;41678:4:0;;::::4;::::0;41696:9:::4;41707:11:::0;41671:24:::4;:48::i;:::-;41745:9;::::0;41734:54:::4;::::0;;-1:-1:-1;;;41734:54:0;;::::4;::::0;::::4;::::0;;;;;-1:-1:-1;;;;;41745:9:0;;::::4;::::0;41734:41:::4;::::0;:54;;;;;41745:9:::4;::::0;41734:54;;;;;;;;41745:9;;41734:54;::::4;;::::0;::::4;;;;::::0;::::4;;;;;;;;;;;;::::0;::::4;;;;;-1:-1:-1::0;;41808:33:0::4;::::0;;41824:3:::4;41808:33:::0;;::::4;::::0;::::4;::::0;;;;;::::4;::::0;-1:-1:-1;41808:33:0;;;;;;;;-1:-1:-1;41808:33:0::4;41548:507;;;41893:16;::::0;:33:::4;::::0;41914:11;41893:20:::4;:33::i;:::-;41874:16;:52:::0;41953:4:::4;::::0;41941:50:::4;::::0;;-1:-1:-1;;;41941:50:0;;41972:4:::4;41941:50;::::0;::::4;::::0;;;;;;;;;-1:-1:-1;;;;;41953:4:0;;::::4;::::0;41941:22:::4;::::0;:50;;;;;::::4;::::0;;;;;;;;;41953:4:::4;::::0;41941:50;::::4;;::::0;::::4;;;;::::0;::::4;;;;;;;;;;;;::::0;::::4;;;;;;;;;;;;;;;;;;;::::0;::::4;;-1:-1:-1::0;;42011:32:0::4;::::0;;42026:3:::4;42011:32:::0;;41941:50:::4;42011:32:::0;::::4;::::0;;;;;::::4;::::0;;;;;;;;;::::4;41548:507;-1:-1:-1::0;;36378:5:0::2;::::0;:12:::2;::::0;-1:-1:-1;36378:5:0;-1:-1:-1;36388:1:0::2;36378:9;:12::i;:::-;36370:5;:20:::0;33279:12;33271:7;:21;;;;;;;;;;;33293:9;33271:32;;;;;;;;:39;;33306:4;-1:-1:-1;;33271:39:0;;;;;;;;33343:10;33321:33;;;;;;:40;;;;;;;;;;40970:1092::o;30735:148::-;30315:12;:10;:12::i;:::-;30305:6;;-1:-1:-1;;;;;30305:6:0;;;:22;;;30297:67;;;;;-1:-1:-1;;;30297:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30826:6:::1;::::0;30805:40:::1;::::0;30842:1:::1;::::0;-1:-1:-1;;;;;30826:6:0::1;::::0;30805:40:::1;::::0;30842:1;;30805:40:::1;30856:6;:19:::0;;-1:-1:-1;;;;;;30856:19:0::1;::::0;;30735:148::o;35017:24::-;;;;:::o;37776:481::-;36840:11;;-1:-1:-1;;;36840:11:0;;;;36839:12;36831:54;;;;;-1:-1:-1;;;36831:54:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;36474:4:::1;::::0;36462:28:::1;::::0;;-1:-1:-1;;;36462:28:0;;;;36502:4:::1;::::0;-1:-1:-1;;;;;36474:4:0::1;::::0;36462:26:::1;::::0;:28:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;36474:4;36462:28;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;36462:28:0;-1:-1:-1;;;;;36462:45:0::1;;:111:::0;::::1;;;-1:-1:-1::0;36540:4:0::1;::::0;36528:28:::1;::::0;;-1:-1:-1;;;36528:28:0;;;;36568:4:::1;::::0;-1:-1:-1;;;;;36540:4:0::1;::::0;36528:26:::1;::::0;:28:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;36540:4;36528:28;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;36528:28:0;-1:-1:-1;;;;;36528:45:0::1;;36462:111;:178;;;;-1:-1:-1::0;36606:5:0::1;::::0;36594:29:::1;::::0;;-1:-1:-1;;;36594:29:0;;;;36635:4:::1;::::0;-1:-1:-1;;;;;36606:5:0::1;::::0;36594:27:::1;::::0;:29:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;36606:5;36594:29;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;36594:29:0;-1:-1:-1;;;;;36594:46:0::1;;36462:178;:246;;;;-1:-1:-1::0;36670:9:0::1;::::0;36661:30:::1;::::0;;-1:-1:-1;;;36661:30:0;;;;36703:4:::1;::::0;-1:-1:-1;;;;;36670:9:0::1;::::0;36661:28:::1;::::0;:30:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;36670:9;36661:30;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;36661:30:0;-1:-1:-1;;;;;36661:47:0::1;;36462:246;36440:326;;;::::0;;-1:-1:-1;;;36440:326:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;-1:-1:-1;;;;;;;;;;;36440:326:0;;;;;;;;;;;;;::::1;;37894:4:::2;::::0;37905:37:::2;::::0;;-1:-1:-1;;;37905:37:0;;37936:4:::2;37905:37;::::0;::::2;::::0;;;-1:-1:-1;;;;;37894:4:0;;::::2;::::0;37882:22:::2;::::0;37894:4;;37905:22:::2;::::0;:37;;;;;::::2;::::0;;;;;;;;;37894:4;37905:37;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;37905:37:0;37882:61:::2;::::0;;-1:-1:-1;;;;;;37882:61:0::2;::::0;;;;;;::::2;::::0;::::2;::::0;;;;;;;;;;-1:-1:-1;;37882:61:0;;;;;;;-1:-1:-1;37882:61:0;;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;-1:-1:-1::0;;38010:4:0::2;::::0;37998:49:::2;::::0;;-1:-1:-1;;;37998:49:0;;38029:4:::2;37998:49;::::0;::::2;::::0;38036:10:::2;37998:49:::0;;;;;;-1:-1:-1;;;;;38010:4:0;;::::2;::::0;-1:-1:-1;37998:22:0::2;::::0;-1:-1:-1;37998:49:0;;;;;::::2;::::0;;;;;;;;;38010:4:::2;::::0;37998:49;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;;38135:4:0::2;::::0;38128:37:::2;::::0;;-1:-1:-1;;;38128:37:0;;38159:4:::2;38128:37;::::0;::::2;::::0;;;-1:-1:-1;;;;;38135:4:0;;::::2;::::0;38128:22:::2;::::0;:37;;;;;37998:49:::2;::::0;38128:37;;;;;;;;38135:4;38128:37;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;38128:37:0;38109:16:::2;:56:::0;38178:11:::2;:18:::0;;-1:-1:-1;;;;38178:18:0::2;-1:-1:-1::0;;;38178:18:0::2;::::0;;38212:37:::2;::::0;;38236:12:::2;38212:37:::0;;;;38224:10:::2;::::0;38212:37:::2;::::0;;;;;38128::::2;38212::::0;;::::2;37776:481::o:0;30093:79::-;30158:6;;-1:-1:-1;;;;;30158:6:0;30093:79;:::o;35048:24::-;;;;:::o;35268:27::-;;;;:::o;36979:83::-;37046:8;;-1:-1:-1;;;37046:8:0;;;;;36979:83::o;34813:39::-;34846:6;34813:39;:::o;37181:114::-;37228:7;37255:32;37269:17;34846:6;37269:5;;:9;;:17;;;;:::i;:::-;37255:9;;;:13;:32::i;38265:789::-;31877:9;;-1:-1:-1;;;;;31877:9:0;31890:10;31877:23;31855:109;;;;-1:-1:-1;;;31855:109:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;36474:4:::1;::::0;36462:28:::1;::::0;;-1:-1:-1;;;36462:28:0;;;;36502:4:::1;::::0;-1:-1:-1;;;;;36474:4:0::1;::::0;36462:26:::1;::::0;:28:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;36474:4;36462:28;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;36462:28:0;-1:-1:-1;;;;;36462:45:0::1;;:111:::0;::::1;;;-1:-1:-1::0;36540:4:0::1;::::0;36528:28:::1;::::0;;-1:-1:-1;;;36528:28:0;;;;36568:4:::1;::::0;-1:-1:-1;;;;;36540:4:0::1;::::0;36528:26:::1;::::0;:28:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;36540:4;36528:28;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;36528:28:0;-1:-1:-1;;;;;36528:45:0::1;;36462:111;:178;;;;-1:-1:-1::0;36606:5:0::1;::::0;36594:29:::1;::::0;;-1:-1:-1;;;36594:29:0;;;;36635:4:::1;::::0;-1:-1:-1;;;;;36606:5:0::1;::::0;36594:27:::1;::::0;:29:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;36606:5;36594:29;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;36594:29:0;-1:-1:-1;;;;;36594:46:0::1;;36462:178;:246;;;;-1:-1:-1::0;36670:9:0::1;::::0;36661:30:::1;::::0;;-1:-1:-1;;;36661:30:0;;;;36703:4:::1;::::0;-1:-1:-1;;;;;36670:9:0::1;::::0;36661:28:::1;::::0;:30:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;36670:9;36661:30;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;36661:30:0;-1:-1:-1;;;;;36661:47:0::1;;36462:246;36440:326;;;::::0;;-1:-1:-1;;;36440:326:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;-1:-1:-1;;;;;;;;;;;36440:326:0;;;;;;;;;;;;;::::1;;38352:8:::2;::::0;-1:-1:-1;;;38352:8:0;::::2;;;38351:9;38343:40;;;::::0;;-1:-1:-1;;;38343:40:0;;::::2;;::::0;::::2;::::0;::::2;::::0;;;;-1:-1:-1;;;38343:40:0;;;;;;;;;;;;;::::2;;38422:4;::::0;38413:39:::2;::::0;;-1:-1:-1;;;38413:39:0;;-1:-1:-1;;;;;38413:39:0;;::::2;;::::0;::::2;::::0;;;38422:4;;;::::2;::::0;38413:31:::2;::::0;:39;;;;;38422:4:::2;::::0;38413:39;;;;;;;38422:4;;38413:39;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;-1:-1:-1::0;;38472:4:0::2;::::0;38463:40:::2;::::0;;-1:-1:-1;;;38463:40:0;;-1:-1:-1;;;;;38463:40:0;;::::2;;::::0;::::2;::::0;;;38472:4;;;::::2;::::0;-1:-1:-1;38463:32:0::2;::::0;-1:-1:-1;38463:40:0;;;;;38472:4:::2;::::0;38463:40;;;;;;;38472:4;;38463:40;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;-1:-1:-1::0;;38521:4:0::2;::::0;38544:37:::2;::::0;;-1:-1:-1;;;38544:37:0;;38575:4:::2;38544:37;::::0;::::2;::::0;;;-1:-1:-1;;;;;38521:4:0;;::::2;::::0;-1:-1:-1;38514:21:0::2;::::0;-1:-1:-1;38536:6:0;;38521:4;;38544:22:::2;::::0;:37;;;;;::::2;::::0;;;;;;;;38521:4;38544:37;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;38544:37:0;38514:68:::2;::::0;;-1:-1:-1;;;;;;38514:68:0::2;::::0;;;;;;-1:-1:-1;;;;;38514:68:0;;::::2;;::::0;::::2;::::0;;;;;;;;;;;;;;38544:37:::2;::::0;38514:68;;;;;;;-1:-1:-1;38514:68:0;;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;;38621:4:0::2;::::0;38612:39:::2;::::0;;-1:-1:-1;;;38612:39:0;;-1:-1:-1;;;;;38612:39:0;;::::2;;::::0;::::2;::::0;;;38621:4;;;::::2;::::0;38612:31:::2;::::0;:39;;;;;38621:4:::2;::::0;38612:39;;;;;;;38621:4;;38612:39;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;-1:-1:-1::0;;38671:4:0::2;::::0;38662:40:::2;::::0;;-1:-1:-1;;;38662:40:0;;-1:-1:-1;;;;;38662:40:0;;::::2;;::::0;::::2;::::0;;;38671:4;;;::::2;::::0;-1:-1:-1;38662:32:0::2;::::0;-1:-1:-1;38662:40:0;;;;;38671:4:::2;::::0;38662:40;;;;;;;38671:4;;38662:40;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;-1:-1:-1::0;;38720:4:0::2;::::0;38743:37:::2;::::0;;-1:-1:-1;;;38743:37:0;;38774:4:::2;38743:37;::::0;::::2;::::0;;;-1:-1:-1;;;;;38720:4:0;;::::2;::::0;-1:-1:-1;38713:21:0::2;::::0;-1:-1:-1;38735:6:0;;38720:4;;38743:22:::2;::::0;:37;;;;;::::2;::::0;;;;;;;;38720:4;38743:37;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;38743:37:0;38713:68:::2;::::0;;-1:-1:-1;;;;;;38713:68:0::2;::::0;;;;;;-1:-1:-1;;;;;38713:68:0;;::::2;;::::0;::::2;::::0;;;;;;;;;;;;;;38743:37:::2;::::0;38713:68;;;;;;;-1:-1:-1;38713:68:0;;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;;38821:5:0::2;::::0;38812:40:::2;::::0;;-1:-1:-1;;;38812:40:0;;-1:-1:-1;;;;;38812:40:0;;::::2;;::::0;::::2;::::0;;;38821:5;;;::::2;::::0;38812:32:::2;::::0;:40;;;;;38821:5:::2;::::0;38812:40;;;;;;;38821:5;;38812:40;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;-1:-1:-1::0;;38872:5:0::2;::::0;38863:41:::2;::::0;;-1:-1:-1;;;38863:41:0;;-1:-1:-1;;;;;38863:41:0;;::::2;;::::0;::::2;::::0;;;38872:5;;;::::2;::::0;-1:-1:-1;38863:33:0::2;::::0;-1:-1:-1;38863:41:0;;;;;38872:5:::2;::::0;38863:41;;;;;;;38872:5;;38863:41;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;-1:-1:-1::0;;38922:5:0::2;::::0;38946:38:::2;::::0;;-1:-1:-1;;;38946:38:0;;38978:4:::2;38946:38;::::0;::::2;::::0;;;-1:-1:-1;;;;;38922:5:0;;::::2;::::0;-1:-1:-1;38915:22:0::2;::::0;-1:-1:-1;38938:6:0;;38922:5;;38946:23:::2;::::0;:38;;;;;::::2;::::0;;;;;;;;38922:5;38946:38;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;38946:38:0;38915:70:::2;::::0;;-1:-1:-1;;;;;;38915:70:0::2;::::0;;;;;;-1:-1:-1;;;;;38915:70:0;;::::2;;::::0;::::2;::::0;;;;;;;;;;;;;;38946:38:::2;::::0;38915:70;;;;;;;-1:-1:-1;38915:70:0;;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;;38998:8:0::2;:15:::0;;-1:-1:-1;;;;38998:15:0::2;-1:-1:-1::0;;;38998:15:0::2;::::0;;39029:17:::2;::::0;-1:-1:-1;;;;;39029:17:0;::::2;::::0;::::2;::::0;38998:15;;39029:17:::2;38265:789:::0;:::o;31038:281::-;30315:12;:10;:12::i;:::-;30305:6;;-1:-1:-1;;;;;30305:6:0;;;:22;;;30297:67;;;;;-1:-1:-1;;;30297:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;31141:22:0;::::1;31119:110;;;;-1:-1:-1::0;;;31119:110:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31266:6;::::0;31245:38:::1;::::0;-1:-1:-1;;;;;31245:38:0;;::::1;::::0;31266:6:::1;::::0;31245:38:::1;::::0;31266:6:::1;::::0;31245:38:::1;31294:6;:17:::0;;-1:-1:-1;;;;;;31294:17:0::1;-1:-1:-1::0;;;;;31294:17:0;;;::::1;::::0;;;::::1;::::0;;31038:281::o;6074:471::-;6132:7;6377:6;6373:47;;-1:-1:-1;6407:1:0;6400:8;;6373:47;6444:5;;;6448:1;6444;:5;:1;6468:5;;;;;:10;6460:56;;;;-1:-1:-1;;;6460:56:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6536:1;-1:-1:-1;6074:471:0;;;;;:::o;7021:132::-;7079:7;7106:39;7110:1;7113;7106:39;;;;;;;;;;;;;;;;;:3;:39::i;32697:125::-;32790:12;32758:4;32782:21;;;;;;;;;;;32804:9;32782:32;;;;;;;;;;32697:125;:::o;32830:126::-;32923:12;32891:4;32915:21;;;;;;;;;;;32937:10;32915:33;;;;;;;;;;32830:126;:::o;424:106::-;482:7;513:1;509;:5;:13;;521:1;509:13;;;-1:-1:-1;517:1:0;;424:106;-1:-1:-1;424:106:0:o;5150:136::-;5208:7;5235:43;5239:1;5242;5235:43;;;;;;;;;;;;;;;;;:3;:43::i;16367:248::-;16538:58;;;-1:-1:-1;;;;;16538:58:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;16538:58:0;-1:-1:-1;;;16538:58:0;;;16484:123;;16518:5;;16484:19;:123::i;:::-;16367:248;;;:::o;39115:100::-;39175:10;;;;;;;;;-1:-1:-1;;;;;39175:10:0;-1:-1:-1;;;;;39167:26:0;;:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;39115:100::o;28625:106::-;28713:10;28625:106;:::o;32223:294::-;-1:-1:-1;;;;;32314:26:0;;32292:121;;;;-1:-1:-1;;;32292:121:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;32429:45;;-1:-1:-1;;;;;32429:45:0;;;32457:1;;32429:45;;32457:1;;32429:45;32485:9;:24;;-1:-1:-1;;;;;;32485:24:0;-1:-1:-1;;;;;32485:24:0;;;;;;;;;;32223:294::o;17177:707::-;17595:10;;;17594:62;;-1:-1:-1;17611:39:0;;;-1:-1:-1;;;17611:39:0;;17635:4;17611:39;;;;-1:-1:-1;;;;;17611:39:0;;;;;;;;;:15;;;;;;:39;;;;;;;;;;;;;;;:15;:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;17611:39:0;:44;17594:62;17572:166;;;;-1:-1:-1;;;17572:166:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17803:62;;;-1:-1:-1;;;;;17803:62:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;17803:62:0;-1:-1:-1;;;17803:62:0;;;17749:127;;17783:5;;17749:19;:127::i;4686:181::-;4744:7;4776:5;;;4800:6;;;;4792:46;;;;;-1:-1:-1;;;4792:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;7649:312;7769:7;7804:12;7797:5;7789:28;;;;-1:-1:-1;;;7789:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7828:9;7844:1;7840;:5;;;;;;;7649:312;-1:-1:-1;;;;;7649:312:0:o;5589:226::-;5709:7;5745:12;5737:6;;;;5729:29;;;;-1:-1:-1;;;5729:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;5781:5:0;;;5589:226::o;19243:860::-;19667:23;19693:106;19735:4;19693:106;;;;;;;;;;;;;;;;;19701:5;-1:-1:-1;;;;;19693:27:0;;;:106;;;;;:::i;:::-;19814:17;;19667:132;;-1:-1:-1;19814:21:0;19810:286;;19987:10;19976:30;;;;;;;;;;;;;;;-1:-1:-1;19976:30:0;19950:134;;;;-1:-1:-1;;;19950:134:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13047:230;13184:12;13216:53;13239:6;13247:4;13253:1;13256:12;13216:22;:53::i;:::-;13209:60;13047:230;-1:-1:-1;;;;13047:230:0:o;14668:1044::-;14841:12;14874:18;14885:6;14874:10;:18::i;:::-;14866:60;;;;;-1:-1:-1;;;14866:60:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;15000:12;15014:23;15041:6;-1:-1:-1;;;;;15041:11:0;15060:8;15084:4;15041:58;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;15041:58:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14999:100;;;;15114:7;15110:595;;;15145:10;-1:-1:-1;15138:17:0;;-1:-1:-1;15138:17:0;15110:595;15259:17;;:21;15255:439;;15522:10;15516:17;15583:15;15570:10;15566:2;15562:19;15555:44;15470:148;15658:20;;-1:-1:-1;;;15658:20:0;;;;;;;;;;;;;;;;;15665:12;;15658:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10010:444;10390:20;10438:8;;;10010:444::o

ipfs://e03c6ffac837a251cb1e22aa7bd38e7a19ab11a7fe5766ee3cfa2860c5ba1d53