Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at uniscan.xyz on 2025-07-03
*/

/**
 *Submitted for verification at basescan.org on 2025-03-13
*/

// File: contracts\interfaces\IERC20.sol

pragma solidity >=0.5.0;

interface IERC20 {
    event Approval(address indexed owner, address indexed spender, uint value);
    event Transfer(address indexed from, address indexed to, uint value);

    function name() external view returns (string memory);
    function symbol() external view returns (string memory);
    function decimals() external view returns (uint8);
    function totalSupply() external view returns (uint);
    function balanceOf(address owner) external view returns (uint);
    function allowance(address owner, address spender) external view returns (uint);

    function approve(address spender, uint value) external returns (bool);
    function transfer(address to, uint value) external returns (bool);
    function transferFrom(address from, address to, uint value) external returns (bool);
}

// File: contracts\interfaces\IWETH.sol

pragma solidity >=0.5.0;

interface IWETH {
    function deposit() external payable;
    function transfer(address to, uint value) external returns (bool);
    function withdraw(uint) external;
}

// File: contracts\libraries\SafeMath.sol

pragma solidity >=0.5.0;

// From https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/math/Math.sol
// Subject to the MIT license.

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

        return c;
    }

    /**
     * @dev Returns the addition of two unsigned integers, reverting with custom message on overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, errorMessage);

        return c;
    }

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

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

        return c;
    }

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

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

        return c;
    }

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

        uint256 c = a * b;
        require(c / a == b, errorMessage);

        return c;
    }

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

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

        return c;
    }

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

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

// File: contracts\libraries\TransferHelper.sol

// SPDX-License-Identifier: GPL-3.0-or-later

pragma solidity >=0.5.0;

// helper methods for interacting with ERC20 tokens and sending ETH that do not consistently return true/false
library TransferHelper {
    function safeApprove(
        address token,
        address to,
        uint256 value
    ) internal {
        // bytes4(keccak256(bytes('approve(address,uint256)')));
        (bool success, bytes memory data) = token.call(abi.encodeWithSelector(0x095ea7b3, to, value));
        require(
            success && (data.length == 0 || abi.decode(data, (bool))),
            'TransferHelper::safeApprove: approve failed'
        );
    }

    function safeTransfer(
        address token,
        address to,
        uint256 value
    ) internal {
        // bytes4(keccak256(bytes('transfer(address,uint256)')));
        (bool success, bytes memory data) = token.call(abi.encodeWithSelector(0xa9059cbb, to, value));
        require(
            success && (data.length == 0 || abi.decode(data, (bool))),
            'TransferHelper::safeTransfer: transfer failed'
        );
    }

    function safeTransferFrom(
        address token,
        address from,
        address to,
        uint256 value
    ) internal {
        // bytes4(keccak256(bytes('transferFrom(address,address,uint256)')));
        (bool success, bytes memory data) = token.call(abi.encodeWithSelector(0x23b872dd, from, to, value));
        require(
            success && (data.length == 0 || abi.decode(data, (bool))),
            'TransferHelper::transferFrom: transferFrom failed'
        );
    }

    function safeTransferETH(address to, uint256 value) internal {
        (bool success, ) = to.call.value(value)(new bytes(0));
        require(success, 'TransferHelper::safeTransferETH: ETH transfer failed');
    }
}

// File: contracts\interfaces\IERC721.sol

pragma solidity >=0.5.0;

interface IERC721 {
	event Transfer(address indexed from, address indexed to, uint256 indexed tokenId);
	event Approval(address indexed owner, address indexed approved, uint256 indexed tokenId);
	event ApprovalForAll(address indexed owner, address indexed operator, bool approved);
	
	function name() external view returns (string memory);
	function symbol() external view returns (string memory);
	function balanceOf(address owner) external view returns (uint256 balance);
	function ownerOf(uint256 tokenId) external view returns (address owner);
	function getApproved(uint256 tokenId) external view returns (address operator);
	function isApprovedForAll(address owner, address operator) external view returns (bool);
	
	function safeTransferFrom(address from, address to, uint256 tokenId, bytes calldata data) external;
	function safeTransferFrom(address from, address to, uint256 tokenId) external;
	function transferFrom(address from, address to, uint256 tokenId) external;
	function approve(address to, uint256 tokenId) external;
	function setApprovalForAll(address operator, bool approved) external;
	function permit(address spender, uint tokenId, uint deadline, uint8 v, bytes32 r, bytes32 s) external;
}

// File: contracts\interfaces\IAllowanceTransfer.sol

// SPDX-License-Identifier: MIT
pragma solidity >=0.5.0;
pragma experimental ABIEncoderV2;

interface IAllowanceTransfer {

	function DOMAIN_SEPARATOR() external view returns (bytes32);

    /// @notice The permit data for a token
    struct PermitDetails {
        // ERC20 token address
        address token;
        // the maximum amount allowed to spend
        uint160 amount;
        // timestamp at which a spender's token allowances become invalid
        uint48 expiration;
        // an incrementing value indexed per owner,token,and spender for each signature
        uint48 nonce;
    }

    /// @notice The permit message signed for a single token allowance
    struct PermitSingle {
        // the permit data for a single token alownce
        PermitDetails details;
        // address permissioned on the allowed tokens
        address spender;
        // deadline on the permit signature
        uint256 sigDeadline;
    }

    /// @notice The permit message signed for multiple token allowances
    struct PermitBatch {
        // the permit data for multiple token allowances
        PermitDetails[] details;
        // address permissioned on the allowed tokens
        address spender;
        // deadline on the permit signature
        uint256 sigDeadline;
    }

    /// @notice The saved permissions
    /// @dev This info is saved per owner, per token, per spender and all signed over in the permit message
    /// @dev Setting amount to type(uint160).max sets an unlimited approval
    struct PackedAllowance {
        // amount allowed
        uint160 amount;
        // permission expiry
        uint48 expiration;
        // an incrementing value indexed per owner,token,and spender for each signature
        uint48 nonce;
    }

    /// @notice A token spender pair.
    struct TokenSpenderPair {
        // the token the spender is approved
        address token;
        // the spender address
        address spender;
    }

    /// @notice Details for a token transfer.
    struct AllowanceTransferDetails {
        // the owner of the token
        address from;
        // the recipient of the token
        address to;
        // the amount of the token
        uint160 amount;
        // the token to be transferred
        address token;
    }

    /// @notice A mapping from owner address to token address to spender address to PackedAllowance struct, which contains details and conditions of the approval.
    /// @notice The mapping is indexed in the above order see: allowance[ownerAddress][tokenAddress][spenderAddress]
    /// @dev The packed slot holds the allowed amount, expiration at which the allowed amount is no longer valid, and current nonce thats updated on any signature based approvals.
    function allowance(address user, address token, address spender)
        external
        view
        returns (uint160 amount, uint48 expiration, uint48 nonce);

    /// @notice Approves the spender to use up to amount of the specified token up until the expiration
    /// @param token The token to approve
    /// @param spender The spender address to approve
    /// @param amount The approved amount of the token
    /// @param expiration The timestamp at which the approval is no longer valid
    /// @dev The packed allowance also holds a nonce, which will stay unchanged in approve
    /// @dev Setting amount to type(uint160).max sets an unlimited approval
    function approve(address token, address spender, uint160 amount, uint48 expiration) external;

    /// @notice Permit a spender to a given amount of the owners token via the owner's EIP-712 signature
    /// @dev May fail if the owner's nonce was invalidated in-flight by invalidateNonce
    /// @param owner The owner of the tokens being approved
    /// @param permitSingle Data signed over by the owner specifying the terms of approval
    /// @param signature The owner's signature over the permit data
    function permit(address owner, PermitSingle calldata permitSingle, bytes calldata signature) external;

    /// @notice Permit a spender to the signed amounts of the owners tokens via the owner's EIP-712 signature
    /// @dev May fail if the owner's nonce was invalidated in-flight by invalidateNonce
    /// @param owner The owner of the tokens being approved
    /// @param permitBatch Data signed over by the owner specifying the terms of approval
    /// @param signature The owner's signature over the permit data
    function permit(address owner, PermitBatch calldata permitBatch, bytes calldata signature) external;

    /// @notice Transfer approved tokens from one address to another
    /// @param from The address to transfer from
    /// @param to The address of the recipient
    /// @param amount The amount of the token to transfer
    /// @param token The token address to transfer
    /// @dev Requires the from address to have approved at least the desired amount
    /// of tokens to msg.sender.
    function transferFrom(address from, address to, uint160 amount, address token) external;

    /// @notice Transfer approved tokens in a batch
    /// @param transferDetails Array of owners, recipients, amounts, and tokens for the transfers
    /// @dev Requires the from addresses to have approved at least the desired amount
    /// of tokens to msg.sender.
    function transferFrom(AllowanceTransferDetails[] calldata transferDetails) external;

    /// @notice Enables performing a "lockdown" of the sender's Permit2 identity
    /// by batch revoking approvals
    /// @param approvals Array of approvals to revoke.
    function lockdown(TokenSpenderPair[] calldata approvals) external;

    /// @notice Invalidate nonces for a given (token, spender) pair
    /// @param token The token to invalidate nonces for
    /// @param spender The spender to invalidate nonces for
    /// @param newNonce The new nonce to set. Invalidates all nonces less than it.
    /// @dev Can't invalidate more than 2**16 nonces per transaction.
    function invalidateNonces(address token, address spender, uint48 newNonce) external;
}

// File: contracts\impermax-v3-core\interfaces\IPoolToken.sol

pragma solidity >=0.5.0;

interface IPoolToken {

	/*** Impermax ERC20 ***/
	
	event Transfer(address indexed from, address indexed to, uint value);
	event Approval(address indexed owner, address indexed spender, uint value);
	
	function name() external view returns (string memory);
	function symbol() external view returns (string memory);
	function decimals() external view returns (uint8);
	function totalSupply() external view returns (uint);
	function balanceOf(address owner) external view returns (uint);
	function allowance(address owner, address spender) external view returns (uint);
	function approve(address spender, uint value) external returns (bool);
	function transfer(address to, uint value) external returns (bool);
	function transferFrom(address from, address to, uint value) external returns (bool);
	
	function DOMAIN_SEPARATOR() external view returns (bytes32);
	function PERMIT_TYPEHASH() external pure returns (bytes32);
	function nonces(address owner) external view returns (uint);
	function permit(address owner, address spender, uint value, uint deadline, uint8 v, bytes32 r, bytes32 s) external;
	
	/*** Pool Token ***/
	
	event Mint(address indexed sender, address indexed minter, uint mintAmount, uint mintTokens);
	event Redeem(address indexed sender, address indexed redeemer, uint redeemAmount, uint redeemTokens);
	event Sync(uint totalBalance);
	
	function underlying() external view returns (address);
	function factory() external view returns (address);
	function totalBalance() external view returns (uint);
	function MINIMUM_LIQUIDITY() external pure returns (uint);

	function exchangeRate() external returns (uint);
	function mint(address minter) external returns (uint mintTokens);
	function redeem(address redeemer) external returns (uint redeemAmount);
	function skim(address to) external;
	function sync() external;
	
	function _setFactory() external;
}

// File: contracts\libraries\ImpermaxPermit.sol

pragma solidity >=0.5.0;

