Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
• library TransferHelper
•    - function safeTransferFrom(
•    - function safeTransfer(
•    - function safeApprove(
•    - function safeTransferETH(address to, ...
• interface IERC20Permit
•    - function permit(
•    - function nonces(address owner)
•    - function DOMAIN_SEPARATOR()
• library Math
•    - function max(uint256 a, uint256 b)
•    - function min(uint256 a, uint256 b)
•    - function average(uint256 a, uint256 b ...
•    - function ceilDiv(uint256 a, uint256 b ...
•    - function mulDiv(
•    - function mulDiv(
•    - function sqrt(uint256 a)
•    - function sqrt(uint256 a, Rounding rou ...
•    - function log2(uint256 value)
•    - function log2(uint256 value, Rounding ...
•    - function log10(uint256 value)
•    - function log10(uint256 value, Roundin ...
•    - function log256(uint256 value)
•    - function log256(uint256 value, Roundi ...
•  contract Fraxferry *
•    - function embarkWithRecipient(uint amo ...
•    - function embark(uint amount)
•    - function embarkWithSignature(
•    - function depart(uint start, uint end, ...
•    - function disembark(BatchData calldata ...
•    - function removeBatches(uint batchNo)
•    - function disputeBatch(uint batchNo, b ...
•    - function pause()
•    - function unPause()
•    - function _pause(bool _paused)
•    - function _jettison(uint index, bool c ...
•    - function jettison(uint index, bool ca ...
•    - function jettisonGroup(uint[] calldat ...
•    - function setFee(uint _FEE_RATE, uint ...
•    - function setMinWaitPeriods(uint _MIN_ ...
•    - function nominateNewOwner(address new ...
•    - function acceptOwnership()
•    - function setCaptain(address newCaptai ...
•    - function setFirstOfficer(address newF ...
•    - function setCrewmember(address crewme ...
•    - function sendTokens(address receiver, ...
•    - function execute(address _to, uint256 ...
•    - function getNextBatch(uint _start, ui ...
•    - function getBatchData(uint start, uin ...
•    - function getBatchAmount(uint start, u ...
•    - function getTransactionsHash(uint sta ...
•    - function noTransactions()
•    - function noBatches()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-01-08
*/

// SPDX-License-Identifier: GPL-2.0-or-later
pragma solidity >=0.8.0;

// Sources flattened with hardhat v2.12.5 https://hardhat.org

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

// OpenZeppelin Contracts (last updated v4.6.0) (token/ERC20/IERC20.sol)


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

    /**
     * @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 `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, 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 `from` to `to` 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 from,
        address to,
        uint256 amount
    ) external returns (bool);
}


// File @uniswap/v3-periphery/contracts/libraries/[email protected]


library TransferHelper {
    /// @notice Transfers tokens from the targeted address to the given destination
    /// @notice Errors with 'STF' if transfer fails
    /// @param token The contract address of the token to be transferred
    /// @param from The originating address from which the tokens will be transferred
    /// @param to The destination address of the transfer
    /// @param value The amount to be transferred
    function safeTransferFrom(
        address token,
        address from,
        address to,
        uint256 value
    ) internal {
        (bool success, bytes memory data) =
            token.call(abi.encodeWithSelector(IERC20.transferFrom.selector, from, to, value));
        require(success && (data.length == 0 || abi.decode(data, (bool))), 'STF');
    }

    /// @notice Transfers tokens from msg.sender to a recipient
    /// @dev Errors with ST if transfer fails
    /// @param token The contract address of the token which will be transferred
    /// @param to The recipient of the transfer
    /// @param value The value of the transfer
    function safeTransfer(
        address token,
        address to,
        uint256 value
    ) internal {
        (bool success, bytes memory data) = token.call(abi.encodeWithSelector(IERC20.transfer.selector, to, value));
        require(success && (data.length == 0 || abi.decode(data, (bool))), 'ST');
    }

    /// @notice Approves the stipulated contract to spend the given allowance in the given token
    /// @dev Errors with 'SA' if transfer fails
    /// @param token The contract address of the token to be approved
    /// @param to The target of the approval
    /// @param value The amount of the given token the target will be allowed to spend
    function safeApprove(
        address token,
        address to,
        uint256 value
    ) internal {
        (bool success, bytes memory data) = token.call(abi.encodeWithSelector(IERC20.approve.selector, to, value));
        require(success && (data.length == 0 || abi.decode(data, (bool))), 'SA');
    }

    /// @notice Transfers ETH to the recipient address
    /// @dev Fails with `STE`
    /// @param to The destination of the transfer
    /// @param value The value to be transferred
    function safeTransferETH(address to, uint256 value) internal {
        (bool success, ) = to.call{value: value}(new bytes(0));
        require(success, 'STE');
    }
}


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

// OpenZeppelin Contracts v4.4.1 (token/ERC20/extensions/draft-IERC20Permit.sol)


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

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

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


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

// OpenZeppelin Contracts (last updated v4.8.0) (utils/math/Math.sol)


/**
 * @dev Standard math utilities missing in the Solidity language.
 */
library Math {
    enum Rounding {
        Down, // Toward negative infinity
        Up, // Toward infinity
        Zero // Toward zero
    }

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

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

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

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

    /**
     * @notice Calculates floor(x * y / denominator) with full precision. Throws if result overflows a uint256 or denominator == 0
     * @dev Original credit to Remco Bloemen under MIT license (https://xn--2-umb.com/21/muldiv)
     * with further edits by Uniswap Labs also under MIT license.
     */
    function mulDiv(
        uint256 x,
        uint256 y,
        uint256 denominator
    ) internal pure returns (uint256 result) {
        unchecked {
            // 512-bit multiply [prod1 prod0] = x * y. Compute the product mod 2^256 and mod 2^256 - 1, then use
            // use the Chinese Remainder Theorem to reconstruct the 512 bit result. The result is stored in two 256
            // variables such that product = prod1 * 2^256 + prod0.
            uint256 prod0; // Least significant 256 bits of the product
            uint256 prod1; // Most significant 256 bits of the product
            assembly {
                let mm := mulmod(x, y, not(0))
                prod0 := mul(x, y)
                prod1 := sub(sub(mm, prod0), lt(mm, prod0))
            }

            // Handle non-overflow cases, 256 by 256 division.
            if (prod1 == 0) {
                return prod0 / denominator;
            }

            // Make sure the result is less than 2^256. Also prevents denominator == 0.
            require(denominator > prod1);

            ///////////////////////////////////////////////
            // 512 by 256 division.
            ///////////////////////////////////////////////

            // Make division exact by subtracting the remainder from [prod1 prod0].
            uint256 remainder;
            assembly {
                // Compute remainder using mulmod.
                remainder := mulmod(x, y, denominator)

                // Subtract 256 bit number from 512 bit number.
                prod1 := sub(prod1, gt(remainder, prod0))
                prod0 := sub(prod0, remainder)
            }

            // Factor powers of two out of denominator and compute largest power of two divisor of denominator. Always >= 1.
            // See https://cs.stackexchange.com/q/138556/92363.

            // Does not overflow because the denominator cannot be zero at this stage in the function.
            uint256 twos = denominator & (~denominator + 1);
            assembly {
                // Divide denominator by twos.
                denominator := div(denominator, twos)

                // Divide [prod1 prod0] by twos.
                prod0 := div(prod0, twos)

                // Flip twos such that it is 2^256 / twos. If twos is zero, then it becomes one.
                twos := add(div(sub(0, twos), twos), 1)
            }

            // Shift in bits from prod1 into prod0.
            prod0 |= prod1 * twos;

            // Invert denominator mod 2^256. Now that denominator is an odd number, it has an inverse modulo 2^256 such
            // that denominator * inv = 1 mod 2^256. Compute the inverse by starting with a seed that is correct for
            // four bits. That is, denominator * inv = 1 mod 2^4.
            uint256 inverse = (3 * denominator) ^ 2;

            // Use the Newton-Raphson iteration to improve the precision. Thanks to Hensel's lifting lemma, this also works
            // in modular arithmetic, doubling the correct bits in each step.
            inverse *= 2 - denominator * inverse; // inverse mod 2^8
            inverse *= 2 - denominator * inverse; // inverse mod 2^16
            inverse *= 2 - denominator * inverse; // inverse mod 2^32
            inverse *= 2 - denominator * inverse; // inverse mod 2^64
            inverse *= 2 - denominator * inverse; // inverse mod 2^128
            inverse *= 2 - denominator * inverse; // inverse mod 2^256

            // Because the division is now exact we can divide by multiplying with the modular inverse of denominator.
            // This will give us the correct result modulo 2^256. Since the preconditions guarantee that the outcome is
            // less than 2^256, this is the final result. We don't need to compute the high bits of the result and prod1
            // is no longer required.
            result = prod0 * inverse;
            return result;
        }
    }

    /**
     * @notice Calculates x * y / denominator with full precision, following the selected rounding direction.
     */
    function mulDiv(
        uint256 x,
        uint256 y,
        uint256 denominator,
        Rounding rounding
    ) internal pure returns (uint256) {
        uint256 result = mulDiv(x, y, denominator);
        if (rounding == Rounding.Up && mulmod(x, y, denominator) > 0) {
            result += 1;
        }
        return result;
    }

    /**
     * @dev Returns the square root of a number. If the number is not a perfect square, the value is rounded down.
     *
     * Inspired by Henry S. Warren, Jr.'s "Hacker's Delight" (Chapter 11).
     */
    function sqrt(uint256 a) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }

        // For our first guess, we get the biggest power of 2 which is smaller than the square root of the target.
        //
        // We know that the "msb" (most significant bit) of our target number `a` is a power of 2 such that we have
        // `msb(a) <= a < 2*msb(a)`. This value can be written `msb(a)=2**k` with `k=log2(a)`.
        //
        // This can be rewritten `2**log2(a) <= a < 2**(log2(a) + 1)`
        // → `sqrt(2**k) <= sqrt(a) < sqrt(2**(k+1))`
        // → `2**(k/2) <= sqrt(a) < 2**((k+1)/2) <= 2**(k/2 + 1)`
        //
        // Consequently, `2**(log2(a) / 2)` is a good first approximation of `sqrt(a)` with at least 1 correct bit.
        uint256 result = 1 << (log2(a) >> 1);

        // At this point `result` is an estimation with one bit of precision. We know the true value is a uint128,
        // since it is the square root of a uint256. Newton's method converges quadratically (precision doubles at
        // every iteration). We thus need at most 7 iteration to turn our partial result with one bit of precision
        // into the expected uint128 result.
        unchecked {
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            return min(result, a / result);
        }
    }

    /**
     * @notice Calculates sqrt(a), following the selected rounding direction.
     */
    function sqrt(uint256 a, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = sqrt(a);
            return result + (rounding == Rounding.Up && result * result < a ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 2, rounded down, of a positive value.
     * Returns 0 if given 0.
     */
    function log2(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >> 128 > 0) {
                value >>= 128;
                result += 128;
            }
            if (value >> 64 > 0) {
                value >>= 64;
                result += 64;
            }
            if (value >> 32 > 0) {
                value >>= 32;
                result += 32;
            }
            if (value >> 16 > 0) {
                value >>= 16;
                result += 16;
            }
            if (value >> 8 > 0) {
                value >>= 8;
                result += 8;
            }
            if (value >> 4 > 0) {
                value >>= 4;
                result += 4;
            }
            if (value >> 2 > 0) {
                value >>= 2;
                result += 2;
            }
            if (value >> 1 > 0) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 2, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log2(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log2(value);
            return result + (rounding == Rounding.Up && 1 << result < value ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 10, rounded down, of a positive value.
     * Returns 0 if given 0.
     */
    function log10(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >= 10**64) {
                value /= 10**64;
                result += 64;
            }
            if (value >= 10**32) {
                value /= 10**32;
                result += 32;
            }
            if (value >= 10**16) {
                value /= 10**16;
                result += 16;
            }
            if (value >= 10**8) {
                value /= 10**8;
                result += 8;
            }
            if (value >= 10**4) {
                value /= 10**4;
                result += 4;
            }
            if (value >= 10**2) {
                value /= 10**2;
                result += 2;
            }
            if (value >= 10**1) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 10, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log10(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log10(value);
            return result + (rounding == Rounding.Up && 10**result < value ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 256, rounded down, of a positive value.
     * Returns 0 if given 0.
     *
     * Adding one to the result gives the number of pairs of hex symbols needed to represent `value` as a hex string.
     */
    function log256(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >> 128 > 0) {
                value >>= 128;
                result += 16;
            }
            if (value >> 64 > 0) {
                value >>= 64;
                result += 8;
            }
            if (value >> 32 > 0) {
                value >>= 32;
                result += 4;
            }
            if (value >> 16 > 0) {
                value >>= 16;
                result += 2;
            }
            if (value >> 8 > 0) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 10, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log256(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log256(value);
            return result + (rounding == Rounding.Up && 1 << (result * 8) < value ? 1 : 0);
        }
    }
}


// File contracts/Fraxferry/Fraxferry.sol


// ====================================================================
// |     ______                   _______                             |
// |    / _____________ __  __   / ____(_____  ____ _____  ________   |
// |   / /_  / ___/ __ `| |/_/  / /_  / / __ \/ __ `/ __ \/ ___/ _ \  |
// |  / __/ / /  / /_/ _>  <   / __/ / / / / / /_/ / / / / /__/  __/  |
// | /_/   /_/   \__,_/_/|_|  /_/   /_/_/ /_/\__,_/_/ /_/\___/\___/   |
// |                                                                  |
// ====================================================================
// ============================ Fraxferry =============================
// ====================================================================
// Ferry that can be used to ship tokens between chains

// Frax Finance: https://github.com/FraxFinance

// Primary Author(s)
// Dennis: https://github.com/denett

/*
** Modus operandi:
** - User sends tokens to the contract. This transaction is stored in the contract.
** - Captain queries the source chain for transactions to ship.
** - Captain sends batch (start, end, hash) to start the trip,
** - Crewmembers check the batch and can dispute it if it is invalid.
** - Non disputed batches can be executed by the first officer by providing the transactions as calldata. 
** - Hash of the transactions must be equal to the hash in the batch. User receives their tokens on the other chain.
** - In case there was a fraudulent transaction (a hacker for example), the owner can cancel a single transaction, such that it will not be executed.
** - The owner can manually manage the tokens in the contract and must make sure it has enough funds.
**
** What must happen for a false batch to be executed:
** - Captain is tricked into proposing a batch with a false hash
** - All crewmembers bots are offline/censured/compromised and no one disputes the proposal
**
** Other risks:
** - Reorgs on the source chain. Avoided, by only returning the transactions on the source chain that are at least one hour old.
** - Rollbacks of optimistic rollups. Avoided by running a node.
** - Operators do not have enough time to pause the chain after a fake proposal. Avoided by requiring a minimal amount of time between sending the proposal and executing it.
*/




contract Fraxferry {
   IERC20 immutable public token;
   IERC20 immutable public targetToken;
   uint immutable public chainid;
   uint immutable public targetChain;   
   
   address public owner;
   address public nominatedOwner;
   address public captain;
   address public firstOfficer;
   mapping(address => bool) public crewmembers;

   bool public paused;
   
   uint public MIN_WAIT_PERIOD_ADD=3600; // Minimal 1 hour waiting
   uint public MIN_WAIT_PERIOD_EXECUTE=79200; // Minimal 22 hour waiting
   uint public FEE_RATE=10;      // 0.1% fee
   uint public FEE_MIN=5*1e18;   // 5 token min fee
   uint public FEE_MAX=100*1e18; // 100 token max fee
   
   uint constant MAX_FEE_RATE=100; // Max fee rate is 1%
   uint constant MAX_FEE_MIN=100e18; // Max minimum fee is 100 tokens
   uint constant MAX_FEE_MAX=1000e18; // Max fee is 1000 tokens
   
   uint constant public REDUCED_DECIMALS=1e10;
   
   Transaction[] public transactions;
   mapping(uint => bool) public cancelled;
   uint public executeIndex;
   Batch[] public batches;
   
   struct Transaction {
      address user;
      uint64 amount;
      uint32 timestamp;
   }
   
   struct Batch {
      uint64 start;
      uint64 end;
      uint64 departureTime;
      uint64 status;
      bytes32 hash;
   }
   
   struct BatchData {
      uint startTransactionNo;
      Transaction[] transactions;
   }

   constructor(address _token, uint _chainid, address _targetToken, uint _targetChain) {
      //require (block.chainid==_chainid,"Wrong chain");
      chainid=_chainid;
      token = IERC20(_token);
      targetToken = IERC20(_targetToken);
      owner = msg.sender;
      targetChain = _targetChain;
   }
   
   
   // ############## Events ##############
   
   event Embark(address indexed sender, uint index, uint amount, uint amountAfterFee, uint timestamp);
   event Disembark(uint start, uint end, bytes32 hash); 
   event Depart(uint batchNo,uint start,uint end,bytes32 hash); 
   event RemoveBatch(uint batchNo);
   event DisputeBatch(uint batchNo, bytes32 hash);
   event Cancelled(uint index, bool cancel);
   event Pause(bool paused);
   event OwnerNominated(address indexed newOwner);
   event OwnerChanged(address indexed previousOwner,address indexed newOwner);
   event SetCaptain(address indexed previousCaptain, address indexed newCaptain);   
   event SetFirstOfficer(address indexed previousFirstOfficer, address indexed newFirstOfficer);
   event SetCrewmember(address indexed crewmember,bool set); 
   event SetFee(uint previousFeeRate, uint feeRate,uint previousFeeMin, uint feeMin,uint previousFeeMax, uint feeMax);
   event SetMinWaitPeriods(uint previousMinWaitAdd,uint previousMinWaitExecute,uint minWaitAdd,uint minWaitExecute); 
   
   // ############## Modifiers ##############
   
   modifier isOwner() {
      require (msg.sender==owner,"Not owner");
      _;
   }
   
   modifier isCaptain() {
      require (msg.sender==captain,"Not captain");
      _;
   }
   
   modifier isFirstOfficer() {
      require (msg.sender==firstOfficer,"Not first officer");
      _;
   }   
    
   modifier isCrewmember() {
      require (crewmembers[msg.sender] || msg.sender==owner || msg.sender==captain || msg.sender==firstOfficer,"Not crewmember");
      _;
   }
   
   modifier notPaused() {
      require (!paused,"Paused");
      _;
   } 
   
   // ############## Ferry actions ##############
   
   function embarkWithRecipient(uint amount, address recipient) public notPaused {
      amount = (amount/REDUCED_DECIMALS)*REDUCED_DECIMALS; // Round amount to fit in data structure
      uint fee = Math.min(Math.max(FEE_MIN,amount*FEE_RATE/10000),FEE_MAX);
      require (amount>fee,"Amount too low");
      require (amount/REDUCED_DECIMALS<=type(uint64).max,"Amount too high");
      TransferHelper.safeTransferFrom(address(token),msg.sender,address(this),amount); 
      uint64 amountAfterFee = uint64((amount-fee)/REDUCED_DECIMALS);
      emit Embark(recipient,transactions.length,amount,amountAfterFee*REDUCED_DECIMALS,block.timestamp);
      transactions.push(Transaction(recipient,amountAfterFee,uint32(block.timestamp)));   
   }
   
   function embark(uint amount) public {
      embarkWithRecipient(amount, msg.sender) ;
   }

   function embarkWithSignature(
      uint256 _amount,
      address recipient,
      uint256 deadline,
      bool approveMax,
      uint8 v,
      bytes32 r,
      bytes32 s
   ) public {
      uint amount = approveMax ? type(uint256).max : _amount;
      IERC20Permit(address(token)).permit(msg.sender, address(this), amount, deadline, v, r, s);
      embarkWithRecipient(amount,recipient);
   }   
   
   function depart(uint start, uint end, bytes32 hash) external notPaused isCaptain {
      require ((batches.length==0 && start==0) || (batches.length>0 && start==batches[batches.length-1].end+1),"Wrong start");
      require (end>=start && end<type(uint64).max,"Wrong end");
      batches.push(Batch(uint64(start),uint64(end),uint64(block.timestamp),0,hash));
      emit Depart(batches.length-1,start,end,hash);
   }
   
   function disembark(BatchData calldata batchData) external notPaused isFirstOfficer {
      Batch memory batch = batches[executeIndex++];
      require (batch.status==0,"Batch disputed");
      require (batch.start==batchData.startTransactionNo,"Wrong start");
      require (batch.start+batchData.transactions.length-1==batch.end,"Wrong size");
      require (block.timestamp-batch.departureTime>=MIN_WAIT_PERIOD_EXECUTE,"Too soon");
      
      bytes32 hash = keccak256(abi.encodePacked(targetChain, targetToken, chainid, token, batch.start));
      for (uint i=0;i<batchData.transactions.length;++i) {
         if (!cancelled[batch.start+i]) {
            TransferHelper.safeTransfer(address(token),batchData.transactions[i].user,batchData.transactions[i].amount*REDUCED_DECIMALS);
         }
         hash = keccak256(abi.encodePacked(hash, batchData.transactions[i].user,batchData.transactions[i].amount));
      }
      require (batch.hash==hash,"Wrong hash");
      emit Disembark(batch.start,batch.end,hash);
   }
   
   function removeBatches(uint batchNo) external isOwner {
      require (executeIndex<=batchNo,"Batch already executed");
      while (batches.length>batchNo) batches.pop();
      emit RemoveBatch(batchNo);
   }
   
   function disputeBatch(uint batchNo, bytes32 hash) external isCrewmember {
      require (batches[batchNo].hash==hash,"Wrong hash");
      require (executeIndex<=batchNo,"Batch already executed");
      require (batches[batchNo].status==0,"Batch already disputed");
      batches[batchNo].status=1; // Set status on disputed
      _pause(true);
      emit DisputeBatch(batchNo,hash);
   }
   
   function pause() external isCrewmember {
      _pause(true);
   }
   
   function unPause() external isOwner {
      _pause(false);
   }   
   
   function _pause(bool _paused) internal {
      paused=_paused;
      emit Pause(_paused);
   } 
   
   function _jettison(uint index, bool cancel) internal {
      require (executeIndex==0 || index>batches[executeIndex-1].end,"Transaction already executed");
      cancelled[index]=cancel;
      emit Cancelled(index,cancel);
   }
   
   function jettison(uint index, bool cancel) external isOwner {
      _jettison(index,cancel);
   }
   
   function jettisonGroup(uint[] calldata indexes, bool cancel) external isOwner {
      for (uint i=0;i<indexes.length;++i) {
         _jettison(indexes[i],cancel);
      }
   }   
   
   // ############## Parameters management ##############
   
   function setFee(uint _FEE_RATE, uint _FEE_MIN, uint _FEE_MAX) external isOwner {
      require(_FEE_RATE<MAX_FEE_RATE);
      require(_FEE_MIN<MAX_FEE_MIN);
      require(_FEE_MAX<MAX_FEE_MAX);
      emit SetFee(FEE_RATE,_FEE_RATE,FEE_MIN,_FEE_MIN,FEE_MAX,_FEE_MAX);
      FEE_RATE=_FEE_RATE;
      FEE_MIN=_FEE_MIN;
      FEE_MAX=_FEE_MAX;
   }
   
   function setMinWaitPeriods(uint _MIN_WAIT_PERIOD_ADD, uint _MIN_WAIT_PERIOD_EXECUTE) external isOwner {
      require(_MIN_WAIT_PERIOD_ADD>=3600 && _MIN_WAIT_PERIOD_EXECUTE>=3600,"Period too short");
      emit SetMinWaitPeriods(MIN_WAIT_PERIOD_ADD, MIN_WAIT_PERIOD_EXECUTE,_MIN_WAIT_PERIOD_ADD, _MIN_WAIT_PERIOD_EXECUTE);
      MIN_WAIT_PERIOD_ADD=_MIN_WAIT_PERIOD_ADD;
      MIN_WAIT_PERIOD_EXECUTE=_MIN_WAIT_PERIOD_EXECUTE;
   }
   
   // ############## Roles management ##############
   
   function nominateNewOwner(address newOwner) external isOwner {
      nominatedOwner = newOwner;
      emit OwnerNominated(newOwner);
   }   
   
   function acceptOwnership() external {
      require(msg.sender == nominatedOwner, "You must be nominated before you can accept ownership");
      emit OwnerChanged(owner, nominatedOwner);
      owner = nominatedOwner;
      nominatedOwner = address(0);
   }
   
   function setCaptain(address newCaptain) external isOwner {
      emit SetCaptain(captain,newCaptain);
      captain=newCaptain;
   }
   
   function setFirstOfficer(address newFirstOfficer) external isOwner {
      emit SetFirstOfficer(firstOfficer,newFirstOfficer);
      firstOfficer=newFirstOfficer;
   }    
   
   function setCrewmember(address crewmember, bool set) external isOwner {
      crewmembers[crewmember]=set;
      emit SetCrewmember(crewmember,set);
   }   
  
   
   // ############## Token management ##############   
   
   function sendTokens(address receiver, uint amount) external isOwner {
      require (receiver!=address(0),"Zero address not allowed");
      TransferHelper.safeTransfer(address(token),receiver,amount);
   }   
   
   // Generic proxy
   function execute(address _to, uint256 _value, bytes calldata _data) external isOwner returns (bool, bytes memory) {
      require(_data.length==0 || _to.code.length>0,"Can not call a function on a EOA");
      (bool success, bytes memory result) = _to.call{value:_value}(_data);
      return (success, result);
   }   
   
   // ############## Views ##############
   function getNextBatch(uint _start, uint max) public view returns (uint start, uint end, bytes32 hash) {
      uint cutoffTime = block.timestamp-MIN_WAIT_PERIOD_ADD;
      if (_start<transactions.length && transactions[_start].timestamp<cutoffTime) {
         start=_start;
         end=start+max-1;
         if (end>=transactions.length) end=transactions.length-1;
         while(transactions[end].timestamp>=cutoffTime) end--;
         hash = getTransactionsHash(start,end);
      }
   }
   
   function getBatchData(uint start, uint end) public view returns (BatchData memory data) {
      data.startTransactionNo = start;
      data.transactions = new Transaction[](end-start+1);
      for (uint i=start;i<=end;++i) {
         data.transactions[i-start]=transactions[i];
      }
   }
   
   function getBatchAmount(uint start, uint end) public view returns (uint totalAmount) {
      for (uint i=start;i<=end;++i) {
         totalAmount+=transactions[i].amount;
      }
      totalAmount*=REDUCED_DECIMALS;
   }
   
   function getTransactionsHash(uint start, uint end) public view returns (bytes32) {
      bytes32 result = keccak256(abi.encodePacked(chainid, token, targetChain, targetToken, uint64(start)));
      for (uint i=start;i<=end;++i) {
         result = keccak256(abi.encodePacked(result, transactions[i].user,transactions[i].amount));
      }
      return result;
   }   
   
   function noTransactions() public view returns (uint) {
      return transactions.length;
   }
   
   function noBatches() public view returns (uint) {
      return batches.length;
   }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_token","type":"address"},{"internalType":"uint256","name":"_chainid","type":"uint256"},{"internalType":"address","name":"_targetToken","type":"address"},{"internalType":"uint256","name":"_targetChain","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"index","type":"uint256"},{"indexed":false,"internalType":"bool","name":"cancel","type":"bool"}],"name":"Cancelled","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"batchNo","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"start","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"end","type":"uint256"},{"indexed":false,"internalType":"bytes32","name":"hash","type":"bytes32"}],"name":"Depart","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"start","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"end","type":"uint256"},{"indexed":false,"internalType":"bytes32","name":"hash","type":"bytes32"}],"name":"Disembark","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"batchNo","type":"uint256"},{"indexed":false,"internalType":"bytes32","name":"hash","type":"bytes32"}],"name":"DisputeBatch","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"index","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amountAfterFee","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"}],"name":"Embark","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnerChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnerNominated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bool","name":"paused","type":"bool"}],"name":"Pause","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"batchNo","type":"uint256"}],"name":"RemoveBatch","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousCaptain","type":"address"},{"indexed":true,"internalType":"address","name":"newCaptain","type":"address"}],"name":"SetCaptain","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"crewmember","type":"address"},{"indexed":false,"internalType":"bool","name":"set","type":"bool"}],"name":"SetCrewmember","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"previousFeeRate","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"feeRate","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"previousFeeMin","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"feeMin","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"previousFeeMax","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"feeMax","type":"uint256"}],"name":"SetFee","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousFirstOfficer","type":"address"},{"indexed":true,"internalType":"address","name":"newFirstOfficer","type":"address"}],"name":"SetFirstOfficer","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"previousMinWaitAdd","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"previousMinWaitExecute","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"minWaitAdd","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"minWaitExecute","type":"uint256"}],"name":"SetMinWaitPeriods","type":"event"},{"inputs":[],"name":"FEE_MAX","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"FEE_MIN","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"FEE_RATE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MIN_WAIT_PERIOD_ADD","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MIN_WAIT_PERIOD_EXECUTE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"REDUCED_DECIMALS","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"acceptOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"batches","outputs":[{"internalType":"uint64","name":"start","type":"uint64"},{"internalType":"uint64","name":"end","type":"uint64"},{"internalType":"uint64","name":"departureTime","type":"uint64"},{"internalType":"uint64","name":"status","type":"uint64"},{"internalType":"bytes32","name":"hash","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"cancelled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"captain","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"chainid","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"crewmembers","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"start","type":"uint256"},{"internalType":"uint256","name":"end","type":"uint256"},{"internalType":"bytes32","name":"hash","type":"bytes32"}],"name":"depart","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"components":[{"internalType":"uint256","name":"startTransactionNo","type":"uint256"},{"components":[{"internalType":"address","name":"user","type":"address"},{"internalType":"uint64","name":"amount","type":"uint64"},{"internalType":"uint32","name":"timestamp","type":"uint32"}],"internalType":"struct Fraxferry.Transaction[]","name":"transactions","type":"tuple[]"}],"internalType":"struct Fraxferry.BatchData","name":"batchData","type":"tuple"}],"name":"disembark","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"batchNo","type":"uint256"},{"internalType":"bytes32","name":"hash","type":"bytes32"}],"name":"disputeBatch","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"embark","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"address","name":"recipient","type":"address"}],"name":"embarkWithRecipient","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"bool","name":"approveMax","type":"bool"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"embarkWithSignature","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"bytes","name":"_data","type":"bytes"}],"name":"execute","outputs":[{"internalType":"bool","name":"","type":"bool"},{"internalType":"bytes","name":"","type":"bytes"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"executeIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"firstOfficer","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"start","type":"uint256"},{"internalType":"uint256","name":"end","type":"uint256"}],"name":"getBatchAmount","outputs":[{"internalType":"uint256","name":"totalAmount","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"start","type":"uint256"},{"internalType":"uint256","name":"end","type":"uint256"}],"name":"getBatchData","outputs":[{"components":[{"internalType":"uint256","name":"startTransactionNo","type":"uint256"},{"components":[{"internalType":"address","name":"user","type":"address"},{"internalType":"uint64","name":"amount","type":"uint64"},{"internalType":"uint32","name":"timestamp","type":"uint32"}],"internalType":"struct Fraxferry.Transaction[]","name":"transactions","type":"tuple[]"}],"internalType":"struct Fraxferry.BatchData","name":"data","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_start","type":"uint256"},{"internalType":"uint256","name":"max","type":"uint256"}],"name":"getNextBatch","outputs":[{"internalType":"uint256","name":"start","type":"uint256"},{"internalType":"uint256","name":"end","type":"uint256"},{"internalType":"bytes32","name":"hash","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"start","type":"uint256"},{"internalType":"uint256","name":"end","type":"uint256"}],"name":"getTransactionsHash","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"},{"internalType":"bool","name":"cancel","type":"bool"}],"name":"jettison","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256[]","name":"indexes","type":"uint256[]"},{"internalType":"bool","name":"cancel","type":"bool"}],"name":"jettisonGroup","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"noBatches","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"noTransactions","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"nominateNewOwner","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"nominatedOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"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":"uint256","name":"batchNo","type":"uint256"}],"name":"removeBatches","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"sendTokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newCaptain","type":"address"}],"name":"setCaptain","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"crewmember","type":"address"},{"internalType":"bool","name":"set","type":"bool"}],"name":"setCrewmember","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_FEE_RATE","type":"uint256"},{"internalType":"uint256","name":"_FEE_MIN","type":"uint256"},{"internalType":"uint256","name":"_FEE_MAX","type":"uint256"}],"name":"setFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newFirstOfficer","type":"address"}],"name":"setFirstOfficer","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_MIN_WAIT_PERIOD_ADD","type":"uint256"},{"internalType":"uint256","name":"_MIN_WAIT_PERIOD_EXECUTE","type":"uint256"}],"name":"setMinWaitPeriods","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"targetChain","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"targetToken","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"token","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"transactions","outputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"uint64","name":"amount","type":"uint64"},{"internalType":"uint32","name":"timestamp","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"unPause","outputs":[],"stateMutability":"nonpayable","type":"function"}]

0x608060405234801561001057600080fd5b506004361061030a5760003560e01c80638456cb591161019c578063c2624e1e116100ee578063e050be5711610097578063f7b188a511610071578063f7b188a514610758578063fc0c546a14610760578063fd433ec01461078757600080fd5b8063e050be5714610702578063f40e349f14610725578063f55ebb8f1461073857600080fd5b8063cdbdfdc2116100c8578063cdbdfdc2146106b7578063d9fb265d146106bf578063de7974a4146106e257600080fd5b8063c2624e1e14610674578063c2f6afe51461067d578063cd84980e1461069057600080fd5b80639ace38c211610150578063b32c4d8d1161012a578063b32c4d8d146105fb578063b61325cd1461064a578063b61d27f61461065357600080fd5b80639ace38c2146105815780639b8c624a146105d5578063a3a6d9e8146105e857600080fd5b80638da5cb5b116101815780638da5cb5b1461052e5780638e714a721461054e578063907c6c2e1461056157600080fd5b80638456cb591461051e5780638b928bd31461052657600080fd5b806336f734c1116102605780635b65b9ab1161020957806366e64f97116101e357806366e64f97146104e357806379ba5097146104ef5780638304e6d2146104f757600080fd5b80635b65b9ab146104a05780635c975abb146104b3578063652dfc3b146104d057600080fd5b8063525862f91161023a578063525862f91461044957806353a47bb71461047757806359c134031461049757600080fd5b806336f734c1146104105780633beaf526146104235780634a474aa31461043657600080fd5b80631627540c116102c2578063327107f71161029c578063327107f7146103a857806333032dd0146103f457806333efa2b2146103fd57600080fd5b80631627540c14610379578063165282c31461038c5780632d11c58a1461039f57600080fd5b806305c211d2116102f357806305c211d21461034057806307cca16614610353578063081c46241461036657600080fd5b8063024faa8c1461030f57806305ab421d1461032b575b600080fd5b61031860075481565b6040519081526020015b60405180910390f35b61033e6103393660046134b7565b61079a565b005b61033e61034e3660046134e1565b6108cc565b61033e61036136600461351b565b610c4a565b61033e610374366004613552565b610d55565b61033e610387366004613577565b610de0565b61031861039a366004613592565b610ed0565b61031860085481565b6103cf7f0000000000000000000000006806411765af15bddd26f8f544a34cc40cb9838b81565b60405173ffffffffffffffffffffffffffffffffffffffff9091168152602001610322565b61031860065481565b61033e61040b3660046135b4565b610f4f565b61033e61041e3660046135ef565b6116e5565b610318610431366004613592565b611ad2565b61033e61044436600461361b565b611cfa565b61045c610457366004613592565b611e7a565b60408051938452602084019290925290820152606001610322565b6001546103cf9073ffffffffffffffffffffffffffffffffffffffff1681565b61031860095481565b61033e6104ae3660046135ef565b611f93565b6005546104c09060ff1681565b6040519015158152602001610322565b61033e6104de366004613634565b6120b6565b6103186402540be40081565b61033e61217a565b6103187f000000000000000000000000000000000000000000000000000000000000000a81565b61033e6122b7565b600e54610318565b6000546103cf9073ffffffffffffffffffffffffffffffffffffffff1681565b61033e61055c366004613577565b6123a2565b61057461056f366004613592565b6124b1565b60405161032291906136ba565b61059461058f36600461361b565b612641565b6040805173ffffffffffffffffffffffffffffffffffffffff909416845267ffffffffffffffff909216602084015263ffffffff1690820152606001610322565b61033e6105e3366004613577565b6126c2565b61033e6105f6366004613751565b6127d1565b61060e61060936600461361b565b6128e1565b6040805167ffffffffffffffff96871681529486166020860152928516928401929092529092166060820152608081019190915260a001610322565b610318600d5481565b6106666106613660046137c6565b612961565b604051610322929190613871565b610318600a5481565b61033e61068b366004613592565b612aed565b6103187f000000000000000000000000000000000000000000000000000000000000000181565b600b54610318565b6104c06106cd366004613577565b60046020526000908152604090205460ff1681565b6003546103cf9073ffffffffffffffffffffffffffffffffffffffff1681565b6104c061071036600461361b565b600c6020526000908152604090205460ff1681565b61033e610733366004613592565b612c41565b6002546103cf9073ffffffffffffffffffffffffffffffffffffffff1681565b61033e612f5e565b6103cf7f0000000000000000000000005e8422345238f34275888049021821e8e08caa1f81565b61033e61079536600461361b565b612fe9565b60005473ffffffffffffffffffffffffffffffffffffffff163314610820576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e6572000000000000000000000000000000000000000000000060448201526064015b60405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff821661089d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f5a65726f2061646472657373206e6f7420616c6c6f77656400000000000000006044820152606401610817565b6108c87f0000000000000000000000005e8422345238f34275888049021821e8e08caa1f8383612ff6565b5050565b60055460ff1615610939576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f50617573656400000000000000000000000000000000000000000000000000006044820152606401610817565b6402540be40061094981846138fa565b6109539190613935565b91506000610988610980600954612710600854876109719190613935565b61097b91906138fa565b613166565b600a5461317c565b90508083116109f3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f416d6f756e7420746f6f206c6f770000000000000000000000000000000000006044820152606401610817565b67ffffffffffffffff610a0b6402540be400856138fa565b1115610a73576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f416d6f756e7420746f6f206869676800000000000000000000000000000000006044820152606401610817565b610a9f7f0000000000000000000000005e8422345238f34275888049021821e8e08caa1f33308661318b565b60006402540be400610ab1838661394c565b610abb91906138fa565b600b5490915073ffffffffffffffffffffffffffffffffffffffff8416907f0250c838bae2cda1e214f0925d41846180714450539039d6fd90a4121d98738e9086610b156402540be40067ffffffffffffffff8716613935565b6040805193845260208401929092529082015242606082015260800160405180910390a26040805160608101825273ffffffffffffffffffffffffffffffffffffffff948516815267ffffffffffffffff9283166020820190815263ffffffff428116938301938452600b805460018101825560009190915292517f0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db99093018054925194519091167c0100000000000000000000000000000000000000000000000000000000027bffffffffffffffffffffffffffffffffffffffffffffffffffffffff9490951674010000000000000000000000000000000000000000027fffffffff0000000000000000000000000000000000000000000000000000000090921692909616919091171716179091555050565b60005473ffffffffffffffffffffffffffffffffffffffff163314610ccb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e657200000000000000000000000000000000000000000000006044820152606401610817565b73ffffffffffffffffffffffffffffffffffffffff821660008181526004602090815260409182902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001685151590811790915591519182527f6a5f1fd939b33c2480886a44e0780806ce19041ef2c91734cb752c54288ca5ac910160405180910390a25050565b60005473ffffffffffffffffffffffffffffffffffffffff163314610dd6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e657200000000000000000000000000000000000000000000006044820152606401610817565b6108c88282613304565b60005473ffffffffffffffffffffffffffffffffffffffff163314610e61576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e657200000000000000000000000000000000000000000000006044820152606401610817565b600180547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff83169081179091556040517f906a1c6bd7e3091ea86693dd029a831c19049ce77f1dce2ce0bab1cacbabce2290600090a250565b6000825b828111610f3857600b8181548110610eee57610eee61395f565b600091825260209091200154610f269074010000000000000000000000000000000000000000900467ffffffffffffffff168361398e565b9150610f31816139a1565b9050610ed4565b50610f486402540be40082613935565b9392505050565b60055460ff1615610fbc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f50617573656400000000000000000000000000000000000000000000000000006044820152606401610817565b60035473ffffffffffffffffffffffffffffffffffffffff16331461103d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f4e6f74206669727374206f6666696365720000000000000000000000000000006044820152606401610817565b600d8054600091600e919083611052836139a1565b91905055815481106110665761106661395f565b60009182526020918290206040805160a0810182526002909302909101805467ffffffffffffffff808216855268010000000000000000820481169585019590955270010000000000000000000000000000000081048516928401929092527801000000000000000000000000000000000000000000000000909104909216606082018190526001909201546080820152915015611160576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f42617463682064697370757465640000000000000000000000000000000000006044820152606401610817565b805167ffffffffffffffff168235146111d5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f57726f6e672073746172740000000000000000000000000000000000000000006044820152606401610817565b806020015167ffffffffffffffff1660018380602001906111f691906139d9565b845161120c925067ffffffffffffffff1661398e565b611216919061394c565b1461127d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f57726f6e672073697a65000000000000000000000000000000000000000000006044820152606401610817565b60075460408201516112999067ffffffffffffffff164261394c565b1015611301576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600860248201527f546f6f20736f6f6e0000000000000000000000000000000000000000000000006044820152606401610817565b8051604051600091611409917f000000000000000000000000000000000000000000000000000000000000000a917f0000000000000000000000006806411765af15bddd26f8f544a34cc40cb9838b917f0000000000000000000000000000000000000000000000000000000000000001917f0000000000000000000000005e8422345238f34275888049021821e8e08caa1f91602001948552606093841b7fffffffffffffffffffffffffffffffffffffffff00000000000000000000000090811660208701526034860193909352921b16605483015260c01b7fffffffffffffffff00000000000000000000000000000000000000000000000016606882015260700190565b60405160208183030381529060405280519060200120905060005b61143160208501856139d9565b905081101561161a57600c600082856000015167ffffffffffffffff16611458919061398e565b815260208101919091526040016000205460ff1661151b5761151b7f0000000000000000000000005e8422345238f34275888049021821e8e08caa1f6114a160208701876139d9565b848181106114b1576114b161395f565b6114c79260206060909202019081019150613577565b6402540be4006114da60208901896139d9565b868181106114ea576114ea61395f565b90506060020160200160208101906115029190613a47565b67ffffffffffffffff166115169190613935565b612ff6565b8161152960208601866139d9565b838181106115395761153961395f565b61154f9260206060909202019081019150613577565b61155c60208701876139d9565b8481811061156c5761156c61395f565b90506060020160200160208101906115849190613a47565b6040516020016115f19392919092835260609190911b7fffffffffffffffffffffffffffffffffffffffff00000000000000000000000016602083015260c01b7fffffffffffffffff000000000000000000000000000000000000000000000000166034820152603c0190565b60405160208183030381529060405280519060200120915080611613906139a1565b9050611424565b5080826080015114611688576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f57726f6e672068617368000000000000000000000000000000000000000000006044820152606401610817565b81516020808401516040805167ffffffffffffffff9485168152939091169183019190915281018290527fce67cdf2a5dbd123a7aa5e9fd21b2136e06d33eb30e024ee5c491a6ec934a48b906060015b60405180910390a1505050565b60055460ff1615611752576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f50617573656400000000000000000000000000000000000000000000000000006044820152606401610817565b60025473ffffffffffffffffffffffffffffffffffffffff1633146117d3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f4e6f74206361707461696e0000000000000000000000000000000000000000006044820152606401610817565b600e541580156117e1575082155b806118525750600e54158015906118525750600e80546118039060019061394c565b815481106118135761181361395f565b60009182526020909120600290910201546118459068010000000000000000900467ffffffffffffffff166001613a71565b67ffffffffffffffff1683145b6118b8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f57726f6e672073746172740000000000000000000000000000000000000000006044820152606401610817565b8282101580156118cf575067ffffffffffffffff82105b611935576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f57726f6e6720656e6400000000000000000000000000000000000000000000006044820152606401610817565b6040805160a08101825267ffffffffffffffff80861682528481166020830190815242821693830193845260006060840181815260808501878152600e80546001818101835594829052965160029097027fbb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c3fd81018054965199519451881678010000000000000000000000000000000000000000000000000277ffffffffffffffffffffffffffffffffffffffffffffffff95891670010000000000000000000000000000000002959095166fffffffffffffffffffffffffffffffff9a891668010000000000000000027fffffffffffffffffffffffffffffffff0000000000000000000000000000000090981699909816989098179590951797909716949094171790935590517fbb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c3fe9091015590547fe078fb854f34cd8ca5f749fe2e680b692ef7df5e057026369a30c8965a3219ca91611ab09161394c565b60408051918252602082018690528101849052606081018390526080016116d8565b604080517f00000000000000000000000000000000000000000000000000000000000000016020808301919091527fffffffffffffffffffffffffffffffffffffffff0000000000000000000000007f0000000000000000000000005e8422345238f34275888049021821e8e08caa1f606090811b8216848601527f000000000000000000000000000000000000000000000000000000000000000a60548501527f0000000000000000000000006806411765af15bddd26f8f544a34cc40cb9838b901b1660748301527fffffffffffffffff00000000000000000000000000000000000000000000000060c086901b1660888301528251808303607001815260909092019092528051910120600090835b838111611cf05781600b8281548110611bff57611bff61395f565b600091825260209091200154600b805473ffffffffffffffffffffffffffffffffffffffff9092169184908110611c3857611c3861395f565b9060005260206000200160000160149054906101000a900467ffffffffffffffff16604051602001611cc79392919092835260609190911b7fffffffffffffffffffffffffffffffffffffffff00000000000000000000000016602083015260c01b7fffffffffffffffff000000000000000000000000000000000000000000000000166034820152603c0190565b60405160208183030381529060405280519060200120915080611ce9906139a1565b9050611be4565b5090505b92915050565b60005473ffffffffffffffffffffffffffffffffffffffff163314611d7b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e657200000000000000000000000000000000000000000000006044820152606401610817565b80600d541115611de7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f426174636820616c7265616479206578656375746564000000000000000000006044820152606401610817565b600e54811015611e4357600e805480611e0257611e02613a92565b60008281526020812060027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90930192830201818155600101559055611de7565b6040518181527f992e817214d6c9aa9d52b4faf1913b1d1321ce1a6ff98258e88a5d78e71a0183906020015b60405180910390a150565b60008060008060065442611e8e919061394c565b600b5490915086108015611ee5575080600b8781548110611eb157611eb161395f565b6000918252602090912001547c0100000000000000000000000000000000000000000000000000000000900463ffffffff16105b15611f8b578593506001611ef9868661398e565b611f03919061394c565b600b549093508310611f2157600b54611f1e9060019061394c565b92505b80600b8481548110611f3557611f3561395f565b6000918252602090912001547c0100000000000000000000000000000000000000000000000000000000900463ffffffff1610611f7e5782611f7681613ac1565b935050611f21565b611f888484611ad2565b91505b509250925092565b60005473ffffffffffffffffffffffffffffffffffffffff163314612014576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e657200000000000000000000000000000000000000000000006044820152606401610817565b6064831061202157600080fd5b68056bc75e2d63100000821061203657600080fd5b683635c9adc5dea00000811061204b57600080fd5b600854600954600a54604080519384526020840187905283019190915260608201849052608082015260a081018290527f0bc992b511038194430d3b93b01ed9d312562944591645c91130b33b0d920d139060c00160405180910390a1600892909255600955600a55565b60005473ffffffffffffffffffffffffffffffffffffffff163314612137576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e657200000000000000000000000000000000000000000000006044820152606401610817565b60005b82811015612174576121648484838181106121575761215761395f565b9050602002013583613304565b61216d816139a1565b905061213a565b50505050565b60015473ffffffffffffffffffffffffffffffffffffffff163314612221576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603560248201527f596f75206d757374206265206e6f6d696e61746564206265666f726520796f7560448201527f2063616e20616363657074206f776e65727368697000000000000000000000006064820152608401610817565b6001546000805460405173ffffffffffffffffffffffffffffffffffffffff93841693909116917fb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c91a360018054600080547fffffffffffffffffffffffff000000000000000000000000000000000000000090811673ffffffffffffffffffffffffffffffffffffffff841617909155169055565b3360009081526004602052604090205460ff16806122ec575060005473ffffffffffffffffffffffffffffffffffffffff1633145b8061230e575060025473ffffffffffffffffffffffffffffffffffffffff1633145b80612330575060035473ffffffffffffffffffffffffffffffffffffffff1633145b612396576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f4e6f7420637265776d656d6265720000000000000000000000000000000000006044820152606401610817565b6123a0600161342f565b565b60005473ffffffffffffffffffffffffffffffffffffffff163314612423576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e657200000000000000000000000000000000000000000000006044820152606401610817565b60025460405173ffffffffffffffffffffffffffffffffffffffff8084169216907ff18effac70e61c427eeb822dabc8c030ad0d6178e38899b5436e10f9b599028f90600090a3600280547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b60408051808201909152606060208201528281526124cf838361394c565b6124da90600161398e565b67ffffffffffffffff8111156124f2576124f2613af6565b60405190808252806020026020018201604052801561255b57816020015b60408051606081018252600080825260208083018290529282015282527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff9092019101816125105790505b506020820152825b82811161263a57600b818154811061257d5761257d61395f565b600091825260209182902060408051606081018252929091015473ffffffffffffffffffffffffffffffffffffffff8116835274010000000000000000000000000000000000000000810467ffffffffffffffff16838501527c0100000000000000000000000000000000000000000000000000000000900463ffffffff16908201529083015161260e868461394c565b8151811061261e5761261e61395f565b602002602001018190525080612633906139a1565b9050612563565b5092915050565b600b818154811061265157600080fd5b60009182526020909120015473ffffffffffffffffffffffffffffffffffffffff8116915074010000000000000000000000000000000000000000810467ffffffffffffffff16907c0100000000000000000000000000000000000000000000000000000000900463ffffffff1683565b60005473ffffffffffffffffffffffffffffffffffffffff163314612743576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e657200000000000000000000000000000000000000000000006044820152606401610817565b60035460405173ffffffffffffffffffffffffffffffffffffffff8084169216907fd64fbe94bc529b7e39db059497f4956a94c5ade6b2df42325818876b1c013bcd90600090a3600380547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b6000846127de5787612800565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff5b6040517fd505accf000000000000000000000000000000000000000000000000000000008152336004820152306024820152604481018290526064810188905260ff8616608482015260a4810185905260c481018490529091507f0000000000000000000000005e8422345238f34275888049021821e8e08caa1f73ffffffffffffffffffffffffffffffffffffffff169063d505accf9060e401600060405180830381600087803b1580156128b557600080fd5b505af11580156128c9573d6000803e3d6000fd5b505050506128d781886108cc565b5050505050505050565b600e81815481106128f157600080fd5b60009182526020909120600290910201805460019091015467ffffffffffffffff8083169350680100000000000000008304811692700100000000000000000000000000000000810482169278010000000000000000000000000000000000000000000000009091049091169085565b6000805460609073ffffffffffffffffffffffffffffffffffffffff1633146129e6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e657200000000000000000000000000000000000000000000006044820152606401610817565b821580612a0a575060008673ffffffffffffffffffffffffffffffffffffffff163b115b612a70576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f43616e206e6f742063616c6c20612066756e6374696f6e206f6e206120454f416044820152606401610817565b6000808773ffffffffffffffffffffffffffffffffffffffff16878787604051612a9b929190613b25565b60006040518083038185875af1925050503d8060008114612ad8576040519150601f19603f3d011682016040523d82523d6000602084013e612add565b606091505b5090999098509650505050505050565b60005473ffffffffffffffffffffffffffffffffffffffff163314612b6e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e657200000000000000000000000000000000000000000000006044820152606401610817565b610e108210158015612b825750610e108110155b612be8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f506572696f6420746f6f2073686f7274000000000000000000000000000000006044820152606401610817565b6006546007546040805192835260208301919091528101839052606081018290527f7e8d6c37faafc79578015f383c6a5d31a846c93210a9d639e01843943e9fd5f89060800160405180910390a1600691909155600755565b3360009081526004602052604090205460ff1680612c76575060005473ffffffffffffffffffffffffffffffffffffffff1633145b80612c98575060025473ffffffffffffffffffffffffffffffffffffffff1633145b80612cba575060035473ffffffffffffffffffffffffffffffffffffffff1633145b612d20576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f4e6f7420637265776d656d6265720000000000000000000000000000000000006044820152606401610817565b80600e8381548110612d3457612d3461395f565b90600052602060002090600202016001015414612dad576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f57726f6e672068617368000000000000000000000000000000000000000000006044820152606401610817565b81600d541115612e19576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f426174636820616c7265616479206578656375746564000000000000000000006044820152606401610817565b600e8281548110612e2c57612e2c61395f565b60009182526020909120600290910201547801000000000000000000000000000000000000000000000000900467ffffffffffffffff1615612eca576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f426174636820616c7265616479206469737075746564000000000000000000006044820152606401610817565b6001600e8381548110612edf57612edf61395f565b906000526020600020906002020160000160186101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550612f20600161342f565b60408051838152602081018390527f2292bdbb5281fd856c02c8a97b23b28fd9c47e895224d5262ef02c9647c1ebc091015b60405180910390a15050565b60005473ffffffffffffffffffffffffffffffffffffffff163314612fdf576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e657200000000000000000000000000000000000000000000006044820152606401610817565b6123a0600061342f565b612ff381336108cc565b50565b6040805173ffffffffffffffffffffffffffffffffffffffff8481166024830152604480830185905283518084039091018152606490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb00000000000000000000000000000000000000000000000000000000179052915160009283929087169161308d9190613b35565b6000604051808303816000865af19150503d80600081146130ca576040519150601f19603f3d011682016040523d82523d6000602084013e6130cf565b606091505b50915091508180156130f95750805115806130f95750808060200190518101906130f99190613b51565b61315f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600260248201527f53540000000000000000000000000000000000000000000000000000000000006044820152606401610817565b5050505050565b60008183116131755781610f48565b5090919050565b60008183106131755781610f48565b6040805173ffffffffffffffffffffffffffffffffffffffff85811660248301528481166044830152606480830185905283518084039091018152608490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167f23b872dd00000000000000000000000000000000000000000000000000000000179052915160009283929088169161322a9190613b35565b6000604051808303816000865af19150503d8060008114613267576040519150601f19603f3d011682016040523d82523d6000602084013e61326c565b606091505b50915091508180156132965750805115806132965750808060200190518101906132969190613b51565b6132fc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600360248201527f53544600000000000000000000000000000000000000000000000000000000006044820152606401610817565b505050505050565b600d5415806133595750600e6001600d5461331f919061394c565b8154811061332f5761332f61395f565b600091825260209091206002909102015468010000000000000000900467ffffffffffffffff1682115b6133bf576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f5472616e73616374696f6e20616c7265616479206578656375746564000000006044820152606401610817565b6000828152600c602090815260409182902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00168415159081179091558251858152918201527fdf11c22eefc5804dfbf9c567c2522c17e93416278a0f8a6f8e8f327ee6cb032e9101612f52565b600580547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00168215159081179091556040519081527f9422424b175dda897495a07b091ef74a3ef715cf6d866fc972954c1c7f45930490602001611e6f565b803573ffffffffffffffffffffffffffffffffffffffff811681146134b257600080fd5b919050565b600080604083850312156134ca57600080fd5b6134d38361348e565b946020939093013593505050565b600080604083850312156134f457600080fd5b823591506135046020840161348e565b90509250929050565b8015158114612ff357600080fd5b6000806040838503121561352e57600080fd5b6135378361348e565b915060208301356135478161350d565b809150509250929050565b6000806040838503121561356557600080fd5b8235915060208301356135478161350d565b60006020828403121561358957600080fd5b610f488261348e565b600080604083850312156135a557600080fd5b50508035926020909101359150565b6000602082840312156135c657600080fd5b813567ffffffffffffffff8111156135dd57600080fd5b820160408185031215610f4857600080fd5b60008060006060848603121561360457600080fd5b505081359360208301359350604090920135919050565b60006020828403121561362d57600080fd5b5035919050565b60008060006040848603121561364957600080fd5b833567ffffffffffffffff8082111561366157600080fd5b818601915086601f83011261367557600080fd5b81358181111561368457600080fd5b8760208260051b850101111561369957600080fd5b602092830195509350508401356136af8161350d565b809150509250925092565b60006020808352606080840185518386015282860151604080818801528282518085526080890191508684019450600093505b80841015613744578451805173ffffffffffffffffffffffffffffffffffffffff1683528781015167ffffffffffffffff168884015283015163ffffffff16838301529386019360019390930192908501906136ed565b5098975050505050505050565b600080600080600080600060e0888a03121561376c57600080fd5b8735965061377c6020890161348e565b95506040880135945060608801356137938161350d565b9350608088013560ff811681146137a957600080fd5b9699959850939692959460a0840135945060c09093013592915050565b600080600080606085870312156137dc57600080fd5b6137e58561348e565b935060208501359250604085013567ffffffffffffffff8082111561380957600080fd5b818701915087601f83011261381d57600080fd5b81358181111561382c57600080fd5b88602082850101111561383e57600080fd5b95989497505060200194505050565b60005b83811015613868578181015183820152602001613850565b50506000910152565b8215158152604060208201526000825180604084015261389881606085016020870161384d565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016919091016060019392505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600082613930577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b8082028115828204841417611cf457611cf46138cb565b81810381811115611cf457611cf46138cb565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b80820180821115611cf457611cf46138cb565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036139d2576139d26138cb565b5060010190565b60008083357fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1843603018112613a0e57600080fd5b83018035915067ffffffffffffffff821115613a2957600080fd5b6020019150606081023603821315613a4057600080fd5b9250929050565b600060208284031215613a5957600080fd5b813567ffffffffffffffff81168114610f4857600080fd5b67ffffffffffffffff81811683821601908082111561263a5761263a6138cb565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603160045260246000fd5b600081613ad057613ad06138cb565b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b8183823760009101908152919050565b60008251613b4781846020870161384d565b9190910192915050565b600060208284031215613b6357600080fd5b8151610f488161350d56fea264697066735822122030ae779c34c2992d0c8842233d7803ce266731116ca4e6a266e38f6ff929742164736f6c63430008110033

23112:11850:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23565:41;;;;;;;;;160:25:1;;;148:2;133:18;23565:41:0;;;;;;;;32721:209;;;;;;:::i;:::-;;:::i;:::-;;26618:744;;;;;;:::i;:::-;;:::i;32486:156::-;;;;;;:::i;:::-;;:::i;30499:99::-;;;;;;:::i;:::-;;:::i;31732:140::-;;;;;;:::i;:::-;;:::i;34152:225::-;;;;;;:::i;:::-;;:::i;23639:23::-;;;;;;23172:35;;;;;;;;2305:42:1;2293:55;;;2275:74;;2263:2;2248:18;23172:35:0;2116:239:1;23497:36:0;;;;;;28321:1037;;;;;;:::i;:::-;;:::i;27891:420::-;;;;;;:::i;:::-;;:::i;34387:369::-;;;;;;:::i;:::-;;:::i;29368:213::-;;;;;;:::i;:::-;;:::i;33339:497::-;;;;;;:::i;:::-;;:::i;:::-;;;;3643:25:1;;;3699:2;3684:18;;3677:34;;;;3727:18;;;3720:34;3631:2;3616:18;33339:497:0;3441:319:1;23321:29:0;;;;;;;;;23685:26;;;;;;30864:353;;;;;;:::i;:::-;;:::i;23468:18::-;;;;;;;;;;;;4482:14:1;;4475:22;4457:41;;4445:2;4430:18;23468::0;4317:187:1;30608:179:0;;;;;;:::i;:::-;;:::i;23997:42::-;;24035:4;23997:42;;31885:262;;;:::i;23248:33::-;;;;;29995:67;;;:::i;34874:85::-;34938:7;:14;34874:85;;23295:20;;;;;;;;;32157:135;;;;;;:::i;:::-;;:::i;33846:296::-;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;24050:33::-;;;;;;:::i;:::-;;:::i;:::-;;;;6559:42:1;6547:55;;;6529:74;;6651:18;6639:31;;;6634:2;6619:18;;6612:59;6719:10;6707:23;6687:18;;;6680:51;6517:2;6502:18;24050:33:0;6331:406:1;32302:170:0;;;;;;:::i;:::-;;:::i;27471:407::-;;;;;;:::i;:::-;;:::i;24163:22::-;;;;;;:::i;:::-;;:::i;:::-;;;;7764:18:1;7809:15;;;7791:34;;7861:15;;;7856:2;7841:18;;7834:43;7913:15;;;7893:18;;;7886:43;;;;7965:15;;;7960:2;7945:18;;7938:43;8012:3;7997:19;;7990:35;;;;7741:3;7726:19;24163:22:0;7503:528:1;24133:24:0;;;;;;32964:319;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;:::i;23738:28::-;;;;;;31227:436;;;;;;:::i;:::-;;:::i;23213:29::-;;;;;34769:95;34838:12;:19;34769:95;;23417:43;;;;;;:::i;:::-;;;;;;;;;;;;;;;;23384:27;;;;;;;;;24089:38;;;;;;:::i;:::-;;;;;;;;;;;;;;;;29591:394;;;;;;:::i;:::-;;:::i;23356:22::-;;;;;;;;;30072:65;;;:::i;23137:29::-;;;;;27372:92;;;;;;:::i;:::-;;:::i;32721:209::-;26031:5;;;;26019:10;:17;26010:39;;;;;;;10023:2:1;26010:39:0;;;10005:21:1;10062:1;10042:18;;;10035:29;10100:11;10080:18;;;10073:39;10129:18;;26010:39:0;;;;;;;;;32807:20:::1;::::0;::::1;32798:57;;;::::0;::::1;::::0;;10360:2:1;32798:57:0::1;::::0;::::1;10342:21:1::0;10399:2;10379:18;;;10372:30;10438:26;10418:18;;;10411:54;10482:18;;32798:57:0::1;10158:348:1::0;32798:57:0::1;32864:59;32900:5;32907:8;32916:6;32864:27;:59::i;:::-;32721:209:::0;;:::o;26618:744::-;26518:6;;;;26517:7;26508:26;;;;;;;10713:2:1;26508:26:0;;;10695:21:1;10752:1;10732:18;;;10725:29;10790:8;10770:18;;;10763:36;10816:18;;26508:26:0;10511:329:1;26508:26:0;24035:4:::1;26715:23;24035:4:::0;26715:6;:23:::1;:::i;:::-;26714:42;;;;:::i;:::-;26705:51;;26806:8;26817:57;26826:39;26835:7;;26859:5;26850:8;;26843:6;:15;;;;:::i;:::-;:21;;;;:::i;:::-;26826:8;:39::i;:::-;26866:7;;26817:8;:57::i;:::-;26806:68;;26899:3;26892:6;:10;26883:37;;;::::0;::::1;::::0;;11688:2:1;26883:37:0::1;::::0;::::1;11670:21:1::0;11727:2;11707:18;;;11700:30;11766:16;11746:18;;;11739:44;11800:18;;26883:37:0::1;11486:338:1::0;26883:37:0::1;26963:16;26938:23;24035:4;26938:6:::0;:23:::1;:::i;:::-;:41;;26929:69;;;::::0;::::1;::::0;;12031:2:1;26929:69:0::1;::::0;::::1;12013:21:1::0;12070:2;12050:18;;;12043:30;12109:17;12089:18;;;12082:45;12144:18;;26929:69:0::1;11829:339:1::0;26929:69:0::1;27007:79;27047:5;27054:10;27073:4;27079:6;27007:31;:79::i;:::-;27096:21;24035:4;27128:10;27135:3:::0;27128:6;:10:::1;:::i;:::-;27127:29;;;;:::i;:::-;27188:12;:19:::0;27096:61;;-1:-1:-1;27171:92:0::1;::::0;::::1;::::0;::::1;::::0;27208:6;27215:31:::1;24035:4;27215:31;::::0;::::1;;:::i;:::-;27171:92;::::0;;12537:25:1;;;12593:2;12578:18;;12571:34;;;;12621:18;;;12614:34;27247:15:0::1;12679:2:1::0;12664:18;;12657:34;12524:3;12509:19;27171:92:0::1;;;;;;;27290:61;::::0;;::::1;::::0;::::1;::::0;;::::1;::::0;;::::1;::::0;;::::1;::::0;;::::1;;::::0;::::1;::::0;;;::::1;27334:15;27290:61:::0;::::1;::::0;;;;;;27272:12:::1;:80:::0;;::::1;::::0;::::1;::::0;;-1:-1:-1;27272:80:0;;;;;;;;;::::1;::::0;;;;;;;;::::1;::::0;::::1;::::0;;;;::::1;::::0;::::1;::::0;;;;;;;::::1;::::0;;;;::::1;;;::::0;;;-1:-1:-1;;26618:744:0:o;32486:156::-;26031:5;;;;26019:10;:17;26010:39;;;;;;;10023:2:1;26010:39:0;;;10005:21:1;10062:1;10042:18;;;10035:29;10100:11;10080:18;;;10073:39;10129:18;;26010:39:0;9821:332:1;26010:39:0;32565:23:::1;::::0;::::1;;::::0;;;:11:::1;:23;::::0;;;;;;;;:27;;;::::1;::::0;::::1;;::::0;;::::1;::::0;;;32606:29;;4457:41:1;;;32606:29:0::1;::::0;4430:18:1;32606:29:0::1;;;;;;;32486:156:::0;;:::o;30499:99::-;26031:5;;;;26019:10;:17;26010:39;;;;;;;10023:2:1;26010:39:0;;;10005:21:1;10062:1;10042:18;;;10035:29;10100:11;10080:18;;;10073:39;10129:18;;26010:39:0;9821:332:1;26010:39:0;30568:23:::1;30578:5;30584:6;30568:9;:23::i;31732:140::-:0;26031:5;;;;26019:10;:17;26010:39;;;;;;;10023:2:1;26010:39:0;;;10005:21:1;10062:1;10042:18;;;10035:29;10100:11;10080:18;;;10073:39;10129:18;;26010:39:0;9821:332:1;26010:39:0;31802:14:::1;:25:::0;;;::::1;;::::0;::::1;::::0;;::::1;::::0;;;31841:24:::1;::::0;::::1;::::0;-1:-1:-1;;31841:24:0::1;31732:140:::0;:::o;34152:225::-;34219:16;34258:5;34246:87;34267:3;34264:1;:6;34246:87;;34301:12;34314:1;34301:15;;;;;;;;:::i;:::-;;;;;;;;;;:22;34288:35;;34301:22;;;;;34288:35;;:::i;:::-;;-1:-1:-1;34271:3:0;;;:::i;:::-;;;34246:87;;;-1:-1:-1;34341:29:0;24035:4;34341:29;;:::i;:::-;;34152:225;-1:-1:-1;;;34152:225:0:o;28321:1037::-;26518:6;;;;26517:7;26508:26;;;;;;;10713:2:1;26508:26:0;;;10695:21:1;10752:1;10732:18;;;10725:29;10790:8;10770:18;;;10763:36;10816:18;;26508:26:0;10511:329:1;26508:26:0;26232:12:::1;::::0;::::1;;26220:10;:24;26211:54;;;::::0;::::1;::::0;;13423:2:1;26211:54:0::1;::::0;::::1;13405:21:1::0;13462:2;13442:18;;;13435:30;13501:19;13481:18;;;13474:47;13538:18;;26211:54:0::1;13221:341:1::0;26211:54:0::1;28442:12:::2;:14:::0;;28413:18:::2;::::0;28434:7:::2;::::0;28442:14;28413:18;28442:14:::2;::::0;::::2;:::i;:::-;;;;;28434:23;;;;;;;;:::i;:::-;;::::0;;;::::2;::::0;;;;28413:44:::2;::::0;;::::2;::::0;::::2;::::0;;28434:23:::2;::::0;;::::2;::::0;;::::2;28413:44:::0;;::::2;::::0;;::::2;::::0;;;;::::2;::::0;::::2;::::0;;::::2;::::0;;;;;;::::2;::::0;::::2;::::0;;;;;;;;;;::::2;::::0;;::::2;::::0;;;;;;;;;::::2;::::0;;;;;;-1:-1:-1;28475:15:0;28466:42:::2;;;::::0;::::2;::::0;;13769:2:1;28466:42:0::2;::::0;::::2;13751:21:1::0;13808:2;13788:18;;;13781:30;13847:16;13827:18;;;13820:44;13881:18;;28466:42:0::2;13567:338:1::0;28466:42:0::2;28526:11:::0;;:41:::2;;28539:28:::0;::::2;28526:41;28517:65;;;::::0;::::2;::::0;;14112:2:1;28517:65:0::2;::::0;::::2;14094:21:1::0;14151:2;14131:18;;;14124:30;14190:13;14170:18;;;14163:41;14221:18;;28517:65:0::2;13910:335:1::0;28517:65:0::2;28645:5;:9;;;28600:54;;28642:1;28612:9;:22;;;;;;;;:::i;:::-;28600:11:::0;;:41:::2;::::0;-1:-1:-1;28600:41:0::2;;;:::i;:::-;:43;;;;:::i;:::-;:54;28591:77;;;::::0;::::2;::::0;;15095:2:1;28591:77:0::2;::::0;::::2;15077:21:1::0;15134:2;15114:18;;;15107:30;15173:12;15153:18;;;15146:40;15203:18;;28591:77:0::2;14893:334:1::0;28591:77:0::2;28723:23;::::0;28702:19:::2;::::0;::::2;::::0;28686:35:::2;::::0;::::2;;:15;:35;:::i;:::-;:60;;28677:81;;;::::0;::::2;::::0;;15434:2:1;28677:81:0::2;::::0;::::2;15416:21:1::0;15473:1;15453:18;;;15446:29;15511:10;15491:18;;;15484:38;15539:18;;28677:81:0::2;15232:331:1::0;28677:81:0::2;28859:11:::0;;28800:71:::2;::::0;28775:12:::2;::::0;28800:71:::2;::::0;28817:11:::2;::::0;28830::::2;::::0;28843:7:::2;::::0;28852:5:::2;::::0;28800:71:::2;;15833:19:1::0;;;15975:2;15971:15;;;15871:66;15967:24;;;15962:2;15953:12;;15946:46;16017:2;16008:12;;16001:28;;;;16063:15;;16059:24;16054:2;16045:12;;16038:46;16123:3;16119:16;16137:66;16115:89;16109:3;16100:13;;16093:112;16230:3;16221:13;;15568:672;28800:71:0::2;;;;;;;;;;;;;28790:82;;;;;;28775:97;;28886:6;28881:372;28897:22;;::::0;::::2;:9:::0;:22:::2;:::i;:::-;:29;;28895:1;:31;28881:372;;;28949:9;:24;28971:1;28959:5;:11;;;:13;;;;;;:::i;:::-;28949:24:::0;;::::2;::::0;::::2;::::0;;;;;;-1:-1:-1;28949:24:0;;::::2;;28944:183;;28990:124;29026:5;29033:22;;::::0;::::2;:9:::0;:22:::2;:::i;:::-;29056:1;29033:25;;;;;;;:::i;:::-;:30;::::0;::::2;:25;::::0;;::::2;;:30:::0;;::::2;::::0;-1:-1:-1;29033:30:0::2;:::i;:::-;24035:4;29064:22;;::::0;::::2;:9:::0;:22:::2;:::i;:::-;29087:1;29064:25;;;;;;;:::i;:::-;;;;;;:32;;;;;;;;;;:::i;:::-;:49;;;;;;:::i;:::-;28990:27;:124::i;:::-;29172:4:::0;29178:22:::2;;::::0;::::2;:9:::0;:22:::2;:::i;:::-;29201:1;29178:25;;;;;;;:::i;:::-;:30;::::0;::::2;:25;::::0;;::::2;;:30:::0;;::::2;::::0;-1:-1:-1;29178:30:0::2;:::i;:::-;29209:22;;::::0;::::2;:9:::0;:22:::2;:::i;:::-;29232:1;29209:25;;;;;;;:::i;:::-;;;;;;:32;;;;;;;;;;:::i;:::-;29155:87;;;;;;;;;16717:19:1::0;;;16774:2;16770:15;;;;16787:66;16766:88;16761:2;16752:12;;16745:110;16893:3;16889:16;16907:66;16885:89;16880:2;16871:12;;16864:111;17000:2;16991:12;;16534:475;29155:87:0::2;;;;;;;;;;;;;29145:98;;;;;;29138:105;;28927:3;;;;:::i;:::-;;;28881:372;;;;29282:4;29270:5;:10;;;:16;29261:39;;;::::0;::::2;::::0;;17216:2:1;29261:39:0::2;::::0;::::2;17198:21:1::0;17255:2;17235:18;;;17228:30;17294:12;17274:18;;;17267:40;17324:18;;29261:39:0::2;17014:334:1::0;29261:39:0::2;29324:11:::0;;29336:9:::2;::::0;;::::2;::::0;29314:37:::2;::::0;;17563:18:1;17608:15;;;17590:34;;17660:15;;;;17640:18;;;17633:43;;;;17692:18;;17685:34;;;29314:37:0::2;::::0;17541:2:1;17526:18;29314:37:0::2;;;;;;;;28404:954;;28321:1037:::0;:::o;27891:420::-;26518:6;;;;26517:7;26508:26;;;;;;;10713:2:1;26508:26:0;;;10695:21:1;10752:1;10732:18;;;10725:29;10790:8;10770:18;;;10763:36;10816:18;;26508:26:0;10511:329:1;26508:26:0;26127:7:::1;::::0;::::1;;26115:10;:19;26106:43;;;::::0;::::1;::::0;;17932:2:1;26106:43:0::1;::::0;::::1;17914:21:1::0;17971:2;17951:18;;;17944:30;18010:13;17990:18;;;17983:41;18041:18;;26106:43:0::1;17730:335:1::0;26106:43:0::1;27991:7:::2;:14:::0;:17;:29;::::2;;;-1:-1:-1::0;28012:8:0;;27991:29:::2;27990:95;;;-1:-1:-1::0;28026:7:0::2;:14:::0;:16;;;;:58:::2;;-1:-1:-1::0;28053:7:0::2;28061:14:::0;;:16:::2;::::0;28076:1:::2;::::0;28061:16:::2;:::i;:::-;28053:25;;;;;;;;:::i;:::-;;::::0;;;::::2;::::0;;;::::2;::::0;;::::2;;:29:::0;:31:::2;::::0;:29;;::::2;;;28083:1;28053:31;:::i;:::-;28046:38;;:5;:38;28026:58;27981:119;;;::::0;::::2;::::0;;14112:2:1;27981:119:0::2;::::0;::::2;14094:21:1::0;14151:2;14131:18;;;14124:30;14190:13;14170:18;;;14163:41;14221:18;;27981:119:0::2;13910:335:1::0;27981:119:0::2;28123:5;28118:3;:10;;:34;;;;-1:-1:-1::0;28136:16:0::2;28132:20:::0;::::2;28118:34;28109:56;;;::::0;::::2;::::0;;18457:2:1;28109:56:0::2;::::0;::::2;18439:21:1::0;18496:1;18476:18;;;18469:29;18534:11;18514:18;;;18507:39;18563:18;;28109:56:0::2;18255:332:1::0;28109:56:0::2;28187:63;::::0;;::::2;::::0;::::2;::::0;;::::2;::::0;;::::2;::::0;;;;::::2;;::::0;::::2;::::0;;;28226:15:::2;28187:63:::0;::::2;::::0;;;;;;-1:-1:-1;28187:63:0;;;;;;;;;;;;28174:7:::2;:77:::0;;::::2;::::0;;::::2;::::0;;;;;;;;::::2;::::0;;::::2;::::0;;::::2;::::0;;;;;;;;;::::2;::::0;::::2;::::0;;;::::2;::::0;::::2;::::0;;;;;;;::::2;::::0;::::2;::::0;;;;;;;::::2;::::0;;;;;;;::::2;::::0;;;;;;;;::::2;::::0;;;;;;;;;;28272:14;;28265:39:::2;::::0;28272:16:::2;::::0;::::2;:::i;:::-;28265:39;::::0;;12537:25:1;;;12593:2;12578:18;;12571:34;;;12621:18;;12614:34;;;12679:2;12664:18;;12657:34;;;12524:3;12509:19;28265:39:0::2;12306:391:1::0;34387:369:0;34504:73;;;34521:7;34504:73;;;;15833:19:1;;;;15871:66;34530:5:0;15975:2:1;15971:15;;;15967:24;;15953:12;;;15946:46;34537:11:0;16008:12:1;;;16001:28;34550:11:0;16063:15:1;;16059:24;16045:12;;;16038:46;16137:66;16123:3;16119:16;;;16115:89;16100:13;;;16093:112;34504:73:0;;;;;;;;;16221:13:1;;;;34504:73:0;;;34494:84;;;;;-1:-1:-1;;16119:16:1;34587:141:0;34608:3;34605:1;:6;34587:141;;34665:6;34673:12;34686:1;34673:15;;;;;;;;:::i;:::-;;;;;;;;;;:20;34694:12;:15;;34673:20;;;;;34707:1;;34694:15;;;;;;:::i;:::-;;;;;;;;:22;;;;;;;;;;;;34648:69;;;;;;;;;16717:19:1;;;16774:2;16770:15;;;;16787:66;16766:88;16761:2;16752:12;;16745:110;16893:3;16889:16;16907:66;16885:89;16880:2;16871:12;;16864:111;17000:2;16991:12;;16534:475;34648:69:0;;;;;;;;;;;;;34638:80;;;;;;34629:89;;34612:3;;;;:::i;:::-;;;34587:141;;;-1:-1:-1;34743:6:0;-1:-1:-1;34387:369:0;;;;;:::o;29368:213::-;26031:5;;;;26019:10;:17;26010:39;;;;;;;10023:2:1;26010:39:0;;;10005:21:1;10062:1;10042:18;;;10035:29;10100:11;10080:18;;;10073:39;10129:18;;26010:39:0;9821:332:1;26010:39:0;29454:7:::1;29440:12;;:21;;29431:56;;;::::0;::::1;::::0;;19190:2:1;29431:56:0::1;::::0;::::1;19172:21:1::0;19229:2;19209:18;;;19202:30;19268:24;19248:18;;;19241:52;19310:18;;29431:56:0::1;18988:346:1::0;29431:56:0::1;29503:7;:14:::0;:22;-1:-1:-1;29496:44:0::1;;;29527:7;:13;;;;;;;:::i;:::-;;::::0;;;::::1;::::0;;::::1;::::0;;;;;;::::1;;::::0;;;::::1;;::::0;;;29496:44:::1;;;29554:20;::::0;160:25:1;;;29554:20:0::1;::::0;148:2:1;133:18;29554:20:0::1;;;;;;;;29368:213:::0;:::o;33339:497::-;33405:10;33417:8;33427:12;33450:15;33484:19;;33468:15;:35;;;;:::i;:::-;33523:12;:19;33450:53;;-1:-1:-1;33516:26:0;;:71;;;;;33577:10;33546:12;33559:6;33546:20;;;;;;;;:::i;:::-;;;;;;;;;;:30;;;;;;:41;33516:71;33512:318;;;33607:6;;-1:-1:-1;33639:1:0;33629:9;33635:3;33607:6;33629:9;:::i;:::-;:11;;;;:::i;:::-;33661:12;:19;33625:15;;-1:-1:-1;33656:24:0;;33652:55;;33686:12;:19;:21;;33706:1;;33686:21;:::i;:::-;33682:25;;33652:55;33754:10;33725:12;33738:3;33725:17;;;;;;;;:::i;:::-;;;;;;;;;;:27;;;;;;:39;33719:52;;33766:5;;;;:::i;:::-;;;;33719:52;;;33790:30;33810:5;33816:3;33790:19;:30::i;:::-;33783:37;;33512:318;33441:395;33339:497;;;;;:::o;30864:353::-;26031:5;;;;26019:10;:17;26010:39;;;;;;;10023:2:1;26010:39:0;;;10005:21:1;10062:1;10042:18;;;10035:29;10100:11;10080:18;;;10073:39;10129:18;;26010:39:0;9821:332:1;26010:39:0;23825:3:::1;30960:9;:22;30952:31;;;::::0;::::1;;23882:6;31000:8;:20;30992:29;;;::::0;::::1;;23953:7;31038:8;:20;31030:29;;;::::0;::::1;;31080:8;::::0;31099:7:::1;::::0;31116::::1;::::0;31073:60:::1;::::0;;20016:25:1;;;20072:2;20057:18;;20050:34;;;20100:18;;20093:34;;;;20158:2;20143:18;;20136:34;;;20201:3;20186:19;;20179:35;20245:3;20230:19;;20223:35;;;31073:60:0::1;::::0;20003:3:1;19988:19;31073:60:0::1;;;;;;;31142:8;:18:::0;;;;31169:7:::1;:16:::0;31194:7:::1;:16:::0;30864:353::o;30608:179::-;26031:5;;;;26019:10;:17;26010:39;;;;;;;10023:2:1;26010:39:0;;;10005:21:1;10062:1;10042:18;;;10035:29;10100:11;10080:18;;;10073:39;10129:18;;26010:39:0;9821:332:1;26010:39:0;30700:6:::1;30695:86;30709:16:::0;;::::1;30695:86;;;30743:28;30753:7;;30761:1;30753:10;;;;;;;:::i;:::-;;;;;;;30764:6;30743:9;:28::i;:::-;30726:3;::::0;::::1;:::i;:::-;;;30695:86;;;;30608:179:::0;;;:::o;31885:262::-;31952:14;;;;31938:10;:28;31930:94;;;;;;;20471:2:1;31930:94:0;;;20453:21:1;20510:2;20490:18;;;20483:30;20549:34;20529:18;;;20522:62;20620:23;20600:18;;;20593:51;20661:19;;31930:94:0;20269:417:1;31930:94:0;32058:14;;;32051:5;;32038:35;;32058:14;;;;;32051:5;;;;32038:35;;;32090:14;;;;32082:22;;;;;;32090:14;;;32082:22;;;;32113:27;;;31885:262::o;29995:67::-;26350:10;26338:23;;;;:11;:23;;;;;;;;;:44;;-1:-1:-1;26377:5:0;;;;26365:10;:17;26338:44;:67;;;-1:-1:-1;26398:7:0;;;;26386:10;:19;26338:67;:95;;;-1:-1:-1;26421:12:0;;;;26409:10;:24;26338:95;26329:122;;;;;;;20893:2:1;26329:122:0;;;20875:21:1;20932:2;20912:18;;;20905:30;20971:16;20951:18;;;20944:44;21005:18;;26329:122:0;20691:338:1;26329:122:0;30043:12:::1;30050:4;30043:6;:12::i;:::-;29995:67::o:0;32157:135::-;26031:5;;;;26019:10;:17;26010:39;;;;;;;10023:2:1;26010:39:0;;;10005:21:1;10062:1;10042:18;;;10035:29;10100:11;10080:18;;;10073:39;10129:18;;26010:39:0;9821:332:1;26010:39:0;32239:7:::1;::::0;32228:30:::1;::::0;::::1;::::0;;::::1;::::0;32239:7:::1;::::0;32228:30:::1;::::0;32239:7:::1;::::0;32228:30:::1;32267:7;:18:::0;;;::::1;;::::0;;;::::1;::::0;;;::::1;::::0;;32157:135::o;33846:296::-;-1:-1:-1;;;;;;;;;;;;;;33943:31:0;;;34021:9;33943:31;34021:3;:9;:::i;:::-;:11;;34031:1;34021:11;:::i;:::-;34003:30;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;;;;;;;;;;;;;34003:30:0;;;;;;;;;;;;;;-1:-1:-1;33983:17:0;;;:50;34054:5;34042:94;34063:3;34060:1;:6;34042:94;;34111:12;34124:1;34111:15;;;;;;;;:::i;:::-;;;;;;;;;;34084:42;;;;;;;;34111:15;;;;34084:42;;;;;;;;;;;;;;;;;;;;;;;;:17;;;;34102:7;34104:5;34102:1;:7;:::i;:::-;34084:26;;;;;;;;:::i;:::-;;;;;;:42;;;;34067:3;;;;:::i;:::-;;;34042:94;;;;33846:296;;;;:::o;24050:33::-;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;24050:33:0;;;;;;;;;;;;:::o;32302:170::-;26031:5;;;;26019:10;:17;26010:39;;;;;;;10023:2:1;26010:39:0;;;10005:21:1;10062:1;10042:18;;;10035:29;10100:11;10080:18;;;10073:39;10129:18;;26010:39:0;9821:332:1;26010:39:0;32399:12:::1;::::0;32383:45:::1;::::0;::::1;::::0;;::::1;::::0;32399:12:::1;::::0;32383:45:::1;::::0;32399:12:::1;::::0;32383:45:::1;32437:12;:28:::0;;;::::1;;::::0;;;::::1;::::0;;;::::1;::::0;;32302:170::o;27471:407::-;27673:11;27687:10;:40;;27720:7;27687:40;;;27700:17;27687:40;27736:89;;;;;27772:10;27736:89;;;21595:34:1;27792:4:0;21645:18:1;;;21638:43;21697:18;;;21690:34;;;21740:18;;;21733:34;;;21816:4;21804:17;;21783:19;;;21776:46;21838:19;;;21831:35;;;21882:19;;;21875:35;;;27673:54:0;;-1:-1:-1;27757:5:0;27736:35;;;;;21506:19:1;;27736:89:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27834:37;27854:6;27861:9;27834:19;:37::i;:::-;27664:214;27471:407;;;;;;;:::o;24163:22::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;24163:22:0;;;;;;;;;;;;;;;;;;;;;:::o;32964:319::-;33058:4;26031:5;;33064:12;;26031:5;;26019:10;:17;26010:39;;;;;;;10023:2:1;26010:39:0;;;10005:21:1;10062:1;10042:18;;;10035:29;10100:11;10080:18;;;10073:39;10129:18;;26010:39:0;9821:332:1;26010:39:0;33095:15;;;:36:::1;;;33130:1;33114:3;:15;;;:17;33095:36;33087:80;;;::::0;::::1;::::0;;22123:2:1;33087:80:0::1;::::0;::::1;22105:21:1::0;;;22142:18;;;22135:30;22201:34;22181:18;;;22174:62;22253:18;;33087:80:0::1;21921:356:1::0;33087:80:0::1;33177:12;33191:19:::0;33214:3:::1;:8;;33229:6;33237:5;;33214:29;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1::0;33176:67:0;;;;-1:-1:-1;32964:319:0;-1:-1:-1;;;;;;;32964:319:0:o;31227:436::-;26031:5;;;;26019:10;:17;26010:39;;;;;;;10023:2:1;26010:39:0;;;10005:21:1;10062:1;10042:18;;;10035:29;10100:11;10080:18;;;10073:39;10129:18;;26010:39:0;9821:332:1;26010:39:0;31368:4:::1;31346:20;:26;;:60;;;;;31402:4;31376:24;:30;;31346:60;31338:88;;;::::0;::::1;::::0;;22760:2:1;31338:88:0::1;::::0;::::1;22742:21:1::0;22799:2;22779:18;;;22772:30;22838:18;22818;;;22811:46;22874:18;;31338:88:0::1;22558:340:1::0;31338:88:0::1;31458:19;::::0;31479:23:::1;::::0;31440:110:::1;::::0;;12537:25:1;;;12593:2;12578:18;;12571:34;;;;12621:18;;12614:34;;;12679:2;12664:18;;12657:34;;;31440:110:0::1;::::0;12524:3:1;12509:19;31440:110:0::1;;;;;;;31559:19;:40:::0;;;;31608:23:::1;:48:::0;31227:436::o;29591:394::-;26350:10;26338:23;;;;:11;:23;;;;;;;;;:44;;-1:-1:-1;26377:5:0;;;;26365:10;:17;26338:44;:67;;;-1:-1:-1;26398:7:0;;;;26386:10;:19;26338:67;:95;;;-1:-1:-1;26421:12:0;;;;26409:10;:24;26338:95;26329:122;;;;;;;20893:2:1;26329:122:0;;;20875:21:1;20932:2;20912:18;;;20905:30;20971:16;20951:18;;;20944:44;21005:18;;26329:122:0;20691:338:1;26329:122:0;29704:4:::1;29681:7;29689;29681:16;;;;;;;;:::i;:::-;;;;;;;;;;;:21;;;:27;29672:50;;;::::0;::::1;::::0;;17216:2:1;29672:50:0::1;::::0;::::1;17198:21:1::0;17255:2;17235:18;;;17228:30;17294:12;17274:18;;;17267:40;17324:18;;29672:50:0::1;17014:334:1::0;29672:50:0::1;29754:7;29740:12;;:21;;29731:56;;;::::0;::::1;::::0;;19190:2:1;29731:56:0::1;::::0;::::1;19172:21:1::0;19229:2;19209:18;;;19202:30;19268:24;19248:18;;;19241:52;19310:18;;29731:56:0::1;18988:346:1::0;29731:56:0::1;29805:7;29813;29805:16;;;;;;;;:::i;:::-;;::::0;;;::::1;::::0;;;::::1;::::0;;::::1;;:23:::0;;;::::1;;;:26:::0;29796:61:::1;;;::::0;::::1;::::0;;23105:2:1;29796:61:0::1;::::0;::::1;23087:21:1::0;23144:2;23124:18;;;23117:30;23183:24;23163:18;;;23156:52;23225:18;;29796:61:0::1;22903:346:1::0;29796:61:0::1;29890:1;29866:7;29874;29866:16;;;;;;;;:::i;:::-;;;;;;;;;;;:23;;;:25;;;;;;;;;;;;;;;;;;29926:12;29933:4;29926:6;:12::i;:::-;29952:26;::::0;;23428:25:1;;;23484:2;23469:18;;23462:34;;;29952:26:0::1;::::0;23401:18:1;29952:26:0::1;;;;;;;;29591:394:::0;;:::o;30072:65::-;26031:5;;;;26019:10;:17;26010:39;;;;;;;10023:2:1;26010:39:0;;;10005:21:1;10062:1;10042:18;;;10035:29;10100:11;10080:18;;;10073:39;10129:18;;26010:39:0;9821:332:1;26010:39:0;30117:13:::1;30124:5;30117:6;:13::i;27372:92::-:0;27417:39;27437:6;27445:10;27417:19;:39::i;:::-;27372:92;:::o;4185:316::-;4350:59;;;4339:10;23699:55:1;;;4350:59:0;;;23681:74:1;23771:18;;;;23764:34;;;4350:59:0;;;;;;;;;;23654:18:1;;;;4350:59:0;;;;;;;;;4373:24;4350:59;;;4339:71;;-1:-1:-1;;;;4339:10:0;;;;:71;;4350:59;4339:71;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4303:107;;;;4429:7;:57;;;;-1:-1:-1;4441:11:0;;:16;;:44;;;4472:4;4461:24;;;;;;;;;;;;:::i;:::-;4421:72;;;;;;;24553:2:1;4421:72:0;;;24535:21:1;24592:1;24572:18;;;24565:29;24630:4;24610:18;;;24603:32;24652:18;;4421:72:0;24351:325:1;4421:72:0;4292:209;;4185:316;;;:::o;8329:106::-;8387:7;8418:1;8414;:5;:13;;8426:1;8414:13;;;-1:-1:-1;8422:1:0;;8329:106;-1:-1:-1;8329:106:0:o;8511:::-;8569:7;8600:1;8596;:5;:13;;8608:1;8596:13;;3519:367;3724:69;;;3713:10;24962:15:1;;;3724:69:0;;;24944:34:1;25014:15;;;24994:18;;;24987:43;25046:18;;;;25039:34;;;3724:69:0;;;;;;;;;;24856:18:1;;;;3724:69:0;;;;;;;;;3747:28;3724:69;;;3713:81;;-1:-1:-1;;;;3713:10:0;;;;:81;;3724:69;3713:81;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3664:130;;;;3813:7;:57;;;;-1:-1:-1;3825:11:0;;:16;;:44;;;3856:4;3845:24;;;;;;;;;;;;:::i;:::-;3805:73;;;;;;;25286:2:1;3805:73:0;;;25268:21:1;25325:1;25305:18;;;25298:29;25363:5;25343:18;;;25336:33;25386:18;;3805:73:0;25084:326:1;3805:73:0;3653:233;;3519:367;;;;:::o;30258:231::-;30329:12;;:15;;:52;;;30354:7;30375:1;30362:12;;:14;;;;:::i;:::-;30354:23;;;;;;;;:::i;:::-;;;;;;;;;;;;;;:27;;;;;;30348:33;;30329:52;30320:93;;;;;;;25617:2:1;30320:93:0;;;25599:21:1;25656:2;25636:18;;;25629:30;25695;25675:18;;;25668:58;25743:18;;30320:93:0;25415:352:1;30320:93:0;30422:16;;;;:9;:16;;;;;;;;;:23;;;;;;;;;;;;;30459;;25940:25:1;;;25981:18;;;25974:50;30459:23:0;;25913:18:1;30459:23:0;25772:258:1;30150:97:0;30198:6;:14;;;;;;;;;;;;;30226;;4457:41:1;;;30226:14:0;;4445:2:1;4430:18;30226:14:0;4317:187:1;196:196;264:20;;324:42;313:54;;303:65;;293:93;;382:1;379;372:12;293:93;196:196;;;:::o;397:254::-;465:6;473;526:2;514:9;505:7;501:23;497:32;494:52;;;542:1;539;532:12;494:52;565:29;584:9;565:29;:::i;:::-;555:39;641:2;626:18;;;;613:32;;-1:-1:-1;;;397:254:1:o;656:::-;724:6;732;785:2;773:9;764:7;760:23;756:32;753:52;;;801:1;798;791:12;753:52;837:9;824:23;814:33;;866:38;900:2;889:9;885:18;866:38;:::i;:::-;856:48;;656:254;;;;;:::o;915:118::-;1001:5;994:13;987:21;980:5;977:32;967:60;;1023:1;1020;1013:12;1038:315;1103:6;1111;1164:2;1152:9;1143:7;1139:23;1135:32;1132:52;;;1180:1;1177;1170:12;1132:52;1203:29;1222:9;1203:29;:::i;:::-;1193:39;;1282:2;1271:9;1267:18;1254:32;1295:28;1317:5;1295:28;:::i;:::-;1342:5;1332:15;;;1038:315;;;;;:::o;1358:309::-;1423:6;1431;1484:2;1472:9;1463:7;1459:23;1455:32;1452:52;;;1500:1;1497;1490:12;1452:52;1536:9;1523:23;1513:33;;1596:2;1585:9;1581:18;1568:32;1609:28;1631:5;1609:28;:::i;1672:186::-;1731:6;1784:2;1772:9;1763:7;1759:23;1755:32;1752:52;;;1800:1;1797;1790:12;1752:52;1823:29;1842:9;1823:29;:::i;1863:248::-;1931:6;1939;1992:2;1980:9;1971:7;1967:23;1963:32;1960:52;;;2008:1;2005;1998:12;1960:52;-1:-1:-1;;2031:23:1;;;2101:2;2086:18;;;2073:32;;-1:-1:-1;1863:248:1:o;2360:388::-;2448:6;2501:2;2489:9;2480:7;2476:23;2472:32;2469:52;;;2517:1;2514;2507:12;2469:52;2557:9;2544:23;2590:18;2582:6;2579:30;2576:50;;;2622:1;2619;2612:12;2576:50;2645:22;;2701:2;2683:16;;;2679:25;2676:45;;;2717:1;2714;2707:12;2753:316;2830:6;2838;2846;2899:2;2887:9;2878:7;2874:23;2870:32;2867:52;;;2915:1;2912;2905:12;2867:52;-1:-1:-1;;2938:23:1;;;3008:2;2993:18;;2980:32;;-1:-1:-1;3059:2:1;3044:18;;;3031:32;;2753:316;-1:-1:-1;2753:316:1:o;3256:180::-;3315:6;3368:2;3356:9;3347:7;3343:23;3339:32;3336:52;;;3384:1;3381;3374:12;3336:52;-1:-1:-1;3407:23:1;;3256:180;-1:-1:-1;3256:180:1:o;4509:750::-;4601:6;4609;4617;4670:2;4658:9;4649:7;4645:23;4641:32;4638:52;;;4686:1;4683;4676:12;4638:52;4726:9;4713:23;4755:18;4796:2;4788:6;4785:14;4782:34;;;4812:1;4809;4802:12;4782:34;4850:6;4839:9;4835:22;4825:32;;4895:7;4888:4;4884:2;4880:13;4876:27;4866:55;;4917:1;4914;4907:12;4866:55;4957:2;4944:16;4983:2;4975:6;4972:14;4969:34;;;4999:1;4996;4989:12;4969:34;5054:7;5047:4;5037:6;5034:1;5030:14;5026:2;5022:23;5018:34;5015:47;5012:67;;;5075:1;5072;5065:12;5012:67;5106:4;5098:13;;;;-1:-1:-1;5130:6:1;-1:-1:-1;;5171:20:1;;5158:34;5201:28;5158:34;5201:28;:::i;:::-;5248:5;5238:15;;;4509:750;;;;;:::o;5264:1062::-;5410:4;5439:2;5468;5457:9;5450:21;5490:2;5530;5519:9;5515:18;5575:6;5569:13;5564:2;5553:9;5549:18;5542:41;5630:2;5622:6;5618:15;5612:22;5653:4;5693:2;5688;5677:9;5673:18;5666:30;5716:6;5751:12;5745:19;5788:6;5780;5773:22;5826:3;5815:9;5811:19;5804:26;;5871:2;5857:12;5853:21;5839:35;;5892:1;5883:10;;5902:398;5916:6;5913:1;5910:13;5902:398;;;5975:13;;6017:9;;6028:42;6013:58;6001:71;;6116:11;;;6110:18;6130;6106:43;6092:12;;;6085:65;6194:11;;6188:18;6208:10;6184:35;6170:12;;;6163:57;6275:15;;;;5938:1;5931:9;;;;;6240:12;;;;5902:398;;;-1:-1:-1;6317:3:1;5264:1062;-1:-1:-1;;;;;;;;5264:1062:1:o;6742:756::-;6850:6;6858;6866;6874;6882;6890;6898;6951:3;6939:9;6930:7;6926:23;6922:33;6919:53;;;6968:1;6965;6958:12;6919:53;7004:9;6991:23;6981:33;;7033:38;7067:2;7056:9;7052:18;7033:38;:::i;:::-;7023:48;;7118:2;7107:9;7103:18;7090:32;7080:42;;7172:2;7161:9;7157:18;7144:32;7185:28;7207:5;7185:28;:::i;:::-;7232:5;-1:-1:-1;7289:3:1;7274:19;;7261:33;7338:4;7325:18;;7313:31;;7303:59;;7358:1;7355;7348:12;7303:59;6742:756;;;;-1:-1:-1;6742:756:1;;;;7381:7;7435:3;7420:19;;7407:33;;-1:-1:-1;7487:3:1;7472:19;;;7459:33;;6742:756;-1:-1:-1;;6742:756:1:o;8036:733::-;8124:6;8132;8140;8148;8201:2;8189:9;8180:7;8176:23;8172:32;8169:52;;;8217:1;8214;8207:12;8169:52;8240:29;8259:9;8240:29;:::i;:::-;8230:39;;8316:2;8305:9;8301:18;8288:32;8278:42;;8371:2;8360:9;8356:18;8343:32;8394:18;8435:2;8427:6;8424:14;8421:34;;;8451:1;8448;8441:12;8421:34;8489:6;8478:9;8474:22;8464:32;;8534:7;8527:4;8523:2;8519:13;8515:27;8505:55;;8556:1;8553;8546:12;8505:55;8596:2;8583:16;8622:2;8614:6;8611:14;8608:34;;;8638:1;8635;8628:12;8608:34;8683:7;8678:2;8669:6;8665:2;8661:15;8657:24;8654:37;8651:57;;;8704:1;8701;8694:12;8651:57;8036:733;;;;-1:-1:-1;;8735:2:1;8727:11;;-1:-1:-1;;;8036:733:1:o;8774:250::-;8859:1;8869:113;8883:6;8880:1;8877:13;8869:113;;;8959:11;;;8953:18;8940:11;;;8933:39;8905:2;8898:10;8869:113;;;-1:-1:-1;;9016:1:1;8998:16;;8991:27;8774:250::o;9029:534::-;9212:6;9205:14;9198:22;9187:9;9180:41;9257:2;9252;9241:9;9237:18;9230:30;9161:4;9289:6;9283:13;9332:6;9327:2;9316:9;9312:18;9305:34;9348:79;9420:6;9415:2;9404:9;9400:18;9395:2;9387:6;9383:15;9348:79;:::i;:::-;9479:2;9467:15;9484:66;9463:88;9448:104;;;;9554:2;9444:113;;9029:534;-1:-1:-1;;;9029:534:1:o;10845:184::-;10897:77;10894:1;10887:88;10994:4;10991:1;10984:15;11018:4;11015:1;11008:15;11034:274;11074:1;11100;11090:189;;11135:77;11132:1;11125:88;11236:4;11233:1;11226:15;11264:4;11261:1;11254:15;11090:189;-1:-1:-1;11293:9:1;;11034:274::o;11313:168::-;11386:9;;;11417;;11434:15;;;11428:22;;11414:37;11404:71;;11455:18;;:::i;12173:128::-;12240:9;;;12261:11;;;12258:37;;;12275:18;;:::i;12702:184::-;12754:77;12751:1;12744:88;12851:4;12848:1;12841:15;12875:4;12872:1;12865:15;12891:125;12956:9;;;12977:10;;;12974:36;;;12990:18;;:::i;13021:195::-;13060:3;13091:66;13084:5;13081:77;13078:103;;13161:18;;:::i;:::-;-1:-1:-1;13208:1:1;13197:13;;13021:195::o;14250:638::-;14374:4;14380:6;14440:11;14427:25;14530:66;14519:8;14503:14;14499:29;14495:102;14475:18;14471:127;14461:155;;14612:1;14609;14602:12;14461:155;14639:33;;14691:20;;;-1:-1:-1;14734:18:1;14723:30;;14720:50;;;14766:1;14763;14756:12;14720:50;14799:4;14787:17;;-1:-1:-1;14858:4:1;14846:17;;14830:14;14826:38;14816:49;;14813:69;;;14878:1;14875;14868:12;14813:69;14250:638;;;;;:::o;16245:284::-;16303:6;16356:2;16344:9;16335:7;16331:23;16327:32;16324:52;;;16372:1;16369;16362:12;16324:52;16411:9;16398:23;16461:18;16454:5;16450:30;16443:5;16440:41;16430:69;;16495:1;16492;16485:12;18070:180;18137:18;18175:10;;;18187;;;18171:27;;18210:11;;;18207:37;;;18224:18;;:::i;19339:184::-;19391:77;19388:1;19381:88;19488:4;19485:1;19478:15;19512:4;19509:1;19502:15;19528:196;19567:3;19595:5;19585:39;;19604:18;;:::i;:::-;-1:-1:-1;19651:66:1;19640:78;;19528:196::o;21034:184::-;21086:77;21083:1;21076:88;21183:4;21180:1;21173:15;21207:4;21204:1;21197:15;22282:271;22465:6;22457;22452:3;22439:33;22421:3;22491:16;;22516:13;;;22491:16;22282:271;-1:-1:-1;22282:271:1:o;23809:287::-;23938:3;23976:6;23970:13;23992:66;24051:6;24046:3;24039:4;24031:6;24027:17;23992:66;:::i;:::-;24074:16;;;;;23809:287;-1:-1:-1;;23809:287:1:o;24101:245::-;24168:6;24221:2;24209:9;24200:7;24196:23;24192:32;24189:52;;;24237:1;24234;24227:12;24189:52;24269:9;24263:16;24288:28;24310:5;24288:28;:::i

ipfs://30ae779c34c2992d0c8842233d7803ce266731116ca4e6a266e38f6ff9297421