Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IBoringDAO
•    - function pledge(bytes32 tunnelKey, ui ...
•    - function redeem(bytes32 tunnelKey, ui ...
•    - function approveMint(bytes32 tunnelKe ...
•    - function burnBToken(bytes32 _tunnelKe ...
•    - function getTrustee(uint index)
•    - function getTrusteeCount()
•    - function getRandomTrustee()
• library EnumerableSet
•    - function _add(Set storage set, bytes3 ...
•    - function _remove(Set storage set, byt ...
•    - function _contains(Set storage set, b ...
•    - function _length(Set storage set)
•    - function _at(Set storage set, uint256 ...
•    - function add(AddressSet storage set, ...
•    - function remove(AddressSet storage se ...
•    - function contains(AddressSet storage ...
•    - function length(AddressSet storage se ...
•    - function at(AddressSet storage set, u ...
•    - function add(UintSet storage set, uin ...
•    - function remove(UintSet storage set, ...
•    - function contains(UintSet storage set ...
•    - function length(UintSet storage set)
•    - function at(UintSet storage set, uint ...
• library Address
•    - function isContract(address account)
•    - function sendValue(address payable re ...
•    - function functionCall(address target, ...
•    - function functionCall(address target, ...
•    - function functionCallWithValue(addres ...
•    - function functionCallWithValue(addres ...
•    - function _functionCallWithValue(addre ...
•    - function _msgSender()
•    - function _msgData()
•    - function hasRole(bytes32 role, addres ...
•    - function getRoleMemberCount(bytes32 r ...
•    - function getRoleMember(bytes32 role, ...
•    - function getRoleAdmin(bytes32 role)
•    - function grantRole(bytes32 role, addr ...
•    - function revokeRole(bytes32 role, add ...
•    - function renounceRole(bytes32 role, a ...
•    - function _setupRole(bytes32 role, add ...
•    - function _setRoleAdmin(bytes32 role, ...
•    - function _grantRole(bytes32 role, add ...
•    - function _revokeRole(bytes32 role, ad ...
•  contract Pausable is Context
•    - function paused()
•    - function _pause()
•    - function _unpause()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•    - function mod(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b, st ...
• interface IAddressResolver
•    - function key2address(bytes32 key)
•    - function address2key(address addr)
•    - function requireAndKey2Address(bytes3 ...
•    - function setAddress(bytes32 key, addr ...
•    - function setMultiAddress(bytes32[] me ...
• interface ITunnel
•    - function pledge(address account, uint ...
•    - function redeem(address account, uint ...
•    - function issue(address account, uint ...
•    - function burn(address account, uint a ...
•    - function totalValuePledge()
•    - function canIssueAmount()
•    - function oTokenKey()
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•  contract ParamBook is Ownable
•    - function setParams(bytes32 name, uint ...
•    - function setMultiParams(bytes32[] mem ...
•    - function setParams2(
•    - function setMultiParams2(bytes32[] me ...
• library SafeDecimalMath
•    - function unit()
•    - function preciseUnit()
•    - function multiplyDecimal(uint x, uint ...
•    - function _multiplyDecimalRound(
•    - function multiplyDecimalRoundPrecise( ...
•    - function multiplyDecimalRound(uint x, ...
•    - function divideDecimal(uint x, uint y ...
•    - function _divideDecimalRound(
•    - function divideDecimalRound(uint x, u ...
•    - function divideDecimalRoundPrecise(ui ...
•    - function decimalToPreciseDecimal(uint ...
•    - function preciseDecimalToDecimal(uint ...
• interface IMintProposal
•    - function approve(
• interface IOracle
•    - function setPrice(bytes32 _symbol, ui ...
•    - function getPrice(bytes32 _symbol)
• interface ITrusteeFeePool
•    - function exit(address account)
•    - function enter(address account)
•    - function notifyReward(uint reward)
•  contract BoringDAO is AccessContro ... *
•    - function tunnel(bytes32 tunnelKey)
•    - function btoken(bytes32 symbol)
•    - function borERC20()
•    - function paramBook()
•    - function mintProposal()
•    - function oracle()
•    - function trusteeFeePool()
•    - function getTrustee(uint256 index)
•    - function getTrusteeCount()
•    - function getRandomTrustee()
•    - function addTrustee(address account)
•    - function addTrustees(address[] memory ...
•    - function removeTrustee(address accoun ...
•    - function setMine(address _mine)
•    - function setMintCap(uint256 amount)
•    - function pledge(bytes32 _tunnelKey, u ...
•    - function redeem(bytes32 _tunnelKey, u ...
•    - function burnBToken(bytes32 _tunnelKe ...
•    - function approveMint(
•    - function calculateMintBORAmount(bytes ...
•    - function pause()
•    - function unpause()
• interface IPaused
•    - function paused()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// File: contracts\interface\IBoringDAO.sol

// SPDX-License-Identifier: MIT

pragma solidity ^0.6.12;

interface IBoringDAO {
    // function openTunnel(bytes32 tunnelKey) external;

    function pledge(bytes32 tunnelKey, uint _amount) external;
    function redeem(bytes32 tunnelKey, uint _amount) external;

    function approveMint(bytes32 tunnelKey, string memory _txid, uint _amount, address account, string memory assetAddress) external;
    function burnBToken(bytes32 _tunnelKey, uint _amount, string memory assetAddress) external;

    function getTrustee(uint index) external view returns(address);
    function getTrusteeCount() external view returns(uint);
    function getRandomTrustee() external view returns (address);

}

// File: node_modules\@openzeppelin\contracts\utils\EnumerableSet.sol


pragma solidity ^0.6.0;

/**
 * @dev Library for managing
 * https://en.wikipedia.org/wiki/Set_(abstract_data_type)[sets] of primitive
 * types.
 *
 * Sets have the following properties:
 *
 * - Elements are added, removed, and checked for existence in constant time
 * (O(1)).
 * - Elements are enumerated in O(n). No guarantees are made on the ordering.
 *
 * ```
 * contract Example {
 *     // Add the library methods
 *     using EnumerableSet for EnumerableSet.AddressSet;
 *
 *     // Declare a set state variable
 *     EnumerableSet.AddressSet private mySet;
 * }
 * ```
 *
 * As of v3.0.0, only sets of type `address` (`AddressSet`) and `uint256`
 * (`UintSet`) are supported.
 */
library EnumerableSet {
    // To implement this library for multiple types with as little code
    // repetition as possible, we write it in terms of a generic Set type with
    // bytes32 values.
    // The Set implementation uses private functions, and user-facing
    // implementations (such as AddressSet) are just wrappers around the
    // underlying Set.
    // This means that we can only create new EnumerableSets for types that fit
    // in bytes32.

    struct Set {
        // Storage of set values
        bytes32[] _values;

        // Position of the value in the `values` array, plus 1 because index 0
        // means a value is not in the set.
        mapping (bytes32 => uint256) _indexes;
    }

    /**
     * @dev Add a value to a set. O(1).
     *
     * Returns true if the value was added to the set, that is if it was not
     * already present.
     */
    function _add(Set storage set, bytes32 value) private returns (bool) {
        if (!_contains(set, value)) {
            set._values.push(value);
            // The value is stored at length-1, but we add 1 to all indexes
            // and use 0 as a sentinel value
            set._indexes[value] = set._values.length;
            return true;
        } else {
            return false;
        }
    }

    /**
     * @dev Removes a value from a set. O(1).
     *
     * Returns true if the value was removed from the set, that is if it was
     * present.
     */
    function _remove(Set storage set, bytes32 value) private returns (bool) {
        // We read and store the value's index to prevent multiple reads from the same storage slot
        uint256 valueIndex = set._indexes[value];

        if (valueIndex != 0) { // Equivalent to contains(set, value)
            // To delete an element from the _values array in O(1), we swap the element to delete with the last one in
            // the array, and then remove the last element (sometimes called as 'swap and pop').
            // This modifies the order of the array, as noted in {at}.

            uint256 toDeleteIndex = valueIndex - 1;
            uint256 lastIndex = set._values.length - 1;

            // When the value to delete is the last one, the swap operation is unnecessary. However, since this occurs
            // so rarely, we still do the swap anyway to avoid the gas cost of adding an 'if' statement.

            bytes32 lastvalue = set._values[lastIndex];

            // Move the last value to the index where the value to delete is
            set._values[toDeleteIndex] = lastvalue;
            // Update the index for the moved value
            set._indexes[lastvalue] = toDeleteIndex + 1; // All indexes are 1-based

            // Delete the slot where the moved value was stored
            set._values.pop();

            // Delete the index for the deleted slot
            delete set._indexes[value];

            return true;
        } else {
            return false;
        }
    }

    /**
     * @dev Returns true if the value is in the set. O(1).
     */
    function _contains(Set storage set, bytes32 value) private view returns (bool) {
        return set._indexes[value] != 0;
    }

    /**
     * @dev Returns the number of values on the set. O(1).
     */
    function _length(Set storage set) private view returns (uint256) {
        return set._values.length;
    }

   /**
    * @dev Returns the value stored at position `index` in the set. O(1).
    *
    * Note that there are no guarantees on the ordering of values inside the
    * array, and it may change when more values are added or removed.
    *
    * Requirements:
    *
    * - `index` must be strictly less than {length}.
    */
    function _at(Set storage set, uint256 index) private view returns (bytes32) {
        require(set._values.length > index, "EnumerableSet: index out of bounds");
        return set._values[index];
    }

    // AddressSet

    struct AddressSet {
        Set _inner;
    }

    /**
     * @dev Add a value to a set. O(1).
     *
     * Returns true if the value was added to the set, that is if it was not
     * already present.
     */
    function add(AddressSet storage set, address value) internal returns (bool) {
        return _add(set._inner, bytes32(uint256(value)));
    }

    /**
     * @dev Removes a value from a set. O(1).
     *
     * Returns true if the value was removed from the set, that is if it was
     * present.
     */
    function remove(AddressSet storage set, address value) internal returns (bool) {
        return _remove(set._inner, bytes32(uint256(value)));
    }

    /**
     * @dev Returns true if the value is in the set. O(1).
     */
    function contains(AddressSet storage set, address value) internal view returns (bool) {
        return _contains(set._inner, bytes32(uint256(value)));
    }

    /**
     * @dev Returns the number of values in the set. O(1).
     */
    function length(AddressSet storage set) internal view returns (uint256) {
        return _length(set._inner);
    }

   /**
    * @dev Returns the value stored at position `index` in the set. O(1).
    *
    * Note that there are no guarantees on the ordering of values inside the
    * array, and it may change when more values are added or removed.
    *
    * Requirements:
    *
    * - `index` must be strictly less than {length}.
    */
    function at(AddressSet storage set, uint256 index) internal view returns (address) {
        return address(uint256(_at(set._inner, index)));
    }


    // UintSet

    struct UintSet {
        Set _inner;
    }

    /**
     * @dev Add a value to a set. O(1).
     *
     * Returns true if the value was added to the set, that is if it was not
     * already present.
     */
    function add(UintSet storage set, uint256 value) internal returns (bool) {
        return _add(set._inner, bytes32(value));
    }

    /**
     * @dev Removes a value from a set. O(1).
     *
     * Returns true if the value was removed from the set, that is if it was
     * present.
     */
    function remove(UintSet storage set, uint256 value) internal returns (bool) {
        return _remove(set._inner, bytes32(value));
    }

    /**
     * @dev Returns true if the value is in the set. O(1).
     */
    function contains(UintSet storage set, uint256 value) internal view returns (bool) {
        return _contains(set._inner, bytes32(value));
    }

    /**
     * @dev Returns the number of values on the set. O(1).
     */
    function length(UintSet storage set) internal view returns (uint256) {
        return _length(set._inner);
    }

   /**
    * @dev Returns the value stored at position `index` in the set. O(1).
    *
    * Note that there are no guarantees on the ordering of values inside the
    * array, and it may change when more values are added or removed.
    *
    * Requirements:
    *
    * - `index` must be strictly less than {length}.
    */
    function at(UintSet storage set, uint256 index) internal view returns (uint256) {
        return uint256(_at(set._inner, index));
    }
}

// File: node_modules\@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) {
        // According to EIP-1052, 0x0 is the value returned for not-yet created accounts
        // and 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470 is returned
        // for accounts without code, i.e. `keccak256('')`
        bytes32 codehash;
        bytes32 accountHash = 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470;
        // solhint-disable-next-line no-inline-assembly
        assembly { codehash := extcodehash(account) }
        return (codehash != accountHash && codehash != 0x0);
    }

    /**
     * @dev 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: node_modules\@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 view virtual returns (address payable) {
        return msg.sender;
    }

    function _msgData() internal view virtual 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\AccessControl.sol


pragma solidity ^0.6.0;




/**
 * @dev Contract module that allows children to implement role-based access
 * control mechanisms.
 *
 * Roles are referred to by their `bytes32` identifier. These should be exposed
 * in the external API and be unique. The best way to achieve this is by
 * using `public constant` hash digests:
 *
 * ```
 * bytes32 public constant MY_ROLE = keccak256("MY_ROLE");
 * ```
 *
 * Roles can be used to represent a set of permissions. To restrict access to a
 * function call, use {hasRole}:
 *
 * ```
 * function foo() public {
 *     require(hasRole(MY_ROLE, msg.sender));
 *     ...
 * }
 * ```
 *
 * Roles can be granted and revoked dynamically via the {grantRole} and
 * {revokeRole} functions. Each role has an associated admin role, and only
 * accounts that have a role's admin role can call {grantRole} and {revokeRole}.
 *
 * By default, the admin role for all roles is `DEFAULT_ADMIN_ROLE`, which means
 * that only accounts with this role will be able to grant or revoke other
 * roles. More complex role relationships can be created by using
 * {_setRoleAdmin}.
 *
 * WARNING: The `DEFAULT_ADMIN_ROLE` is also its own admin: it has permission to
 * grant and revoke this role. Extra precautions should be taken to secure
 * accounts that have been granted it.
 */
abstract contract AccessControl is Context {
    using EnumerableSet for EnumerableSet.AddressSet;
    using Address for address;

    struct RoleData {
        EnumerableSet.AddressSet members;
        bytes32 adminRole;
    }

    mapping (bytes32 => RoleData) private _roles;

    bytes32 public constant DEFAULT_ADMIN_ROLE = 0x00;

    /**
     * @dev Emitted when `newAdminRole` is set as ``role``'s admin role, replacing `previousAdminRole`
     *
     * `DEFAULT_ADMIN_ROLE` is the starting admin for all roles, despite
     * {RoleAdminChanged} not being emitted signaling this.
     *
     * _Available since v3.1._
     */
    event RoleAdminChanged(bytes32 indexed role, bytes32 indexed previousAdminRole, bytes32 indexed newAdminRole);

    /**
     * @dev Emitted when `account` is granted `role`.
     *
     * `sender` is the account that originated the contract call, an admin role
     * bearer except when using {_setupRole}.
     */
    event RoleGranted(bytes32 indexed role, address indexed account, address indexed sender);

    /**
     * @dev Emitted when `account` is revoked `role`.
     *
     * `sender` is the account that originated the contract call:
     *   - if using `revokeRole`, it is the admin role bearer
     *   - if using `renounceRole`, it is the role bearer (i.e. `account`)
     */
    event RoleRevoked(bytes32 indexed role, address indexed account, address indexed sender);

    /**
     * @dev Returns `true` if `account` has been granted `role`.
     */
    function hasRole(bytes32 role, address account) public view returns (bool) {
        return _roles[role].members.contains(account);
    }

    /**
     * @dev Returns the number of accounts that have `role`. Can be used
     * together with {getRoleMember} to enumerate all bearers of a role.
     */
    function getRoleMemberCount(bytes32 role) public view returns (uint256) {
        return _roles[role].members.length();
    }

    /**
     * @dev Returns one of the accounts that have `role`. `index` must be a
     * value between 0 and {getRoleMemberCount}, non-inclusive.
     *
     * Role bearers are not sorted in any particular way, and their ordering may
     * change at any point.
     *
     * WARNING: When using {getRoleMember} and {getRoleMemberCount}, make sure
     * you perform all queries on the same block. See the following
     * https://forum.openzeppelin.com/t/iterating-over-elements-on-enumerableset-in-openzeppelin-contracts/2296[forum post]
     * for more information.
     */
    function getRoleMember(bytes32 role, uint256 index) public view returns (address) {
        return _roles[role].members.at(index);
    }

    /**
     * @dev Returns the admin role that controls `role`. See {grantRole} and
     * {revokeRole}.
     *
     * To change a role's admin, use {_setRoleAdmin}.
     */
    function getRoleAdmin(bytes32 role) public view returns (bytes32) {
        return _roles[role].adminRole;
    }

    /**
     * @dev Grants `role` to `account`.
     *
     * If `account` had not been already granted `role`, emits a {RoleGranted}
     * event.
     *
     * Requirements:
     *
     * - the caller must have ``role``'s admin role.
     */
    function grantRole(bytes32 role, address account) public virtual {
        require(hasRole(_roles[role].adminRole, _msgSender()), "AccessControl: sender must be an admin to grant");

        _grantRole(role, account);
    }

    /**
     * @dev Revokes `role` from `account`.
     *
     * If `account` had been granted `role`, emits a {RoleRevoked} event.
     *
     * Requirements:
     *
     * - the caller must have ``role``'s admin role.
     */
    function revokeRole(bytes32 role, address account) public virtual {
        require(hasRole(_roles[role].adminRole, _msgSender()), "AccessControl: sender must be an admin to revoke");

        _revokeRole(role, account);
    }

    /**
     * @dev Revokes `role` from the calling account.
     *
     * Roles are often managed via {grantRole} and {revokeRole}: this function's
     * purpose is to provide a mechanism for accounts to lose their privileges
     * if they are compromised (such as when a trusted device is misplaced).
     *
     * If the calling account had been granted `role`, emits a {RoleRevoked}
     * event.
     *
     * Requirements:
     *
     * - the caller must be `account`.
     */
    function renounceRole(bytes32 role, address account) public virtual {
        require(account == _msgSender(), "AccessControl: can only renounce roles for self");

        _revokeRole(role, account);
    }

    /**
     * @dev Grants `role` to `account`.
     *
     * If `account` had not been already granted `role`, emits a {RoleGranted}
     * event. Note that unlike {grantRole}, this function doesn't perform any
     * checks on the calling account.
     *
     * [WARNING]
     * ====
     * This function should only be called from the constructor when setting
     * up the initial roles for the system.
     *
     * Using this function in any other way is effectively circumventing the admin
     * system imposed by {AccessControl}.
     * ====
     */
    function _setupRole(bytes32 role, address account) internal virtual {
        _grantRole(role, account);
    }

    /**
     * @dev Sets `adminRole` as ``role``'s admin role.
     *
     * Emits a {RoleAdminChanged} event.
     */
    function _setRoleAdmin(bytes32 role, bytes32 adminRole) internal virtual {
        emit RoleAdminChanged(role, _roles[role].adminRole, adminRole);
        _roles[role].adminRole = adminRole;
    }

    function _grantRole(bytes32 role, address account) private {
        if (_roles[role].members.add(account)) {
            emit RoleGranted(role, account, _msgSender());
        }
    }

    function _revokeRole(bytes32 role, address account) private {
        if (_roles[role].members.remove(account)) {
            emit RoleRevoked(role, account, _msgSender());
        }
    }
}

// File: @openzeppelin\contracts\utils\Pausable.sol


pragma solidity ^0.6.0;


/**
 * @dev Contract module which allows children to implement an emergency stop
 * mechanism that can be triggered by an authorized account.
 *
 * This module is used through inheritance. It will make available the
 * modifiers `whenNotPaused` and `whenPaused`, which can be applied to
 * the functions of your contract. Note that they will not be pausable by
 * simply including this module, only once the modifiers are put in place.
 */
contract Pausable is Context {
    /**
     * @dev Emitted when the pause is triggered by `account`.
     */
    event Paused(address account);

    /**
     * @dev Emitted when the pause is lifted by `account`.
     */
    event Unpaused(address account);

    bool private _paused;

    /**
     * @dev Initializes the contract in unpaused state.
     */
    constructor () internal {
        _paused = false;
    }

    /**
     * @dev Returns true if the contract is paused, and false otherwise.
     */
    function paused() public view returns (bool) {
        return _paused;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    modifier whenNotPaused() {
        require(!_paused, "Pausable: paused");
        _;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is paused.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    modifier whenPaused() {
        require(_paused, "Pausable: not paused");
        _;
    }

    /**
     * @dev Triggers stopped state.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    function _pause() internal virtual whenNotPaused {
        _paused = true;
        emit Paused(_msgSender());
    }

    /**
     * @dev Returns to normal state.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    function _unpause() internal virtual whenPaused {
        _paused = false;
        emit Unpaused(_msgSender());
    }
}

// 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: contracts\interface\IAddressResolver.sol


pragma solidity ^0.6.12;

interface IAddressResolver {
    
    function key2address(bytes32 key) external view returns(address);
    function address2key(address addr) external view returns(bytes32);
    function requireAndKey2Address(bytes32 name, string calldata reason) external view returns(address);

    function setAddress(bytes32 key, address addr) external;
    function setMultiAddress(bytes32[] memory keys, address[] memory addrs) external;
}

// File: contracts\interface\ITunnel.sol


pragma solidity ^0.6.12;

interface ITunnel {
    function pledge(address account, uint amount) external;
    function redeem(address account, uint amount) external;
    function issue(address account, uint amount) external;
    function burn(address account, uint amount, string memory assetAddress) external;
    function totalValuePledge() external view  returns(uint);
    function canIssueAmount() external view returns(uint);
    function oTokenKey() external view returns(bytes32);
}

// 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\ParamBook.sol


pragma solidity ^0.6.12;


contract ParamBook is Ownable {
    mapping(bytes32 => uint256) public params;
    mapping(bytes32 => mapping(bytes32 => uint256)) public params2;

    function setParams(bytes32 name, uint256 value) public onlyOwner {
        params[name] = value;
    }

    function setMultiParams(bytes32[] memory names, uint[] memory values) public onlyOwner {
        require(names.length == values.length, "ParamBook::setMultiParams:param length not match");
        for (uint i=0; i < names.length; i++ ) {
            params[names[i]] = values[i];
        }
    }

    function setParams2(
        bytes32 name1,
        bytes32 name2,
        uint256 value
    ) public onlyOwner {
        params2[name1][name2] = value;
    }

    function setMultiParams2(bytes32[] memory names1, bytes32[] memory names2, uint[] memory values) public onlyOwner {
        require(names1.length == names2.length, "ParamBook::setMultiParams2:param length not match");
        require(names1.length == values.length, "ParamBook::setMultiParams2:param length not match");
        for(uint i=0; i < names1.length; i++) {
            params2[names1[i]][names2[i]] = values[i];
        }
    }
}

// File: contracts\lib\SafeDecimalMath.sol

pragma solidity ^0.6.8;

// Libraries


// https://docs.synthetix.io/contracts/SafeDecimalMath
library SafeDecimalMath {
    using SafeMath for uint;

    /* Number of decimal places in the representations. */
    uint8 public constant decimals = 18;
    uint8 public constant highPrecisionDecimals = 27;

    /* The number representing 1.0. */
    uint public constant UNIT = 10**uint(decimals);

    /* The number representing 1.0 for higher fidelity numbers. */
    uint public constant PRECISE_UNIT = 10**uint(highPrecisionDecimals);
    uint private constant UNIT_TO_HIGH_PRECISION_CONVERSION_FACTOR = 10**uint(highPrecisionDecimals - decimals);

    /**
     * @return Provides an interface to UNIT.
     */
    function unit() external pure returns (uint) {
        return UNIT;
    }

    /**
     * @return Provides an interface to PRECISE_UNIT.
     */
    function preciseUnit() external pure returns (uint) {
        return PRECISE_UNIT;
    }

    /**
     * @return The result of multiplying x and y, interpreting the operands as fixed-point
     * decimals.
     *
     * @dev A unit factor is divided out after the product of x and y is evaluated,
     * so that product must be less than 2**256. As this is an integer division,
     * the internal division always rounds down. This helps save on gas. Rounding
     * is more expensive on gas.
     */
    function multiplyDecimal(uint x, uint y) internal pure returns (uint) {
        /* Divide by UNIT to remove the extra factor introduced by the product. */
        return x.mul(y) / UNIT;
    }

    /**
     * @return The result of safely multiplying x and y, interpreting the operands
     * as fixed-point decimals of the specified precision unit.
     *
     * @dev The operands should be in the form of a the specified unit factor which will be
     * divided out after the product of x and y is evaluated, so that product must be
     * less than 2**256.
     *
     * Unlike multiplyDecimal, this function rounds the result to the nearest increment.
     * Rounding is useful when you need to retain fidelity for small decimal numbers
     * (eg. small fractions or percentages).
     */
    function _multiplyDecimalRound(
        uint x,
        uint y,
        uint precisionUnit
    ) private pure returns (uint) {
        /* Divide by UNIT to remove the extra factor introduced by the product. */
        uint quotientTimesTen = x.mul(y) / (precisionUnit / 10);

        if (quotientTimesTen % 10 >= 5) {
            quotientTimesTen += 10;
        }

        return quotientTimesTen / 10;
    }

    /**
     * @return The result of safely multiplying x and y, interpreting the operands
     * as fixed-point decimals of a precise unit.
     *
     * @dev The operands should be in the precise unit factor which will be
     * divided out after the product of x and y is evaluated, so that product must be
     * less than 2**256.
     *
     * Unlike multiplyDecimal, this function rounds the result to the nearest increment.
     * Rounding is useful when you need to retain fidelity for small decimal numbers
     * (eg. small fractions or percentages).
     */
    function multiplyDecimalRoundPrecise(uint x, uint y) internal pure returns (uint) {
        return _multiplyDecimalRound(x, y, PRECISE_UNIT);
    }

    /**
     * @return The result of safely multiplying x and y, interpreting the operands
     * as fixed-point decimals of a standard unit.
     *
     * @dev The operands should be in the standard unit factor which will be
     * divided out after the product of x and y is evaluated, so that product must be
     * less than 2**256.
     *
     * Unlike multiplyDecimal, this function rounds the result to the nearest increment.
     * Rounding is useful when you need to retain fidelity for small decimal numbers
     * (eg. small fractions or percentages).
     */
    function multiplyDecimalRound(uint x, uint y) internal pure returns (uint) {
        return _multiplyDecimalRound(x, y, UNIT);
    }

    /**
     * @return The result of safely dividing x and y. The return value is a high
     * precision decimal.
     *
     * @dev y is divided after the product of x and the standard precision unit
     * is evaluated, so the product of x and UNIT must be less than 2**256. As
     * this is an integer division, the result is always rounded down.
     * This helps save on gas. Rounding is more expensive on gas.
     */
    function divideDecimal(uint x, uint y) internal pure returns (uint) {
        /* Reintroduce the UNIT factor that will be divided out by y. */
        return x.mul(UNIT).div(y);
    }

    /**
     * @return The result of safely dividing x and y. The return value is as a rounded
     * decimal in the precision unit specified in the parameter.
     *
     * @dev y is divided after the product of x and the specified precision unit
     * is evaluated, so the product of x and the specified precision unit must
     * be less than 2**256. The result is rounded to the nearest increment.
     */
    function _divideDecimalRound(
        uint x,
        uint y,
        uint precisionUnit
    ) private pure returns (uint) {
        uint resultTimesTen = x.mul(precisionUnit * 10).div(y);

        if (resultTimesTen % 10 >= 5) {
            resultTimesTen += 10;
        }

        return resultTimesTen / 10;
    }

    /**
     * @return The result of safely dividing x and y. The return value is as a rounded
     * standard precision decimal.
     *
     * @dev y is divided after the product of x and the standard precision unit
     * is evaluated, so the product of x and the standard precision unit must
     * be less than 2**256. The result is rounded to the nearest increment.
     */
    function divideDecimalRound(uint x, uint y) internal pure returns (uint) {
        return _divideDecimalRound(x, y, UNIT);
    }

    /**
     * @return The result of safely dividing x and y. The return value is as a rounded
     * high precision decimal.
     *
     * @dev y is divided after the product of x and the high precision unit
     * is evaluated, so the product of x and the high precision unit must
     * be less than 2**256. The result is rounded to the nearest increment.
     */
    function divideDecimalRoundPrecise(uint x, uint y) internal pure returns (uint) {
        return _divideDecimalRound(x, y, PRECISE_UNIT);
    }

    /**
     * @dev Convert a standard decimal representation to a high precision one.
     */
    function decimalToPreciseDecimal(uint i) internal pure returns (uint) {
        return i.mul(UNIT_TO_HIGH_PRECISION_CONVERSION_FACTOR);
    }

    /**
     * @dev Convert a high precision decimal to a standard decimal representation.
     */
    function preciseDecimalToDecimal(uint i) internal pure returns (uint) {
        uint quotientTimesTen = i / (UNIT_TO_HIGH_PRECISION_CONVERSION_FACTOR / 10);

        if (quotientTimesTen % 10 >= 5) {
            quotientTimesTen += 10;
        }

        return quotientTimesTen / 10;
    }
}

// File: contracts\interface\IMintProposal.sol


pragma solidity ^0.6.12;

interface IMintProposal {
    function approve(
        bytes32 _tunnelKey,
        string memory _txid,
        uint256 _amount,
        address  to,
        address trustee,
        uint256 trusteeCount
    ) external returns (bool);
}

// File: contracts\interface\IOracle.sol

pragma solidity ^0.6.12;

interface IOracle {
    
    function setPrice(bytes32 _symbol, uint _price) external;
    function getPrice(bytes32 _symbol) external view returns (uint);
}

// File: contracts\interface\ITrusteeFeePool.sol


pragma solidity ^0.6.12;

interface ITrusteeFeePool {
    function exit(address account) external;
    function enter(address account) external;
    function notifyReward(uint reward) external;
}

// File: contracts\BoringDAO.sol

pragma solidity ^0.6.12;



/**
@notice The BoringDAO contract is the entrance to the entire system, 
providing the functions of pledge BOR, redeem BOR, mint bBTC, and destroy bBTC
 */
contract BoringDAO is AccessControl, IBoringDAO, Pausable {
    using SafeDecimalMath for uint256;
    using SafeMath for uint256;

    uint256 public amountByMint;

    bytes32 public constant TRUSTEE_ROLE = "TRUSTEE_ROLE";
    bytes32 public constant LIQUIDATION_ROLE = "LIQUIDATION_ROLE";
    bytes32 public constant GOV_ROLE = "GOV_ROLE";

    bytes32 public constant BOR = "BOR";
    bytes32 public constant PARAM_BOOK = "ParamBook";
    bytes32 public constant MINT_PROPOSAL = "MintProposal";
    bytes32 public constant ORACLE = "Oracle";
    bytes32 public constant TRUSTEE_FEE_POOL = "TrusteeFeePool";

    bytes32 public constant TUNNEL_MINT_FEE_RATE = "mint_fee";
    bytes32 public constant NETWORK_FEE = "network_fee";

    IAddressResolver public addrReso;

    // tunnels
    ITunnel[] public tunnels;

    uint256 public mintCap;

    address public mine;

    // The user may not provide the Ethereum address or the format of the Ethereum address is wrong when mint. 
    // this is for a transaction
    mapping(string=>bool) public approveFlag;


    constructor(IAddressResolver _addrReso, uint _mintCap, address _mine) public {
        // set up resolver
        addrReso = _addrReso;
        mintCap = _mintCap;
        mine = _mine;
        _setupRole(DEFAULT_ADMIN_ROLE, msg.sender);
    }


    function tunnel(bytes32 tunnelKey) internal view returns (ITunnel) {
        return ITunnel(addrReso.key2address(tunnelKey));
    }

    function btoken(bytes32 symbol) internal view returns (IERC20) {
        return IERC20(addrReso.key2address(symbol));
    }

    function borERC20() internal view returns (IERC20) {
        return IERC20(addrReso.key2address(BOR));
    }

    function paramBook() internal view returns (ParamBook) {
        return ParamBook(addrReso.key2address(PARAM_BOOK));
    }

    function mintProposal() internal view returns (IMintProposal) {
        return IMintProposal(addrReso.key2address(MINT_PROPOSAL));
    }

    function oracle() internal view returns (IOracle) {
        return IOracle(addrReso.key2address(ORACLE));
    }

    function trusteeFeePool() internal view returns (ITrusteeFeePool) {
        return ITrusteeFeePool(addrReso.requireAndKey2Address(TRUSTEE_FEE_POOL, "BoringDAO::TrusteeFeePool is address(0)"));
    }

    function getTrustee(uint256 index)
        external
        override
        view
        returns (address)
    {
        address addr = getRoleMember(TRUSTEE_ROLE, index);
        return addr;
    }

    function getTrusteeCount() external override view returns (uint256) {
        return getRoleMemberCount(TRUSTEE_ROLE);
    }

    function getRandomTrustee() public override view returns (address) {
        uint256 trusteeCount = getRoleMemberCount(TRUSTEE_ROLE);
        uint256 index = uint256(
            keccak256(abi.encodePacked(now, block.difficulty))
        )
            .mod(trusteeCount);
        address trustee = getRoleMember(TRUSTEE_ROLE, index);
        return trustee;
    }

    function addTrustee(address account) public onlyAdmin {
        _setupRole(TRUSTEE_ROLE, account);
        trusteeFeePool().enter(account);

    }

    function addTrustees(address[] memory accounts) external onlyAdmin{
        for (uint256 i = 0; i < accounts.length; i++) {
            addTrustee(accounts[i]);
        }
    }

    function removeTrustee(address account) public onlyAdmin {
        revokeRole(TRUSTEE_ROLE, account);
        trusteeFeePool().exit(account);
    }

    function setMine(address _mine) public onlyAdmin {
        mine = _mine;
    }

    function setMintCap(uint256 amount) public onlyAdmin {
        mintCap = amount;
    }

    /**
    @notice tunnelKey is byte32("symbol"), eg. bytes32("BTC")
     */
    function pledge(bytes32 _tunnelKey, uint256 _amount)
        public
        override
        whenNotPaused
        whenContractExist(_tunnelKey)
    {
        require(
            borERC20().allowance(msg.sender, address(this)) >= _amount,
            "not allow enough bor"
        );

        borERC20().transferFrom(
            msg.sender,
            address(tunnel(_tunnelKey)),
            _amount
        );
        tunnel(_tunnelKey).pledge(msg.sender, _amount);
    }

    /**
    @notice redeem bor from tunnel
     */
    function redeem(bytes32 _tunnelKey, uint256 _amount)
        public
        override
        whenNotPaused
        whenContractExist(_tunnelKey)
    {
        tunnel(_tunnelKey).redeem(msg.sender, _amount);
    }

    function burnBToken(bytes32 _tunnelKey, uint256 amount, string memory assetAddress)
        public
        override
        whenNotPaused
        whenContractExist(_tunnelKey)
        whenTunnelNotPause(_tunnelKey)
    {
        tunnel(_tunnelKey).burn(msg.sender, amount, assetAddress);
    }

    /**
    @notice trustee will call the function to approve mint bToken
    @param _txid the transaction id of bitcoin
    @param _amount the amount to mint, 1BTC = 1bBTC = 1*10**18 weibBTC
    @param to mint to the address
     */
    function approveMint(
        bytes32 _tunnelKey,
        string memory _txid,
        uint256 _amount,
        address to,
        string memory assetAddress
    ) public override whenNotPaused whenTunnelNotPause(_tunnelKey) onlyTrustee {
        if(to == address(0)) {
            if (approveFlag[_txid] == false) {
                approveFlag[_txid] = true;
                emit ETHAddressNotExist(_tunnelKey, _txid, _amount, to, msg.sender, assetAddress);
            }
            return;
        }
        
        uint256 trusteeCount = getRoleMemberCount(TRUSTEE_ROLE);
        bool shouldMint = mintProposal().approve(
            _tunnelKey,
            _txid,
            _amount,
            to,
            msg.sender,
            trusteeCount
        );
        if (!shouldMint) {
            return;
        }
        uint256 canIssueAmount = tunnel(_tunnelKey).canIssueAmount();
        bytes32 bTokenSymbolKey = tunnel(_tunnelKey).oTokenKey();
        if (_amount.add(btoken(bTokenSymbolKey).totalSupply()) > canIssueAmount) {
            emit NotEnoughPledgeValue(
                _tunnelKey,
                _txid,
                _amount,
                to,
                msg.sender,
                assetAddress
            );
            return;
        }
        // fee calculate in tunnel
        tunnel(_tunnelKey).issue(to, _amount);

        uint borMintAmount = calculateMintBORAmount(_tunnelKey, _amount);
        if(borMintAmount != 0) {
            amountByMint = amountByMint.add(borMintAmount);
            borERC20().transferFrom(mine, to, borMintAmount);
        }
        emit ApproveMintSuccess(_tunnelKey, _txid, _amount, to, assetAddress);
    }

    function calculateMintBORAmount(bytes32 _tunnelKey, uint _amount) public view returns (uint) {
        if (amountByMint >= mintCap || _amount == 0) {
            return 0;
        }
        uint256 assetPrice = oracle().getPrice(_tunnelKey);
        uint256 borPrice = oracle().getPrice(BOR);
        uint256 reductionTimes = amountByMint.div(10_000e18);
        uint256 mintFeeRate = paramBook().params2(
            _tunnelKey,
            TUNNEL_MINT_FEE_RATE
        );
        // for decimal calculation, so mul 1e18
        uint256 reductionFactor = (4**reductionTimes).mul(1e18).div(5**reductionTimes);
        uint networkFee = paramBook().params2(_tunnelKey, NETWORK_FEE);
        uint baseAmount = _amount.multiplyDecimalRound(mintFeeRate).add(networkFee);
        uint borAmount = assetPrice.mul(2).multiplyDecimalRound(baseAmount).multiplyDecimalRound(reductionFactor).divideDecimalRound(borPrice);
        if (amountByMint.add(borAmount) >= mintCap) {
            borAmount = mintCap.sub(amountByMint);
        }
        return borAmount;
    }

    function pause() public onlyLiquidation {
        _pause();
    }

    function unpause() public onlyLiquidation {
        _unpause();
    }

    modifier onlyTrustee {
        require(hasRole(TRUSTEE_ROLE, msg.sender), "Caller is not trustee");
        _;
    }

    modifier onlyAdmin {
        require(hasRole(DEFAULT_ADMIN_ROLE, msg.sender), "BoringDAO::caller is not admin");
        _;
    }

    modifier onlyLiquidation {
        require(
            hasRole(LIQUIDATION_ROLE, msg.sender),
            "Caller is not liquidation contract"
        );
        _;
    }

    modifier whenContractExist(bytes32 key) {
        require(
            addrReso.key2address(key) != address(0),
            "Contract not exist"
        );
        _;
    }

    modifier whenTunnelNotPause(bytes32 _tunnelKey) {
        address tunnelAddress = addrReso.requireAndKey2Address(_tunnelKey, "tunnel not exist");
        require(IPaused(tunnelAddress).paused() == false, "tunnel is paused");
        _;
    }

    event NotEnoughPledgeValue(
        bytes32 indexed _tunnelKey,
        string indexed _txid,
        uint256 _amount,
        address to,
        address trustee,
        string assetAddress
    );

    event ApproveMintSuccess(
        bytes32 _tunnelKey,
        string _txid,
        uint256 _amount,
        address to,
        string assetAddress
    );

    event ETHAddressNotExist(
        bytes32 _tunnelKey,
        string _txid,
        uint256 _amount,
        address to,
        address trustee,
        string assetAddress
    );

   
}

interface IPaused {
    function paused() external view returns (bool);
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"contract IAddressResolver","name":"_addrReso","type":"address"},{"internalType":"uint256","name":"_mintCap","type":"uint256"},{"internalType":"address","name":"_mine","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bytes32","name":"_tunnelKey","type":"bytes32"},{"indexed":false,"internalType":"string","name":"_txid","type":"string"},{"indexed":false,"internalType":"uint256","name":"_amount","type":"uint256"},{"indexed":false,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"string","name":"assetAddress","type":"string"}],"name":"ApproveMintSuccess","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bytes32","name":"_tunnelKey","type":"bytes32"},{"indexed":false,"internalType":"string","name":"_txid","type":"string"},{"indexed":false,"internalType":"uint256","name":"_amount","type":"uint256"},{"indexed":false,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"address","name":"trustee","type":"address"},{"indexed":false,"internalType":"string","name":"assetAddress","type":"string"}],"name":"ETHAddressNotExist","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"_tunnelKey","type":"bytes32"},{"indexed":true,"internalType":"string","name":"_txid","type":"string"},{"indexed":false,"internalType":"uint256","name":"_amount","type":"uint256"},{"indexed":false,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"address","name":"trustee","type":"address"},{"indexed":false,"internalType":"string","name":"assetAddress","type":"string"}],"name":"NotEnoughPledgeValue","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"role","type":"bytes32"},{"indexed":true,"internalType":"bytes32","name":"previousAdminRole","type":"bytes32"},{"indexed":true,"internalType":"bytes32","name":"newAdminRole","type":"bytes32"}],"name":"RoleAdminChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"role","type":"bytes32"},{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":true,"internalType":"address","name":"sender","type":"address"}],"name":"RoleGranted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"role","type":"bytes32"},{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":true,"internalType":"address","name":"sender","type":"address"}],"name":"RoleRevoked","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"inputs":[],"name":"BOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"DEFAULT_ADMIN_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"GOV_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"LIQUIDATION_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MINT_PROPOSAL","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"NETWORK_FEE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"ORACLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PARAM_BOOK","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"TRUSTEE_FEE_POOL","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"TRUSTEE_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"TUNNEL_MINT_FEE_RATE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"addTrustee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"accounts","type":"address[]"}],"name":"addTrustees","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"addrReso","outputs":[{"internalType":"contract IAddressResolver","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"amountByMint","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"string","name":"","type":"string"}],"name":"approveFlag","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"_tunnelKey","type":"bytes32"},{"internalType":"string","name":"_txid","type":"string"},{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"address","name":"to","type":"address"},{"internalType":"string","name":"assetAddress","type":"string"}],"name":"approveMint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"_tunnelKey","type":"bytes32"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"string","name":"assetAddress","type":"string"}],"name":"burnBToken","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"_tunnelKey","type":"bytes32"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"calculateMintBORAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getRandomTrustee","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"}],"name":"getRoleAdmin","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"uint256","name":"index","type":"uint256"}],"name":"getRoleMember","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"}],"name":"getRoleMemberCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"}],"name":"getTrustee","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getTrusteeCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"grantRole","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"hasRole","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"mine","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"mintCap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"_tunnelKey","type":"bytes32"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"pledge","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"_tunnelKey","type":"bytes32"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"redeem","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"removeTrustee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"renounceRole","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"revokeRole","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_mine","type":"address"}],"name":"setMine","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"setMintCap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"tunnels","outputs":[{"internalType":"contract ITunnel","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"unpause","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b50604051620031ae380380620031ae833981810160405260608110156200003757600080fd5b50805160208201516040909201516001805460ff19169055600380546001600160a01b038085166001600160a01b03199283161790925560058590556006805492841692909116919091179055909190620000946000336200009d565b505050620001b1565b620000a98282620000ad565b5050565b600082815260208181526040909120620000d2918390620024cd62000126821b17901c565b15620000a957620000e262000146565b6001600160a01b0316816001600160a01b0316837f2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d60405160405180910390a45050565b60006200013d836001600160a01b0384166200014a565b90505b92915050565b3390565b600062000158838362000199565b620001905750815460018181018455600084815260208082209093018490558454848252828601909352604090209190915562000140565b50600062000140565b60009081526001919091016020526040902054151590565b612fed80620001c16000396000f3fe608060405234801561001057600080fd5b50600436106102475760003560e01c8063820392581161013b578063ab282bba116100b8578063dbd695f31161007c578063dbd695f3146107ca578063dc78ac1c1461086b578063e34bc6f314610891578063e9857da114610899578063f7dd57b0146108a157610247565b8063ab282bba1461074e578063ae0e012514610771578063b536818a14610779578063ca15c87314610781578063d547741f1461079e57610247565b80639817d5b8116100ff5780639817d5b81461066957806399f4b251146106865780639be5c0241461068e578063a217fddf14610696578063a5ef26151461069e57610247565b806382039258146105e75780638456cb591461060a5780639010d07c1461061257806391d1485414610635578063929a2a081461066157610247565b80633f4ba83a116101c9578063673da1541161018d578063673da154146104675780636b3bc2441461048a57806372777649146105cf57806376c71ca1146105d75780637fe4ac44146105df57610247565b80633f4ba83a1461042a5780634070a0c9146104325780635c7975511461044f5780635c975abb146104575780635fc5f4de1461045f57610247565b80632f2ff15d116102105780632f2ff15d14610389578063316ec4f4146103b557806336568abe146103bd5780633719bc6a146103e957806338013f021461042257610247565b80621333a71461024c57806303120506146102745780631c1252651461029a578063248a9ca31461035257806326abdad414610381575b600080fd5b6102726004803603602081101561026257600080fd5b50356001600160a01b03166108a9565b005b6102726004803603602081101561028a57600080fd5b50356001600160a01b0316610915565b61033e600480360360208110156102b057600080fd5b810190602081018135600160201b8111156102ca57600080fd5b8201836020820111156102dc57600080fd5b803590602001918460018302840111600160201b831117156102fd57600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295506109e9945050505050565b604080519115158252519081900360200190f35b61036f6004803603602081101561036857600080fd5b5035610a09565b60408051918252519081900360200190f35b61036f610a1e565b6102726004803603604081101561039f57600080fd5b50803590602001356001600160a01b0316610a28565b61036f610a94565b610272600480360360408110156103d357600080fd5b50803590602001356001600160a01b0316610ab3565b610406600480360360208110156103ff57600080fd5b5035610b14565b604080516001600160a01b039092168252519081900360200190f35b61036f610b3b565b610272610b48565b6102726004803603602081101561044857600080fd5b5035610baa565b610406610bf9565b61033e610c08565b61036f610c11565b6102726004803603604081101561047d57600080fd5b5080359060200135610c26565b610272600480360360a08110156104a057600080fd5b81359190810190604081016020820135600160201b8111156104c157600080fd5b8201836020820111156104d357600080fd5b803590602001918460018302840111600160201b831117156104f457600080fd5b91908080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525092958435956001600160a01b0360208701351695919450925060608101915060400135600160201b81111561055b57600080fd5b82018360208201111561056d57600080fd5b803590602001918460018302840111600160201b8311171561058e57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929550610dbb945050505050565b61036f611819565b61036f61182c565b61036f611832565b610272600480360360408110156105fd57600080fd5b5080359060200135611845565b610272611b2f565b6104066004803603604081101561062857600080fd5b5080359060200135611b8f565b61033e6004803603604081101561064b57600080fd5b50803590602001356001600160a01b0316611bb0565b61036f611bc8565b6104066004803603602081101561067f57600080fd5b5035611bce565b610406611bf1565b61036f611c00565b61036f611c12565b610272600480360360608110156106b457600080fd5b813591602081013591810190606081016040820135600160201b8111156106da57600080fd5b8201836020820111156106ec57600080fd5b803590602001918460018302840111600160201b8311171561070d57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929550611c17945050505050565b61036f6004803603604081101561076457600080fd5b5080359060200135611f72565b61036f61226c565b61036f612283565b61036f6004803603602081101561079757600080fd5b5035612292565b610272600480360360408110156107b457600080fd5b50803590602001356001600160a01b03166122a9565b610272600480360360208110156107e057600080fd5b810190602081018135600160201b8111156107fa57600080fd5b82018360208201111561080c57600080fd5b803590602001918460208302840111600160201b8311171561082d57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600092019190915250929550612302945050505050565b6102726004803603602081101561088157600080fd5b50356001600160a01b031661237c565b61036f612435565b610406612445565b61036f6124be565b6108b4600033611bb0565b6108f3576040805162461bcd60e51b815260206004820152601e6024820152600080516020612f69833981519152604482015290519081900360640190fd5b600680546001600160a01b0319166001600160a01b0392909216919091179055565b610920600033611bb0565b61095f576040805162461bcd60e51b815260206004820152601e6024820152600080516020612f69833981519152604482015290519081900360640190fd5b6109786b545255535445455f524f4c4560a01b826122a9565b6109806124e2565b6001600160a01b031663b42652e9826040518263ffffffff1660e01b815260040180826001600160a01b03168152602001915050600060405180830381600087803b1580156109ce57600080fd5b505af11580156109e2573d6000803e3d6000fd5b5050505050565b805160208183018101805160078252928201919093012091525460ff1681565b60009081526020819052604090206002015490565b622127a960e91b81565b600082815260208190526040902060020154610a4b90610a4661258c565b611bb0565b610a865760405162461bcd60e51b815260040180806020018281038252602f815260200180612ea0602f913960400191505060405180910390fd5b610a908282612590565b5050565b6000610aae6b545255535445455f524f4c4560a01b612292565b905090565b610abb61258c565b6001600160a01b0316816001600160a01b031614610b0a5760405162461bcd60e51b815260040180806020018281038252602f815260200180612f89602f913960400191505060405180910390fd5b610a9082826125f9565b60048181548110610b2157fe5b6000918252602090912001546001600160a01b0316905081565b654f7261636c6560d01b81565b610b656f4c49515549444154494f4e5f524f4c4560801b33611bb0565b610ba05760405162461bcd60e51b8152600401808060200182810382526022815260200180612ef66022913960400191505060405180910390fd5b610ba8612662565b565b610bb5600033611bb0565b610bf4576040805162461bcd60e51b815260206004820152601e6024820152600080516020612f69833981519152604482015290519081900360640190fd5b600555565b6003546001600160a01b031681565b60015460ff1690565b6d151c9d5cdd1959519959541bdbdb60921b81565b60015460ff1615610c71576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6003546040805163130852b360e11b815260048101859052905184926000926001600160a01b0390911691632610a56691602480820192602092909190829003018186803b158015610cc257600080fd5b505afa158015610cd6573d6000803e3d6000fd5b505050506040513d6020811015610cec57600080fd5b50516001600160a01b03161415610d3f576040805162461bcd60e51b815260206004820152601260248201527110dbdb9d1c9858dd081b9bdd08195e1a5cdd60721b604482015290519081900360640190fd5b610d4883612700565b6001600160a01b0316631e9a695033846040518363ffffffff1660e01b815260040180836001600160a01b0316815260200182815260200192505050600060405180830381600087803b158015610d9e57600080fd5b505af1158015610db2573d6000803e3d6000fd5b50505050505050565b60015460ff1615610e06576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b60035460408051635da2251d60e11b81526004810188905260248101829052601060448201526f1d1d5b9b995b081b9bdd08195e1a5cdd60821b6064820152905187926000926001600160a01b039091169163bb444a3a91608480820192602092909190829003018186803b158015610e7e57600080fd5b505afa158015610e92573d6000803e3d6000fd5b505050506040513d6020811015610ea857600080fd5b505160408051635c975abb60e01b815290519192506001600160a01b03831691635c975abb91600480820192602092909190829003018186803b158015610eee57600080fd5b505afa158015610f02573d6000803e3d6000fd5b505050506040513d6020811015610f1857600080fd5b505115610f5f576040805162461bcd60e51b815260206004820152601060248201526f1d1d5b9b995b081a5cc81c185d5cd95960821b604482015290519081900360640190fd5b610f786b545255535445455f524f4c4560a01b33611bb0565b610fc1576040805162461bcd60e51b815260206004820152601560248201527443616c6c6572206973206e6f74207472757374656560581b604482015290519081900360640190fd5b6001600160a01b0384166111f0576007866040518082805190602001908083835b602083106110015780518252601f199092019160209182019101610fe2565b51815160209384036101000a600019018019909216911617905292019485525060405193849003019092205460ff16151591506111eb90505760016007876040518082805190602001908083835b6020831061106e5780518252601f19909201916020918201910161104f565b6001836020036101000a038019825116818451168082178552505050505050905001915050908152602001604051809103902060006101000a81548160ff0219169083151502179055507f4bc1997b63d05a364fe5d5d78b4deae806531ad47732917eecde4becb88b86d88787878733886040518087815260200180602001868152602001856001600160a01b03168152602001846001600160a01b0316815260200180602001838103835288818151815260200191508051906020019080838360005b8381101561114a578181015183820152602001611132565b50505050905090810190601f1680156111775780820380516001836020036101000a031916815260200191505b50838103825284518152845160209182019186019080838360005b838110156111aa578181015183820152602001611192565b50505050905090810190601f1680156111d75780820380516001836020036101000a031916815260200191505b509850505050505050505060405180910390a15b610db2565b600061120a6b545255535445455f524f4c4560a01b612292565b9050600061121661277e565b6001600160a01b031663f99021a28a8a8a8a33886040518763ffffffff1660e01b81526004018087815260200180602001868152602001856001600160a01b03168152602001846001600160a01b03168152602001838152602001828103825287818151815260200191508051906020019080838360005b838110156112a657818101518382015260200161128e565b50505050905090810190601f1680156112d35780820380516001836020036101000a031916815260200191505b50975050505050505050602060405180830381600087803b1580156112f757600080fd5b505af115801561130b573d6000803e3d6000fd5b505050506040513d602081101561132157600080fd5b5051905080611331575050610db2565b600061133c8a612700565b6001600160a01b0316633c69e26b6040518163ffffffff1660e01b815260040160206040518083038186803b15801561137457600080fd5b505afa158015611388573d6000803e3d6000fd5b505050506040513d602081101561139e57600080fd5b5051905060006113ad8b612700565b6001600160a01b03166310d5e5906040518163ffffffff1660e01b815260040160206040518083038186803b1580156113e557600080fd5b505afa1580156113f9573d6000803e3d6000fd5b505050506040513d602081101561140f57600080fd5b505190508161148b61142083612700565b6001600160a01b03166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b15801561145857600080fd5b505afa15801561146c573d6000803e3d6000fd5b505050506040513d602081101561148257600080fd5b50518b906127d8565b11156115bb57896040518082805190602001908083835b602083106114c15780518252601f1990920191602091820191016114a2565b6001836020036101000a03801982511681845116808217855250505050505090500191505060405180910390208b7ff5ab3d402a4845f0bfb050bdce018a06672cc3a7f4161e69dc114b2c43cd1eab8b8b338c60405180858152602001846001600160a01b03168152602001836001600160a01b0316815260200180602001828103825283818151815260200191508051906020019080838360005b8381101561157557818101518382015260200161155d565b50505050905090810190601f1680156115a25780820380516001836020036101000a031916815260200191505b509550505050505060405180910390a350505050610db2565b6115c48b612700565b6001600160a01b031663867904b4898b6040518363ffffffff1660e01b815260040180836001600160a01b0316815260200182815260200192505050600060405180830381600087803b15801561161a57600080fd5b505af115801561162e573d6000803e3d6000fd5b50505050600061163e8c8b611f72565b905080156116ea5760025461165390826127d8565b60025561165e612832565b600654604080516323b872dd60e01b81526001600160a01b0392831660048201528c8316602482015260448101859052905192909116916323b872dd916064808201926020929091908290030181600087803b1580156116bd57600080fd5b505af11580156116d1573d6000803e3d6000fd5b505050506040513d60208110156116e757600080fd5b50505b7fbf356171c0bbd785947f0936380f7bacc26c740c41ee8d68bfbd27a3225dbf458c8c8c8c8c6040518086815260200180602001858152602001846001600160a01b0316815260200180602001838103835287818151815260200191508051906020019080838360005b8381101561176c578181015183820152602001611754565b50505050905090810190601f1680156117995780820380516001836020036101000a031916815260200191505b50838103825284518152845160209182019186019080838360005b838110156117cc5781810151838201526020016117b4565b50505050905090810190601f1680156117f95780820380516001836020036101000a031916815260200191505b5097505050505050505060405180910390a1505050505050505050505050565b6b545255535445455f524f4c4560a01b81565b60055481565b6b135a5b9d141c9bdc1bdcd85b60a21b81565b60015460ff1615611890576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6003546040805163130852b360e11b815260048101859052905184926000926001600160a01b0390911691632610a56691602480820192602092909190829003018186803b1580156118e157600080fd5b505afa1580156118f5573d6000803e3d6000fd5b505050506040513d602081101561190b57600080fd5b50516001600160a01b0316141561195e576040805162461bcd60e51b815260206004820152601260248201527110dbdb9d1c9858dd081b9bdd08195e1a5cdd60721b604482015290519081900360640190fd5b81611967612832565b60408051636eb1769f60e11b815233600482015230602482015290516001600160a01b03929092169163dd62ed3e91604480820192602092909190829003018186803b1580156119b657600080fd5b505afa1580156119ca573d6000803e3d6000fd5b505050506040513d60208110156119e057600080fd5b50511015611a2c576040805162461bcd60e51b81526020600482015260146024820152733737ba1030b63637bb9032b737bab3b4103137b960611b604482015290519081900360640190fd5b611a34612832565b6001600160a01b03166323b872dd33611a4c86612700565b856040518463ffffffff1660e01b815260040180846001600160a01b03168152602001836001600160a01b031681526020018281526020019350505050602060405180830381600087803b158015611aa357600080fd5b505af1158015611ab7573d6000803e3d6000fd5b505050506040513d6020811015611acd57600080fd5b50611ad9905083612700565b6001600160a01b031663743b345233846040518363ffffffff1660e01b815260040180836001600160a01b0316815260200182815260200192505050600060405180830381600087803b158015610d9e57600080fd5b611b4c6f4c49515549444154494f4e5f524f4c4560801b33611bb0565b611b875760405162461bcd60e51b8152600401808060200182810382526022815260200180612ef66022913960400191505060405180910390fd5b610ba8612883565b6000828152602081905260408120611ba79083612903565b90505b92915050565b6000828152602081905260408120611ba7908361290f565b60025481565b600080611bea6b545255535445455f524f4c4560a01b84611b8f565b9392505050565b6006546001600160a01b031681565b6a6e6574776f726b5f66656560a81b81565b600081565b60015460ff1615611c62576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6003546040805163130852b360e11b815260048101869052905185926000926001600160a01b0390911691632610a56691602480820192602092909190829003018186803b158015611cb357600080fd5b505afa158015611cc7573d6000803e3d6000fd5b505050506040513d6020811015611cdd57600080fd5b50516001600160a01b03161415611d30576040805162461bcd60e51b815260206004820152601260248201527110dbdb9d1c9858dd081b9bdd08195e1a5cdd60721b604482015290519081900360640190fd5b60035460408051635da2251d60e11b81526004810187905260248101829052601060448201526f1d1d5b9b995b081b9bdd08195e1a5cdd60821b6064820152905186926000926001600160a01b039091169163bb444a3a91608480820192602092909190829003018186803b158015611da857600080fd5b505afa158015611dbc573d6000803e3d6000fd5b505050506040513d6020811015611dd257600080fd5b505160408051635c975abb60e01b815290519192506001600160a01b03831691635c975abb91600480820192602092909190829003018186803b158015611e1857600080fd5b505afa158015611e2c573d6000803e3d6000fd5b505050506040513d6020811015611e4257600080fd5b505115611e89576040805162461bcd60e51b815260206004820152601060248201526f1d1d5b9b995b081a5cc81c185d5cd95960821b604482015290519081900360640190fd5b611e9286612700565b6001600160a01b03166315f570dc3387876040518463ffffffff1660e01b815260040180846001600160a01b0316815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015611f04578181015183820152602001611eec565b50505050905090810190601f168015611f315780820380516001836020036101000a031916815260200191505b50945050505050600060405180830381600087803b158015611f5257600080fd5b505af1158015611f66573d6000803e3d6000fd5b50505050505050505050565b6000600554600254101580611f85575081155b15611f9257506000611baa565b6000611f9c612924565b6001600160a01b03166331d98b3f856040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015611fdf57600080fd5b505afa158015611ff3573d6000803e3d6000fd5b505050506040513d602081101561200957600080fd5b505190506000612017612924565b6001600160a01b03166331d98b3f622127a960e91b6040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b15801561206057600080fd5b505afa158015612074573d6000803e3d6000fd5b505050506040513d602081101561208a57600080fd5b50516002549091506000906120a99069021e19e0c9bab2400000612978565b905060006120b56129ba565b6001600160a01b031663171800cc88676d696e745f66656560c01b6040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561210b57600080fd5b505afa15801561211f573d6000803e3d6000fd5b505050506040513d602081101561213557600080fd5b50519050600061215f600584900a612159600486900a670de0b6b3a7640000612a11565b90612978565b9050600061216b6129ba565b6001600160a01b031663171800cc8a6a6e6574776f726b5f66656560a81b6040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156121c457600080fd5b505afa1580156121d8573d6000803e3d6000fd5b505050506040513d60208110156121ee57600080fd5b505190506000612208826122028b87612a6a565b906127d8565b9050600061222d876122278661222186818e6002612a11565b90612a6a565b90612a7f565b9050600554612247826002546127d890919063ffffffff16565b1061225e5760025460055461225b91612a94565b90505b9a9950505050505050505050565b6f4c49515549444154494f4e5f524f4c4560801b81565b67474f565f524f4c4560c01b81565b6000818152602081905260408120611baa90612ad6565b6000828152602081905260409020600201546122c790610a4661258c565b610b0a5760405162461bcd60e51b8152600401808060200182810382526030815260200180612f186030913960400191505060405180910390fd5b61230d600033611bb0565b61234c576040805162461bcd60e51b815260206004820152601e6024820152600080516020612f69833981519152604482015290519081900360640190fd5b60005b8151811015610a905761237482828151811061236757fe5b602002602001015161237c565b60010161234f565b612387600033611bb0565b6123c6576040805162461bcd60e51b815260206004820152601e6024820152600080516020612f69833981519152604482015290519081900360640190fd5b6123df6b545255535445455f524f4c4560a01b82610a86565b6123e76124e2565b6001600160a01b031663d014c01f826040518263ffffffff1660e01b815260040180826001600160a01b03168152602001915050600060405180830381600087803b1580156109ce57600080fd5b68506172616d426f6f6b60b81b81565b6000806124606b545255535445455f524f4c4560a01b612292565b60408051426020808301919091524482840152825180830384018152606090920190925280519101209091506000906124999083612ae1565b905060006124b66b545255535445455f524f4c4560a01b83611b8f565b935050505090565b676d696e745f66656560c01b81565b6000611ba7836001600160a01b038416612b23565b60035460408051635da2251d60e11b81526d151c9d5cdd1959519959541bdbdb60921b60048201818152602483019384526027604484018190526000956001600160a01b03169463bb444a3a949091606490910190612ecf82396040019250505060206040518083038186803b15801561255b57600080fd5b505afa15801561256f573d6000803e3d6000fd5b505050506040513d602081101561258557600080fd5b5051905090565b3390565b60008281526020819052604090206125a890826124cd565b15610a90576125b561258c565b6001600160a01b0316816001600160a01b0316837f2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d60405160405180910390a45050565b60008281526020819052604090206126119082612b6d565b15610a905761261e61258c565b6001600160a01b0316816001600160a01b0316837ff6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b60405160405180910390a45050565b60015460ff166126b0576040805162461bcd60e51b815260206004820152601460248201527314185d5cd8589b194e881b9bdd081c185d5cd95960621b604482015290519081900360640190fd5b6001805460ff191690557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa6126e361258c565b604080516001600160a01b039092168252519081900360200190a1565b6003546040805163130852b360e11b81526004810184905290516000926001600160a01b031691632610a566916024808301926020929190829003018186803b15801561274c57600080fd5b505afa158015612760573d6000803e3d6000fd5b505050506040513d602081101561277657600080fd5b505192915050565b6003546040805163130852b360e11b81526b135a5b9d141c9bdc1bdcd85b60a21b600482015290516000926001600160a01b031691632610a566916024808301926020929190829003018186803b15801561255b57600080fd5b600082820183811015611ba7576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6003546040805163130852b360e11b8152622127a960e91b600482015290516000926001600160a01b031691632610a566916024808301926020929190829003018186803b15801561255b57600080fd5b60015460ff16156128ce576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6001805460ff1916811790557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2586126e361258c565b6000611ba78383612b82565b6000611ba7836001600160a01b038416612be6565b6003546040805163130852b360e11b8152654f7261636c6560d01b600482015290516000926001600160a01b031691632610a566916024808301926020929190829003018186803b15801561255b57600080fd5b6000611ba783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250612bfe565b6003546040805163130852b360e11b815268506172616d426f6f6b60b81b600482015290516000926001600160a01b031691632610a566916024808301926020929190829003018186803b15801561255b57600080fd5b600082612a2057506000611baa565b82820282848281612a2d57fe5b0414611ba75760405162461bcd60e51b8152600401808060200182810382526021815260200180612f486021913960400191505060405180910390fd5b6000611ba78383670de0b6b3a7640000612ca0565b6000611ba78383670de0b6b3a7640000612cd7565b6000611ba783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612cf7565b6000611baa82612d51565b6000611ba783836040518060400160405280601881526020017f536166654d6174683a206d6f64756c6f206279207a65726f0000000000000000815250612d55565b6000612b2f8383612be6565b612b6557508154600181810184556000848152602080822090930184905584548482528286019093526040902091909155611baa565b506000611baa565b6000611ba7836001600160a01b038416612db7565b81546000908210612bc45760405162461bcd60e51b8152600401808060200182810382526022815260200180612e7e6022913960400191505060405180910390fd5b826000018281548110612bd357fe5b9060005260206000200154905092915050565b60009081526001919091016020526040902054151590565b60008183612c8a5760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612c4f578181015183820152602001612c37565b50505050905090810190601f168015612c7c5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581612c9657fe5b0495945050505050565b600080600a8304612cb18686612a11565b81612cb857fe5b0490506005600a825b0610612ccb57600a015b600a9004949350505050565b600080612ceb8461215987600a8702612a11565b90506005600a82612cc1565b60008184841115612d495760405162461bcd60e51b8152602060048201818152835160248401528351909283926044909101919085019080838360008315612c4f578181015183820152602001612c37565b505050900390565b5490565b60008183612da45760405162461bcd60e51b8152602060048201818152835160248401528351909283926044909101919085019080838360008315612c4f578181015183820152602001612c37565b50828481612dae57fe5b06949350505050565b60008181526001830160205260408120548015612e735783546000198083019190810190600090879083908110612dea57fe5b9060005260206000200154905080876000018481548110612e0757fe5b600091825260208083209091019290925582815260018981019092526040902090840190558654879080612e3757fe5b60019003818190600052602060002001600090559055866001016000878152602001908152602001600020600090556001945050505050611baa565b6000915050611baa56fe456e756d657261626c655365743a20696e646578206f7574206f6620626f756e6473416363657373436f6e74726f6c3a2073656e646572206d75737420626520616e2061646d696e20746f206772616e74426f72696e6744414f3a3a54727573746565466565506f6f6c206973206164647265737328302943616c6c6572206973206e6f74206c69717569646174696f6e20636f6e7472616374416363657373436f6e74726f6c3a2073656e646572206d75737420626520616e2061646d696e20746f207265766f6b65536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77426f72696e6744414f3a3a63616c6c6572206973206e6f742061646d696e0000416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e636520726f6c657320666f722073656c66a2646970667358221220f850227c909763eb34ccf8bce677fd704a359da6ecfcab8d2687941342610f5864736f6c634300060c003300000000000000000000000065dfd6117bcd70a0fe37a715de75aae38eb50e48000000000000000000000000000000000000000000000accb72d9e6b59e0000000000000000000000000000067ee188ee1319cdac271553e7b8faaed2fbc52cc

0x608060405234801561001057600080fd5b50600436106102475760003560e01c8063820392581161013b578063ab282bba116100b8578063dbd695f31161007c578063dbd695f3146107ca578063dc78ac1c1461086b578063e34bc6f314610891578063e9857da114610899578063f7dd57b0146108a157610247565b8063ab282bba1461074e578063ae0e012514610771578063b536818a14610779578063ca15c87314610781578063d547741f1461079e57610247565b80639817d5b8116100ff5780639817d5b81461066957806399f4b251146106865780639be5c0241461068e578063a217fddf14610696578063a5ef26151461069e57610247565b806382039258146105e75780638456cb591461060a5780639010d07c1461061257806391d1485414610635578063929a2a081461066157610247565b80633f4ba83a116101c9578063673da1541161018d578063673da154146104675780636b3bc2441461048a57806372777649146105cf57806376c71ca1146105d75780637fe4ac44146105df57610247565b80633f4ba83a1461042a5780634070a0c9146104325780635c7975511461044f5780635c975abb146104575780635fc5f4de1461045f57610247565b80632f2ff15d116102105780632f2ff15d14610389578063316ec4f4146103b557806336568abe146103bd5780633719bc6a146103e957806338013f021461042257610247565b80621333a71461024c57806303120506146102745780631c1252651461029a578063248a9ca31461035257806326abdad414610381575b600080fd5b6102726004803603602081101561026257600080fd5b50356001600160a01b03166108a9565b005b6102726004803603602081101561028a57600080fd5b50356001600160a01b0316610915565b61033e600480360360208110156102b057600080fd5b810190602081018135600160201b8111156102ca57600080fd5b8201836020820111156102dc57600080fd5b803590602001918460018302840111600160201b831117156102fd57600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295506109e9945050505050565b604080519115158252519081900360200190f35b61036f6004803603602081101561036857600080fd5b5035610a09565b60408051918252519081900360200190f35b61036f610a1e565b6102726004803603604081101561039f57600080fd5b50803590602001356001600160a01b0316610a28565b61036f610a94565b610272600480360360408110156103d357600080fd5b50803590602001356001600160a01b0316610ab3565b610406600480360360208110156103ff57600080fd5b5035610b14565b604080516001600160a01b039092168252519081900360200190f35b61036f610b3b565b610272610b48565b6102726004803603602081101561044857600080fd5b5035610baa565b610406610bf9565b61033e610c08565b61036f610c11565b6102726004803603604081101561047d57600080fd5b5080359060200135610c26565b610272600480360360a08110156104a057600080fd5b81359190810190604081016020820135600160201b8111156104c157600080fd5b8201836020820111156104d357600080fd5b803590602001918460018302840111600160201b831117156104f457600080fd5b91908080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525092958435956001600160a01b0360208701351695919450925060608101915060400135600160201b81111561055b57600080fd5b82018360208201111561056d57600080fd5b803590602001918460018302840111600160201b8311171561058e57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929550610dbb945050505050565b61036f611819565b61036f61182c565b61036f611832565b610272600480360360408110156105fd57600080fd5b5080359060200135611845565b610272611b2f565b6104066004803603604081101561062857600080fd5b5080359060200135611b8f565b61033e6004803603604081101561064b57600080fd5b50803590602001356001600160a01b0316611bb0565b61036f611bc8565b6104066004803603602081101561067f57600080fd5b5035611bce565b610406611bf1565b61036f611c00565b61036f611c12565b610272600480360360608110156106b457600080fd5b813591602081013591810190606081016040820135600160201b8111156106da57600080fd5b8201836020820111156106ec57600080fd5b803590602001918460018302840111600160201b8311171561070d57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929550611c17945050505050565b61036f6004803603604081101561076457600080fd5b5080359060200135611f72565b61036f61226c565b61036f612283565b61036f6004803603602081101561079757600080fd5b5035612292565b610272600480360360408110156107b457600080fd5b50803590602001356001600160a01b03166122a9565b610272600480360360208110156107e057600080fd5b810190602081018135600160201b8111156107fa57600080fd5b82018360208201111561080c57600080fd5b803590602001918460208302840111600160201b8311171561082d57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600092019190915250929550612302945050505050565b6102726004803603602081101561088157600080fd5b50356001600160a01b031661237c565b61036f612435565b610406612445565b61036f6124be565b6108b4600033611bb0565b6108f3576040805162461bcd60e51b815260206004820152601e6024820152600080516020612f69833981519152604482015290519081900360640190fd5b600680546001600160a01b0319166001600160a01b0392909216919091179055565b610920600033611bb0565b61095f576040805162461bcd60e51b815260206004820152601e6024820152600080516020612f69833981519152604482015290519081900360640190fd5b6109786b545255535445455f524f4c4560a01b826122a9565b6109806124e2565b6001600160a01b031663b42652e9826040518263ffffffff1660e01b815260040180826001600160a01b03168152602001915050600060405180830381600087803b1580156109ce57600080fd5b505af11580156109e2573d6000803e3d6000fd5b5050505050565b805160208183018101805160078252928201919093012091525460ff1681565b60009081526020819052604090206002015490565b622127a960e91b81565b600082815260208190526040902060020154610a4b90610a4661258c565b611bb0565b610a865760405162461bcd60e51b815260040180806020018281038252602f815260200180612ea0602f913960400191505060405180910390fd5b610a908282612590565b5050565b6000610aae6b545255535445455f524f4c4560a01b612292565b905090565b610abb61258c565b6001600160a01b0316816001600160a01b031614610b0a5760405162461bcd60e51b815260040180806020018281038252602f815260200180612f89602f913960400191505060405180910390fd5b610a9082826125f9565b60048181548110610b2157fe5b6000918252602090912001546001600160a01b0316905081565b654f7261636c6560d01b81565b610b656f4c49515549444154494f4e5f524f4c4560801b33611bb0565b610ba05760405162461bcd60e51b8152600401808060200182810382526022815260200180612ef66022913960400191505060405180910390fd5b610ba8612662565b565b610bb5600033611bb0565b610bf4576040805162461bcd60e51b815260206004820152601e6024820152600080516020612f69833981519152604482015290519081900360640190fd5b600555565b6003546001600160a01b031681565b60015460ff1690565b6d151c9d5cdd1959519959541bdbdb60921b81565b60015460ff1615610c71576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6003546040805163130852b360e11b815260048101859052905184926000926001600160a01b0390911691632610a56691602480820192602092909190829003018186803b158015610cc257600080fd5b505afa158015610cd6573d6000803e3d6000fd5b505050506040513d6020811015610cec57600080fd5b50516001600160a01b03161415610d3f576040805162461bcd60e51b815260206004820152601260248201527110dbdb9d1c9858dd081b9bdd08195e1a5cdd60721b604482015290519081900360640190fd5b610d4883612700565b6001600160a01b0316631e9a695033846040518363ffffffff1660e01b815260040180836001600160a01b0316815260200182815260200192505050600060405180830381600087803b158015610d9e57600080fd5b505af1158015610db2573d6000803e3d6000fd5b50505050505050565b60015460ff1615610e06576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b60035460408051635da2251d60e11b81526004810188905260248101829052601060448201526f1d1d5b9b995b081b9bdd08195e1a5cdd60821b6064820152905187926000926001600160a01b039091169163bb444a3a91608480820192602092909190829003018186803b158015610e7e57600080fd5b505afa158015610e92573d6000803e3d6000fd5b505050506040513d6020811015610ea857600080fd5b505160408051635c975abb60e01b815290519192506001600160a01b03831691635c975abb91600480820192602092909190829003018186803b158015610eee57600080fd5b505afa158015610f02573d6000803e3d6000fd5b505050506040513d6020811015610f1857600080fd5b505115610f5f576040805162461bcd60e51b815260206004820152601060248201526f1d1d5b9b995b081a5cc81c185d5cd95960821b604482015290519081900360640190fd5b610f786b545255535445455f524f4c4560a01b33611bb0565b610fc1576040805162461bcd60e51b815260206004820152601560248201527443616c6c6572206973206e6f74207472757374656560581b604482015290519081900360640190fd5b6001600160a01b0384166111f0576007866040518082805190602001908083835b602083106110015780518252601f199092019160209182019101610fe2565b51815160209384036101000a600019018019909216911617905292019485525060405193849003019092205460ff16151591506111eb90505760016007876040518082805190602001908083835b6020831061106e5780518252601f19909201916020918201910161104f565b6001836020036101000a038019825116818451168082178552505050505050905001915050908152602001604051809103902060006101000a81548160ff0219169083151502179055507f4bc1997b63d05a364fe5d5d78b4deae806531ad47732917eecde4becb88b86d88787878733886040518087815260200180602001868152602001856001600160a01b03168152602001846001600160a01b0316815260200180602001838103835288818151815260200191508051906020019080838360005b8381101561114a578181015183820152602001611132565b50505050905090810190601f1680156111775780820380516001836020036101000a031916815260200191505b50838103825284518152845160209182019186019080838360005b838110156111aa578181015183820152602001611192565b50505050905090810190601f1680156111d75780820380516001836020036101000a031916815260200191505b509850505050505050505060405180910390a15b610db2565b600061120a6b545255535445455f524f4c4560a01b612292565b9050600061121661277e565b6001600160a01b031663f99021a28a8a8a8a33886040518763ffffffff1660e01b81526004018087815260200180602001868152602001856001600160a01b03168152602001846001600160a01b03168152602001838152602001828103825287818151815260200191508051906020019080838360005b838110156112a657818101518382015260200161128e565b50505050905090810190601f1680156112d35780820380516001836020036101000a031916815260200191505b50975050505050505050602060405180830381600087803b1580156112f757600080fd5b505af115801561130b573d6000803e3d6000fd5b505050506040513d602081101561132157600080fd5b5051905080611331575050610db2565b600061133c8a612700565b6001600160a01b0316633c69e26b6040518163ffffffff1660e01b815260040160206040518083038186803b15801561137457600080fd5b505afa158015611388573d6000803e3d6000fd5b505050506040513d602081101561139e57600080fd5b5051905060006113ad8b612700565b6001600160a01b03166310d5e5906040518163ffffffff1660e01b815260040160206040518083038186803b1580156113e557600080fd5b505afa1580156113f9573d6000803e3d6000fd5b505050506040513d602081101561140f57600080fd5b505190508161148b61142083612700565b6001600160a01b03166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b15801561145857600080fd5b505afa15801561146c573d6000803e3d6000fd5b505050506040513d602081101561148257600080fd5b50518b906127d8565b11156115bb57896040518082805190602001908083835b602083106114c15780518252601f1990920191602091820191016114a2565b6001836020036101000a03801982511681845116808217855250505050505090500191505060405180910390208b7ff5ab3d402a4845f0bfb050bdce018a06672cc3a7f4161e69dc114b2c43cd1eab8b8b338c60405180858152602001846001600160a01b03168152602001836001600160a01b0316815260200180602001828103825283818151815260200191508051906020019080838360005b8381101561157557818101518382015260200161155d565b50505050905090810190601f1680156115a25780820380516001836020036101000a031916815260200191505b509550505050505060405180910390a350505050610db2565b6115c48b612700565b6001600160a01b031663867904b4898b6040518363ffffffff1660e01b815260040180836001600160a01b0316815260200182815260200192505050600060405180830381600087803b15801561161a57600080fd5b505af115801561162e573d6000803e3d6000fd5b50505050600061163e8c8b611f72565b905080156116ea5760025461165390826127d8565b60025561165e612832565b600654604080516323b872dd60e01b81526001600160a01b0392831660048201528c8316602482015260448101859052905192909116916323b872dd916064808201926020929091908290030181600087803b1580156116bd57600080fd5b505af11580156116d1573d6000803e3d6000fd5b505050506040513d60208110156116e757600080fd5b50505b7fbf356171c0bbd785947f0936380f7bacc26c740c41ee8d68bfbd27a3225dbf458c8c8c8c8c6040518086815260200180602001858152602001846001600160a01b0316815260200180602001838103835287818151815260200191508051906020019080838360005b8381101561176c578181015183820152602001611754565b50505050905090810190601f1680156117995780820380516001836020036101000a031916815260200191505b50838103825284518152845160209182019186019080838360005b838110156117cc5781810151838201526020016117b4565b50505050905090810190601f1680156117f95780820380516001836020036101000a031916815260200191505b5097505050505050505060405180910390a1505050505050505050505050565b6b545255535445455f524f4c4560a01b81565b60055481565b6b135a5b9d141c9bdc1bdcd85b60a21b81565b60015460ff1615611890576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6003546040805163130852b360e11b815260048101859052905184926000926001600160a01b0390911691632610a56691602480820192602092909190829003018186803b1580156118e157600080fd5b505afa1580156118f5573d6000803e3d6000fd5b505050506040513d602081101561190b57600080fd5b50516001600160a01b0316141561195e576040805162461bcd60e51b815260206004820152601260248201527110dbdb9d1c9858dd081b9bdd08195e1a5cdd60721b604482015290519081900360640190fd5b81611967612832565b60408051636eb1769f60e11b815233600482015230602482015290516001600160a01b03929092169163dd62ed3e91604480820192602092909190829003018186803b1580156119b657600080fd5b505afa1580156119ca573d6000803e3d6000fd5b505050506040513d60208110156119e057600080fd5b50511015611a2c576040805162461bcd60e51b81526020600482015260146024820152733737ba1030b63637bb9032b737bab3b4103137b960611b604482015290519081900360640190fd5b611a34612832565b6001600160a01b03166323b872dd33611a4c86612700565b856040518463ffffffff1660e01b815260040180846001600160a01b03168152602001836001600160a01b031681526020018281526020019350505050602060405180830381600087803b158015611aa357600080fd5b505af1158015611ab7573d6000803e3d6000fd5b505050506040513d6020811015611acd57600080fd5b50611ad9905083612700565b6001600160a01b031663743b345233846040518363ffffffff1660e01b815260040180836001600160a01b0316815260200182815260200192505050600060405180830381600087803b158015610d9e57600080fd5b611b4c6f4c49515549444154494f4e5f524f4c4560801b33611bb0565b611b875760405162461bcd60e51b8152600401808060200182810382526022815260200180612ef66022913960400191505060405180910390fd5b610ba8612883565b6000828152602081905260408120611ba79083612903565b90505b92915050565b6000828152602081905260408120611ba7908361290f565b60025481565b600080611bea6b545255535445455f524f4c4560a01b84611b8f565b9392505050565b6006546001600160a01b031681565b6a6e6574776f726b5f66656560a81b81565b600081565b60015460ff1615611c62576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6003546040805163130852b360e11b815260048101869052905185926000926001600160a01b0390911691632610a56691602480820192602092909190829003018186803b158015611cb357600080fd5b505afa158015611cc7573d6000803e3d6000fd5b505050506040513d6020811015611cdd57600080fd5b50516001600160a01b03161415611d30576040805162461bcd60e51b815260206004820152601260248201527110dbdb9d1c9858dd081b9bdd08195e1a5cdd60721b604482015290519081900360640190fd5b60035460408051635da2251d60e11b81526004810187905260248101829052601060448201526f1d1d5b9b995b081b9bdd08195e1a5cdd60821b6064820152905186926000926001600160a01b039091169163bb444a3a91608480820192602092909190829003018186803b158015611da857600080fd5b505afa158015611dbc573d6000803e3d6000fd5b505050506040513d6020811015611dd257600080fd5b505160408051635c975abb60e01b815290519192506001600160a01b03831691635c975abb91600480820192602092909190829003018186803b158015611e1857600080fd5b505afa158015611e2c573d6000803e3d6000fd5b505050506040513d6020811015611e4257600080fd5b505115611e89576040805162461bcd60e51b815260206004820152601060248201526f1d1d5b9b995b081a5cc81c185d5cd95960821b604482015290519081900360640190fd5b611e9286612700565b6001600160a01b03166315f570dc3387876040518463ffffffff1660e01b815260040180846001600160a01b0316815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015611f04578181015183820152602001611eec565b50505050905090810190601f168015611f315780820380516001836020036101000a031916815260200191505b50945050505050600060405180830381600087803b158015611f5257600080fd5b505af1158015611f66573d6000803e3d6000fd5b50505050505050505050565b6000600554600254101580611f85575081155b15611f9257506000611baa565b6000611f9c612924565b6001600160a01b03166331d98b3f856040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015611fdf57600080fd5b505afa158015611ff3573d6000803e3d6000fd5b505050506040513d602081101561200957600080fd5b505190506000612017612924565b6001600160a01b03166331d98b3f622127a960e91b6040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b15801561206057600080fd5b505afa158015612074573d6000803e3d6000fd5b505050506040513d602081101561208a57600080fd5b50516002549091506000906120a99069021e19e0c9bab2400000612978565b905060006120b56129ba565b6001600160a01b031663171800cc88676d696e745f66656560c01b6040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561210b57600080fd5b505afa15801561211f573d6000803e3d6000fd5b505050506040513d602081101561213557600080fd5b50519050600061215f600584900a612159600486900a670de0b6b3a7640000612a11565b90612978565b9050600061216b6129ba565b6001600160a01b031663171800cc8a6a6e6574776f726b5f66656560a81b6040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156121c457600080fd5b505afa1580156121d8573d6000803e3d6000fd5b505050506040513d60208110156121ee57600080fd5b505190506000612208826122028b87612a6a565b906127d8565b9050600061222d876122278661222186818e6002612a11565b90612a6a565b90612a7f565b9050600554612247826002546127d890919063ffffffff16565b1061225e5760025460055461225b91612a94565b90505b9a9950505050505050505050565b6f4c49515549444154494f4e5f524f4c4560801b81565b67474f565f524f4c4560c01b81565b6000818152602081905260408120611baa90612ad6565b6000828152602081905260409020600201546122c790610a4661258c565b610b0a5760405162461bcd60e51b8152600401808060200182810382526030815260200180612f186030913960400191505060405180910390fd5b61230d600033611bb0565b61234c576040805162461bcd60e51b815260206004820152601e6024820152600080516020612f69833981519152604482015290519081900360640190fd5b60005b8151811015610a905761237482828151811061236757fe5b602002602001015161237c565b60010161234f565b612387600033611bb0565b6123c6576040805162461bcd60e51b815260206004820152601e6024820152600080516020612f69833981519152604482015290519081900360640190fd5b6123df6b545255535445455f524f4c4560a01b82610a86565b6123e76124e2565b6001600160a01b031663d014c01f826040518263ffffffff1660e01b815260040180826001600160a01b03168152602001915050600060405180830381600087803b1580156109ce57600080fd5b68506172616d426f6f6b60b81b81565b6000806124606b545255535445455f524f4c4560a01b612292565b60408051426020808301919091524482840152825180830384018152606090920190925280519101209091506000906124999083612ae1565b905060006124b66b545255535445455f524f4c4560a01b83611b8f565b935050505090565b676d696e745f66656560c01b81565b6000611ba7836001600160a01b038416612b23565b60035460408051635da2251d60e11b81526d151c9d5cdd1959519959541bdbdb60921b60048201818152602483019384526027604484018190526000956001600160a01b03169463bb444a3a949091606490910190612ecf82396040019250505060206040518083038186803b15801561255b57600080fd5b505afa15801561256f573d6000803e3d6000fd5b505050506040513d602081101561258557600080fd5b5051905090565b3390565b60008281526020819052604090206125a890826124cd565b15610a90576125b561258c565b6001600160a01b0316816001600160a01b0316837f2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d60405160405180910390a45050565b60008281526020819052604090206126119082612b6d565b15610a905761261e61258c565b6001600160a01b0316816001600160a01b0316837ff6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b60405160405180910390a45050565b60015460ff166126b0576040805162461bcd60e51b815260206004820152601460248201527314185d5cd8589b194e881b9bdd081c185d5cd95960621b604482015290519081900360640190fd5b6001805460ff191690557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa6126e361258c565b604080516001600160a01b039092168252519081900360200190a1565b6003546040805163130852b360e11b81526004810184905290516000926001600160a01b031691632610a566916024808301926020929190829003018186803b15801561274c57600080fd5b505afa158015612760573d6000803e3d6000fd5b505050506040513d602081101561277657600080fd5b505192915050565b6003546040805163130852b360e11b81526b135a5b9d141c9bdc1bdcd85b60a21b600482015290516000926001600160a01b031691632610a566916024808301926020929190829003018186803b15801561255b57600080fd5b600082820183811015611ba7576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6003546040805163130852b360e11b8152622127a960e91b600482015290516000926001600160a01b031691632610a566916024808301926020929190829003018186803b15801561255b57600080fd5b60015460ff16156128ce576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6001805460ff1916811790557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2586126e361258c565b6000611ba78383612b82565b6000611ba7836001600160a01b038416612be6565b6003546040805163130852b360e11b8152654f7261636c6560d01b600482015290516000926001600160a01b031691632610a566916024808301926020929190829003018186803b15801561255b57600080fd5b6000611ba783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250612bfe565b6003546040805163130852b360e11b815268506172616d426f6f6b60b81b600482015290516000926001600160a01b031691632610a566916024808301926020929190829003018186803b15801561255b57600080fd5b600082612a2057506000611baa565b82820282848281612a2d57fe5b0414611ba75760405162461bcd60e51b8152600401808060200182810382526021815260200180612f486021913960400191505060405180910390fd5b6000611ba78383670de0b6b3a7640000612ca0565b6000611ba78383670de0b6b3a7640000612cd7565b6000611ba783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612cf7565b6000611baa82612d51565b6000611ba783836040518060400160405280601881526020017f536166654d6174683a206d6f64756c6f206279207a65726f0000000000000000815250612d55565b6000612b2f8383612be6565b612b6557508154600181810184556000848152602080822090930184905584548482528286019093526040902091909155611baa565b506000611baa565b6000611ba7836001600160a01b038416612db7565b81546000908210612bc45760405162461bcd60e51b8152600401808060200182810382526022815260200180612e7e6022913960400191505060405180910390fd5b826000018281548110612bd357fe5b9060005260206000200154905092915050565b60009081526001919091016020526040902054151590565b60008183612c8a5760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612c4f578181015183820152602001612c37565b50505050905090810190601f168015612c7c5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581612c9657fe5b0495945050505050565b600080600a8304612cb18686612a11565b81612cb857fe5b0490506005600a825b0610612ccb57600a015b600a9004949350505050565b600080612ceb8461215987600a8702612a11565b90506005600a82612cc1565b60008184841115612d495760405162461bcd60e51b8152602060048201818152835160248401528351909283926044909101919085019080838360008315612c4f578181015183820152602001612c37565b505050900390565b5490565b60008183612da45760405162461bcd60e51b8152602060048201818152835160248401528351909283926044909101919085019080838360008315612c4f578181015183820152602001612c37565b50828481612dae57fe5b06949350505050565b60008181526001830160205260408120548015612e735783546000198083019190810190600090879083908110612dea57fe5b9060005260206000200154905080876000018481548110612e0757fe5b600091825260208083209091019290925582815260018981019092526040902090840190558654879080612e3757fe5b60019003818190600052602060002001600090559055866001016000878152602001908152602001600020600090556001945050505050611baa565b6000915050611baa56fe456e756d657261626c655365743a20696e646578206f7574206f6620626f756e6473416363657373436f6e74726f6c3a2073656e646572206d75737420626520616e2061646d696e20746f206772616e74426f72696e6744414f3a3a54727573746565466565506f6f6c206973206164647265737328302943616c6c6572206973206e6f74206c69717569646174696f6e20636f6e7472616374416363657373436f6e74726f6c3a2073656e646572206d75737420626520616e2061646d696e20746f207265766f6b65536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77426f72696e6744414f3a3a63616c6c6572206973206e6f742061646d696e0000416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e636520726f6c657320666f722073656c66a2646970667358221220f850227c909763eb34ccf8bce677fd704a359da6ecfcab8d2687941342610f5864736f6c634300060c0033

00000000000000000000000065dfd6117bcd70a0fe37a715de75aae38eb50e48000000000000000000000000000000000000000000000accb72d9e6b59e0000000000000000000000000000067ee188ee1319cdac271553e7b8faaed2fbc52cc

-----Decoded View---------------
Arg [0] : _addrReso (address): 0x65Dfd6117BcD70A0FE37A715dE75Aae38eb50E48
Arg [1] : _mintCap (uint256): 51000000000000000000000
Arg [2] : _mine (address): 0x67Ee188Ee1319CDAc271553e7b8FAAed2fBC52CC

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 00000000000000000000000065dfd6117bcd70a0fe37a715de75aae38eb50e48
Arg [1] : 000000000000000000000000000000000000000000000accb72d9e6b59e00000
Arg [2] : 00000000000000000000000067ee188ee1319cdac271553e7b8faaed2fbc52cc

46999:9643:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;50592:80;;;;;;;;;;;;;;;;-1:-1:-1;50592:80:0;-1:-1:-1;;;;;50592:80:0;;:::i;:::-;;50434:150;;;;;;;;;;;;;;;;-1:-1:-1;50434:150:0;-1:-1:-1;;;;;50434:150:0;;:::i;48051:40::-;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;48051:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;48051:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;48051:40:0;;-1:-1:-1;48051:40:0;;-1:-1:-1;;;;;48051:40:0:i;:::-;;;;;;;;;;;;;;;;;;20402:114;;;;;;;;;;;;;;;;-1:-1:-1;20402:114:0;;:::i;:::-;;;;;;;;;;;;;;;;47357:35;;;:::i;20778:227::-;;;;;;;;;;;;;;;;-1:-1:-1;20778:227:0;;;;;;-1:-1:-1;;;;;20778:227:0;;:::i;49575:126::-;;;:::i;21987:209::-;;;;;;;;;;;;;;;;-1:-1:-1;21987:209:0;;;;;;-1:-1:-1;;;;;21987:209:0;;:::i;47812:24::-;;;;;;;;;;;;;;;;-1:-1:-1;47812:24:0;;:::i;:::-;;;;-1:-1:-1;;;;;47812:24:0;;;;;;;;;;;;;;47515:41;;;:::i;55093:71::-;;;:::i;50680:88::-;;;;;;;;;;;;;;;;-1:-1:-1;50680:88:0;;:::i;47755:32::-;;;:::i;24695:78::-;;;:::i;47563:59::-;;;:::i;51413:219::-;;;;;;;;;;;;;;;;-1:-1:-1;51413:219:0;;;;;;;:::i;52189:1736::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;52189:1736:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;52189:1736:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;52189:1736:0;;;;;-1:-1:-1;;;;;52189:1736:0;;;;;;;;-1:-1:-1;52189:1736:0;-1:-1:-1;52189:1736:0;;;;-1:-1:-1;52189:1736:0;;;-1:-1:-1;;;52189:1736:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;52189:1736:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;52189:1736:0;;-1:-1:-1;52189:1736:0;;-1:-1:-1;;;;;52189:1736:0:i;47175:53::-;;;:::i;47845:22::-;;;:::i;47454:54::-;;;:::i;50857:494::-;;;;;;;;;;;;;;;;-1:-1:-1;50857:494:0;;;;;;;:::i;55018:67::-;;;:::i;20075:138::-;;;;;;;;;;;;;;;;-1:-1:-1;20075:138:0;;;;;;;:::i;19036:139::-;;;;;;;;;;;;;;;;-1:-1:-1;19036:139:0;;;;;;-1:-1:-1;;;;;19036:139:0;;:::i;47139:27::-;;;:::i;49360:207::-;;;;;;;;;;;;;;;;-1:-1:-1;49360:207:0;;:::i;47876:19::-;;;:::i;47695:51::-;;;:::i;17781:49::-;;;:::i;51640:301::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;51640:301:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;51640:301:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;51640:301:0;;-1:-1:-1;51640:301:0;;-1:-1:-1;;;;;51640:301:0:i;53933:1077::-;;;;;;;;;;;;;;;;-1:-1:-1;53933:1077:0;;;;;;;:::i;47235:61::-;;;:::i;47303:45::-;;;:::i;19349:127::-;;;;;;;;;;;;;;;;-1:-1:-1;19349:127:0;;:::i;21250:230::-;;;;;;;;;;;;;;;;-1:-1:-1;21250:230:0;;;;;;-1:-1:-1;;;;;21250:230:0;;:::i;50246:180::-;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;50246:180:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;50246:180:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;50246:180:0;;-1:-1:-1;50246:180:0;;-1:-1:-1;;;;;50246:180:0:i;50088:150::-;;;;;;;;;;;;;;;;-1:-1:-1;50088:150:0;-1:-1:-1;;;;;50088:150:0;;:::i;47399:48::-;;;:::i;49709:371::-;;;:::i;47631:57::-;;;:::i;50592:80::-;55337:39;17826:4;55365:10;55337:7;:39::i;:::-;55329:82;;;;;-1:-1:-1;;;55329:82:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;55329:82:0;;;;;;;;;;;;;;;50652:4:::1;:12:::0;;-1:-1:-1;;;;;;50652:12:0::1;-1:-1:-1::0;;;;;50652:12:0;;;::::1;::::0;;;::::1;::::0;;50592:80::o;50434:150::-;55337:39;17826:4;55365:10;55337:7;:39::i;:::-;55329:82;;;;;-1:-1:-1;;;55329:82:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;55329:82:0;;;;;;;;;;;;;;;50502:33:::1;-1:-1:-1::0;;;50527:7:0::1;50502:10;:33::i;:::-;50546:16;:14;:16::i;:::-;-1:-1:-1::0;;;;;50546:21:0::1;;50568:7;50546:30;;;;;;;;;;;;;-1:-1:-1::0;;;;;50546:30:0::1;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;50434:150:::0;:::o;48051:40::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;20402:114::-;20459:7;20486:12;;;;;;;;;;:22;;;;20402:114::o;47357:35::-;-1:-1:-1;;;47357:35:0;:::o;20778:227::-;20870:6;:12;;;;;;;;;;:22;;;20862:45;;20894:12;:10;:12::i;:::-;20862:7;:45::i;:::-;20854:105;;;;-1:-1:-1;;;20854:105:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20972:25;20983:4;20989:7;20972:10;:25::i;:::-;20778:227;;:::o;49575:126::-;49634:7;49661:32;-1:-1:-1;;;49661:18:0;:32::i;:::-;49654:39;;49575:126;:::o;21987:209::-;22085:12;:10;:12::i;:::-;-1:-1:-1;;;;;22074:23:0;:7;-1:-1:-1;;;;;22074:23:0;;22066:83;;;;-1:-1:-1;;;22066:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22162:26;22174:4;22180:7;22162:11;:26::i;47812:24::-;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;47812:24:0;;-1:-1:-1;47812:24:0;:::o;47515:41::-;-1:-1:-1;;;47515:41:0;:::o;55093:71::-;55497:37;-1:-1:-1;;;55523:10:0;55497:7;:37::i;:::-;55475:121;;;;-1:-1:-1;;;55475:121:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;55146:10:::1;:8;:10::i;:::-;55093:71::o:0;50680:88::-;55337:39;17826:4;55365:10;55337:7;:39::i;:::-;55329:82;;;;;-1:-1:-1;;;55329:82:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;55329:82:0;;;;;;;;;;;;;;;50744:7:::1;:16:::0;50680:88::o;47755:32::-;;;-1:-1:-1;;;;;47755:32:0;;:::o;24695:78::-;24758:7;;;;24695:78;:::o;47563:59::-;-1:-1:-1;;;47563:59:0;:::o;51413:219::-;25013:7;;;;25012:8;25004:37;;;;;-1:-1:-1;;;25004:37:0;;;;;;;;;;;;-1:-1:-1;;;25004:37:0;;;;;;;;;;;;;;;55697:8:::1;::::0;:25:::1;::::0;;-1:-1:-1;;;55697:25:0;;::::1;::::0;::::1;::::0;;;;;;;-1:-1:-1;;;;;;;55697:8:0;;::::1;::::0;:20:::1;::::0;:25;;;;;::::1;::::0;;;;;;;;;:8;:25;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;55697:25:0;-1:-1:-1;;;;;55697:39:0::1;;;55675:107;;;::::0;;-1:-1:-1;;;55675:107:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;-1:-1:-1;;;55675:107:0;;;;;;;;;;;;;::::1;;51578:18:::2;51585:10;51578:6;:18::i;:::-;-1:-1:-1::0;;;;;51578:25:0::2;;51604:10;51616:7;51578:46;;;;;;;;;;;;;-1:-1:-1::0;;;;;51578:46:0::2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;25052:1:::1;51413:219:::0;;:::o;52189:1736::-;25013:7;;;;25012:8;25004:37;;;;;-1:-1:-1;;;25004:37:0;;;;;;;;;;;;-1:-1:-1;;;25004:37:0;;;;;;;;;;;;;;;55893:8:::1;::::0;:62:::1;::::0;;-1:-1:-1;;;55893:62:0;;::::1;::::0;::::1;::::0;;;;;;;;;::::1;::::0;;;;-1:-1:-1;;;55893:62:0;;;;;;52409:10;;55869:21:::1;::::0;-1:-1:-1;;;;;55893:8:0;;::::1;::::0;:30:::1;::::0;:62;;;;;::::1;::::0;;;;;;;;;:8;:62;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;55893:62:0;55974:31:::1;::::0;;-1:-1:-1;;;55974:31:0;;;;55893:62;;-1:-1:-1;;;;;;55974:29:0;::::1;::::0;::::1;::::0;:31:::1;::::0;;::::1;::::0;55893:62:::1;::::0;55974:31;;;;;;;;:29;:31;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;55974:31:0;:40:::1;55966:69;;;::::0;;-1:-1:-1;;;55966:69:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;-1:-1:-1;;;55966:69:0;;;;;;;;;;;;;::::1;;55212:33:::2;-1:-1:-1::0;;;55234:10:0::2;55212:7;:33::i;:::-;55204:67;;;::::0;;-1:-1:-1;;;55204:67:0;;::::2;;::::0;::::2;::::0;::::2;::::0;;;;-1:-1:-1;;;55204:67:0;;;;;;;;;;;;;::::2;;-1:-1:-1::0;;;;;52447:16:0;::::3;52444:261;;52484:11;52496:5;52484:18;;;;;;;;;;;;;;;;;;;::::0;;;;-1:-1:-1;;52484:18:0;;;;::::3;::::0;;::::3;::::0;::::3;;;;::::0;;;::::3;::::0;;::::3;;;-1:-1:-1::0;;52484:18:0;;::::3;::::0;;::::3;::::0;::::3;;::::0;;;::::3;::::0;;;-1:-1:-1;52484:18:0::3;::::0;;;;;;;;;;::::3;;:27;;::::0;-1:-1:-1;52480:193:0::3;::::0;-1:-1:-1;52480:193:0::3;52553:4;52532:11;52544:5;52532:18;;;;;;;;;;;;;;;;;;;::::0;;;;-1:-1:-1;;52532:18:0;;;;::::3;::::0;;::::3;::::0;::::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:25;;;;;;;;;;;;;;;;;;52581:76;52600:10;52612:5;52619:7;52628:2;52632:10;52644:12;52581:76;;;;;;;;;;;;;;;;;-1:-1:-1::0;;;;;52581:76:0::3;;;;;;-1:-1:-1::0;;;;;52581:76:0::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;;::::3;::::0;;;::::3;::::0;::::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1::0;52581:76:0;;::::3;::::0;;;;;;;;::::3;::::0;;::::3;::::0;;::::3;::::0;;;;::::3;;;;;;;;::::0;;::::3;::::0;;;::::3;::::0;::::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;52480:193;52687:7;;52444:261;52725:20;52748:32;-1:-1:-1::0;;;52748:18:0::3;:32::i;:::-;52725:55;;52791:15;52809:14;:12;:14::i;:::-;-1:-1:-1::0;;;;;52809:22:0::3;;52846:10;52871:5;52891:7;52913:2;52930:10;52955:12;52809:169;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1::0;;;;;52809:169:0::3;;;;;;-1:-1:-1::0;;;;;52809:169:0::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;;::::3;::::0;;;::::3;::::0;::::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;;;;;;;;::::0;::::3;;-1:-1:-1::0;52809:169:0;;-1:-1:-1;52809:169:0;52989:50:::3;;53021:7;;;;52989:50;53049:22;53074:18;53081:10;53074:6;:18::i;:::-;-1:-1:-1::0;;;;;53074:33:0::3;;:35;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;;;;;;;;::::0;::::3;;-1:-1:-1::0;53074:35:0;;-1:-1:-1;53120:23:0::3;53146:18;53153:10:::0;53146:6:::3;:18::i;:::-;-1:-1:-1::0;;;;;53146:28:0::3;;:30;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;;;;;;;;::::0;::::3;;-1:-1:-1::0;53146:30:0;;-1:-1:-1;53244:14:0;53191:50:::3;53203:23;53146:30:::0;53203:6:::3;:23::i;:::-;-1:-1:-1::0;;;;;53203:35:0::3;;:37;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;;;;;;;;::::0;::::3;;-1:-1:-1::0;53203:37:0;53191:7;;:11:::3;:50::i;:::-;:67;53187:321;;;53348:5;53280:195;;;;;;;;;;;;;;;;;;;::::0;;;;-1:-1:-1;;53280:195:0;;;;::::3;::::0;;::::3;::::0;::::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;53319:10;53280:195;53372:7;53398:2;53419:10;53448:12;53280:195;;;;;;;;;-1:-1:-1::0;;;;;53280:195:0::3;;;;;;-1:-1:-1::0;;;;;53280:195:0::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;;::::3;::::0;;;::::3;::::0;::::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;53490:7;;;;;;53187:321;53554:18;53561:10;53554:6;:18::i;:::-;-1:-1:-1::0;;;;;53554:24:0::3;;53579:2;53583:7;53554:37;;;;;;;;;;;;;-1:-1:-1::0;;;;;53554:37:0::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;::::0;::::3;;;;;;;;;53604:18;53625:43;53648:10;53660:7;53625:22;:43::i;:::-;53604:64:::0;-1:-1:-1;53682:18:0;;53679:159:::3;;53732:12;::::0;:31:::3;::::0;53749:13;53732:16:::3;:31::i;:::-;53717:12;:46:::0;53778:10:::3;:8;:10::i;:::-;53802:4;::::0;53778:48:::3;::::0;;-1:-1:-1;;;53778:48:0;;-1:-1:-1;;;;;53802:4:0;;::::3;53778:48;::::0;::::3;::::0;;;::::3;::::0;;;;;;;;;;;;:23;;;::::3;::::0;::::3;::::0;:48;;;;;::::3;::::0;;;;;;;;;53802:4:::3;53778:23:::0;:48;::::3;;::::0;::::3;;;;::::0;::::3;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;;;;;;;;::::0;::::3;;-1:-1:-1::0;;53679:159:0::3;53853:64;53872:10;53884:5;53891:7;53900:2;53904:12;53853:64;;;;;;;;;;;;;;;;;-1:-1:-1::0;;;;;53853:64:0::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;;::::3;::::0;;;::::3;::::0;::::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1::0;53853:64:0;;::::3;::::0;;;;;;;;::::3;::::0;;::::3;::::0;;::::3;::::0;;;;::::3;;;;;;;;::::0;;::::3;::::0;;;::::3;::::0;::::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;55282:1;;;;;25052::::1;;52189:1736:::0;;;;;:::o;47175:53::-;-1:-1:-1;;;47175:53:0;:::o;47845:22::-;;;;:::o;47454:54::-;-1:-1:-1;;;47454:54:0;:::o;50857:494::-;25013:7;;;;25012:8;25004:37;;;;;-1:-1:-1;;;25004:37:0;;;;;;;;;;;;-1:-1:-1;;;25004:37:0;;;;;;;;;;;;;;;55697:8:::1;::::0;:25:::1;::::0;;-1:-1:-1;;;55697:25:0;;::::1;::::0;::::1;::::0;;;;;;;-1:-1:-1;;;;;;;55697:8:0;;::::1;::::0;:20:::1;::::0;:25;;;;;::::1;::::0;;;;;;;;;:8;:25;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;55697:25:0;-1:-1:-1;;;;;55697:39:0::1;;;55675:107;;;::::0;;-1:-1:-1;;;55675:107:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;-1:-1:-1;;;55675:107:0;;;;;;;;;;;;;::::1;;51095:7:::2;51044:10;:8;:10::i;:::-;:47;::::0;;-1:-1:-1;;;51044:47:0;;51065:10:::2;51044:47;::::0;::::2;::::0;51085:4:::2;51044:47:::0;;;;;;-1:-1:-1;;;;;51044:20:0;;;::::2;::::0;::::2;::::0;:47;;;;;::::2;::::0;;;;;;;;;:20;:47;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;51044:47:0;:58:::2;;51022:128;;;::::0;;-1:-1:-1;;;51022:128:0;;::::2;;::::0;::::2;::::0;::::2;::::0;;;;-1:-1:-1;;;51022:128:0;;;;;;;;;;;;;::::2;;51163:10;:8;:10::i;:::-;-1:-1:-1::0;;;;;51163:23:0::2;;51201:10;51234:18;51241:10;51234:6;:18::i;:::-;51268:7;51163:123;;;;;;;;;;;;;-1:-1:-1::0;;;;;51163:123:0::2;;;;;;-1:-1:-1::0;;;;;51163:123:0::2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;51297:18:0::2;::::0;-1:-1:-1;51304:10:0;51297:6:::2;:18::i;:::-;-1:-1:-1::0;;;;;51297:25:0::2;;51323:10;51335:7;51297:46;;;;;;;;;;;;;-1:-1:-1::0;;;;;51297:46:0::2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;55018:67:::0;55497:37;-1:-1:-1;;;55523:10:0;55497:7;:37::i;:::-;55475:121;;;;-1:-1:-1;;;55475:121:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;55069:8:::1;:6;:8::i;20075:138::-:0;20148:7;20175:12;;;;;;;;;;:30;;20199:5;20175:23;:30::i;:::-;20168:37;;20075:138;;;;;:::o;19036:139::-;19105:4;19129:12;;;;;;;;;;:38;;19159:7;19129:29;:38::i;47139:27::-;;;;:::o;49360:207::-;49463:7;49488:12;49503:34;-1:-1:-1;;;49531:5:0;49503:13;:34::i;:::-;49488:49;49360:207;-1:-1:-1;;;49360:207:0:o;47876:19::-;;;-1:-1:-1;;;;;47876:19:0;;:::o;47695:51::-;-1:-1:-1;;;47695:51:0;:::o;17781:49::-;17826:4;17781:49;:::o;51640:301::-;25013:7;;;;25012:8;25004:37;;;;;-1:-1:-1;;;25004:37:0;;;;;;;;;;;;-1:-1:-1;;;25004:37:0;;;;;;;;;;;;;;;55697:8:::1;::::0;:25:::1;::::0;;-1:-1:-1;;;55697:25:0;;::::1;::::0;::::1;::::0;;;;;;;-1:-1:-1;;;;;;;55697:8:0;;::::1;::::0;:20:::1;::::0;:25;;;;;::::1;::::0;;;;;;;;;:8;:25;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;55697:25:0;-1:-1:-1;;;;;55697:39:0::1;;;55675:107;;;::::0;;-1:-1:-1;;;55675:107:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;-1:-1:-1;;;55675:107:0;;;;;;;;;;;;;::::1;;55893:8:::2;::::0;:62:::2;::::0;;-1:-1:-1;;;55893:62:0;;::::2;::::0;::::2;::::0;;;;;;;;;::::2;::::0;;;;-1:-1:-1;;;55893:62:0;;;;;;51848:10;;55869:21:::2;::::0;-1:-1:-1;;;;;55893:8:0;;::::2;::::0;:30:::2;::::0;:62;;;;;::::2;::::0;;;;;;;;;:8;:62;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;55893:62:0;55974:31:::2;::::0;;-1:-1:-1;;;55974:31:0;;;;55893:62;;-1:-1:-1;;;;;;55974:29:0;::::2;::::0;::::2;::::0;:31:::2;::::0;;::::2;::::0;55893:62:::2;::::0;55974:31;;;;;;;;:29;:31;::::2;;::::0;::::2;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;-1:-1:-1::0;55974:31:0;:40:::2;55966:69;;;::::0;;-1:-1:-1;;;55966:69:0;;::::2;;::::0;::::2;::::0;::::2;::::0;;;;-1:-1:-1;;;55966:69:0;;;;;;;;;;;;;::::2;;51876:18:::3;51883:10;51876:6;:18::i;:::-;-1:-1:-1::0;;;;;51876:23:0::3;;51900:10;51912:6;51920:12;51876:57;;;;;;;;;;;;;-1:-1:-1::0;;;;;51876:57:0::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;;::::3;::::0;;;::::3;::::0;::::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;::::0;::::3;;;;;;;;;55793:1:::2;;25052::::1;51640:301:::0;;;:::o;53933:1077::-;54020:4;54057:7;;54041:12;;:23;;:39;;;-1:-1:-1;54068:12:0;;54041:39;54037:80;;;-1:-1:-1;54104:1:0;54097:8;;54037:80;54127:18;54148:8;:6;:8::i;:::-;-1:-1:-1;;;;;54148:17:0;;54166:10;54148:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;54148:29:0;;-1:-1:-1;54188:16:0;54207:8;:6;:8::i;:::-;-1:-1:-1;;;;;54207:17:0;;-1:-1:-1;;;54207:22:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;54207:22:0;54265:12;;54207:22;;-1:-1:-1;54240:22:0;;54265:27;;54282:9;54265:16;:27::i;:::-;54240:52;;54303:19;54325:11;:9;:11::i;:::-;-1:-1:-1;;;;;54325:19:0;;54359:10;-1:-1:-1;;;54325:90:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;54325:90:0;;-1:-1:-1;54475:23:0;54501:52;54535:1;:17;;;54501:29;54502:1;:17;;;54525:4;54501:23;:29::i;:::-;:33;;:52::i;:::-;54475:78;;54564:15;54582:11;:9;:11::i;:::-;-1:-1:-1;;;;;54582:19:0;;54602:10;-1:-1:-1;;;54582:44:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;54582:44:0;;-1:-1:-1;54637:15:0;54655:57;54582:44;54655:41;:7;54684:11;54655:28;:41::i;:::-;:45;;:57::i;:::-;54637:75;-1:-1:-1;54723:14:0;54740:117;54848:8;54740:88;54812:15;54740:50;54637:75;54740:50;:10;54755:1;54740:14;:17::i;:::-;:38;;:50::i;:88::-;:107;;:117::i;:::-;54723:134;;54903:7;;54872:27;54889:9;54872:12;;:16;;:27;;;;:::i;:::-;:38;54868:108;;54951:12;;54939:7;;:25;;:11;:25::i;:::-;54927:37;;54868:108;54993:9;53933:1077;-1:-1:-1;;;;;;;;;;53933:1077:0:o;47235:61::-;-1:-1:-1;;;47235:61:0;:::o;47303:45::-;-1:-1:-1;;;47303:45:0;:::o;19349:127::-;19412:7;19439:12;;;;;;;;;;:29;;:27;:29::i;21250:230::-;21343:6;:12;;;;;;;;;;:22;;;21335:45;;21367:12;:10;:12::i;21335:45::-;21327:106;;;;-1:-1:-1;;;21327:106:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;50246:180;55337:39;17826:4;55365:10;55337:7;:39::i;:::-;55329:82;;;;;-1:-1:-1;;;55329:82:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;55329:82:0;;;;;;;;;;;;;;;50328:9:::1;50323:96;50347:8;:15;50343:1;:19;50323:96;;;50384:23;50395:8;50404:1;50395:11;;;;;;;;;;;;;;50384:10;:23::i;:::-;50364:3;;50323:96;;50088:150:::0;55337:39;17826:4;55365:10;55337:7;:39::i;:::-;55329:82;;;;;-1:-1:-1;;;55329:82:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;55329:82:0;;;;;;;;;;;;;;;50153:33:::1;-1:-1:-1::0;;;50178:7:0::1;50153:10;:33::i;:::-;50197:16;:14;:16::i;:::-;-1:-1:-1::0;;;;;50197:22:0::1;;50220:7;50197:31;;;;;;;;;;;;;-1:-1:-1::0;;;;;50197:31:0::1;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;47399:48:::0;-1:-1:-1;;;47399:48:0;:::o;49709:371::-;49767:7;49787:20;49810:32;-1:-1:-1;;;49810:18:0;:32::i;:::-;49901:39;;;49918:3;49901:39;;;;;;;;49923:16;49901:39;;;;;;;;;;;;;;;;;;;;49891:50;;;;;49787:55;;-1:-1:-1;49853:13:0;;49869:115;;49787:55;49869:101;:115::i;:::-;49853:131;;49995:15;50013:34;-1:-1:-1;;;50041:5:0;50013:13;:34::i;:::-;49995:52;-1:-1:-1;;;;49709:371:0;:::o;47631:57::-;-1:-1:-1;;;47631:57:0;:::o;5810:143::-;5880:4;5904:41;5909:3;-1:-1:-1;;;;;5929:14:0;;5904:4;:41::i;49152:200::-;49252:8;;:91;;;-1:-1:-1;;;49252:91:0;;-1:-1:-1;;;49252:91:0;;;;;;;;;;;;;;;;;;;49201:15;;-1:-1:-1;;;;;49252:8:0;;:30;;:91;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;49252:91:0;;-1:-1:-1;49152:200:0;:::o;15724:106::-;15812:10;15724:106;:::o;23230:188::-;23304:6;:12;;;;;;;;;;:33;;23329:7;23304:24;:33::i;:::-;23300:111;;;23386:12;:10;:12::i;:::-;-1:-1:-1;;;;;23359:40:0;23377:7;-1:-1:-1;;;;;23359:40:0;23371:4;23359:40;;;;;;;;;;23230:188;;:::o;23426:192::-;23501:6;:12;;;;;;;;;;:36;;23529:7;23501:27;:36::i;:::-;23497:114;;;23586:12;:10;:12::i;:::-;-1:-1:-1;;;;;23559:40:0;23577:7;-1:-1:-1;;;;;23559:40:0;23571:4;23559:40;;;;;;;;;;23426:192;;:::o;25744:120::-;25289:7;;;;25281:40;;;;;-1:-1:-1;;;25281:40:0;;;;;;;;;;;;-1:-1:-1;;;25281:40:0;;;;;;;;;;;;;;;25803:7:::1;:15:::0;;-1:-1:-1;;25803:15:0::1;::::0;;25834:22:::1;25843:12;:10;:12::i;:::-;25834:22;::::0;;-1:-1:-1;;;;;25834:22:0;;::::1;::::0;;;;;;;::::1;::::0;;::::1;25744:120::o:0;48361:133::-;48454:8;;:31;;;-1:-1:-1;;;48454:31:0;;;;;;;;;;48419:7;;-1:-1:-1;;;;;48454:8:0;;:20;;:31;;;;;;;;;;;;;;:8;:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;48454:31:0;;48361:133;-1:-1:-1;;48361:133:0:o;48885:138::-;48979:8;;:35;;;-1:-1:-1;;;48979:35:0;;-1:-1:-1;;;48979:35:0;;;;;;48932:13;;-1:-1:-1;;;;;48979:8:0;;:20;;:35;;;;;;;;;;;;;;:8;:35;;;;;;;;;;29595:181;29653:7;29685:5;;;29709:6;;;;29701:46;;;;;-1:-1:-1;;;29701:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;48635:110;48711:8;;:25;;;-1:-1:-1;;;48711:25:0;;-1:-1:-1;;;48711:25:0;;;;;;48678:6;;-1:-1:-1;;;;;48711:8:0;;:20;;:25;;;;;;;;;;;;;;:8;:25;;;;;;;;;;25485:118;25013:7;;;;25012:8;25004:37;;;;;-1:-1:-1;;;25004:37:0;;;;;;;;;;;;-1:-1:-1;;;25004:37:0;;;;;;;;;;;;;;;25555:4:::1;25545:14:::0;;-1:-1:-1;;25545:14:0::1;::::0;::::1;::::0;;25575:20:::1;25582:12;:10;:12::i;7069:149::-:0;7143:7;7186:22;7190:3;7202:5;7186:3;:22::i;6364:158::-;6444:4;6468:46;6478:3;-1:-1:-1;;;;;6498:14:0;;6468:9;:46::i;49031:113::-;49107:8;;:28;;;-1:-1:-1;;;49107:28:0;;-1:-1:-1;;;49107:28:0;;;;;;49072:7;;-1:-1:-1;;;;;49107:8:0;;:20;;:28;;;;;;;;;;;;;;:8;:28;;;;;;;;;;31896:132;31954:7;31981:39;31985:1;31988;31981:39;;;;;;;;;;;;;;;;;:3;:39::i;48753:124::-;48836:8;;:32;;;-1:-1:-1;;;48836:32:0;;-1:-1:-1;;;48836:32:0;;;;;;48797:9;;-1:-1:-1;;;;;48836:8:0;;:20;;:32;;;;;;;;;;;;;;:8;:32;;;;;;;;;;30949:471;31007:7;31252:6;31248:47;;-1:-1:-1;31282:1:0;31275:8;;31248:47;31319:5;;;31323:1;31319;:5;:1;31343:5;;;;;:10;31335:56;;;;-1:-1:-1;;;31335:56:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;42709:134;42778:4;42802:33;42824:1;42827;39121:18;42802:21;:33::i;44622:130::-;44689:4;44713:31;44733:1;44736;39121:18;44713:19;:31::i;30059:136::-;30117:7;30144:43;30148:1;30151;30144:43;;;;;;;;;;;;;;;;;:3;:43::i;6608:117::-;6671:7;6698:19;6706:3;6698:7;:19::i;33267:130::-;33325:7;33352:37;33356:1;33359;33352:37;;;;;;;;;;;;;;;;;:3;:37::i;2464:414::-;2527:4;2549:21;2559:3;2564:5;2549:9;:21::i;:::-;2544:327;;-1:-1:-1;2587:23:0;;;;;;;;:11;:23;;;;;;;;;;;;;2770:18;;2748:19;;;:12;;;:19;;;;;;:40;;;;2803:11;;2544:327;-1:-1:-1;2854:5:0;2847:12;;6129:149;6202:4;6226:44;6234:3;-1:-1:-1;;;;;6254:14:0;;6226:7;:44::i;5352:204::-;5447:18;;5419:7;;5447:26;-1:-1:-1;5439:73:0;;;;-1:-1:-1;;;5439:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5530:3;:11;;5542:5;5530:18;;;;;;;;;;;;;;;;5523:25;;5352:204;;;;:::o;4684:129::-;4757:4;4781:19;;;:12;;;;;:19;;;;;;:24;;;4684:129::o;32524:278::-;32610:7;32645:12;32638:5;32630:28;;;;-1:-1:-1;;;32630:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;32669:9;32685:1;32681;:5;;;;;;;32524:278;-1:-1:-1;;;;;32524:278:0:o;40959:421::-;41082:4;;41235:2;41219:13;:18;41207:8;:1;41213;41207:5;:8::i;:::-;:31;;;;;;;-1:-1:-1;41280:1:0;41274:2;41207:31;41255:21;;:26;41251:81;;41318:2;41298:22;41251:81;41370:2;41351:21;;;;-1:-1:-1;;;;40959:421:0:o;43899:328::-;44020:4;;44059:32;44089:1;44059:25;:1;44081:2;44065:18;;44059:5;:25::i;:32::-;44037:54;-1:-1:-1;44131:1:0;44125:2;44037:54;44108:19;;30498:192;30584:7;30620:12;30612:6;;;;30604:29;;;;-1:-1:-1;;;30604:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;30656:5:0;;;30498:192::o;4899:109::-;4982:18;;4899:109::o;33882:166::-;33968:7;34004:12;33996:6;33988:29;;;;-1:-1:-1;;;33988:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;34039:1;34035;:5;;;;;;;33882:166;-1:-1:-1;;;;33882:166:0:o;3054:1544::-;3120:4;3259:19;;;:12;;;:19;;;;;;3295:15;;3291:1300;;3730:18;;-1:-1:-1;;3681:14:0;;;;3730:22;;;;3657:21;;3730:3;;:22;;4017;;;;;;;;;;;;;;3997:42;;4163:9;4134:3;:11;;4146:13;4134:26;;;;;;;;;;;;;;;;;;;:38;;;;4240:23;;;4282:1;4240:12;;;:23;;;;;;4266:17;;;4240:43;;4392:17;;4240:3;;4392:17;;;;;;;;;;;;;;;;;;;;;;4487:3;:12;;:19;4500:5;4487:19;;;;;;;;;;;4480:26;;;4530:4;4523:11;;;;;;;;3291:1300;4574:5;4567:12;;;;

ipfs://f850227c909763eb34ccf8bce677fd704a359da6ecfcab8d2687941342610f58