library ImpermaxPermit {

	address constant PERMIT2_ADDRESS = 0x000000000022D473030F116dDEE9F6B43aC78BA3;
	
	enum PermitType {
		PERMIT1,
		PERMIT_NFT,
		PERMIT2_SINGLE,
		PERMIT2_BATCH
	}
	struct Permit {
		PermitType permitType;
		bytes permitData;
		bytes signature;
	}
	struct Permit1Data {
		address token;
		uint amount;
		uint deadline;
	}
	struct PermitNftData {
		address erc721;
		uint tokenId;
		uint deadline;
	}
	
	bytes32 constant UPPER_BIT_MASK = (0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff);
	function decodeSignature(bytes memory signature) private pure returns (bytes32 r, bytes32 s, uint8 v) {
		if (signature.length == 65) {
			(r, s) = abi.decode(signature, (bytes32, bytes32));
			v = uint8(signature[64]);
		} else if (signature.length == 64) {
			// EIP-2098
			bytes32 vs;
			(r, vs) = abi.decode(signature, (bytes32, bytes32));
			s = vs & UPPER_BIT_MASK;
			v = uint8(uint256(vs >> 255)) + 27;
		} else {
			revert("ImpermaxRouter: INVALID_SIGNATURE_LENGTH");
		}
	}
		
	function permit1(
		address token, 
		uint amount, 
		uint deadline,
		bytes memory signature
	) private {	
		(bytes32 r, bytes32 s, uint8 v) = decodeSignature(signature);
		IPoolToken(token).permit(msg.sender, address(this), amount, deadline, v, r, s);
	}
	
	function permitNft(
		address erc721, 
		uint tokenId, 
		uint deadline,
		bytes memory signature
	) private {
		(bytes32 r, bytes32 s, uint8 v) = decodeSignature(signature);
		IERC721(erc721).permit(address(this), tokenId, deadline, v, r, s);
	}
	
	function executePermit(Permit memory permit) internal {
		if (permit.permitType == PermitType.PERMIT1) {
			Permit1Data memory decoded = abi.decode(permit.permitData, (Permit1Data));
			permit1(
				decoded.token,
				decoded.amount,
				decoded.deadline,
				permit.signature
			);
		}
		else if (permit.permitType == PermitType.PERMIT_NFT) {
			PermitNftData memory decoded = abi.decode(permit.permitData, (PermitNftData));
			permitNft(
				decoded.erc721,
				decoded.tokenId,
				decoded.deadline,
				permit.signature
			);
		}
		else if (permit.permitType == PermitType.PERMIT2_SINGLE) {
			IAllowanceTransfer.PermitSingle memory decoded = abi.decode(permit.permitData, (IAllowanceTransfer.PermitSingle));
			IAllowanceTransfer(PERMIT2_ADDRESS).permit(msg.sender, decoded, permit.signature);
		}
		else if (permit.permitType == PermitType.PERMIT2_BATCH) {
			IAllowanceTransfer.PermitBatch memory decoded = abi.decode(permit.permitData, (IAllowanceTransfer.PermitBatch));
			IAllowanceTransfer(PERMIT2_ADDRESS).permit(msg.sender, decoded, permit.signature);
		}
		else revert("ImpermaxRouter: INVALID_PERMIT");
	}
	
	function executePermits(Permit[] memory permits) internal {
		for (uint i = 0; i < permits.length; i++) {
			executePermit(permits[i]);
		}
	}
	
	function safeTransferFrom(address token, address from, address to, uint256 value) internal {
		uint allowance = IERC20(token).allowance(from, address(this));
		if (allowance >= value) return TransferHelper.safeTransferFrom(token, from, to, value);
		IAllowanceTransfer(PERMIT2_ADDRESS).transferFrom(from, to, safe160(value), token);
	}
	
    function safe160(uint n) internal pure returns (uint160) {
        require(n < 2**160, "Impermax: SAFE160");
        return uint160(n);
    }
}

// File: contracts\impermax-v3-core\interfaces\IBorrowable.sol

pragma solidity >=0.5.0;

interface IBorrowable {

	/*** Impermax ERC20 ***/
	
	event Transfer(address indexed from, address indexed to, uint value);
	event Approval(address indexed owner, address indexed spender, uint value);
	
	function name() external view returns (string memory);
	function symbol() external view returns (string memory);
	function decimals() external view returns (uint8);
	function totalSupply() external view returns (uint);
	function balanceOf(address owner) external view returns (uint);
	function allowance(address owner, address spender) external view returns (uint);
	function approve(address spender, uint value) external returns (bool);
	function transfer(address to, uint value) external returns (bool);
	function transferFrom(address from, address to, uint value) external returns (bool);
	
	function DOMAIN_SEPARATOR() external view returns (bytes32);
	function PERMIT_TYPEHASH() external pure returns (bytes32);
	function nonces(address owner) external view returns (uint);
	function permit(address owner, address spender, uint value, uint deadline, uint8 v, bytes32 r, bytes32 s) external;
	
	/*** Pool Token ***/
	
	event Mint(address indexed sender, address indexed minter, uint mintAmount, uint mintTokens);
	event Redeem(address indexed sender, address indexed redeemer, uint redeemAmount, uint redeemTokens);
	event Sync(uint totalBalance);
	
	function underlying() external view returns (address);
	function factory() external view returns (address);
	function totalBalance() external view returns (uint);
	function MINIMUM_LIQUIDITY() external pure returns (uint);

	function exchangeRate() external returns (uint);
	function mint(address minter) external returns (uint mintTokens);
	function redeem(address redeemer) external returns (uint redeemAmount);
	function skim(address to) external;
	function sync() external;
	
	function _setFactory() external;
	
	/*** Borrowable ***/

	event BorrowApproval(address indexed owner, address indexed spender, uint value);
	event Borrow(address indexed sender, uint256 indexed tokenId, address indexed receiver, uint borrowAmount, uint repayAmount, uint accountBorrowsPrior, uint accountBorrows, uint totalBorrows);
	event Liquidate(address indexed sender, uint256 indexed tokenId, address indexed liquidator, uint seizeTokenId, uint repayAmount, uint accountBorrowsPrior, uint accountBorrows, uint totalBorrows);
	event RestructureDebt(uint256 indexed tokenId, uint reduceToRatio, uint repayAmount, uint accountBorrowsPrior, uint accountBorrows, uint totalBorrows);
	
	function collateral() external view returns (address);
	function reserveFactor() external view returns (uint);
	function exchangeRateLast() external view returns (uint);
	function borrowIndex() external view returns (uint);
	function totalBorrows() external view returns (uint);
	function borrowAllowance(address owner, address spender) external view returns (uint);
	function borrowBalance(uint tokenId) external view returns (uint);	
	function currentBorrowBalance(uint tokenId) external returns (uint);	
	function borrowTracker() external view returns (address);
	
	function BORROW_PERMIT_TYPEHASH() external pure returns (bytes32);
	function borrowApprove(address spender, uint256 value) external returns (bool);
	function borrowPermit(address owner, address spender, uint value, uint deadline, uint8 v, bytes32 r, bytes32 s) external;
	function borrow(uint256 tokenId, address receiver, uint borrowAmount, bytes calldata data) external;
	function liquidate(uint256 tokenId, uint repayAmount, address liquidator, bytes calldata data) external returns (uint seizeTokenId);
	function restructureDebt(uint256 tokenId, uint256 reduceToRatio) external;
	function trackBorrow(uint256 tokenId) external;
	
	/*** Borrowable Interest Rate Model ***/

	event AccrueInterest(uint interestAccumulated, uint borrowIndex, uint totalBorrows);
	event CalculateKink(uint kinkRate);
	event CalculateBorrowRate(uint borrowRate);
	
	function KINK_BORROW_RATE_MAX() external pure returns (uint);
	function KINK_BORROW_RATE_MIN() external pure returns (uint);
	function KINK_MULTIPLIER() external pure returns (uint);
	function borrowRate() external view returns (uint);
	function kinkBorrowRate() external view returns (uint);
	function kinkUtilizationRate() external view returns (uint);
	function adjustSpeed() external view returns (uint);
	function rateUpdateTimestamp() external view returns (uint32);
	function accrualTimestamp() external view returns (uint32);
	
	function accrueInterest() external;
	
	/*** Borrowable Setter ***/

	event NewReserveFactor(uint newReserveFactor);
	event NewKinkUtilizationRate(uint newKinkUtilizationRate);
	event NewAdjustSpeed(uint newAdjustSpeed);
	event NewDebtCeiling(uint newDebtCeiling);
	event NewBorrowTracker(address newBorrowTracker);

	function RESERVE_FACTOR_MAX() external pure returns (uint);
	function KINK_UR_MIN() external pure returns (uint);
	function KINK_UR_MAX() external pure returns (uint);
	function ADJUST_SPEED_MIN() external pure returns (uint);
	function ADJUST_SPEED_MAX() external pure returns (uint);
	
	function _initialize (
		string calldata _name, 
		string calldata _symbol,
		address _underlying, 
		address _collateral
	) external;
	function _setReserveFactor(uint newReserveFactor) external;
	function _setKinkUtilizationRate(uint newKinkUtilizationRate) external;
	function _setAdjustSpeed(uint newAdjustSpeed) external;
	function _setBorrowTracker(address newBorrowTracker) external;
}

// File: contracts\PoolTokenRouter01.sol

pragma solidity =0.5.16;







