Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•    - function mod(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b, st ...
• library Address
•    - function isContract(address account)
•    - function toPayable(address account)
•    - function sendValue(address payable re ...
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
• library SafeERC20
•    - function safeTransfer(IERC20 token, a ...
•    - function safeTransferFrom(IERC20 toke ...
•    - function safeApprove(IERC20 token, ad ...
•    - function safeIncreaseAllowance(IERC20 ...
•    - function safeDecreaseAllowance(IERC20 ...
•    - function callOptionalReturn(IERC20 to ...
•  contract HashedTimeLockContract *
•    - function newContract(
•    - function withdraw(bytes32 id, bytes32 ...
•    - function refund(bytes32 id, address t ...
•    - function getStatus(bytes32[] memory i ...
•    - function getSingleStatus(bytes32 id)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-04-02
*/

pragma solidity >=0.5.5 <0.6.0;
pragma experimental ABIEncoderV2;

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

        return c;
    }

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

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

        return c;
    }

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

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

        return c;
    }

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

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

        return c;
    }

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

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

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

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

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

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


interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);
}


library SafeERC20 {
    using SafeMath for uint256;
    using Address for address;

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

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

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

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

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

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

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

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

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

contract HashedTimeLockContract {
    using SafeERC20 for IERC20;

    mapping(bytes32 => LockContract) public contracts;

    //                   / - WITHDRAWN
    // INVALID - ACTIVE |
    //                   \ - EXPIRED - REFUNDED

    uint256 public constant INVALID = 0; // Uninitialized  swap -> can go to ACTIVE
    uint256 public constant ACTIVE = 1; // Active swap -> can go to WITHDRAWN or EXPIRED
    uint256 public constant REFUNDED = 2; // Swap is refunded -> final state.
    uint256 public constant WITHDRAWN = 3; // Swap is withdrawn -> final state.
    uint256 public constant EXPIRED = 4; // Swap is expired -> can go to REFUNDED

    struct LockContract {
        uint256 inputAmount;
        uint256 outputAmount;
        uint256 expiration;
        uint256 status;
        bytes32 hashLock;
        address tokenAddress;
        address sender;
        address receiver;
        string outputNetwork;
        string outputAddress;
    }

    event Withdraw(
        bytes32 id,
        bytes32 secret,
        bytes32 hashLock,
        address indexed tokenAddress,
        address indexed sender,
        address indexed receiver
    );

    event Refund(
        bytes32 id,
        bytes32 hashLock,
        address indexed tokenAddress,
        address indexed sender,
        address indexed receiver
    );

    event NewContract(
        uint256 inputAmount,
        uint256 outputAmount,
        uint256 expiration,
        bytes32 id,
        bytes32 hashLock,
        address indexed tokenAddress,
        address indexed sender,
        address indexed receiver,
        string outputNetwork,
        string outputAddress
    );

    function newContract(
        uint256 inputAmount,
        uint256 outputAmount,
        uint256 expiration,
        bytes32 hashLock,
        address tokenAddress,
        address receiver,
        string calldata outputNetwork,
        string calldata outputAddress
    ) external {
        require(expiration > block.timestamp, "INVALID_TIME");

        require(inputAmount > 0, "INVALID_AMOUNT");

        IERC20(tokenAddress).safeTransferFrom(
            msg.sender,
            address(this),
            inputAmount
        );

        bytes32 id = sha256(
            abi.encodePacked(
                msg.sender,
                receiver,
                inputAmount,
                hashLock,
                expiration,
                tokenAddress
            )
        );

        require(contracts[id].status == INVALID, "SWAP_EXISTS");

        contracts[id] = LockContract(
            inputAmount,
            outputAmount,
            expiration,
            ACTIVE,
            hashLock,
            tokenAddress,
            msg.sender,
            receiver,
            outputNetwork,
            outputAddress
        );

        emit NewContract(
            inputAmount,
            outputAmount,
            expiration,
            id,
            hashLock,
            tokenAddress,
            msg.sender,
            receiver,
            outputNetwork,
            outputAddress
        );
    }

    function withdraw(bytes32 id, bytes32 secret, address tokenAddress)
        external
    {
        LockContract storage c = contracts[id];

        require(c.tokenAddress == tokenAddress, "INVALID_TOKEN");

        require(c.status == ACTIVE, "SWAP_NOT_ACTIVE");

        require(c.expiration > block.timestamp, "INVALID_TIME");

        require(
            c.hashLock == sha256(abi.encodePacked(secret)),
            "INVALID_SECRET"
        );

        c.status = WITHDRAWN;

        IERC20(tokenAddress).safeTransfer(c.receiver, c.inputAmount);

        emit Withdraw(
            id,
            secret,
            c.hashLock,
            tokenAddress,
            c.sender,
            c.receiver
        );
    }

    function refund(bytes32 id, address tokenAddress) external {
        LockContract storage c = contracts[id];

        require(c.tokenAddress == tokenAddress, "INVALID_TOKEN");

        require(c.status == ACTIVE, "SWAP_NOT_ACTIVE");

        require(c.expiration <= block.timestamp, "INVALID_TIME");

        c.status = REFUNDED;

        IERC20(tokenAddress).safeTransfer(c.sender, c.inputAmount);

        emit Refund(id, c.hashLock, tokenAddress, c.sender, c.receiver);
    }

    function getStatus(bytes32[] memory ids)
        public
        view
        returns (uint256[] memory)
    {
        uint256[] memory result = new uint256[](ids.length);

        for (uint256 index = 0; index < ids.length; index++) {
            result[index] = getSingleStatus(ids[index]);
        }

        return result;
    }

    function getSingleStatus(bytes32 id) public view returns (uint256 result) {
        LockContract memory tempContract = contracts[id];

        if (
            tempContract.status == ACTIVE &&
            tempContract.expiration < block.timestamp
        ) {
            result = EXPIRED;
        } else {
            result = tempContract.status;
        }
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"inputAmount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"outputAmount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"expiration","type":"uint256"},{"indexed":false,"internalType":"bytes32","name":"id","type":"bytes32"},{"indexed":false,"internalType":"bytes32","name":"hashLock","type":"bytes32"},{"indexed":true,"internalType":"address","name":"tokenAddress","type":"address"},{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":true,"internalType":"address","name":"receiver","type":"address"},{"indexed":false,"internalType":"string","name":"outputNetwork","type":"string"},{"indexed":false,"internalType":"string","name":"outputAddress","type":"string"}],"name":"NewContract","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bytes32","name":"id","type":"bytes32"},{"indexed":false,"internalType":"bytes32","name":"hashLock","type":"bytes32"},{"indexed":true,"internalType":"address","name":"tokenAddress","type":"address"},{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":true,"internalType":"address","name":"receiver","type":"address"}],"name":"Refund","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bytes32","name":"id","type":"bytes32"},{"indexed":false,"internalType":"bytes32","name":"secret","type":"bytes32"},{"indexed":false,"internalType":"bytes32","name":"hashLock","type":"bytes32"},{"indexed":true,"internalType":"address","name":"tokenAddress","type":"address"},{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":true,"internalType":"address","name":"receiver","type":"address"}],"name":"Withdraw","type":"event"},{"constant":true,"inputs":[],"name":"ACTIVE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"EXPIRED","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"INVALID","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"REFUNDED","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"WITHDRAWN","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"name":"contracts","outputs":[{"internalType":"uint256","name":"inputAmount","type":"uint256"},{"internalType":"uint256","name":"outputAmount","type":"uint256"},{"internalType":"uint256","name":"expiration","type":"uint256"},{"internalType":"uint256","name":"status","type":"uint256"},{"internalType":"bytes32","name":"hashLock","type":"bytes32"},{"internalType":"address","name":"tokenAddress","type":"address"},{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"receiver","type":"address"},{"internalType":"string","name":"outputNetwork","type":"string"},{"internalType":"string","name":"outputAddress","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"id","type":"bytes32"}],"name":"getSingleStatus","outputs":[{"internalType":"uint256","name":"result","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32[]","name":"ids","type":"bytes32[]"}],"name":"getStatus","outputs":[{"internalType":"uint256[]","name":"","type":"uint256[]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"inputAmount","type":"uint256"},{"internalType":"uint256","name":"outputAmount","type":"uint256"},{"internalType":"uint256","name":"expiration","type":"uint256"},{"internalType":"bytes32","name":"hashLock","type":"bytes32"},{"internalType":"address","name":"tokenAddress","type":"address"},{"internalType":"address","name":"receiver","type":"address"},{"internalType":"string","name":"outputNetwork","type":"string"},{"internalType":"string","name":"outputAddress","type":"string"}],"name":"newContract","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"id","type":"bytes32"},{"internalType":"address","name":"tokenAddress","type":"address"}],"name":"refund","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"id","type":"bytes32"},{"internalType":"bytes32","name":"secret","type":"bytes32"},{"internalType":"address","name":"tokenAddress","type":"address"}],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b5061239b806100206000396000f3fe608060405234801561001057600080fd5b50600436106100a95760003560e01c8063a65b9a6011610071578063a65b9a6014610154578063af78feef14610170578063c90bd0471461018e578063d2fd8b76146101ac578063ec56a373146101c8578063fbdf3b4314610201576100a9565b80632f21a663146100ae578063414ac85b146100de57806345b4032c146100fc5780637fcce2a91461011857806394e15c8f14610136575b600080fd5b6100c860048036036100c39190810190611707565b610231565b6040516100d59190611e46565b60405180910390f35b6100e66102c1565b6040516100f39190611fe8565b60405180910390f35b610116600480360361011191908101906117c3565b6102c6565b005b610120610528565b60405161012d9190611fe8565b60405180910390f35b61013e61052d565b60405161014b9190611fe8565b60405180910390f35b61016e600480360361016991908101906117ff565b610532565b005b61017861084a565b6040516101859190611fe8565b60405180910390f35b61019661084f565b6040516101a39190611fe8565b60405180910390f35b6101c660048036036101c1919081019061184e565b610854565b005b6101e260048036036101dd9190810190611771565b610cdd565b6040516101f89a99989796959493929190612084565b60405180910390f35b61021b60048036036102169190810190611771565b610ec1565b6040516102289190611fe8565b60405180910390f35b60608082516040519080825280602002602001820160405280156102645781602001602082028038833980820191505090505b50905060008090505b83518110156102b75761029284828151811061028557fe5b6020026020010151610ec1565b82828151811061029e57fe5b602002602001018181525050808060010191505061026d565b5080915050919050565b600481565b600080600084815260200190815260200160002090508173ffffffffffffffffffffffffffffffffffffffff168160050160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461036e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161036590611f08565b60405180910390fd5b60018160030154146103b5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103ac90611f48565b60405180910390fd5b42816002015411156103fc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103f390611f68565b60405180910390fd5b600281600301819055506104598160060160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682600001548473ffffffffffffffffffffffffffffffffffffffff166111969092919063ffffffff16565b8060070160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168160060160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f0d4cdc2fe2a785f03bf5481e13bee5cdcb7743166bcadafebfd3f09db610811786856004015460405161051b929190611e68565b60405180910390a4505050565b600081565b600281565b600080600085815260200190815260200160002090508173ffffffffffffffffffffffffffffffffffffffff168160050160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146105da576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105d190611f08565b60405180910390fd5b6001816003015414610621576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161061890611f48565b60405180910390fd5b42816002015411610667576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161065e90611f68565b60405180910390fd5b60028360405160200161067a9190611db4565b6040516020818303038152906040526040516106969190611dcf565b602060405180830381855afa1580156106b3573d6000803e3d6000fd5b5050506040513d601f19601f820116820180604052506106d6919081019061179a565b81600401541461071b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071290611ee8565b60405180910390fd5b600381600301819055506107788160070160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682600001548473ffffffffffffffffffffffffffffffffffffffff166111969092919063ffffffff16565b8060070160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168160060160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fbab3eb11a71b2cd82a010d4d5b2c3df5cd25ee8c9f1a75baff879a1b87942cb88787866004015460405161083c93929190611e91565b60405180910390a450505050565b600381565b600181565b428811610896576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161088d90611f68565b60405180910390fd5b60008a116108d9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108d090611fa8565b60405180910390fd5b61090633308c8973ffffffffffffffffffffffffffffffffffffffff16611235909392919063ffffffff16565b6000600233878d8b8d8c60405160200161092596959493929190611d44565b6040516020818303038152906040526040516109419190611dcf565b602060405180830381855afa15801561095e573d6000803e3d6000fd5b5050506040513d601f19601f82011682018060405250610981919081019061179a565b9050600080600083815260200190815260200160002060030154146109db576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109d290611ec8565b60405180910390fd5b6040518061014001604052808c81526020018b81526020018a8152602001600181526020018981526020018873ffffffffffffffffffffffffffffffffffffffff1681526020013373ffffffffffffffffffffffffffffffffffffffff1681526020018773ffffffffffffffffffffffffffffffffffffffff16815260200186868080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050815260200184848080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050815250600080838152602001908152602001600020600082015181600001556020820151816001015560408201518160020155606082015181600301556080820151816004015560a08201518160050160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060c08201518160060160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060e08201518160070160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610100820151816008019080519060200190610c22929190611494565b50610120820151816009019080519060200190610c40929190611494565b509050508573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff167f448581ece7da63e54a320119f9f2b80c868a954c441e70c88ecdfc95919751248e8e8e878f8d8d8d8d604051610cc899989796959493929190612003565b60405180910390a45050505050505050505050565b60006020528060005260406000206000915090508060000154908060010154908060020154908060030154908060040154908060050160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060060160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060070160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690806008018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610e195780601f10610dee57610100808354040283529160200191610e19565b820191906000526020600020905b815481529060010190602001808311610dfc57829003601f168201915b505050505090806009018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610eb75780601f10610e8c57610100808354040283529160200191610eb7565b820191906000526020600020905b815481529060010190602001808311610e9a57829003601f168201915b505050505090508a565b6000610ecb611514565b6000808481526020019081526020016000206040518061014001604052908160008201548152602001600182015481526020016002820154815260200160038201548152602001600482015481526020016005820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016006820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016007820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001600882018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156110b65780601f1061108b576101008083540402835291602001916110b6565b820191906000526020600020905b81548152906001019060200180831161109957829003601f168201915b50505050508152602001600982018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111585780601f1061112d57610100808354040283529160200191611158565b820191906000526020600020905b81548152906001019060200180831161113b57829003601f168201915b50505050508152505090506001816060015114801561117a5750428160400151105b156111885760049150611190565b806060015191505b50919050565b611230838473ffffffffffffffffffffffffffffffffffffffff1663a9059cbb905060e01b84846040516024016111ce929190611e1d565b604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506112d7565b505050565b6112d1848573ffffffffffffffffffffffffffffffffffffffff166323b872dd905060e01b85858560405160240161126f93929190611de6565b604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506112d7565b50505050565b6112f68273ffffffffffffffffffffffffffffffffffffffff16611449565b611335576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161132c90611fc8565b60405180910390fd5b600060608373ffffffffffffffffffffffffffffffffffffffff168360405161135e9190611dcf565b6000604051808303816000865af19150503d806000811461139b576040519150601f19603f3d011682016040523d82523d6000602084013e6113a0565b606091505b5091509150816113e5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113dc90611f28565b60405180910390fd5b60008151111561144357808060200190516114039190810190611748565b611442576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161143990611f88565b60405180910390fd5b5b50505050565b60008060007fc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a47060001b9050833f915080821415801561148b57506000801b8214155b92505050919050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106114d557805160ff1916838001178555611503565b82800160010185558215611503579182015b828111156115025782518255916020019190600101906114e7565b5b50905061151091906115ac565b5090565b6040518061014001604052806000815260200160008152602001600081526020016000815260200160008019168152602001600073ffffffffffffffffffffffffffffffffffffffff168152602001600073ffffffffffffffffffffffffffffffffffffffff168152602001600073ffffffffffffffffffffffffffffffffffffffff16815260200160608152602001606081525090565b6115ce91905b808211156115ca5760008160009055506001016115b2565b5090565b90565b6000813590506115e0816122fc565b92915050565b600082601f8301126115f757600080fd5b813561160a6116058261215b565b61212e565b9150818183526020840193506020810190508385602084028201111561162f57600080fd5b60005b8381101561165f5781611645888261167e565b845260208401935060208301925050600181019050611632565b5050505092915050565b60008151905061167881612313565b92915050565b60008135905061168d8161232a565b92915050565b6000815190506116a28161232a565b92915050565b60008083601f8401126116ba57600080fd5b8235905067ffffffffffffffff8111156116d357600080fd5b6020830191508360018202830111156116eb57600080fd5b9250929050565b60008135905061170181612341565b92915050565b60006020828403121561171957600080fd5b600082013567ffffffffffffffff81111561173357600080fd5b61173f848285016115e6565b91505092915050565b60006020828403121561175a57600080fd5b600061176884828501611669565b91505092915050565b60006020828403121561178357600080fd5b60006117918482850161167e565b91505092915050565b6000602082840312156117ac57600080fd5b60006117ba84828501611693565b91505092915050565b600080604083850312156117d657600080fd5b60006117e48582860161167e565b92505060206117f5858286016115d1565b9150509250929050565b60008060006060848603121561181457600080fd5b60006118228682870161167e565b93505060206118338682870161167e565b9250506040611844868287016115d1565b9150509250925092565b6000806000806000806000806000806101008b8d03121561186e57600080fd5b600061187c8d828e016116f2565b9a5050602061188d8d828e016116f2565b995050604061189e8d828e016116f2565b98505060606118af8d828e0161167e565b97505060806118c08d828e016115d1565b96505060a06118d18d828e016115d1565b95505060c08b013567ffffffffffffffff8111156118ee57600080fd5b6118fa8d828e016116a8565b945094505060e08b013567ffffffffffffffff81111561191957600080fd5b6119258d828e016116a8565b92509250509295989b9194979a5092959850565b60006119458383611d0f565b60208301905092915050565b61196261195d82612200565b6122a6565b82525050565b611971816121ee565b82525050565b611988611983826121ee565b612294565b82525050565b600061199982612193565b6119a381856121c1565b93506119ae83612183565b8060005b838110156119df5781516119c68882611939565b97506119d1836121b4565b9250506001810190506119b2565b5085935050505092915050565b6119f58161221e565b82525050565b611a0c611a078261221e565b6122b8565b82525050565b6000611a1d8261219e565b611a2781856121d2565b9350611a37818560208601612261565b80840191505092915050565b6000611a4f83856121dd565b9350611a5c838584612252565b611a65836122de565b840190509392505050565b6000611a7b826121a9565b611a8581856121dd565b9350611a95818560208601612261565b611a9e816122de565b840191505092915050565b6000611ab6600b836121dd565b91507f535741505f4558495354530000000000000000000000000000000000000000006000830152602082019050919050565b6000611af6600e836121dd565b91507f494e56414c49445f5345435245540000000000000000000000000000000000006000830152602082019050919050565b6000611b36600d836121dd565b91507f494e56414c49445f544f4b454e000000000000000000000000000000000000006000830152602082019050919050565b6000611b766020836121dd565b91507f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c65646000830152602082019050919050565b6000611bb6600f836121dd565b91507f535741505f4e4f545f41435449564500000000000000000000000000000000006000830152602082019050919050565b6000611bf6600c836121dd565b91507f494e56414c49445f54494d4500000000000000000000000000000000000000006000830152602082019050919050565b6000611c36602a836121dd565b91507f5361666545524332303a204552433230206f7065726174696f6e20646964206e60008301527f6f742073756363656564000000000000000000000000000000000000000000006020830152604082019050919050565b6000611c9c600e836121dd565b91507f494e56414c49445f414d4f554e540000000000000000000000000000000000006000830152602082019050919050565b6000611cdc601f836121dd565b91507f5361666545524332303a2063616c6c20746f206e6f6e2d636f6e7472616374006000830152602082019050919050565b611d1881612248565b82525050565b611d2781612248565b82525050565b611d3e611d3982612248565b6122d4565b82525050565b6000611d508289611951565b601482019150611d608288611977565b601482019150611d708287611d2d565b602082019150611d8082866119fb565b602082019150611d908285611d2d565b602082019150611da08284611977565b601482019150819050979650505050505050565b6000611dc082846119fb565b60208201915081905092915050565b6000611ddb8284611a12565b915081905092915050565b6000606082019050611dfb6000830186611968565b611e086020830185611968565b611e156040830184611d1e565b949350505050565b6000604082019050611e326000830185611968565b611e3f6020830184611d1e565b9392505050565b60006020820190508181036000830152611e60818461198e565b905092915050565b6000604082019050611e7d60008301856119ec565b611e8a60208301846119ec565b9392505050565b6000606082019050611ea660008301866119ec565b611eb360208301856119ec565b611ec060408301846119ec565b949350505050565b60006020820190508181036000830152611ee181611aa9565b9050919050565b60006020820190508181036000830152611f0181611ae9565b9050919050565b60006020820190508181036000830152611f2181611b29565b9050919050565b60006020820190508181036000830152611f4181611b69565b9050919050565b60006020820190508181036000830152611f6181611ba9565b9050919050565b60006020820190508181036000830152611f8181611be9565b9050919050565b60006020820190508181036000830152611fa181611c29565b9050919050565b60006020820190508181036000830152611fc181611c8f565b9050919050565b60006020820190508181036000830152611fe181611ccf565b9050919050565b6000602082019050611ffd6000830184611d1e565b92915050565b600060e082019050612018600083018c611d1e565b612025602083018b611d1e565b612032604083018a611d1e565b61203f60608301896119ec565b61204c60808301886119ec565b81810360a083015261205f818688611a43565b905081810360c0830152612074818486611a43565b90509a9950505050505050505050565b60006101408201905061209a600083018d611d1e565b6120a7602083018c611d1e565b6120b4604083018b611d1e565b6120c1606083018a611d1e565b6120ce60808301896119ec565b6120db60a0830188611968565b6120e860c0830187611968565b6120f560e0830186611968565b8181036101008301526121088185611a70565b905081810361012083015261211d8184611a70565b90509b9a5050505050505050505050565b6000604051905081810181811067ffffffffffffffff8211171561215157600080fd5b8060405250919050565b600067ffffffffffffffff82111561217257600080fd5b602082029050602081019050919050565b6000819050602082019050919050565b600081519050919050565b600081519050919050565b600081519050919050565b6000602082019050919050565b600082825260208201905092915050565b600081905092915050565b600082825260208201905092915050565b60006121f982612228565b9050919050565b600061220b82612228565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b8381101561227f578082015181840152602081019050612264565b8381111561228e576000848401525b50505050565b600061229f826122c2565b9050919050565b60006122b1826122c2565b9050919050565b6000819050919050565b60006122cd826122ef565b9050919050565b6000819050919050565b6000601f19601f8301169050919050565b60008160601b9050919050565b612305816121ee565b811461231057600080fd5b50565b61231c81612212565b811461232757600080fd5b50565b6123338161221e565b811461233e57600080fd5b50565b61234a81612248565b811461235557600080fd5b5056fea365627a7a7231582038c32c13bf4f7d549a0b195da8ad155fc661d359c6c98a0ab00abd427109c6f36c6578706572696d656e74616cf564736f6c63430005110040

0x608060405234801561001057600080fd5b50600436106100a95760003560e01c8063a65b9a6011610071578063a65b9a6014610154578063af78feef14610170578063c90bd0471461018e578063d2fd8b76146101ac578063ec56a373146101c8578063fbdf3b4314610201576100a9565b80632f21a663146100ae578063414ac85b146100de57806345b4032c146100fc5780637fcce2a91461011857806394e15c8f14610136575b600080fd5b6100c860048036036100c39190810190611707565b610231565b6040516100d59190611e46565b60405180910390f35b6100e66102c1565b6040516100f39190611fe8565b60405180910390f35b610116600480360361011191908101906117c3565b6102c6565b005b610120610528565b60405161012d9190611fe8565b60405180910390f35b61013e61052d565b60405161014b9190611fe8565b60405180910390f35b61016e600480360361016991908101906117ff565b610532565b005b61017861084a565b6040516101859190611fe8565b60405180910390f35b61019661084f565b6040516101a39190611fe8565b60405180910390f35b6101c660048036036101c1919081019061184e565b610854565b005b6101e260048036036101dd9190810190611771565b610cdd565b6040516101f89a99989796959493929190612084565b60405180910390f35b61021b60048036036102169190810190611771565b610ec1565b6040516102289190611fe8565b60405180910390f35b60608082516040519080825280602002602001820160405280156102645781602001602082028038833980820191505090505b50905060008090505b83518110156102b75761029284828151811061028557fe5b6020026020010151610ec1565b82828151811061029e57fe5b602002602001018181525050808060010191505061026d565b5080915050919050565b600481565b600080600084815260200190815260200160002090508173ffffffffffffffffffffffffffffffffffffffff168160050160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461036e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161036590611f08565b60405180910390fd5b60018160030154146103b5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103ac90611f48565b60405180910390fd5b42816002015411156103fc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103f390611f68565b60405180910390fd5b600281600301819055506104598160060160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682600001548473ffffffffffffffffffffffffffffffffffffffff166111969092919063ffffffff16565b8060070160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168160060160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f0d4cdc2fe2a785f03bf5481e13bee5cdcb7743166bcadafebfd3f09db610811786856004015460405161051b929190611e68565b60405180910390a4505050565b600081565b600281565b600080600085815260200190815260200160002090508173ffffffffffffffffffffffffffffffffffffffff168160050160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146105da576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105d190611f08565b60405180910390fd5b6001816003015414610621576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161061890611f48565b60405180910390fd5b42816002015411610667576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161065e90611f68565b60405180910390fd5b60028360405160200161067a9190611db4565b6040516020818303038152906040526040516106969190611dcf565b602060405180830381855afa1580156106b3573d6000803e3d6000fd5b5050506040513d601f19601f820116820180604052506106d6919081019061179a565b81600401541461071b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071290611ee8565b60405180910390fd5b600381600301819055506107788160070160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682600001548473ffffffffffffffffffffffffffffffffffffffff166111969092919063ffffffff16565b8060070160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168160060160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fbab3eb11a71b2cd82a010d4d5b2c3df5cd25ee8c9f1a75baff879a1b87942cb88787866004015460405161083c93929190611e91565b60405180910390a450505050565b600381565b600181565b428811610896576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161088d90611f68565b60405180910390fd5b60008a116108d9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108d090611fa8565b60405180910390fd5b61090633308c8973ffffffffffffffffffffffffffffffffffffffff16611235909392919063ffffffff16565b6000600233878d8b8d8c60405160200161092596959493929190611d44565b6040516020818303038152906040526040516109419190611dcf565b602060405180830381855afa15801561095e573d6000803e3d6000fd5b5050506040513d601f19601f82011682018060405250610981919081019061179a565b9050600080600083815260200190815260200160002060030154146109db576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109d290611ec8565b60405180910390fd5b6040518061014001604052808c81526020018b81526020018a8152602001600181526020018981526020018873ffffffffffffffffffffffffffffffffffffffff1681526020013373ffffffffffffffffffffffffffffffffffffffff1681526020018773ffffffffffffffffffffffffffffffffffffffff16815260200186868080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050815260200184848080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050815250600080838152602001908152602001600020600082015181600001556020820151816001015560408201518160020155606082015181600301556080820151816004015560a08201518160050160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060c08201518160060160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060e08201518160070160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610100820151816008019080519060200190610c22929190611494565b50610120820151816009019080519060200190610c40929190611494565b509050508573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff167f448581ece7da63e54a320119f9f2b80c868a954c441e70c88ecdfc95919751248e8e8e878f8d8d8d8d604051610cc899989796959493929190612003565b60405180910390a45050505050505050505050565b60006020528060005260406000206000915090508060000154908060010154908060020154908060030154908060040154908060050160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060060160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060070160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690806008018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610e195780601f10610dee57610100808354040283529160200191610e19565b820191906000526020600020905b815481529060010190602001808311610dfc57829003601f168201915b505050505090806009018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610eb75780601f10610e8c57610100808354040283529160200191610eb7565b820191906000526020600020905b815481529060010190602001808311610e9a57829003601f168201915b505050505090508a565b6000610ecb611514565b6000808481526020019081526020016000206040518061014001604052908160008201548152602001600182015481526020016002820154815260200160038201548152602001600482015481526020016005820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016006820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016007820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001600882018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156110b65780601f1061108b576101008083540402835291602001916110b6565b820191906000526020600020905b81548152906001019060200180831161109957829003601f168201915b50505050508152602001600982018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111585780601f1061112d57610100808354040283529160200191611158565b820191906000526020600020905b81548152906001019060200180831161113b57829003601f168201915b50505050508152505090506001816060015114801561117a5750428160400151105b156111885760049150611190565b806060015191505b50919050565b611230838473ffffffffffffffffffffffffffffffffffffffff1663a9059cbb905060e01b84846040516024016111ce929190611e1d565b604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506112d7565b505050565b6112d1848573ffffffffffffffffffffffffffffffffffffffff166323b872dd905060e01b85858560405160240161126f93929190611de6565b604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506112d7565b50505050565b6112f68273ffffffffffffffffffffffffffffffffffffffff16611449565b611335576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161132c90611fc8565b60405180910390fd5b600060608373ffffffffffffffffffffffffffffffffffffffff168360405161135e9190611dcf565b6000604051808303816000865af19150503d806000811461139b576040519150601f19603f3d011682016040523d82523d6000602084013e6113a0565b606091505b5091509150816113e5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113dc90611f28565b60405180910390fd5b60008151111561144357808060200190516114039190810190611748565b611442576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161143990611f88565b60405180910390fd5b5b50505050565b60008060007fc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a47060001b9050833f915080821415801561148b57506000801b8214155b92505050919050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106114d557805160ff1916838001178555611503565b82800160010185558215611503579182015b828111156115025782518255916020019190600101906114e7565b5b50905061151091906115ac565b5090565b6040518061014001604052806000815260200160008152602001600081526020016000815260200160008019168152602001600073ffffffffffffffffffffffffffffffffffffffff168152602001600073ffffffffffffffffffffffffffffffffffffffff168152602001600073ffffffffffffffffffffffffffffffffffffffff16815260200160608152602001606081525090565b6115ce91905b808211156115ca5760008160009055506001016115b2565b5090565b90565b6000813590506115e0816122fc565b92915050565b600082601f8301126115f757600080fd5b813561160a6116058261215b565b61212e565b9150818183526020840193506020810190508385602084028201111561162f57600080fd5b60005b8381101561165f5781611645888261167e565b845260208401935060208301925050600181019050611632565b5050505092915050565b60008151905061167881612313565b92915050565b60008135905061168d8161232a565b92915050565b6000815190506116a28161232a565b92915050565b60008083601f8401126116ba57600080fd5b8235905067ffffffffffffffff8111156116d357600080fd5b6020830191508360018202830111156116eb57600080fd5b9250929050565b60008135905061170181612341565b92915050565b60006020828403121561171957600080fd5b600082013567ffffffffffffffff81111561173357600080fd5b61173f848285016115e6565b91505092915050565b60006020828403121561175a57600080fd5b600061176884828501611669565b91505092915050565b60006020828403121561178357600080fd5b60006117918482850161167e565b91505092915050565b6000602082840312156117ac57600080fd5b60006117ba84828501611693565b91505092915050565b600080604083850312156117d657600080fd5b60006117e48582860161167e565b92505060206117f5858286016115d1565b9150509250929050565b60008060006060848603121561181457600080fd5b60006118228682870161167e565b93505060206118338682870161167e565b9250506040611844868287016115d1565b9150509250925092565b6000806000806000806000806000806101008b8d03121561186e57600080fd5b600061187c8d828e016116f2565b9a5050602061188d8d828e016116f2565b995050604061189e8d828e016116f2565b98505060606118af8d828e0161167e565b97505060806118c08d828e016115d1565b96505060a06118d18d828e016115d1565b95505060c08b013567ffffffffffffffff8111156118ee57600080fd5b6118fa8d828e016116a8565b945094505060e08b013567ffffffffffffffff81111561191957600080fd5b6119258d828e016116a8565b92509250509295989b9194979a5092959850565b60006119458383611d0f565b60208301905092915050565b61196261195d82612200565b6122a6565b82525050565b611971816121ee565b82525050565b611988611983826121ee565b612294565b82525050565b600061199982612193565b6119a381856121c1565b93506119ae83612183565b8060005b838110156119df5781516119c68882611939565b97506119d1836121b4565b9250506001810190506119b2565b5085935050505092915050565b6119f58161221e565b82525050565b611a0c611a078261221e565b6122b8565b82525050565b6000611a1d8261219e565b611a2781856121d2565b9350611a37818560208601612261565b80840191505092915050565b6000611a4f83856121dd565b9350611a5c838584612252565b611a65836122de565b840190509392505050565b6000611a7b826121a9565b611a8581856121dd565b9350611a95818560208601612261565b611a9e816122de565b840191505092915050565b6000611ab6600b836121dd565b91507f535741505f4558495354530000000000000000000000000000000000000000006000830152602082019050919050565b6000611af6600e836121dd565b91507f494e56414c49445f5345435245540000000000000000000000000000000000006000830152602082019050919050565b6000611b36600d836121dd565b91507f494e56414c49445f544f4b454e000000000000000000000000000000000000006000830152602082019050919050565b6000611b766020836121dd565b91507f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c65646000830152602082019050919050565b6000611bb6600f836121dd565b91507f535741505f4e4f545f41435449564500000000000000000000000000000000006000830152602082019050919050565b6000611bf6600c836121dd565b91507f494e56414c49445f54494d4500000000000000000000000000000000000000006000830152602082019050919050565b6000611c36602a836121dd565b91507f5361666545524332303a204552433230206f7065726174696f6e20646964206e60008301527f6f742073756363656564000000000000000000000000000000000000000000006020830152604082019050919050565b6000611c9c600e836121dd565b91507f494e56414c49445f414d4f554e540000000000000000000000000000000000006000830152602082019050919050565b6000611cdc601f836121dd565b91507f5361666545524332303a2063616c6c20746f206e6f6e2d636f6e7472616374006000830152602082019050919050565b611d1881612248565b82525050565b611d2781612248565b82525050565b611d3e611d3982612248565b6122d4565b82525050565b6000611d508289611951565b601482019150611d608288611977565b601482019150611d708287611d2d565b602082019150611d8082866119fb565b602082019150611d908285611d2d565b602082019150611da08284611977565b601482019150819050979650505050505050565b6000611dc082846119fb565b60208201915081905092915050565b6000611ddb8284611a12565b915081905092915050565b6000606082019050611dfb6000830186611968565b611e086020830185611968565b611e156040830184611d1e565b949350505050565b6000604082019050611e326000830185611968565b611e3f6020830184611d1e565b9392505050565b60006020820190508181036000830152611e60818461198e565b905092915050565b6000604082019050611e7d60008301856119ec565b611e8a60208301846119ec565b9392505050565b6000606082019050611ea660008301866119ec565b611eb360208301856119ec565b611ec060408301846119ec565b949350505050565b60006020820190508181036000830152611ee181611aa9565b9050919050565b60006020820190508181036000830152611f0181611ae9565b9050919050565b60006020820190508181036000830152611f2181611b29565b9050919050565b60006020820190508181036000830152611f4181611b69565b9050919050565b60006020820190508181036000830152611f6181611ba9565b9050919050565b60006020820190508181036000830152611f8181611be9565b9050919050565b60006020820190508181036000830152611fa181611c29565b9050919050565b60006020820190508181036000830152611fc181611c8f565b9050919050565b60006020820190508181036000830152611fe181611ccf565b9050919050565b6000602082019050611ffd6000830184611d1e565b92915050565b600060e082019050612018600083018c611d1e565b612025602083018b611d1e565b612032604083018a611d1e565b61203f60608301896119ec565b61204c60808301886119ec565b81810360a083015261205f818688611a43565b905081810360c0830152612074818486611a43565b90509a9950505050505050505050565b60006101408201905061209a600083018d611d1e565b6120a7602083018c611d1e565b6120b4604083018b611d1e565b6120c1606083018a611d1e565b6120ce60808301896119ec565b6120db60a0830188611968565b6120e860c0830187611968565b6120f560e0830186611968565b8181036101008301526121088185611a70565b905081810361012083015261211d8184611a70565b90509b9a5050505050505050505050565b6000604051905081810181811067ffffffffffffffff8211171561215157600080fd5b8060405250919050565b600067ffffffffffffffff82111561217257600080fd5b602082029050602081019050919050565b6000819050602082019050919050565b600081519050919050565b600081519050919050565b600081519050919050565b6000602082019050919050565b600082825260208201905092915050565b600081905092915050565b600082825260208201905092915050565b60006121f982612228565b9050919050565b600061220b82612228565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b8381101561227f578082015181840152602081019050612264565b8381111561228e576000848401525b50505050565b600061229f826122c2565b9050919050565b60006122b1826122c2565b9050919050565b6000819050919050565b60006122cd826122ef565b9050919050565b6000819050919050565b6000601f19601f8301169050919050565b60008160601b9050919050565b612305816121ee565b811461231057600080fd5b50565b61231c81612212565b811461232757600080fd5b50565b6123338161221e565b811461233e57600080fd5b50565b61234a81612248565b811461235557600080fd5b5056fea365627a7a7231582038c32c13bf4f7d549a0b195da8ad155fc661d359c6c98a0ab00abd427109c6f36c6578706572696d656e74616cf564736f6c63430005110040

14394:5201:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14394:5201:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18867:343;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;14979:35;;;:::i;:::-;;;;;;;;;;;;;;;;18367:492;;;;;;;;;;;;;;;;:::i;:::-;;14644:35;;;:::i;:::-;;;;;;;;;;;;;;;;14819:36;;;:::i;:::-;;;;;;;;;;;;;;;;17611:748;;;;;;;;;;;;;;;;:::i;:::-;;14898:37;;;:::i;:::-;;;;;;;;;;;;;;;;14729:34;;;:::i;:::-;;;;;;;;;;;;;;;;16120:1483;;;;;;;;;;;;;;;;:::i;:::-;;14468:49;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;19218:374;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;18867:343;18956:16;18990:23;19030:3;:10;19016:25;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;148:4;140:6;136:17;126:27;;0:157;19016:25:0;;;;18990:51;;19059:13;19075:1;19059:17;;19054:123;19086:3;:10;19078:5;:18;19054:123;;;19138:27;19154:3;19158:5;19154:10;;;;;;;;;;;;;;19138:15;:27::i;:::-;19122:6;19129:5;19122:13;;;;;;;;;;;;;:43;;;;;19098:7;;;;;;;19054:123;;;;19196:6;19189:13;;;18867:343;;;:::o;14979:35::-;15013:1;14979:35;:::o;18367:492::-;18437:22;18462:9;:13;18472:2;18462:13;;;;;;;;;;;18437:38;;18514:12;18496:30;;:1;:14;;;;;;;;;;;;:30;;;18488:56;;;;;;;;;;;;;;;;;;;;;;14762:1;18565;:8;;;:18;18557:46;;;;;;;;;;;;;;;;;;;;;;18640:15;18624:1;:12;;;:31;;18616:56;;;;;;;;;;;;;;;;;;;;;;14854:1;18685;:8;;:19;;;;18717:58;18751:1;:8;;;;;;;;;;;;18761:1;:13;;;18724:12;18717:33;;;;:58;;;;;:::i;:::-;18840:1;:10;;;;;;;;;;;;18793:58;;18830:1;:8;;;;;;;;;;;;18793:58;;18816:12;18793:58;;;18800:2;18804:1;:10;;;18793:58;;;;;;;;;;;;;;;;18367:492;;;:::o;14644:35::-;14678:1;14644:35;:::o;14819:36::-;14854:1;14819:36;:::o;17611:748::-;17713:22;17738:9;:13;17748:2;17738:13;;;;;;;;;;;17713:38;;17790:12;17772:30;;:1;:14;;;;;;;;;;;;:30;;;17764:56;;;;;;;;;;;;;;;;;;;;;;14762:1;17841;:8;;;:18;17833:46;;;;;;;;;;;;;;;;;;;;;;17915:15;17900:1;:12;;;:30;17892:55;;;;;;;;;;;;;;;;;;;;;;17996:32;18020:6;18003:24;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;18003:24:0;;;17996:32;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17996: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;17996:32:0;;;;;;;;;17982:1;:10;;;:46;17960:110;;;;;;;;;;;;;;;;;;;;;;14934:1;18083;:8;;:20;;;;18116:60;18150:1;:10;;;;;;;;;;;;18162:1;:13;;;18123:12;18116:33;;;;:60;;;;;:::i;:::-;18330:1;:10;;;;;;;;;;;;18194:157;;18307:1;:8;;;;;;;;;;;;18194:157;;18280:12;18194:157;;;18217:2;18234:6;18255:1;:10;;;18194:157;;;;;;;;;;;;;;;;;17611:748;;;;:::o;14898:37::-;14934:1;14898:37;:::o;14729:34::-;14762:1;14729:34;:::o;16120:1483::-;16444:15;16431:10;:28;16423:53;;;;;;;;;;;;;;;;;;;;;;16511:1;16497:11;:15;16489:42;;;;;;;;;;;;;;;;;;;;;;16544:127;16596:10;16629:4;16649:11;16551:12;16544:37;;;;:127;;;;;;:::i;:::-;16684:10;16697:236;16753:10;16782:8;16809:11;16839:8;16866:10;16895:12;16718:204;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;16718:204:0;;;16697:236;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16697:236: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;16697:236:0;;;;;;;;;16684:249;;14678:1;16954:9;:13;16964:2;16954:13;;;;;;;;;;;:20;;;:31;16946:55;;;;;;;;;;;;;;;;;;;;;;17030:276;;;;;;;;17057:11;17030:276;;;;17083:12;17030:276;;;;17110:10;17030:276;;;;14762:1;17030:276;;;;17156:8;17030:276;;;;17179:12;17030:276;;;;;;17206:10;17030:276;;;;;;17231:8;17030:276;;;;;;17254:13;;17030:276;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;17030:276:0;;;;;;;;;;17282:13;;17030:276;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;17030:276:0;;;;;;;;;17014:9;:13;17024:2;17014:13;;;;;;;;;;;:292;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;17520:8;17324:271;;17495:10;17324:271;;17468:12;17324:271;;;17350:11;17376:12;17403:10;17428:2;17445:8;17543:13;;17571;;17324:271;;;;;;;;;;;;;;;;;;;;;;;16120:1483;;;;;;;;;;;:::o;14468:49::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;19218:374::-;19276:14;19303:32;;:::i;:::-;19338:9;:13;19348:2;19338:13;;;;;;;;;;;19303:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14762:1;19382:12;:19;;;:29;:87;;;;;19454:15;19428:12;:23;;;:41;19382:87;19364:221;;;15013:1;19496:16;;19364:221;;;19554:12;:19;;;19545:28;;19364:221;19218:374;;;;:::o;11234:176::-;11317:85;11336:5;11366;:14;;;:23;;;;11391:2;11395:5;11343:58;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;11343:58: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;;;11343:58:0;11317:18;:85::i;:::-;11234:176;;;:::o;11418:204::-;11519:95;11538:5;11568;:18;;;:27;;;;11597:4;11603:2;11607:5;11545:68;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;11545:68: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;;;11545:68:0;11519:18;:95::i;:::-;11418:204;;;;:::o;13273:1114::-;13877:27;13885:5;13877:25;;;:27::i;:::-;13869:71;;;;;;;;;;;;;;;;;;;;;;14014:12;14028:23;14063:5;14055:19;;14075:4;14055:25;;;;;;;;;;;;;;;;;;;;;;;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;;14013:67:0;;;;14099:7;14091:52;;;;;;;;;;;;;;;;;;;;;;14180:1;14160:10;:17;:21;14156:224;;;14302:10;14291:30;;;;;;;;;;;;;;14283:85;;;;;;;;;;;;;;;;;;;;;;14156:224;13273:1114;;;;:::o;6181:619::-;6241:4;6503:16;6530:19;6552:66;6530:88;;;;6721:7;6709:20;6697:32;;6761:11;6749:8;:23;;:42;;;;;6788:3;6776:15;;:8;:15;;6749:42;6741:51;;;;6181:619;;;:::o;14394:5201::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5:130:-1:-;;85:6;72:20;63:29;;97:33;124:5;97:33;;;57:78;;;;;160:707;;277:3;270:4;262:6;258:17;254:27;244:2;;295:1;292;285:12;244:2;332:6;319:20;354:80;369:64;426:6;369:64;;;354:80;;;345:89;;451:5;476:6;469:5;462:21;506:4;498:6;494:17;484:27;;528:4;523:3;519:14;512:21;;581:6;628:3;620:4;612:6;608:17;603:3;599:27;596:36;593:2;;;645:1;642;635:12;593:2;670:1;655:206;680:6;677:1;674:13;655:206;;;738:3;760:37;793:3;781:10;760:37;;;755:3;748:50;821:4;816:3;812:14;805:21;;849:4;844:3;840:14;833:21;;712:149;702:1;699;695:9;690:14;;655:206;;;659:14;237:630;;;;;;;;875:128;;956:6;950:13;941:22;;968:30;992:5;968:30;;;935:68;;;;;1010:130;;1090:6;1077:20;1068:29;;1102:33;1129:5;1102:33;;;1062:78;;;;;1147:134;;1231:6;1225:13;1216:22;;1243:33;1270:5;1243:33;;;1210:71;;;;;1303:337;;;1418:3;1411:4;1403:6;1399:17;1395:27;1385:2;;1436:1;1433;1426:12;1385:2;1469:6;1456:20;1446:30;;1496:18;1488:6;1485:30;1482:2;;;1528:1;1525;1518:12;1482:2;1562:4;1554:6;1550:17;1538:29;;1613:3;1605:4;1597:6;1593:17;1583:8;1579:32;1576:41;1573:2;;;1630:1;1627;1620:12;1573:2;1378:262;;;;;;1648:130;;1728:6;1715:20;1706:29;;1740:33;1767:5;1740:33;;;1700:78;;;;;1785:377;;1914:2;1902:9;1893:7;1889:23;1885:32;1882:2;;;1930:1;1927;1920:12;1882:2;1993:1;1982:9;1978:17;1965:31;2016:18;2008:6;2005:30;2002:2;;;2048:1;2045;2038:12;2002:2;2068:78;2138:7;2129:6;2118:9;2114:22;2068:78;;;2058:88;;1944:208;1876:286;;;;;2169:257;;2281:2;2269:9;2260:7;2256:23;2252:32;2249:2;;;2297:1;2294;2287:12;2249:2;2332:1;2349:61;2402:7;2393:6;2382:9;2378:22;2349:61;;;2339:71;;2311:105;2243:183;;;;;2433:241;;2537:2;2525:9;2516:7;2512:23;2508:32;2505:2;;;2553:1;2550;2543:12;2505:2;2588:1;2605:53;2650:7;2641:6;2630:9;2626:22;2605:53;;;2595:63;;2567:97;2499:175;;;;;2681:263;;2796:2;2784:9;2775:7;2771:23;2767:32;2764:2;;;2812:1;2809;2802:12;2764:2;2847:1;2864:64;2920:7;2911:6;2900:9;2896:22;2864:64;;;2854:74;;2826:108;2758:186;;;;;2951:366;;;3072:2;3060:9;3051:7;3047:23;3043:32;3040:2;;;3088:1;3085;3078:12;3040:2;3123:1;3140:53;3185:7;3176:6;3165:9;3161:22;3140:53;;;3130:63;;3102:97;3230:2;3248:53;3293:7;3284:6;3273:9;3269:22;3248:53;;;3238:63;;3209:98;3034:283;;;;;;3324:491;;;;3462:2;3450:9;3441:7;3437:23;3433:32;3430:2;;;3478:1;3475;3468:12;3430:2;3513:1;3530:53;3575:7;3566:6;3555:9;3551:22;3530:53;;;3520:63;;3492:97;3620:2;3638:53;3683:7;3674:6;3663:9;3659:22;3638:53;;;3628:63;;3599:98;3728:2;3746:53;3791:7;3782:6;3771:9;3767:22;3746:53;;;3736:63;;3707:98;3424:391;;;;;;3822:1373;;;;;;;;;;;4085:3;4073:9;4064:7;4060:23;4056:33;4053:2;;;4102:1;4099;4092:12;4053:2;4137:1;4154:53;4199:7;4190:6;4179:9;4175:22;4154:53;;;4144:63;;4116:97;4244:2;4262:53;4307:7;4298:6;4287:9;4283:22;4262:53;;;4252:63;;4223:98;4352:2;4370:53;4415:7;4406:6;4395:9;4391:22;4370:53;;;4360:63;;4331:98;4460:2;4478:53;4523:7;4514:6;4503:9;4499:22;4478:53;;;4468:63;;4439:98;4568:3;4587:53;4632:7;4623:6;4612:9;4608:22;4587:53;;;4577:63;;4547:99;4677:3;4696:53;4741:7;4732:6;4721:9;4717:22;4696:53;;;4686:63;;4656:99;4814:3;4803:9;4799:19;4786:33;4839:18;4831:6;4828:30;4825:2;;;4871:1;4868;4861:12;4825:2;4899:65;4956:7;4947:6;4936:9;4932:22;4899:65;;;4889:75;;;;4765:205;5029:3;5018:9;5014:19;5001:33;5054:18;5046:6;5043:30;5040:2;;;5086:1;5083;5076:12;5040:2;5114:65;5171:7;5162:6;5151:9;5147:22;5114:65;;;5104:75;;;;4980:205;4047:1148;;;;;;;;;;;;;;5203:173;;5290:46;5332:3;5324:6;5290:46;;;5365:4;5360:3;5356:14;5342:28;;5283:93;;;;;5384:184;5501:61;5529:32;5555:5;5529:32;;;5501:61;;;5496:3;5489:74;5483:85;;;5575:113;5658:24;5676:5;5658:24;;;5653:3;5646:37;5640:48;;;5695:152;5796:45;5816:24;5834:5;5816:24;;;5796:45;;;5791:3;5784:58;5778:69;;;5885:690;;6030:54;6078:5;6030:54;;;6097:86;6176:6;6171:3;6097:86;;;6090:93;;6204:56;6254:5;6204:56;;;6280:7;6308:1;6293:260;6318:6;6315:1;6312:13;6293:260;;;6385:6;6379:13;6406:63;6465:3;6450:13;6406:63;;;6399:70;;6486:60;6539:6;6486:60;;;6476:70;;6350:203;6340:1;6337;6333:9;6328:14;;6293:260;;;6297:14;6566:3;6559:10;;6009:566;;;;;;;;6583:113;6666:24;6684:5;6666:24;;;6661:3;6654:37;6648:48;;;6703:152;6804:45;6824:24;6842:5;6824:24;;;6804:45;;;6799:3;6792:58;6786:69;;;6862:356;;6990:38;7022:5;6990:38;;;7040:88;7121:6;7116:3;7040:88;;;7033:95;;7133:52;7178:6;7173:3;7166:4;7159:5;7155:16;7133:52;;;7206:6;7201:3;7197:16;7190:23;;6970:248;;;;;;7250:300;;7366:71;7430:6;7425:3;7366:71;;;7359:78;;7449:43;7485:6;7480:3;7473:5;7449:43;;;7514:29;7536:6;7514:29;;;7509:3;7505:39;7498:46;;7352:198;;;;;;7558:339;;7666:35;7695:5;7666:35;;;7713:71;7777:6;7772:3;7713:71;;;7706:78;;7789:52;7834:6;7829:3;7822:4;7815:5;7811:16;7789:52;;;7862:29;7884:6;7862:29;;;7857:3;7853:39;7846:46;;7646:251;;;;;;7905:311;;8065:67;8129:2;8124:3;8065:67;;;8058:74;;8165:13;8161:1;8156:3;8152:11;8145:34;8207:2;8202:3;8198:12;8191:19;;8051:165;;;;8225:314;;8385:67;8449:2;8444:3;8385:67;;;8378:74;;8485:16;8481:1;8476:3;8472:11;8465:37;8530:2;8525:3;8521:12;8514:19;;8371:168;;;;8548:313;;8708:67;8772:2;8767:3;8708:67;;;8701:74;;8808:15;8804:1;8799:3;8795:11;8788:36;8852:2;8847:3;8843:12;8836:19;;8694:167;;;;8870:332;;9030:67;9094:2;9089:3;9030:67;;;9023:74;;9130:34;9126:1;9121:3;9117:11;9110:55;9193:2;9188:3;9184:12;9177:19;;9016:186;;;;9211:315;;9371:67;9435:2;9430:3;9371:67;;;9364:74;;9471:17;9467:1;9462:3;9458:11;9451:38;9517:2;9512:3;9508:12;9501:19;;9357:169;;;;9535:312;;9695:67;9759:2;9754:3;9695:67;;;9688:74;;9795:14;9791:1;9786:3;9782:11;9775:35;9838:2;9833:3;9829:12;9822:19;;9681:166;;;;9856:379;;10016:67;10080:2;10075:3;10016:67;;;10009:74;;10116:34;10112:1;10107:3;10103:11;10096:55;10185:12;10180:2;10175:3;10171:12;10164:34;10226:2;10221:3;10217:12;10210:19;;10002:233;;;;10244:314;;10404:67;10468:2;10463:3;10404:67;;;10397:74;;10504:16;10500:1;10495:3;10491:11;10484:37;10549:2;10544:3;10540:12;10533:19;;10390:168;;;;10567:331;;10727:67;10791:2;10786:3;10727:67;;;10720:74;;10827:33;10823:1;10818:3;10814:11;10807:54;10889:2;10884:3;10880:12;10873:19;;10713:185;;;;10906:103;10979:24;10997:5;10979:24;;;10974:3;10967:37;10961:48;;;11016:113;11099:24;11117:5;11099:24;;;11094:3;11087:37;11081:48;;;11136:152;11237:45;11257:24;11275:5;11257:24;;;11237:45;;;11232:3;11225:58;11219:69;;;11295:971;;11570:91;11657:3;11648:6;11570:91;;;11683:2;11678:3;11674:12;11667:19;;11697:75;11768:3;11759:6;11697:75;;;11794:2;11789:3;11785:12;11778:19;;11808:75;11879:3;11870:6;11808:75;;;11905:2;11900:3;11896:12;11889:19;;11919:75;11990:3;11981:6;11919:75;;;12016:2;12011:3;12007:12;12000:19;;12030:75;12101:3;12092:6;12030:75;;;12127:2;12122:3;12118:12;12111:19;;12141:75;12212:3;12203:6;12141:75;;;12238:2;12233:3;12229:12;12222:19;;12258:3;12251:10;;11558:708;;;;;;;;;;12273:244;;12392:75;12463:3;12454:6;12392:75;;;12489:2;12484:3;12480:12;12473:19;;12509:3;12502:10;;12380:137;;;;;12524:262;;12668:93;12757:3;12748:6;12668:93;;;12661:100;;12778:3;12771:10;;12649:137;;;;;12793:435;;12967:2;12956:9;12952:18;12944:26;;12981:71;13049:1;13038:9;13034:17;13025:6;12981:71;;;13063:72;13131:2;13120:9;13116:18;13107:6;13063:72;;;13146;13214:2;13203:9;13199:18;13190:6;13146:72;;;12938:290;;;;;;;13235:324;;13381:2;13370:9;13366:18;13358:26;;13395:71;13463:1;13452:9;13448:17;13439:6;13395:71;;;13477:72;13545:2;13534:9;13530:18;13521:6;13477:72;;;13352:207;;;;;;13566:361;;13734:2;13723:9;13719:18;13711:26;;13784:9;13778:4;13774:20;13770:1;13759:9;13755:17;13748:47;13809:108;13912:4;13903:6;13809:108;;;13801:116;;13705:222;;;;;13934:324;;14080:2;14069:9;14065:18;14057:26;;14094:71;14162:1;14151:9;14147:17;14138:6;14094:71;;;14176:72;14244:2;14233:9;14229:18;14220:6;14176:72;;;14051:207;;;;;;14265:435;;14439:2;14428:9;14424:18;14416:26;;14453:71;14521:1;14510:9;14506:17;14497:6;14453:71;;;14535:72;14603:2;14592:9;14588:18;14579:6;14535:72;;;14618;14686:2;14675:9;14671:18;14662:6;14618:72;;;14410:290;;;;;;;14707:407;;14898:2;14887:9;14883:18;14875:26;;14948:9;14942:4;14938:20;14934:1;14923:9;14919:17;14912:47;14973:131;15099:4;14973:131;;;14965:139;;14869:245;;;;15121:407;;15312:2;15301:9;15297:18;15289:26;;15362:9;15356:4;15352:20;15348:1;15337:9;15333:17;15326:47;15387:131;15513:4;15387:131;;;15379:139;;15283:245;;;;15535:407;;15726:2;15715:9;15711:18;15703:26;;15776:9;15770:4;15766:20;15762:1;15751:9;15747:17;15740:47;15801:131;15927:4;15801:131;;;15793:139;;15697:245;;;;15949:407;;16140:2;16129:9;16125:18;16117:26;;16190:9;16184:4;16180:20;16176:1;16165:9;16161:17;16154:47;16215:131;16341:4;16215:131;;;16207:139;;16111:245;;;;16363:407;;16554:2;16543:9;16539:18;16531:26;;16604:9;16598:4;16594:20;16590:1;16579:9;16575:17;16568:47;16629:131;16755:4;16629:131;;;16621:139;;16525:245;;;;16777:407;;16968:2;16957:9;16953:18;16945:26;;17018:9;17012:4;17008:20;17004:1;16993:9;16989:17;16982:47;17043:131;17169:4;17043:131;;;17035:139;;16939:245;;;;17191:407;;17382:2;17371:9;17367:18;17359:26;;17432:9;17426:4;17422:20;17418:1;17407:9;17403:17;17396:47;17457:131;17583:4;17457:131;;;17449:139;;17353:245;;;;17605:407;;17796:2;17785:9;17781:18;17773:26;;17846:9;17840:4;17836:20;17832:1;17821:9;17817:17;17810:47;17871:131;17997:4;17871:131;;;17863:139;;17767:245;;;;18019:407;;18210:2;18199:9;18195:18;18187:26;;18260:9;18254:4;18250:20;18246:1;18235:9;18231:17;18224:47;18285:131;18411:4;18285:131;;;18277:139;;18181:245;;;;18433:213;;18551:2;18540:9;18536:18;18528:26;;18565:71;18633:1;18622:9;18618:17;18609:6;18565:71;;;18522:124;;;;;18653:1099;;18999:3;18988:9;18984:19;18976:27;;19014:71;19082:1;19071:9;19067:17;19058:6;19014:71;;;19096:72;19164:2;19153:9;19149:18;19140:6;19096:72;;;19179;19247:2;19236:9;19232:18;19223:6;19179:72;;;19262;19330:2;19319:9;19315:18;19306:6;19262:72;;;19345:73;19413:3;19402:9;19398:19;19389:6;19345:73;;;19467:9;19461:4;19457:20;19451:3;19440:9;19436:19;19429:49;19492:88;19575:4;19566:6;19558;19492:88;;;19484:96;;19629:9;19623:4;19619:20;19613:3;19602:9;19598:19;19591:49;19654:88;19737:4;19728:6;19720;19654:88;;;19646:96;;18970:782;;;;;;;;;;;;;19759:1379;;20161:3;20150:9;20146:19;20138:27;;20176:71;20244:1;20233:9;20229:17;20220:6;20176:71;;;20258:72;20326:2;20315:9;20311:18;20302:6;20258:72;;;20341;20409:2;20398:9;20394:18;20385:6;20341:72;;;20424;20492:2;20481:9;20477:18;20468:6;20424:72;;;20507:73;20575:3;20564:9;20560:19;20551:6;20507:73;;;20591;20659:3;20648:9;20644:19;20635:6;20591:73;;;20675;20743:3;20732:9;20728:19;20719:6;20675:73;;;20759;20827:3;20816:9;20812:19;20803:6;20759:73;;;20881:9;20875:4;20871:20;20865:3;20854:9;20850:19;20843:49;20906:74;20975:4;20966:6;20906:74;;;20898:82;;21029:9;21023:4;21019:20;21013:3;21002:9;20998:19;20991:49;21054:74;21123:4;21114:6;21054:74;;;21046:82;;20132:1006;;;;;;;;;;;;;;21145:256;;21207:2;21201:9;21191:19;;21245:4;21237:6;21233:17;21344:6;21332:10;21329:22;21308:18;21296:10;21293:34;21290:62;21287:2;;;21365:1;21362;21355:12;21287:2;21385:10;21381:2;21374:22;21185:216;;;;;21408:304;;21567:18;21559:6;21556:30;21553:2;;;21599:1;21596;21589:12;21553:2;21634:4;21626:6;21622:17;21614:25;;21697:4;21691;21687:15;21679:23;;21490:222;;;;21719:151;;21805:3;21797:11;;21843:4;21838:3;21834:14;21826:22;;21791:79;;;;21877:137;;21986:5;21980:12;21970:22;;21951:63;;;;22021:121;;22114:5;22108:12;22098:22;;22079:63;;;;22149:118;;22239:5;22233:12;22223:22;;22204:63;;;;22274:108;;22372:4;22367:3;22363:14;22355:22;;22349:33;;;;22390:178;;22520:6;22515:3;22508:19;22557:4;22552:3;22548:14;22533:29;;22501:67;;;;;22577:144;;22712:3;22697:18;;22690:31;;;;;22730:163;;22845:6;22840:3;22833:19;22882:4;22877:3;22873:14;22858:29;;22826:67;;;;;22901:91;;22963:24;22981:5;22963:24;;;22952:35;;22946:46;;;;22999:99;;23069:24;23087:5;23069:24;;;23058:35;;23052:46;;;;23105:85;;23178:5;23171:13;23164:21;23153:32;;23147:43;;;;23197:72;;23259:5;23248:16;;23242:27;;;;23276:121;;23349:42;23342:5;23338:54;23327:65;;23321:76;;;;23404:72;;23466:5;23455:16;;23449:27;;;;23484:145;23565:6;23560:3;23555;23542:30;23621:1;23612:6;23607:3;23603:16;23596:27;23535:94;;;;23638:268;23703:1;23710:101;23724:6;23721:1;23718:13;23710:101;;;23800:1;23795:3;23791:11;23785:18;23781:1;23776:3;23772:11;23765:39;23746:2;23743:1;23739:10;23734:15;;23710:101;;;23826:6;23823:1;23820:13;23817:2;;;23891:1;23882:6;23877:3;23873:16;23866:27;23817:2;23687:219;;;;;23914:95;;23978:26;23998:5;23978:26;;;23967:37;;23961:48;;;;24016:103;;24088:26;24108:5;24088:26;;;24077:37;;24071:48;;;;24126:74;;24190:5;24179:16;;24173:27;;;;24207:89;;24271:20;24285:5;24271:20;;;24260:31;;24254:42;;;;24303:74;;24367:5;24356:16;;24350:27;;;;24384:97;;24472:2;24468:7;24463:2;24456:5;24452:14;24448:28;24438:38;;24432:49;;;;24489:94;;24567:5;24563:2;24559:14;24537:36;;24531:52;;;;24591:117;24660:24;24678:5;24660:24;;;24653:5;24650:35;24640:2;;24699:1;24696;24689:12;24640:2;24634:74;;24715:111;24781:21;24796:5;24781:21;;;24774:5;24771:32;24761:2;;24817:1;24814;24807:12;24761:2;24755:71;;24833:117;24902:24;24920:5;24902:24;;;24895:5;24892:35;24882:2;;24941:1;24938;24931:12;24882:2;24876:74;;24957:117;25026:24;25044:5;25026:24;;;25019:5;25016:35;25006:2;;25065:1;25062;25055:12;25006:2;25000:74;

bzzr://38c32c13bf4f7d549a0b195da8ad155fc661d359c6c98a0ab00abd427109c6f3