contract PoolTokenRouter01 {
	using SafeMath for uint;

	address public WETH;

	modifier checkETH(address poolToken) {
		require(WETH == IPoolToken(poolToken).underlying(), "ImpermaxRouter: NOT_WETH");
		_;
	}
	
	modifier permit(bytes memory permitsData) {
		ImpermaxPermit.Permit[] memory permits = abi.decode(permitsData, (ImpermaxPermit.Permit[]));
		ImpermaxPermit.executePermits(permits);
		_;
	}
	
	constructor(address _WETH) public {
		WETH = _WETH;
	}

	function () external payable {
		assert(msg.sender == WETH); // only accept ETH via fallback from the WETH contract
	}

	/*** Mint ***/
	
	function _mint(
		address poolToken, 
		address token, 
		uint amount,
		address from,
		address to
	) internal returns (uint tokens) {
		if (from == address(this)) TransferHelper.safeTransfer(token, poolToken, amount);
		else ImpermaxPermit.safeTransferFrom(token, from, poolToken, amount);
		tokens = IPoolToken(poolToken).mint(to);
	}
	function mint(
		address poolToken, 
		uint amount,
		address to,
		bytes calldata permitsData
	) external permit(permitsData) returns (uint tokens) {
		return _mint(poolToken, IPoolToken(poolToken).underlying(), amount, msg.sender, to);
	}
	function mintETH(
		address poolToken, 
		address to
	) external payable checkETH(poolToken) returns (uint tokens) {
		IWETH(WETH).deposit.value(msg.value)();
		return _mint(poolToken, WETH, msg.value, address(this), to);
	}
	
	/*** Redeem ***/
	
	function redeem(
		address poolToken,
		uint tokens,
		address to,
		bytes memory permitsData
	) public permit(permitsData) returns (uint amount) {
		uint tokensBalance = IERC20(poolToken).balanceOf(msg.sender);
		tokens = tokens < tokensBalance ? tokens : tokensBalance;
		IPoolToken(poolToken).transferFrom(msg.sender, poolToken, tokens);
		return IPoolToken(poolToken).redeem(to);
	}
	function redeemETH(
		address poolToken, 
		uint tokens,
		address to,
		bytes memory permitsData
	) public checkETH(poolToken) permit(permitsData) returns (uint amountETH) {
		uint tokensBalance = IERC20(poolToken).balanceOf(msg.sender);
		tokens = tokens < tokensBalance ? tokens : tokensBalance;
		IPoolToken(poolToken).transferFrom(msg.sender, poolToken, tokens);
		amountETH = IPoolToken(poolToken).redeem(address(this));
		IWETH(WETH).withdraw(amountETH);
		TransferHelper.safeTransferETH(to, amountETH);
	}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_WETH","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"constant":true,"inputs":[],"name":"WETH","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"poolToken","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"address","name":"to","type":"address"},{"internalType":"bytes","name":"permitsData","type":"bytes"}],"name":"mint","outputs":[{"internalType":"uint256","name":"tokens","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"poolToken","type":"address"},{"internalType":"address","name":"to","type":"address"}],"name":"mintETH","outputs":[{"internalType":"uint256","name":"tokens","type":"uint256"}],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"poolToken","type":"address"},{"internalType":"uint256","name":"tokens","type":"uint256"},{"internalType":"address","name":"to","type":"address"},{"internalType":"bytes","name":"permitsData","type":"bytes"}],"name":"redeem","outputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"poolToken","type":"address"},{"internalType":"uint256","name":"tokens","type":"uint256"},{"internalType":"address","name":"to","type":"address"},{"internalType":"bytes","name":"permitsData","type":"bytes"}],"name":"redeemETH","outputs":[{"internalType":"uint256","name":"amountETH","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b50604051620023743803806200237483398101604081905262000034916200006d565b600080546001600160a01b0319166001600160a01b0392909216919091179055620000c2565b80516200006781620000a8565b92915050565b6000602082840312156200008057600080fd5b60006200008e84846200005a565b949350505050565b60006001600160a01b03821662000067565b620000b38162000096565b8114620000bf57600080fd5b50565b6122a280620000d26000396000f3fe60806040526004361061005a5760003560e01c8063d309e12811610043578063d309e128146100c8578063e26a9420146100e8578063e97a7c21146101085761005a565b80634d3043bf1461007d578063ad5c4648146100a6575b60005473ffffffffffffffffffffffffffffffffffffffff16331461007b57fe5b005b61009061008b366004611814565b610128565b60405161009d91906120b8565b60405180910390f35b3480156100b257600080fd5b506100bb6102ba565b60405161009d9190611e6a565b3480156100d457600080fd5b506100906100e33660046118cc565b6102d6565b3480156100f457600080fd5b506100906101033660046118cc565b610672565b34801561011457600080fd5b5061009061012336600461184e565b6108a8565b6000828073ffffffffffffffffffffffffffffffffffffffff16636f307dc36040518163ffffffff1660e01b815260040160206040518083038186803b15801561017157600080fd5b505afa158015610185573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506101a991908101906117f6565b60005473ffffffffffffffffffffffffffffffffffffffff908116911614610206576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101fd90612098565b60405180910390fd5b60008054604080517fd0e30db0000000000000000000000000000000000000000000000000000000008152905173ffffffffffffffffffffffffffffffffffffffff9092169263d0e30db0923492600480820193929182900301818588803b15801561027157600080fd5b505af1158015610285573d6000803e3d6000fd5b50506000546102b2935087925073ffffffffffffffffffffffffffffffffffffffff169050343087610989565b949350505050565b60005473ffffffffffffffffffffffffffffffffffffffff1681565b6000848073ffffffffffffffffffffffffffffffffffffffff16636f307dc36040518163ffffffff1660e01b815260040160206040518083038186803b15801561031f57600080fd5b505afa158015610333573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061035791908101906117f6565b60005473ffffffffffffffffffffffffffffffffffffffff9081169116146103ab576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101fd90612098565b826060818060200190516103c29190810190611945565b90506103cd81610a73565b6040517f70a0823100000000000000000000000000000000000000000000000000000000815260009073ffffffffffffffffffffffffffffffffffffffff8a16906370a0823190610422903390600401611e78565b60206040518083038186803b15801561043a57600080fd5b505afa15801561044e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506104729190810190611a39565b90508088106104815780610483565b875b6040517f23b872dd00000000000000000000000000000000000000000000000000000000815290985073ffffffffffffffffffffffffffffffffffffffff8a16906323b872dd906104dc9033908d908d90600401611e86565b602060405180830381600087803b1580156104f657600080fd5b505af115801561050a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061052e919081019061197a565b506040517f95a2251f00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8a16906395a2251f90610581903090600401611e78565b602060405180830381600087803b15801561059b57600080fd5b505af11580156105af573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506105d39190810190611a39565b6000546040517f2e1a7d4d00000000000000000000000000000000000000000000000000000000815291965073ffffffffffffffffffffffffffffffffffffffff1690632e1a7d4d9061062a9088906004016120b8565b600060405180830381600087803b15801561064457600080fd5b505af1158015610658573d6000803e3d6000fd5b505050506106668786610aa7565b50505050949350505050565b60008160608180602001905161068b9190810190611945565b905061069681610a73565b6040517f70a0823100000000000000000000000000000000000000000000000000000000815260009073ffffffffffffffffffffffffffffffffffffffff8916906370a08231906106eb903390600401611e78565b60206040518083038186803b15801561070357600080fd5b505afa158015610717573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061073b9190810190611a39565b905080871061074a578061074c565b865b6040517f23b872dd00000000000000000000000000000000000000000000000000000000815290975073ffffffffffffffffffffffffffffffffffffffff8916906323b872dd906107a59033908c908c90600401611e86565b602060405180830381600087803b1580156107bf57600080fd5b505af11580156107d3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506107f7919081019061197a565b506040517f95a2251f00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8916906395a2251f9061084a908990600401611e6a565b602060405180830381600087803b15801561086457600080fd5b505af1158015610878573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061089c9190810190611a39565b98975050505050505050565b600082828080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250508251606092506108f8915083016020908101908401611945565b905061090381610a73565b61089c888973ffffffffffffffffffffffffffffffffffffffff16636f307dc36040518163ffffffff1660e01b815260040160206040518083038186803b15801561094d57600080fd5b505afa158015610961573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061098591908101906117f6565b89338a5b600073ffffffffffffffffffffffffffffffffffffffff83163014156109b9576109b4858786610b60565b6109c5565b6109c585848887610c8a565b6040517f6a62784200000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff871690636a62784290610a17908590600401611e6a565b602060405180830381600087803b158015610a3157600080fd5b505af1158015610a45573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610a699190810190611a39565b9695505050505050565b60005b8151811015610aa357610a9b828281518110610a8e57fe5b6020026020010151610dc6565b600101610a76565b5050565b6040805160008082526020820190925273ffffffffffffffffffffffffffffffffffffffff8416908390604051610ade9190611e57565b60006040518083038185875af1925050503d8060008114610b1b576040519150601f19603f3d011682016040523d82523d6000602084013e610b20565b606091505b5050905080610b5b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101fd90612068565b505050565b600060608473ffffffffffffffffffffffffffffffffffffffff1663a9059cbb8585604051602401610b93929190611fd3565b6040516020818303038152906040529060e01b6020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050604051610be19190611e57565b6000604051808303816000865af19150503d8060008114610c1e576040519150601f19603f3d011682016040523d82523d6000602084013e610c23565b606091505b5091509150818015610c4d575080511580610c4d575080806020019051610c4d919081019061197a565b610c83576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101fd906120a8565b5050505050565b6040517fdd62ed3e00000000000000000000000000000000000000000000000000000000815260009073ffffffffffffffffffffffffffffffffffffffff86169063dd62ed3e90610ce19087903090600401611f75565b60206040518083038186803b158015610cf957600080fd5b505afa158015610d0d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610d319190810190611a39565b9050818110610d4c57610d4685858585610ff3565b50610dc0565b6e22d473030f116ddee9f6b43ac78ba36336c785168585610d6c86611120565b896040518563ffffffff1660e01b8152600401610d8c9493929190611f90565b600060405180830381600087803b158015610da657600080fd5b505af1158015610dba573d6000803e3d6000fd5b50505050505b50505050565b600081516003811115610dd557fe5b1415610e1f57610de3611335565b8160200151806020019051610dfb91908101906119c8565b9050610e198160000151826020015183604001518560400151611174565b50610ff0565b600181516003811115610e2e57fe5b1415610e7257610e3c611335565b8160200151806020019051610e5491908101906119c8565b9050610e198160000151826020015183604001518560400151611208565b600281516003811115610e8157fe5b1415610f3457610e8f61136c565b8160200151806020019051610ea79190810190611a1b565b60408084015190517f2b67b5700000000000000000000000000000000000000000000000000000000081529192506e22d473030f116ddee9f6b43ac78ba391632b67b57091610efc9133918691600401611f47565b600060405180830381600087803b158015610f1657600080fd5b505af1158015610f2a573d6000803e3d6000fd5b5050505050610ff0565b600381516003811115610f4357fe5b1415610fbe57610f51611393565b8160200151806020019051610f6991908101906119e6565b60408084015190517f2a2d80d10000000000000000000000000000000000000000000000000000000081529192506e22d473030f116ddee9f6b43ac78ba391632a2d80d191610efc9133918691600401611f0a565b6040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101fd90612048565b50565b600060608573ffffffffffffffffffffffffffffffffffffffff166323b872dd86868660405160240161102893929190611fc5565b6040516020818303038152906040529060e01b6020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040516110769190611e57565b6000604051808303816000865af19150503d80600081146110b3576040519150601f19603f3d011682016040523d82523d6000602084013e6110b8565b606091505b50915091508180156110e25750805115806110e25750808060200190516110e2919081019061197a565b611118576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101fd90612058565b505050505050565b6000740100000000000000000000000000000000000000008210611170576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101fd90612088565b5090565b60008060006111828461125f565b9250925092508673ffffffffffffffffffffffffffffffffffffffff1663d505accf333089898689896040518863ffffffff1660e01b81526004016111cd9796959493929190611eae565b600060405180830381600087803b1580156111e757600080fd5b505af11580156111fb573d6000803e3d6000fd5b5050505050505050505050565b60008060006112168461125f565b9250925092508673ffffffffffffffffffffffffffffffffffffffff16637ac2ff7b3088888588886040518763ffffffff1660e01b81526004016111cd96959493929190611fee565b60008060008351604114156112a557838060200190516112829190810190611998565b855191945092508490604090811061129657fe5b016020015160f81c905061132e565b8351604014156112fc576000848060200190516112c59190810190611998565b9094507f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8116935060ff1c601b01915061132e9050565b6040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101fd90612078565b9193909250565b6040518060600160405280600073ffffffffffffffffffffffffffffffffffffffff16815260200160008152602001600081525090565b604051806060016040528061137f6113ca565b815260006020820181905260409091015290565b604051806060016040528060608152602001600073ffffffffffffffffffffffffffffffffffffffff168152602001600081525090565b60408051608081018252600080825260208201819052918101829052606081019190915290565b80356113fc8161221a565b92915050565b80516113fc8161221a565b600082601f83011261141e57600080fd5b815161143161142c826120ed565b6120c6565b9150818183526020840193506020810190508385608084028201111561145657600080fd5b60005b83811015611484578161146c8882611698565b84525060209092019160809190910190600101611459565b5050505092915050565b600082601f83011261149f57600080fd5b81516114ad61142c826120ed565b81815260209384019390925082018360005b8381101561148457815186016114d58882611756565b84525060209283019291909101906001016114bf565b80516113fc8161222e565b80516113fc81612237565b60008083601f84011261151357600080fd5b50813567ffffffffffffffff81111561152b57600080fd5b60208301915083600182028301111561154357600080fd5b9250929050565b600082601f83011261155b57600080fd5b815161156961142c8261210e565b9150808252602083016020830185838301111561158557600080fd5b6115908382846121c6565b50505092915050565b600082601f8301126115aa57600080fd5b81356115b861142c8261210e565b915080825260208301602083018583830111156115d457600080fd5b6115908382846121ba565b80516113fc81612240565b6000606082840312156115fc57600080fd5b61160660606120c6565b905060006116148484611402565b8252506020611625848483016114f6565b6020830152506040611639848285016114f6565b60408301525092915050565b60006060828403121561165757600080fd5b61166160606120c6565b825190915067ffffffffffffffff81111561167b57600080fd5b6116878482850161140d565b825250602061162584848301611402565b6000608082840312156116aa57600080fd5b6116b460806120c6565b905060006116c28484611402565b82525060206116d3848483016117d5565b60208301525060406116e7848285016117eb565b60408301525060606116fb848285016117eb565b60608301525092915050565b600060c0828403121561171957600080fd5b61172360606120c6565b905060006117318484611698565b825250608061174284848301611402565b60208301525060a0611639848285016114f6565b60006060828403121561176857600080fd5b61177260606120c6565b9050600061178084846115df565b825250602082015167ffffffffffffffff81111561179d57600080fd5b6117a98482850161154a565b602083015250604082015167ffffffffffffffff8111156117c957600080fd5b6116398482850161154a565b80516113fc8161224d565b80356113fc81612237565b80516113fc81612256565b60006020828403121561180857600080fd5b60006102b28484611402565b6000806040838503121561182757600080fd5b600061183385856113f1565b9250506020611844858286016113f1565b9150509250929050565b60008060008060006080868803121561186657600080fd5b600061187288886113f1565b9550506020611883888289016117e0565b9450506040611894888289016113f1565b935050606086013567ffffffffffffffff8111156118b157600080fd5b6118bd88828901611501565b92509250509295509295909350565b600080600080608085870312156118e257600080fd5b60006118ee87876113f1565b94505060206118ff878288016117e0565b9350506040611910878288016113f1565b925050606085013567ffffffffffffffff81111561192d57600080fd5b61193987828801611599565b91505092959194509250565b60006020828403121561195757600080fd5b815167ffffffffffffffff81111561196e57600080fd5b6102b28482850161148e565b60006020828403121561198c57600080fd5b60006102b284846114eb565b600080604083850312156119ab57600080fd5b60006119b785856114f6565b9250506020611844858286016114f6565b6000606082840312156119da57600080fd5b60006102b284846115ea565b6000602082840312156119f857600080fd5b815167ffffffffffffffff811115611a0f57600080fd5b6102b284828501611645565b600060c08284031215611a2d57600080fd5b60006102b28484611707565b600060208284031215611a4b57600080fd5b60006102b284846114f6565b6000611a638383611dbb565b505060800190565b611a74816121a9565b82525050565b611a748161216c565b6000611a8e8261215a565b611a98818561215e565b9350611aa383612154565b8060005b83811015611ad1578151611abb8882611a57565b9750611ac683612154565b925050600101611aa7565b509495945050505050565b611a748161217c565b6000611af08261215a565b611afa8185612167565b9350611b0a8185602086016121c6565b9290920192915050565b6000611b1f8261215a565b611b29818561215e565b9350611b398185602086016121c6565b611b42816121f2565b9093019392505050565b6000611b59601e8361215e565b7f496d7065726d6178526f757465723a20494e56414c49445f5045524d49540000815260200192915050565b6000611b9260318361215e565b7f5472616e7366657248656c7065723a3a7472616e7366657246726f6d3a20747281527f616e7366657246726f6d206661696c6564000000000000000000000000000000602082015260400192915050565b6000611bf160348361215e565b7f5472616e7366657248656c7065723a3a736166655472616e736665724554483a81527f20455448207472616e73666572206661696c6564000000000000000000000000602082015260400192915050565b6000611c5060288361215e565b7f496d7065726d6178526f757465723a20494e56414c49445f5349474e4154555281527f455f4c454e475448000000000000000000000000000000000000000000000000602082015260400192915050565b6000611caf60118361215e565b7f496d7065726d61783a2053414645313630000000000000000000000000000000815260200192915050565b6000611ce860188361215e565b7f496d7065726d6178526f757465723a204e4f545f574554480000000000000000815260200192915050565b6000611d21602d8361215e565b7f5472616e7366657248656c7065723a3a736166655472616e736665723a20747281527f616e73666572206661696c656400000000000000000000000000000000000000602082015260400192915050565b8051606080845260009190840190611d8b8282611a83565b9150506020830151611da06020860182611a7a565b506040830151611db36040860182611adc565b509392505050565b80516080830190611dcc8482611a7a565b506020820151611ddf6020850182611e3c565b506040820151611df26040850182611e45565b506060820151610dc06060850182611e45565b805160c0830190611e168482611dbb565b506020820151611e296080850182611a7a565b506040820151610dc060a0850182611adc565b611a748161217f565b611a7481612198565b611a74816121a3565b6000611e638284611ae5565b9392505050565b602081016113fc8284611a7a565b602081016113fc8284611a6b565b60608101611e948286611a6b565b611ea16020830185611a7a565b6102b26040830184611adc565b60e08101611ebc828a611a6b565b611ec96020830189611a7a565b611ed66040830188611adc565b611ee36060830187611adc565b611ef06080830186611e4e565b611efd60a0830185611adc565b61089c60c0830184611adc565b60608101611f188286611a6b565b8181036020830152611f2a8185611d73565b90508181036040830152611f3e8184611b14565b95945050505050565b6101008101611f568286611a6b565b611f636020830185611e05565b81810360e0830152611f3e8184611b14565b60408101611f838285611a7a565b611e636020830184611a7a565b60808101611f9e8287611a7a565b611fab6020830186611a7a565b611fb86040830185611e3c565b611f3e6060830184611a7a565b60608101611e948286611a7a565b60408101611fe18285611a7a565b611e636020830184611adc565b60c08101611ffc8289611a7a565b6120096020830188611adc565b6120166040830187611adc565b6120236060830186611e4e565b6120306080830185611adc565b61203d60a0830184611adc565b979650505050505050565b602080825281016113fc81611b4c565b602080825281016113fc81611b85565b602080825281016113fc81611be4565b602080825281016113fc81611c43565b602080825281016113fc81611ca2565b602080825281016113fc81611cdb565b602080825281016113fc81611d14565b602081016113fc8284611adc565b60405181810167ffffffffffffffff811182821017156120e557600080fd5b604052919050565b600067ffffffffffffffff82111561210457600080fd5b5060209081020190565b600067ffffffffffffffff82111561212557600080fd5b506020601f919091017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0160190565b60200190565b5190565b90815260200190565b919050565b60006113fc8261217f565b151590565b90565b73ffffffffffffffffffffffffffffffffffffffff1690565b65ffffffffffff1690565b60ff1690565b60006113fc8260006113fc8261216c565b82818337506000910152565b60005b838110156121e15781810151838201526020016121c9565b83811115610dc05750506000910152565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01690565b6122238161216c565b8114610ff057600080fd5b61222381612177565b6122238161217c565b60048110610ff057600080fd5b6122238161217f565b6122238161219856fea365627a7a7231582024f3f8a366be40713752da620baa36dbc8d159622941cae6ba194090ef8067136c6578706572696d656e74616cf564736f6c634300051000400000000000000000000000004200000000000000000000000000000000000006

0x60806040526004361061005a5760003560e01c8063d309e12811610043578063d309e128146100c8578063e26a9420146100e8578063e97a7c21146101085761005a565b80634d3043bf1461007d578063ad5c4648146100a6575b60005473ffffffffffffffffffffffffffffffffffffffff16331461007b57fe5b005b61009061008b366004611814565b610128565b60405161009d91906120b8565b60405180910390f35b3480156100b257600080fd5b506100bb6102ba565b60405161009d9190611e6a565b3480156100d457600080fd5b506100906100e33660046118cc565b6102d6565b3480156100f457600080fd5b506100906101033660046118cc565b610672565b34801561011457600080fd5b5061009061012336600461184e565b6108a8565b6000828073ffffffffffffffffffffffffffffffffffffffff16636f307dc36040518163ffffffff1660e01b815260040160206040518083038186803b15801561017157600080fd5b505afa158015610185573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506101a991908101906117f6565b60005473ffffffffffffffffffffffffffffffffffffffff908116911614610206576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101fd90612098565b60405180910390fd5b60008054604080517fd0e30db0000000000000000000000000000000000000000000000000000000008152905173ffffffffffffffffffffffffffffffffffffffff9092169263d0e30db0923492600480820193929182900301818588803b15801561027157600080fd5b505af1158015610285573d6000803e3d6000fd5b50506000546102b2935087925073ffffffffffffffffffffffffffffffffffffffff169050343087610989565b949350505050565b60005473ffffffffffffffffffffffffffffffffffffffff1681565b6000848073ffffffffffffffffffffffffffffffffffffffff16636f307dc36040518163ffffffff1660e01b815260040160206040518083038186803b15801561031f57600080fd5b505afa158015610333573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061035791908101906117f6565b60005473ffffffffffffffffffffffffffffffffffffffff9081169116146103ab576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101fd90612098565b826060818060200190516103c29190810190611945565b90506103cd81610a73565b6040517f70a0823100000000000000000000000000000000000000000000000000000000815260009073ffffffffffffffffffffffffffffffffffffffff8a16906370a0823190610422903390600401611e78565b60206040518083038186803b15801561043a57600080fd5b505afa15801561044e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506104729190810190611a39565b90508088106104815780610483565b875b6040517f23b872dd00000000000000000000000000000000000000000000000000000000815290985073ffffffffffffffffffffffffffffffffffffffff8a16906323b872dd906104dc9033908d908d90600401611e86565b602060405180830381600087803b1580156104f657600080fd5b505af115801561050a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061052e919081019061197a565b506040517f95a2251f00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8a16906395a2251f90610581903090600401611e78565b602060405180830381600087803b15801561059b57600080fd5b505af11580156105af573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506105d39190810190611a39565b6000546040517f2e1a7d4d00000000000000000000000000000000000000000000000000000000815291965073ffffffffffffffffffffffffffffffffffffffff1690632e1a7d4d9061062a9088906004016120b8565b600060405180830381600087803b15801561064457600080fd5b505af1158015610658573d6000803e3d6000fd5b505050506106668786610aa7565b50505050949350505050565b60008160608180602001905161068b9190810190611945565b905061069681610a73565b6040517f70a0823100000000000000000000000000000000000000000000000000000000815260009073ffffffffffffffffffffffffffffffffffffffff8916906370a08231906106eb903390600401611e78565b60206040518083038186803b15801561070357600080fd5b505afa158015610717573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061073b9190810190611a39565b905080871061074a578061074c565b865b6040517f23b872dd00000000000000000000000000000000000000000000000000000000815290975073ffffffffffffffffffffffffffffffffffffffff8916906323b872dd906107a59033908c908c90600401611e86565b602060405180830381600087803b1580156107bf57600080fd5b505af11580156107d3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506107f7919081019061197a565b506040517f95a2251f00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8916906395a2251f9061084a908990600401611e6a565b602060405180830381600087803b15801561086457600080fd5b505af1158015610878573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061089c9190810190611a39565b98975050505050505050565b600082828080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250508251606092506108f8915083016020908101908401611945565b905061090381610a73565b61089c888973ffffffffffffffffffffffffffffffffffffffff16636f307dc36040518163ffffffff1660e01b815260040160206040518083038186803b15801561094d57600080fd5b505afa158015610961573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061098591908101906117f6565b89338a5b600073ffffffffffffffffffffffffffffffffffffffff83163014156109b9576109b4858786610b60565b6109c5565b6109c585848887610c8a565b6040517f6a62784200000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff871690636a62784290610a17908590600401611e6a565b602060405180830381600087803b158015610a3157600080fd5b505af1158015610a45573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610a699190810190611a39565b9695505050505050565b60005b8151811015610aa357610a9b828281518110610a8e57fe5b6020026020010151610dc6565b600101610a76565b5050565b6040805160008082526020820190925273ffffffffffffffffffffffffffffffffffffffff8416908390604051610ade9190611e57565b60006040518083038185875af1925050503d8060008114610b1b576040519150601f19603f3d011682016040523d82523d6000602084013e610b20565b606091505b5050905080610b5b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101fd90612068565b505050565b600060608473ffffffffffffffffffffffffffffffffffffffff1663a9059cbb8585604051602401610b93929190611fd3565b6040516020818303038152906040529060e01b6020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050604051610be19190611e57565b6000604051808303816000865af19150503d8060008114610c1e576040519150601f19603f3d011682016040523d82523d6000602084013e610c23565b606091505b5091509150818015610c4d575080511580610c4d575080806020019051610c4d919081019061197a565b610c83576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101fd906120a8565b5050505050565b6040517fdd62ed3e00000000000000000000000000000000000000000000000000000000815260009073ffffffffffffffffffffffffffffffffffffffff86169063dd62ed3e90610ce19087903090600401611f75565b60206040518083038186803b158015610cf957600080fd5b505afa158015610d0d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610d319190810190611a39565b9050818110610d4c57610d4685858585610ff3565b50610dc0565b6e22d473030f116ddee9f6b43ac78ba36336c785168585610d6c86611120565b896040518563ffffffff1660e01b8152600401610d8c9493929190611f90565b600060405180830381600087803b158015610da657600080fd5b505af1158015610dba573d6000803e3d6000fd5b50505050505b50505050565b600081516003811115610dd557fe5b1415610e1f57610de3611335565b8160200151806020019051610dfb91908101906119c8565b9050610e198160000151826020015183604001518560400151611174565b50610ff0565b600181516003811115610e2e57fe5b1415610e7257610e3c611335565b8160200151806020019051610e5491908101906119c8565b9050610e198160000151826020015183604001518560400151611208565b600281516003811115610e8157fe5b1415610f3457610e8f61136c565b8160200151806020019051610ea79190810190611a1b565b60408084015190517f2b67b5700000000000000000000000000000000000000000000000000000000081529192506e22d473030f116ddee9f6b43ac78ba391632b67b57091610efc9133918691600401611f47565b600060405180830381600087803b158015610f1657600080fd5b505af1158015610f2a573d6000803e3d6000fd5b5050505050610ff0565b600381516003811115610f4357fe5b1415610fbe57610f51611393565b8160200151806020019051610f6991908101906119e6565b60408084015190517f2a2d80d10000000000000000000000000000000000000000000000000000000081529192506e22d473030f116ddee9f6b43ac78ba391632a2d80d191610efc9133918691600401611f0a565b6040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101fd90612048565b50565b600060608573ffffffffffffffffffffffffffffffffffffffff166323b872dd86868660405160240161102893929190611fc5565b6040516020818303038152906040529060e01b6020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040516110769190611e57565b6000604051808303816000865af19150503d80600081146110b3576040519150601f19603f3d011682016040523d82523d6000602084013e6110b8565b606091505b50915091508180156110e25750805115806110e25750808060200190516110e2919081019061197a565b611118576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101fd90612058565b505050505050565b6000740100000000000000000000000000000000000000008210611170576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101fd90612088565b5090565b60008060006111828461125f565b9250925092508673ffffffffffffffffffffffffffffffffffffffff1663d505accf333089898689896040518863ffffffff1660e01b81526004016111cd9796959493929190611eae565b600060405180830381600087803b1580156111e757600080fd5b505af11580156111fb573d6000803e3d6000fd5b5050505050505050505050565b60008060006112168461125f565b9250925092508673ffffffffffffffffffffffffffffffffffffffff16637ac2ff7b3088888588886040518763ffffffff1660e01b81526004016111cd96959493929190611fee565b60008060008351604114156112a557838060200190516112829190810190611998565b855191945092508490604090811061129657fe5b016020015160f81c905061132e565b8351604014156112fc576000848060200190516112c59190810190611998565b9094507f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8116935060ff1c601b01915061132e9050565b6040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101fd90612078565b9193909250565b6040518060600160405280600073ffffffffffffffffffffffffffffffffffffffff16815260200160008152602001600081525090565b604051806060016040528061137f6113ca565b815260006020820181905260409091015290565b604051806060016040528060608152602001600073ffffffffffffffffffffffffffffffffffffffff168152602001600081525090565b60408051608081018252600080825260208201819052918101829052606081019190915290565b80356113fc8161221a565b92915050565b80516113fc8161221a565b600082601f83011261141e57600080fd5b815161143161142c826120ed565b6120c6565b9150818183526020840193506020810190508385608084028201111561145657600080fd5b60005b83811015611484578161146c8882611698565b84525060209092019160809190910190600101611459565b5050505092915050565b600082601f83011261149f57600080fd5b81516114ad61142c826120ed565b81815260209384019390925082018360005b8381101561148457815186016114d58882611756565b84525060209283019291909101906001016114bf565b80516113fc8161222e565b80516113fc81612237565b60008083601f84011261151357600080fd5b50813567ffffffffffffffff81111561152b57600080fd5b60208301915083600182028301111561154357600080fd5b9250929050565b600082601f83011261155b57600080fd5b815161156961142c8261210e565b9150808252602083016020830185838301111561158557600080fd5b6115908382846121c6565b50505092915050565b600082601f8301126115aa57600080fd5b81356115b861142c8261210e565b915080825260208301602083018583830111156115d457600080fd5b6115908382846121ba565b80516113fc81612240565b6000606082840312156115fc57600080fd5b61160660606120c6565b905060006116148484611402565b8252506020611625848483016114f6565b6020830152506040611639848285016114f6565b60408301525092915050565b60006060828403121561165757600080fd5b61166160606120c6565b825190915067ffffffffffffffff81111561167b57600080fd5b6116878482850161140d565b825250602061162584848301611402565b6000608082840312156116aa57600080fd5b6116b460806120c6565b905060006116c28484611402565b82525060206116d3848483016117d5565b60208301525060406116e7848285016117eb565b60408301525060606116fb848285016117eb565b60608301525092915050565b600060c0828403121561171957600080fd5b61172360606120c6565b905060006117318484611698565b825250608061174284848301611402565b60208301525060a0611639848285016114f6565b60006060828403121561176857600080fd5b61177260606120c6565b9050600061178084846115df565b825250602082015167ffffffffffffffff81111561179d57600080fd5b6117a98482850161154a565b602083015250604082015167ffffffffffffffff8111156117c957600080fd5b6116398482850161154a565b80516113fc8161224d565b80356113fc81612237565b80516113fc81612256565b60006020828403121561180857600080fd5b60006102b28484611402565b6000806040838503121561182757600080fd5b600061183385856113f1565b9250506020611844858286016113f1565b9150509250929050565b60008060008060006080868803121561186657600080fd5b600061187288886113f1565b9550506020611883888289016117e0565b9450506040611894888289016113f1565b935050606086013567ffffffffffffffff8111156118b157600080fd5b6118bd88828901611501565b92509250509295509295909350565b600080600080608085870312156118e257600080fd5b60006118ee87876113f1565b94505060206118ff878288016117e0565b9350506040611910878288016113f1565b925050606085013567ffffffffffffffff81111561192d57600080fd5b61193987828801611599565b91505092959194509250565b60006020828403121561195757600080fd5b815167ffffffffffffffff81111561196e57600080fd5b6102b28482850161148e565b60006020828403121561198c57600080fd5b60006102b284846114eb565b600080604083850312156119ab57600080fd5b60006119b785856114f6565b9250506020611844858286016114f6565b6000606082840312156119da57600080fd5b60006102b284846115ea565b6000602082840312156119f857600080fd5b815167ffffffffffffffff811115611a0f57600080fd5b6102b284828501611645565b600060c08284031215611a2d57600080fd5b60006102b28484611707565b600060208284031215611a4b57600080fd5b60006102b284846114f6565b6000611a638383611dbb565b505060800190565b611a74816121a9565b82525050565b611a748161216c565b6000611a8e8261215a565b611a98818561215e565b9350611aa383612154565b8060005b83811015611ad1578151611abb8882611a57565b9750611ac683612154565b925050600101611aa7565b509495945050505050565b611a748161217c565b6000611af08261215a565b611afa8185612167565b9350611b0a8185602086016121c6565b9290920192915050565b6000611b1f8261215a565b611b29818561215e565b9350611b398185602086016121c6565b611b42816121f2565b9093019392505050565b6000611b59601e8361215e565b7f496d7065726d6178526f757465723a20494e56414c49445f5045524d49540000815260200192915050565b6000611b9260318361215e565b7f5472616e7366657248656c7065723a3a7472616e7366657246726f6d3a20747281527f616e7366657246726f6d206661696c6564000000000000000000000000000000602082015260400192915050565b6000611bf160348361215e565b7f5472616e7366657248656c7065723a3a736166655472616e736665724554483a81527f20455448207472616e73666572206661696c6564000000000000000000000000602082015260400192915050565b6000611c5060288361215e565b7f496d7065726d6178526f757465723a20494e56414c49445f5349474e4154555281527f455f4c454e475448000000000000000000000000000000000000000000000000602082015260400192915050565b6000611caf60118361215e565b7f496d7065726d61783a2053414645313630000000000000000000000000000000815260200192915050565b6000611ce860188361215e565b7f496d7065726d6178526f757465723a204e4f545f574554480000000000000000815260200192915050565b6000611d21602d8361215e565b7f5472616e7366657248656c7065723a3a736166655472616e736665723a20747281527f616e73666572206661696c656400000000000000000000000000000000000000602082015260400192915050565b8051606080845260009190840190611d8b8282611a83565b9150506020830151611da06020860182611a7a565b506040830151611db36040860182611adc565b509392505050565b80516080830190611dcc8482611a7a565b506020820151611ddf6020850182611e3c565b506040820151611df26040850182611e45565b506060820151610dc06060850182611e45565b805160c0830190611e168482611dbb565b506020820151611e296080850182611a7a565b506040820151610dc060a0850182611adc565b611a748161217f565b611a7481612198565b611a74816121a3565b6000611e638284611ae5565b9392505050565b602081016113fc8284611a7a565b602081016113fc8284611a6b565b60608101611e948286611a6b565b611ea16020830185611a7a565b6102b26040830184611adc565b60e08101611ebc828a611a6b565b611ec96020830189611a7a565b611ed66040830188611adc565b611ee36060830187611adc565b611ef06080830186611e4e565b611efd60a0830185611adc565b61089c60c0830184611adc565b60608101611f188286611a6b565b8181036020830152611f2a8185611d73565b90508181036040830152611f3e8184611b14565b95945050505050565b6101008101611f568286611a6b565b611f636020830185611e05565b81810360e0830152611f3e8184611b14565b60408101611f838285611a7a565b611e636020830184611a7a565b60808101611f9e8287611a7a565b611fab6020830186611a7a565b611fb86040830185611e3c565b611f3e6060830184611a7a565b60608101611e948286611a7a565b60408101611fe18285611a7a565b611e636020830184611adc565b60c08101611ffc8289611a7a565b6120096020830188611adc565b6120166040830187611adc565b6120236060830186611e4e565b6120306080830185611adc565b61203d60a0830184611adc565b979650505050505050565b602080825281016113fc81611b4c565b602080825281016113fc81611b85565b602080825281016113fc81611be4565b602080825281016113fc81611c43565b602080825281016113fc81611ca2565b602080825281016113fc81611cdb565b602080825281016113fc81611d14565b602081016113fc8284611adc565b60405181810167ffffffffffffffff811182821017156120e557600080fd5b604052919050565b600067ffffffffffffffff82111561210457600080fd5b5060209081020190565b600067ffffffffffffffff82111561212557600080fd5b506020601f919091017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0160190565b60200190565b5190565b90815260200190565b919050565b60006113fc8261217f565b151590565b90565b73ffffffffffffffffffffffffffffffffffffffff1690565b65ffffffffffff1690565b60ff1690565b60006113fc8260006113fc8261216c565b82818337506000910152565b60005b838110156121e15781810151838201526020016121c9565b83811115610dc05750506000910152565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01690565b6122238161216c565b8114610ff057600080fd5b61222381612177565b6122238161217c565b60048110610ff057600080fd5b6122238161217f565b6122238161219856fea365627a7a7231582024f3f8a366be40713752da620baa36dbc8d159622941cae6ba194090ef8067136c6578706572696d656e74616cf564736f6c63430005100040

0000000000000000000000004200000000000000000000000000000000000006

-----Decoded View---------------
Arg [0] : _WETH (address): 0x4200000000000000000000000000000000000006

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000004200000000000000000000000000000000000006

28583:2412:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29120:4;;;;29106:10;:18;29099:26;;;;28583:2412;29810:230;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;28643:19;;8:9:-1;5:2;;;30:1;27;20:12;5:2;28643:19:0;;;:::i;:::-;;;;;;;;30467:525;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;30467:525:0;;;;;;;;:::i;30068:396::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;30068:396:0;;;;;;;;:::i;29560:247::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;29560:247:0;;;;;;;;:::i;29810:230::-;29915:11;29895:9;28737;28726:32;;;:34;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;28726:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;28726:34:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;28726:34:0;;;;;;;;;28718:4;;:42;:4;;;:42;;;28710:79;;;;;;;;;;;;;;;;;;;;;;29939:4;;;29933:38;;;;;;;;29939:4;;;;;29933:19;;29959:9;;29933:38;;;;;29939:4;29933:38;;;;;;29959:9;29939:4;29933:38;;;5:2:-1;;;;30:1;27;20:12;5:2;29933:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;30000:4:0;;29983:52;;-1:-1:-1;29989:9:0;;-1:-1:-1;30000:4:0;;;-1:-1:-1;30006:9:0;30025:4;30032:2;29983:5;:52::i;:::-;29976:59;29810:230;-1:-1:-1;;;;29810:230:0:o;28643:19::-;;;;;;:::o;30467:525::-;30629:14;30589:9;28737;28726:32;;;:34;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;28726:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;28726:34:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;28726:34:0;;;;;;;;;28718:4;;:42;:4;;;:42;;;28710:79;;;;;;;;;;;;;;30607:11;28853:38;28905:11;28894:50;;;;;;;;;;;;;;28853:91;;28949:38;28979:7;28949:29;:38::i;:::-;30671:39;;;;;30650:18;;30671:27;;;;;;:39;;30699:10;;30671:39;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30671:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;30671:39:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;30671:39:0;;;;;;;;;30650:60;;30733:13;30724:6;:22;:47;;30758:13;30724:47;;;30749:6;30724:47;30776:65;;;;;30715:56;;-1:-1:-1;30776:34:0;;;;;;:65;;30811:10;;30787:9;;30715:56;;30776:65;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30776:65:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;30776:65:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;30776:65:0;;;;;;;;;-1:-1:-1;30858:43:0;;;;;:28;;;;;;:43;;30895:4;;30858:43;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30858:43:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;30858:43:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;30858:43:0;;;;;;;;;30912:4;;30906:31;;;;;30846:55;;-1:-1:-1;30912:4:0;;;30906:20;;:31;;30846:55;;30906:31;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30906:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;30906:31:0;;;;30942:45;30973:2;30977:9;30942:30;:45::i;:::-;28992:1;28794;;30467:525;;;;;;;:::o;30068:396::-;30206:11;30184;28853:38;28905:11;28894:50;;;;;;;;;;;;;;28853:91;;28949:38;28979:7;28949:29;:38::i;:::-;30245:39;;;;;30224:18;;30245:27;;;;;;:39;;30273:10;;30245:39;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30245:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;30245:39:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;30245:39:0;;;;;;;;;30224:60;;30307:13;30298:6;:22;:47;;30332:13;30298:47;;;30323:6;30298:47;30350:65;;;;;30289:56;;-1:-1:-1;30350:34:0;;;;;;:65;;30385:10;;30361:9;;30289:56;;30350:65;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30350:65:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;30350:65:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;30350:65:0;;;;;;;;;-1:-1:-1;30427:32:0;;;;;:28;;;;;;:32;;30456:2;;30427:32;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30427:32:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;30427:32:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;30427:32:0;;;;;;;;;30420:39;30068:396;-1:-1:-1;;;;;;;;30068:396:0:o;29560:247::-;29701:11;29679;;28806:192;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;;28894:50:0;;28853:38;;-1:-1:-1;28894:50:0;;-1:-1:-1;28894:50:0;;;;;;;;;;;;28853:91;;28949:38;28979:7;28949:29;:38::i;:::-;29726:76;29732:9;29754;29743:32;;;:34;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;29743:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;29743:34:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;29743:34:0;;;;;;;;;29779:6;29787:10;29799:2;29210:347;29337:11;29359:21;;;29375:4;29359:21;29355:153;;;29382:53;29410:5;29417:9;29428:6;29382:27;:53::i;:::-;29355:153;;;29445:63;29477:5;29484:4;29490:9;29501:6;29445:31;:63::i;:::-;29522:30;;;;;:26;;;;;;:30;;29549:2;;29522:30;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;29522:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;29522:30:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;29522:30:0;;;;;;;;;29513:39;29210:347;-1:-1:-1;;;;;;29210:347:0:o;22163:146::-;22231:6;22226:79;22247:7;:14;22243:1;:18;22226:79;;;22274:25;22288:7;22296:1;22288:10;;;;;;;;;;;;;;22274:13;:25::i;:::-;22263:3;;22226:79;;;;22163:146;:::o;9535:216::-;9647:12;;;9608;9647;;;;;;;;;9626:7;;;;9640:5;;9626:34;;;;;;;;;;;;;;;;;;;;;;;;14:1:-1;21;16:31;;;;75:4;69:11;64:16;;144:4;140:9;133:4;115:16;111:27;107:43;104:1;100:51;94:4;87:65;169:16;166:1;159:27;225:16;222:1;215:4;212:1;208:12;193:49;7:242;;16:31;36:4;31:9;;7:242;;9607:53:0;;;9679:7;9671:72;;;;;;;;;;;;;;9535:216;;;:::o;8572:449::-;8758:12;8772:17;8793:5;:10;;8827;8839:2;8843:5;8804:45;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;8804:45:0;;;;;;38:4:-1;29:7;25:18;67:10;61:17;96:58;199:8;192:4;186;182:15;179:29;167:10;160:49;0:215;;;8804:45:0;8793:57;;;;;;;;;;;;;;;;;;;;;;;14:1:-1;21;16:31;;;;75:4;69:11;64:16;;144:4;140:9;133:4;115:16;111:27;107:43;104:1;100:51;94:4;87:65;169:16;166:1;159:27;225:16;222:1;215:4;212:1;208:12;193:49;7:242;;16:31;36:4;31:9;;7:242;;8757:93:0;;;;8883:7;:57;;;;-1:-1:-1;8895:11:0;;:16;;:44;;;8926:4;8915:24;;;;;;;;;;;;;;8861:152;;;;;;;;;;;;;;8572:449;;;;;:::o;22315:339::-;22428:44;;;;;22411:14;;22428:23;;;;;;:44;;22452:4;;22466;;22428:44;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22428:44:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;22428:44:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;22428:44:0;;;;;;;;;22411:61;;22494:5;22481:9;:18;22477:86;;22508:55;22540:5;22547:4;22553:2;22557:5;22508:31;:55::i;:::-;22501:62;;;22477:86;19479:42;22568:48;22617:4;22623:2;22627:14;22635:5;22627:7;:14::i;:::-;22643:5;22568:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22568:81:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;22568:81:0;;;;22315:339;;;;;;:::o;21009:1148::-;21093:18;21072:17;;:39;;;;;;;;;21068:1084;;;21119:26;;:::i;:::-;21159:6;:17;;;21148:44;;;;;;;;;;;;;;21119:73;;21198:100;21212:7;:13;;;21232:7;:14;;;21253:7;:16;;;21276:6;:16;;;21198:7;:100::i;:::-;21068:1084;;;;21338:21;21317:17;;:42;;;;;;;;;21313:839;;;21367:28;;:::i;:::-;21409:6;:17;;;21398:46;;;;;;;;;;;;;;21367:77;;21450:104;21466:7;:14;;;21487:7;:15;;;21509:7;:16;;;21532:6;:16;;;21450:9;:104::i;21313:839::-;21594:25;21573:17;;:46;;;;;;;;;21569:583;;;21627:46;;:::i;:::-;21687:6;:17;;;21676:64;;;;;;;;;;;;;;21810:16;;;;;21746:81;;;;;21627:113;;-1:-1:-1;19479:42:0;;21746;;:81;;21789:10;;21627:113;;21746:81;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21746:81:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21746:81:0;;;;21569:583;;;;21867:24;21846:17;;:45;;;;;;;;;21842:310;;;21899:45;;:::i;:::-;21958:6;:17;;;21947:63;;;;;;;;;;;;;;22080:16;;;;;22016:81;;;;;21899:111;;-1:-1:-1;19479:42:0;;22016;;:81;;22059:10;;21899:111;;22016:81;;;;21842:310;22112:40;;;;;;;;;;;21842:310;21009:1148;:::o;9029:498::-;9254:12;9268:17;9289:5;:10;;9323;9335:4;9341:2;9345:5;9300:51;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;9300:51:0;;;;;;38:4:-1;29:7;25:18;67:10;61:17;96:58;199:8;192:4;186;182:15;179:29;167:10;160:49;0:215;;;9300:51:0;9289:63;;;;;;;;;;;;;;;;;;;;;;;14:1:-1;21;16:31;;;;75:4;69:11;64:16;;144:4;140:9;133:4;115:16;111:27;107:43;104:1;100:51;94:4;87:65;169:16;166:1;159:27;225:16;222:1;215:4;212:1;208:12;193:49;7:242;;16:31;36:4;31:9;;7:242;;9253:99:0;;;;9385:7;:57;;;;-1:-1:-1;9397:11:0;;:16;;:44;;;9428:4;9417:24;;;;;;;;;;;;;;9363:156;;;;;;;;;;;;;;9029:498;;;;;;:::o;22663:144::-;22711:7;22743:6;22739:1;:10;22731:40;;;;;;;;;;;;;;-1:-1:-1;22797:1:0;22663:144::o;20479:264::-;20596:9;20607;20618:7;20629:26;20645:9;20629:15;:26::i;:::-;20595:60;;;;;;20671:5;20660:24;;;20685:10;20705:4;20712:6;20720:8;20730:1;20733;20736;20660:78;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20660:78:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20660:78:0;;;;20479:264;;;;;;;:::o;20749:254::-;20869:9;20880;20891:7;20902:26;20918:9;20902:15;:26::i;:::-;20868:60;;;;;;20941:6;20933:22;;;20964:4;20971:7;20980:8;20990:1;20993;20996;20933:65;;;;;;;;;;;;;;;;;;;;;19975:497;20046:9;20057;20068:7;20086:9;:16;20106:2;20086:22;20082:386;;;20136:9;20125:41;;;;;;;;;;;;;;20182:13;;20116:50;;-1:-1:-1;20116:50:0;-1:-1:-1;20182:9:0;;20192:2;;20182:13;;;;;;;;;;;;;-1:-1:-1;20082:386:0;;;20212:9;:16;20232:2;20212:22;20208:260;;;20258:10;20295:9;20284:41;;;;;;;;;;;;;;20274:51;;-1:-1:-1;19904:66:0;20335:19;;;-1:-1:-1;20384:3:0;20378:9;20392:2;20364:30;;-1:-1:-1;20208:260:0;;-1:-1:-1;20208:260:0;;20412:50;;;;;;;;;;;20208:260;19975:497;;;;;:::o;28583:2412::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;-1:-1:-1;28583:2412:0;;;;;;;;;;;;;;;;;;;;;;;:::o;5:130:-1:-;72:20;;97:33;72:20;97:33;;;57:78;;;;;142:134;220:13;;238:33;220:13;238:33;;333:792;;483:3;476:4;468:6;464:17;460:27;450:2;;501:1;498;491:12;450:2;531:6;525:13;553:102;568:86;647:6;568:86;;;553:102;;;544:111;;672:5;697:6;690:5;683:21;727:4;719:6;715:17;705:27;;749:4;744:3;740:14;733:21;;802:6;849:3;841:4;833:6;829:17;824:3;820:27;817:36;814:2;;;866:1;863;856:12;814:2;891:1;876:243;901:6;898:1;895:13;876:243;;;959:3;981:74;1051:3;1039:10;981:74;;;969:87;;-1:-1;1079:4;1070:14;;;;1107:4;1098:14;;;;;923:1;916:9;876:243;;;880:14;443:682;;;;;;;;1172:735;;1315:3;1308:4;1300:6;1296:17;1292:27;1282:2;;1333:1;1330;1323:12;1282:2;1363:6;1357:13;1385:95;1400:79;1472:6;1400:79;;1385:95;1508:21;;;1552:4;1540:17;;;;1376:104;;-1:-1;1565:14;;1540:17;1660:1;1645:256;1670:6;1667:1;1664:13;1645:256;;;1746:3;1740:10;1732:6;1728:23;1770:67;1833:3;1821:10;1770:67;;;1758:80;;-1:-1;1861:4;1852:14;;;;1880;;;;;1692:1;1685:9;1645:256;;1915:128;1990:13;;2008:30;1990:13;2008:30;;2050:134;2128:13;;2146:33;2128:13;2146:33;;2205:336;;;2319:3;2312:4;2304:6;2300:17;2296:27;2286:2;;2337:1;2334;2327:12;2286:2;-1:-1;2357:20;;2397:18;2386:30;;2383:2;;;2429:1;2426;2419:12;2383:2;2463:4;2455:6;2451:17;2439:29;;2514:3;2506:4;2498:6;2494:17;2484:8;2480:32;2477:41;2474:2;;;2531:1;2528;2521:12;2474:2;2279:262;;;;;;2550:434;;2658:3;2651:4;2643:6;2639:17;2635:27;2625:2;;2676:1;2673;2666:12;2625:2;2706:6;2700:13;2728:60;2743:44;2780:6;2743:44;;2728:60;2719:69;;2808:6;2801:5;2794:21;2844:4;2836:6;2832:17;2877:4;2870:5;2866:16;2912:3;2903:6;2898:3;2894:16;2891:25;2888:2;;;2929:1;2926;2919:12;2888:2;2939:39;2971:6;2966:3;2961;2939:39;;;2618:366;;;;;;;;2993:440;;3094:3;3087:4;3079:6;3075:17;3071:27;3061:2;;3112:1;3109;3102:12;3061:2;3149:6;3136:20;3171:64;3186:48;3227:6;3186:48;;3171:64;3162:73;;3255:6;3248:5;3241:21;3291:4;3283:6;3279:17;3324:4;3317:5;3313:16;3359:3;3350:6;3345:3;3341:16;3338:25;3335:2;;;3376:1;3373;3366:12;3335:2;3386:41;3420:6;3415:3;3410;3386:41;;3441:162;3533:13;;3551:47;3533:13;3551:47;;3650:661;;3774:4;3762:9;3757:3;3753:19;3749:30;3746:2;;;3792:1;3789;3782:12;3746:2;3810:20;3825:4;3810:20;;;3801:29;-1:-1;3881:1;3913:60;3969:3;3949:9;3913:60;;;3888:86;;-1:-1;4037:2;4070:60;4126:3;4102:22;;;4070:60;;;4063:4;4056:5;4052:16;4045:86;3995:147;4196:2;4229:60;4285:3;4276:6;4265:9;4261:22;4229:60;;;4222:4;4215:5;4211:16;4204:86;4152:149;3740:571;;;;;4362:793;;4486:4;4474:9;4469:3;4465:19;4461:30;4458:2;;;4504:1;4501;4494:12;4458:2;4522:20;4537:4;4522:20;;;4595:24;;4513:29;;-1:-1;4639:18;4628:30;;4625:2;;;4671:1;4668;4661:12;4625:2;4706:107;4809:3;4800:6;4789:9;4785:22;4706:107;;;4681:133;;-1:-1;4878:2;4911:60;4967:3;4943:22;;;4911:60;;5208:819;;5334:4;5322:9;5317:3;5313:19;5309:30;5306:2;;;5352:1;5349;5342:12;5306:2;5370:20;5385:4;5370:20;;;5361:29;-1:-1;5441:1;5473:60;5529:3;5509:9;5473:60;;;5448:86;;-1:-1;5597:2;5630:60;5686:3;5662:22;;;5630:60;;;5623:4;5616:5;5612:16;5605:86;5555:147;5758:2;5791:59;5846:3;5837:6;5826:9;5822:22;5791:59;;;5784:4;5777:5;5773:16;5766:85;5712:150;5913:2;5946:59;6001:3;5992:6;5981:9;5977:22;5946:59;;;5939:4;5932:5;5928:16;5921:85;5872:145;5300:727;;;;;6793:696;;6918:4;6906:9;6901:3;6897:19;6893:30;6890:2;;;6936:1;6933;6926:12;6890:2;6954:20;6969:4;6954:20;;;6945:29;-1:-1;7027:1;7059:86;7141:3;7121:9;7059:86;;;7034:112;;-1:-1;7210:3;7244:60;7300:3;7276:22;;;7244:60;;;7237:4;7230:5;7226:16;7219:86;7167:149;7373:3;7407:60;7463:3;7454:6;7443:9;7439:22;7407:60;;7531:848;;7650:4;7638:9;7633:3;7629:19;7625:30;7622:2;;;7668:1;7665;7658:12;7622:2;7686:20;7701:4;7686:20;;;7677:29;-1:-1;7762:1;7794:74;7864:3;7844:9;7794:74;;;7769:100;;-1:-1;7957:2;7942:18;;7936:25;7981:18;7970:30;;7967:2;;;8013:1;8010;8003:12;7967:2;8048:65;8109:3;8100:6;8089:9;8085:22;8048:65;;;8041:4;8034:5;8030:16;8023:91;7890:235;8201:2;8190:9;8186:18;8180:25;8225:18;8217:6;8214:30;8211:2;;;8257:1;8254;8247:12;8211:2;8292:65;8353:3;8344:6;8333:9;8329:22;8292:65;;8386:134;8464:13;;8482:33;8464:13;8482:33;;8527:130;8594:20;;8619:33;8594:20;8619:33;;8805:132;8882:13;;8900:32;8882:13;8900:32;;8944:263;;9059:2;9047:9;9038:7;9034:23;9030:32;9027:2;;;9075:1;9072;9065:12;9027:2;9110:1;9127:64;9183:7;9163:9;9127:64;;9214:366;;;9335:2;9323:9;9314:7;9310:23;9306:32;9303:2;;;9351:1;9348;9341:12;9303:2;9386:1;9403:53;9448:7;9428:9;9403:53;;;9393:63;;9365:97;9493:2;9511:53;9556:7;9547:6;9536:9;9532:22;9511:53;;;9501:63;;9472:98;9297:283;;;;;;9587:741;;;;;;9761:3;9749:9;9740:7;9736:23;9732:33;9729:2;;;9778:1;9775;9768:12;9729:2;9813:1;9830:53;9875:7;9855:9;9830:53;;;9820:63;;9792:97;9920:2;9938:53;9983:7;9974:6;9963:9;9959:22;9938:53;;;9928:63;;9899:98;10028:2;10046:53;10091:7;10082:6;10071:9;10067:22;10046:53;;;10036:63;;10007:98;10164:2;10153:9;10149:18;10136:32;10188:18;10180:6;10177:30;10174:2;;;10220:1;10217;10210:12;10174:2;10248:64;10304:7;10295:6;10284:9;10280:22;10248:64;;;10238:74;;;;10115:203;9723:605;;;;;;;;;10335:721;;;;;10499:3;10487:9;10478:7;10474:23;10470:33;10467:2;;;10516:1;10513;10506:12;10467:2;10551:1;10568:53;10613:7;10593:9;10568:53;;;10558:63;;10530:97;10658:2;10676:53;10721:7;10712:6;10701:9;10697:22;10676:53;;;10666:63;;10637:98;10766:2;10784:53;10829:7;10820:6;10809:9;10805:22;10784:53;;;10774:63;;10745:98;10902:2;10891:9;10887:18;10874:32;10926:18;10918:6;10915:30;10912:2;;;10958:1;10955;10948:12;10912:2;10978:62;11032:7;11023:6;11012:9;11008:22;10978:62;;;10968:72;;10853:193;10461:595;;;;;;;;11063:422;;11218:2;11206:9;11197:7;11193:23;11189:32;11186:2;;;11234:1;11231;11224:12;11186:2;11269:24;;11313:18;11302:30;;11299:2;;;11345:1;11342;11335:12;11299:2;11365:104;11461:7;11452:6;11441:9;11437:22;11365:104;;11492:257;;11604:2;11592:9;11583:7;11579:23;11575:32;11572:2;;;11620:1;11617;11610:12;11572:2;11655:1;11672:61;11725:7;11705:9;11672:61;;11756:399;;;11888:2;11876:9;11867:7;11863:23;11859:32;11856:2;;;11904:1;11901;11894:12;11856:2;11939:1;11956:64;12012:7;11992:9;11956:64;;;11946:74;;11918:108;12057:2;12075:64;12131:7;12122:6;12111:9;12107:22;12075:64;;12162:311;;12301:2;12289:9;12280:7;12276:23;12272:32;12269:2;;;12317:1;12314;12307:12;12269:2;12352:1;12369:88;12449:7;12429:9;12369:88;;12480:390;;12619:2;12607:9;12598:7;12594:23;12590:32;12587:2;;;12635:1;12632;12625:12;12587:2;12670:24;;12714:18;12703:30;;12700:2;;;12746:1;12743;12736:12;12700:2;12766:88;12846:7;12837:6;12826:9;12822:22;12766:88;;13199:314;;13339:3;13327:9;13318:7;13314:23;13310:33;13307:2;;;13356:1;13353;13346:12;13307:2;13391:1;13408:89;13489:7;13469:9;13408:89;;13520:263;;13635:2;13623:9;13614:7;13610:23;13606:32;13603:2;;;13651:1;13648;13641:12;13603:2;13686:1;13703:64;13759:7;13739:9;13703:64;;13791:281;;13930:102;14028:3;14020:6;13930:102;;;-1:-1;;14061:4;14052:14;;13923:149;14080:142;14171:45;14210:5;14171:45;;;14166:3;14159:58;14153:69;;;14229:103;14302:24;14320:5;14302:24;;14554:862;;14737:76;14807:5;14737:76;;;14826:102;14921:6;14916:3;14826:102;;;14819:109;;14949:78;15021:5;14949:78;;;15047:7;15075:1;15060:334;15085:6;15082:1;15079:13;15060:334;;;15152:6;15146:13;15173:115;15284:3;15269:13;15173:115;;;15166:122;;15305:82;15380:6;15305:82;;;15295:92;-1:-1;;15107:1;15100:9;15060:334;;;-1:-1;15407:3;;14716:700;-1:-1;;;;;14716:700;15424:113;15507:24;15525:5;15507:24;;15544:356;;15672:38;15704:5;15672:38;;;15722:88;15803:6;15798:3;15722:88;;;15715:95;;15815:52;15860:6;15855:3;15848:4;15841:5;15837:16;15815:52;;;15879:16;;;;;15652:248;-1:-1;;15652:248;15907:335;;16013:34;16041:5;16013:34;;;16059:70;16122:6;16117:3;16059:70;;;16052:77;;16134:52;16179:6;16174:3;16167:4;16160:5;16156:16;16134:52;;;16207:29;16229:6;16207:29;;;16198:39;;;;15993:249;-1:-1;;;15993:249;16605:330;;16765:67;16829:2;16824:3;16765:67;;;16865:32;16845:53;;16926:2;16917:12;;16751:184;-1:-1;;16751:184;16944:386;;17104:67;17168:2;17163:3;17104:67;;;17204:34;17184:55;;17273:19;17268:2;17259:12;;17252:41;17321:2;17312:12;;17090:240;-1:-1;;17090:240;17339:389;;17499:67;17563:2;17558:3;17499:67;;;17599:34;17579:55;;17668:22;17663:2;17654:12;;17647:44;17719:2;17710:12;;17485:243;-1:-1;;17485:243;17737:377;;17897:67;17961:2;17956:3;17897:67;;;17997:34;17977:55;;18066:10;18061:2;18052:12;;18045:32;18105:2;18096:12;;17883:231;-1:-1;;17883:231;18123:317;;18283:67;18347:2;18342:3;18283:67;;;18383:19;18363:40;;18431:2;18422:12;;18269:171;-1:-1;;18269:171;18449:324;;18609:67;18673:2;18668:3;18609:67;;;18709:26;18689:47;;18764:2;18755:12;;18595:178;-1:-1;;18595:178;18782:382;;18942:67;19006:2;19001:3;18942:67;;;19042:34;19022:55;;19111:15;19106:2;19097:12;;19090:37;19155:2;19146:12;;18928:236;-1:-1;;18928:236;19257:822;19483:23;;19414:4;19519:38;;;19257:822;;19405:14;;;;19572:151;19405:14;19483:23;19572:151;;;19564:159;;19434:301;19811:4;19804:5;19800:16;19794:23;19823:63;19880:4;19875:3;19871:14;19857:12;19823:63;;;19745:147;19972:4;19965:5;19961:16;19955:23;19984:63;20041:4;20036:3;20032:14;20018:12;19984:63;;;-1:-1;20070:4;19387:692;-1:-1;;;19387:692;20175:786;20381:23;;20314:4;20305:14;;;20410:63;20309:3;20381:23;20410:63;;;20334:145;20554:4;20547:5;20543:16;20537:23;20566:63;20623:4;20618:3;20614:14;20600:12;20566:63;;;20489:146;20714:4;20707:5;20703:16;20697:23;20726:61;20781:4;20776:3;20772:14;20758:12;20726:61;;;20645:148;20867:4;20860:5;20856:16;20850:23;20879:61;20934:4;20929:3;20925:14;20911:12;20879:61;;21055:707;21275:23;;21206:4;21197:14;;;21304:119;21201:3;21275:23;21304:119;;;21226:203;21505:4;21498:5;21494:16;21488:23;21517:63;21574:4;21569:3;21565:14;21551:12;21517:63;;;21439:147;21666:4;21659:5;21655:16;21649:23;21678:63;21735:4;21730:3;21726:14;21712:12;21678:63;;21769:103;21842:24;21860:5;21842:24;;22229:100;22300:23;22317:5;22300:23;;22336:107;22415:22;22431:5;22415:22;;22450:254;;22590:89;22675:3;22666:6;22590:89;;;22583:96;22571:133;-1:-1;;;22571:133;22980:213;23098:2;23083:18;;23112:71;23087:9;23156:6;23112:71;;23200:229;23326:2;23311:18;;23340:79;23315:9;23392:6;23340:79;;23436:451;23618:2;23603:18;;23632:79;23607:9;23684:6;23632:79;;;23722:72;23790:2;23779:9;23775:18;23766:6;23722:72;;;23805;23873:2;23862:9;23858:18;23849:6;23805:72;;23894:891;24184:3;24169:19;;24199:79;24173:9;24251:6;24199:79;;;24289:72;24357:2;24346:9;24342:18;24333:6;24289:72;;;24372;24440:2;24429:9;24425:18;24416:6;24372:72;;;24455;24523:2;24512:9;24508:18;24499:6;24455:72;;;24538:69;24602:3;24591:9;24587:19;24578:6;24538:69;;;24618:73;24686:3;24675:9;24671:19;24662:6;24618:73;;;24702;24770:3;24759:9;24755:19;24746:6;24702:73;;24792:687;25044:2;25029:18;;25058:79;25033:9;25110:6;25058:79;;;25185:9;25179:4;25175:20;25170:2;25159:9;25155:18;25148:48;25210:114;25319:4;25310:6;25210:114;;;25202:122;;25372:9;25366:4;25362:20;25357:2;25346:9;25342:18;25335:48;25397:72;25464:4;25455:6;25397:72;;;25389:80;25015:464;-1:-1;;;;;25015:464;25486:645;25740:3;25725:19;;25755:79;25729:9;25807:6;25755:79;;;25845:130;25971:2;25960:9;25956:18;25947:6;25845:130;;;26024:9;26018:4;26014:20;26008:3;25997:9;25993:19;25986:49;26049:72;26116:4;26107:6;26049:72;;26138:324;26284:2;26269:18;;26298:71;26273:9;26342:6;26298:71;;;26380:72;26448:2;26437:9;26433:18;26424:6;26380:72;;26469:547;26671:3;26656:19;;26686:71;26660:9;26730:6;26686:71;;;26768:72;26836:2;26825:9;26821:18;26812:6;26768:72;;;26851;26919:2;26908:9;26904:18;26895:6;26851:72;;;26934;27002:2;26991:9;26987:18;26978:6;26934:72;;27023:435;27197:2;27182:18;;27211:71;27186:9;27255:6;27211:71;;27465:324;27611:2;27596:18;;27625:71;27600:9;27669:6;27625:71;;;27707:72;27775:2;27764:9;27760:18;27751:6;27707:72;;27796:763;28050:3;28035:19;;28065:71;28039:9;28109:6;28065:71;;;28147:72;28215:2;28204:9;28200:18;28191:6;28147:72;;;28230;28298:2;28287:9;28283:18;28274:6;28230:72;;;28313:68;28377:2;28366:9;28362:18;28353:6;28313:68;;;28392:73;28460:3;28449:9;28445:19;28436:6;28392:73;;;28476;28544:3;28533:9;28529:19;28520:6;28476:73;;;28021:538;;;;;;;;;;28566:407;28757:2;28771:47;;;28742:18;;28832:131;28742:18;28832:131;;28980:407;29171:2;29185:47;;;29156:18;;29246:131;29156:18;29246:131;;29394:407;29585:2;29599:47;;;29570:18;;29660:131;29570:18;29660:131;;29808:407;29999:2;30013:47;;;29984:18;;30074:131;29984:18;30074:131;;30222:407;30413:2;30427:47;;;30398:18;;30488:131;30398:18;30488:131;;30636:407;30827:2;30841:47;;;30812:18;;30902:131;30812:18;30902:131;;31050:407;31241:2;31255:47;;;31226:18;;31316:131;31226:18;31316:131;;31464:213;31582:2;31567:18;;31596:71;31571:9;31640:6;31596:71;;31684:256;31746:2;31740:9;31772:17;;;31847:18;31832:34;;31868:22;;;31829:62;31826:2;;;31904:1;31901;31894:12;31826:2;31920;31913:22;31724:216;;-1:-1;31724:216;31947:326;;32128:18;32120:6;32117:30;32114:2;;;32160:1;32157;32150:12;32114:2;-1:-1;32195:4;32183:17;;;32248:15;;32051:222;32606:317;;32745:18;32737:6;32734:30;32731:2;;;32777:1;32774;32767:12;32731:2;-1:-1;32908:4;32844;32821:17;;;;32840:9;32817:33;32898:15;;32668:255;33258:173;33404:4;33395:14;;33352:79;33438:159;33563:12;;33534:63;33994:194;34128:19;;;34177:4;34168:14;;34121:67;34368:144;34503:3;34481:31;-1:-1;34481:31;34692:91;;34754:24;34772:5;34754:24;;34790:85;34856:13;34849:21;;34832:43;34882:72;34944:5;34927:27;34961:121;35034:42;35023:54;;35006:76;35168:92;35240:14;35229:26;;35212:48;35267:81;35338:4;35327:16;;35310:38;35355:129;;35442:37;35473:5;35491:121;35570:37;35601:5;35570:37;;35735:145;35816:6;35811:3;35806;35793:30;-1:-1;35872:1;35854:16;;35847:27;35786:94;35889:268;35954:1;35961:101;35975:6;35972:1;35969:13;35961:101;;;36042:11;;;36036:18;36023:11;;;36016:39;35997:2;35990:10;35961:101;;;36077:6;36074:1;36071:13;36068:2;;;-1:-1;;36142:1;36124:16;;36117:27;35938:219;36165:97;36253:2;36233:14;36249:7;36229:28;;36213:49;36270:117;36339:24;36357:5;36339:24;;;36332:5;36329:35;36319:2;;36378:1;36375;36368:12;36394:111;36460:21;36475:5;36460:21;;36512:117;36581:24;36599:5;36581:24;;36636:108;36719:1;36712:5;36709:12;36699:2;;36735:1;36732;36725:12;36751:117;36820:24;36838:5;36820:24;;36999:115;37067:23;37084:5;37067:23;

bzzr://24f3f8a366be40713752da620baa36dbc8d159622941cae6ba194090ef806713