Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.6.0;

/*
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with GSN meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address payable) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes memory) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}


pragma solidity ^0.6.0;

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

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

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

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

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

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

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

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



/**
 * @dev Implementation of the {IERC20} interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 * For a generic mechanism see {ERC20PresetMinterPauser}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * We have followed general OpenZeppelin guidelines: functions revert instead
 * of returning `false` on failure. This behavior is nonetheless conventional
 * and does not conflict with the expectations of ERC20 applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
contract ERC20 is Context, IERC20 {
    using SafeMath for uint256;
    using Address for address;

    mapping (address => uint256) private _balances;

    mapping (address => mapping (address => uint256)) private _allowances;

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;
    uint8 private _decimals;

    /**
     * @dev Sets the values for {name} and {symbol}, initializes {dhttps://info.etherscan.com/contract-verification-constructor-arguments/ecimals} with
     * a default value of 18.
     *
     * To select a different value for {decimals}, use {_setupDecimals}.
     *
     * All three of these values are immutable: they can only be set once during
     * construction.
     */
    constructor (string memory name, string memory symbol) public {
        _name = name;
        _symbol = symbol;
        _decimals = 18;
    }

    /**
     * @dev Returns the name of the token.
     */
    function name() public view returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5,05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei. This is the value {ERC20} uses, unless {_setupDecimals} is
     * called.
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }

    /**
     * @dev See {IERC20-totalSupply}.
     */
    function totalSupply() public view override returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `recipient` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender) public view virtual override returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See {IERC20-approve}.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Emits an {Approval} event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {ERC20};
     *
     * Requirements:
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     * - the caller must have allowance for ``sender``'s tokens of at least
     * `amount`.
     */
    function transferFrom(address sender, address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].add(addedValue));
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].sub(subtractedValue, "ERC20: decreased allowance below zero"));
        return true;
    }

    /**
     * @dev Moves tokens `amount` from `sender` to `recipient`.
     *
     * This is internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * Requirements:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    function _transfer(address sender, address recipient, uint256 amount) internal virtual {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(sender, recipient, amount);

        _balances[sender] = _balances[sender].sub(amount, "ERC20: transfer amount exceeds balance");
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * Requirements
     *
     * - `to` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _beforeTokenTransfer(address(0), account, amount);

        _totalSupply = _totalSupply.add(amount);
        _balances[account] = _balances[account].add(amount);
        emit Transfer(address(0), account, amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, reducing the
     * total supply.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * Requirements
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    function _burn(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: burn from the zero address");

        _beforeTokenTransfer(account, address(0), amount);

        _balances[account] = _balances[account].sub(amount, "ERC20: burn amount exceeds balance");
        _totalSupply = _totalSupply.sub(amount);
        emit Transfer(account, address(0), amount);
    }

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner`s tokens.
     *
     * This is internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(address owner, address spender, uint256 amount) internal virtual {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    /**
     * @dev Sets {decimals} to a value other than the default one of 18.
     *
     * WARNING: This function should only be called from the constructor. Most
     * applications that interact with token contracts will not expect
     * {decimals} to ever change, and may work incorrectly if it does.
     */
    function _setupDecimals(uint8 decimals_) internal {
        _decimals = decimals_;
    }

    /**
     * @dev Hook that is called before any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * will be to transferred to `to`.
     * - when `from` is zero, `amount` tokens will be minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens will be burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(address from, address to, uint256 amount) internal virtual { }
}


pragma solidity >=0.6.2;

interface IUniswapV2Router01 {
    function factory() external pure returns (address);
    function WETH() external pure returns (address);

    function addLiquidity(
        address tokenA,
        address tokenB,
        uint amountADesired,
        uint amountBDesired,
        uint amountAMin,
        uint amountBMin,
        address to,
        uint deadline
    ) external returns (uint amountA, uint amountB, uint liquidity);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
    function removeLiquidity(
        address tokenA,
        address tokenB,
        uint liquidity,
        uint amountAMin,
        uint amountBMin,
        address to,
        uint deadline
    ) external returns (uint amountA, uint amountB);
    function removeLiquidityETH(
        address token,
        uint liquidity,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external returns (uint amountToken, uint amountETH);
    function removeLiquidityWithPermit(
        address tokenA,
        address tokenB,
        uint liquidity,
        uint amountAMin,
        uint amountBMin,
        address to,
        uint deadline,
        bool approveMax, uint8 v, bytes32 r, bytes32 s
    ) external returns (uint amountA, uint amountB);
    function removeLiquidityETHWithPermit(
        address token,
        uint liquidity,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline,
        bool approveMax, uint8 v, bytes32 r, bytes32 s
    ) external returns (uint amountToken, uint amountETH);
    function swapExactTokensForTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external returns (uint[] memory amounts);
    function swapTokensForExactTokens(
        uint amountOut,
        uint amountInMax,
        address[] calldata path,
        address to,
        uint deadline
    ) external returns (uint[] memory amounts);
    function swapExactETHForTokens(uint amountOutMin, address[] calldata path, address to, uint deadline)
        external
        payable
        returns (uint[] memory amounts);
    function swapTokensForExactETH(uint amountOut, uint amountInMax, address[] calldata path, address to, uint deadline)
        external
        returns (uint[] memory amounts);
    function swapExactTokensForETH(uint amountIn, uint amountOutMin, address[] calldata path, address to, uint deadline)
        external
        returns (uint[] memory amounts);
    function swapETHForExactTokens(uint amountOut, address[] calldata path, address to, uint deadline)
        external
        payable
        returns (uint[] memory amounts);

    function quote(uint amountA, uint reserveA, uint reserveB) external pure returns (uint amountB);
    function getAmountOut(uint amountIn, uint reserveIn, uint reserveOut) external pure returns (uint amountOut);
    function getAmountIn(uint amountOut, uint reserveIn, uint reserveOut) external pure returns (uint amountIn);
    function getAmountsOut(uint amountIn, address[] calldata path) external view returns (uint[] memory amounts);
    function getAmountsIn(uint amountOut, address[] calldata path) external view returns (uint[] memory amounts);
}


pragma solidity >=0.6.2;

interface IUniswapV2Router02 is IUniswapV2Router01 {
    function removeLiquidityETHSupportingFeeOnTransferTokens(
        address token,
        uint liquidity,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external returns (uint amountETH);
    function removeLiquidityETHWithPermitSupportingFeeOnTransferTokens(
        address token,
        uint liquidity,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline,
        bool approveMax, uint8 v, bytes32 r, bytes32 s
    ) external returns (uint amountETH);

    function swapExactTokensForTokensSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function swapExactETHForTokensSupportingFeeOnTransferTokens(
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external payable;
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
}

pragma solidity >=0.5.0;

interface IUniswapV2Factory {
    event PairCreated(address indexed token0, address indexed token1, address pair, uint);

    function feeTo() external view returns (address);
    function feeToSetter() external view returns (address);

    function getPair(address tokenA, address tokenB) external view returns (address pair);
    function allPairs(uint) external view returns (address pair);
    function allPairsLength() external view returns (uint);

    function createPair(address tokenA, address tokenB) external returns (address pair);

    function setFeeTo(address) external;
    function setFeeToSetter(address) external;
}


pragma solidity >=0.5.0;

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

    function name() external pure returns (string memory);
    function symbol() external pure returns (string memory);
    function decimals() external pure 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;

    event Mint(address indexed sender, uint amount0, uint amount1);
    event Burn(address indexed sender, uint amount0, uint amount1, address indexed to);
    event Swap(
        address indexed sender,
        uint amount0In,
        uint amount1In,
        uint amount0Out,
        uint amount1Out,
        address indexed to
    );
    event Sync(uint112 reserve0, uint112 reserve1);

    function MINIMUM_LIQUIDITY() external pure returns (uint);
    function factory() external view returns (address);
    function token0() external view returns (address);
    function token1() external view returns (address);
    function getReserves() external view returns (uint112 reserve0, uint112 reserve1, uint32 blockTimestampLast);
    function price0CumulativeLast() external view returns (uint);
    function price1CumulativeLast() external view returns (uint);
    function kLast() external view returns (uint);

    function mint(address to) external returns (uint liquidity);
    function burn(address to) external returns (uint amount0, uint amount1);
    function swap(uint amount0Out, uint amount1Out, address to, bytes calldata data) external;
    function skim(address to) external;
    function sync() external;

    function initialize(address, address) external;
}

pragma solidity >=0.4.0;

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

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

    uint8 private constant RESOLUTION = 112;

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

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

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

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

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

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

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

pragma solidity >=0.5.0;


library UniswapV2Library {
    using SafeMath for uint;

    // returns sorted token addresses, used to handle return values from pairs sorted in this order
    function sortTokens(address tokenA, address tokenB) internal pure returns (address token0, address token1) {
        require(tokenA != tokenB, 'UniswapV2Library: IDENTICAL_ADDRESSES');
        (token0, token1) = tokenA < tokenB ? (tokenA, tokenB) : (tokenB, tokenA);
        require(token0 != address(0), 'UniswapV2Library: ZERO_ADDRESS');
    }

    // calculates the CREATE2 address for a pair without making any external calls
    function pairFor(address factory, address tokenA, address tokenB) internal pure returns (address pair) {
        (address token0, address token1) = sortTokens(tokenA, tokenB);
        pair = address(uint(keccak256(abi.encodePacked(
                hex'ff',
                factory,
                keccak256(abi.encodePacked(token0, token1)),
                hex'96e8ac4277198ff8b6f785478aa9a39f403cb768dd02cbee326c3e7da348845f' // init code hash
            ))));
    }

    // fetches and sorts the reserves for a pair
    function getReserves(address factory, address tokenA, address tokenB) internal view returns (uint reserveA, uint reserveB) {
        (address token0,) = sortTokens(tokenA, tokenB);
        (uint reserve0, uint reserve1,) = IUniswapV2Pair(pairFor(factory, tokenA, tokenB)).getReserves();
        (reserveA, reserveB) = tokenA == token0 ? (reserve0, reserve1) : (reserve1, reserve0);
    }

    // given some amount of an asset and pair reserves, returns an equivalent amount of the other asset
    function quote(uint amountA, uint reserveA, uint reserveB) internal pure returns (uint amountB) {
        require(amountA > 0, 'UniswapV2Library: INSUFFICIENT_AMOUNT');
        require(reserveA > 0 && reserveB > 0, 'UniswapV2Library: INSUFFICIENT_LIQUIDITY');
        amountB = amountA.mul(reserveB) / reserveA;
    }

    // given an input amount of an asset and pair reserves, returns the maximum output amount of the other asset
    function getAmountOut(uint amountIn, uint reserveIn, uint reserveOut) internal pure returns (uint amountOut) {
        require(amountIn > 0, 'UniswapV2Library: INSUFFICIENT_INPUT_AMOUNT');
        require(reserveIn > 0 && reserveOut > 0, 'UniswapV2Library: INSUFFICIENT_LIQUIDITY');
        uint amountInWithFee = amountIn.mul(997);
        uint numerator = amountInWithFee.mul(reserveOut);
        uint denominator = reserveIn.mul(1000).add(amountInWithFee);
        amountOut = numerator / denominator;
    }

    // given an output amount of an asset and pair reserves, returns a required input amount of the other asset
    function getAmountIn(uint amountOut, uint reserveIn, uint reserveOut) internal pure returns (uint amountIn) {
        require(amountOut > 0, 'UniswapV2Library: INSUFFICIENT_OUTPUT_AMOUNT');
        require(reserveIn > 0 && reserveOut > 0, 'UniswapV2Library: INSUFFICIENT_LIQUIDITY');
        uint numerator = reserveIn.mul(amountOut).mul(1000);
        uint denominator = reserveOut.sub(amountOut).mul(997);
        amountIn = (numerator / denominator).add(1);
    }

    // performs chained getAmountOut calculations on any number of pairs
    function getAmountsOut(address factory, uint amountIn, address[] memory path) internal view returns (uint[] memory amounts) {
        require(path.length >= 2, 'UniswapV2Library: INVALID_PATH');
        amounts = new uint[](path.length);
        amounts[0] = amountIn;
        for (uint i; i < path.length - 1; i++) {
            (uint reserveIn, uint reserveOut) = getReserves(factory, path[i], path[i + 1]);
            amounts[i + 1] = getAmountOut(amounts[i], reserveIn, reserveOut);
        }
    }

    // performs chained getAmountIn calculations on any number of pairs
    function getAmountsIn(address factory, uint amountOut, address[] memory path) internal view returns (uint[] memory amounts) {
        require(path.length >= 2, 'UniswapV2Library: INVALID_PATH');
        amounts = new uint[](path.length);
        amounts[amounts.length - 1] = amountOut;
        for (uint i = path.length - 1; i > 0; i--) {
            (uint reserveIn, uint reserveOut) = getReserves(factory, path[i - 1], path[i]);
            amounts[i - 1] = getAmountIn(amounts[i], reserveIn, reserveOut);
        }
    }
}

pragma solidity >=0.5.0;

// library with helper methods for oracles that are concerned with computing average prices
library UniswapV2OracleLibrary {
    using FixedPoint for *;

    // helper function that returns the current block timestamp within the range of uint32, i.e. [0, 2**32 - 1]
    function currentBlockTimestamp() internal view returns (uint32) {
        return uint32(block.timestamp % 2 ** 32);
    }

    // produces the cumulative price using counterfactuals to save gas and avoid a call to sync.
    function currentCumulativePrices(
        address pair
    ) internal view returns (uint price0Cumulative, uint price1Cumulative, uint32 blockTimestamp) {
        blockTimestamp = currentBlockTimestamp();
        price0Cumulative = IUniswapV2Pair(pair).price0CumulativeLast();
        price1Cumulative = IUniswapV2Pair(pair).price1CumulativeLast();

        // if time has elapsed since the last update on the pair, mock the accumulated price values
        (uint112 reserve0, uint112 reserve1, uint32 blockTimestampLast) = IUniswapV2Pair(pair).getReserves();
        if (blockTimestampLast != blockTimestamp) {
            // subtraction overflow is desired
            uint32 timeElapsed = blockTimestamp - blockTimestampLast;
            // addition overflow is desired
            // counterfactual
            price0Cumulative += uint(FixedPoint.fraction(reserve1, reserve0)._x) * timeElapsed;
            // counterfactual
            price1Cumulative += uint(FixedPoint.fraction(reserve0, reserve1)._x) * timeElapsed;
        }
    }
}


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

// SPDX-License-Identifier: MIT



pragma solidity ^0.6.0;

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

        return c;
    }

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

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

        return c;
    }

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

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

        return c;
    }

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

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

        return c;
    }

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

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




pragma solidity >=0.4.25 <0.7.0;

// SPDX-License-Identifier: MIT

pragma solidity ^0.6.0;

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * By default, the owner account will be the one that deploys the contract. This
 * can later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
contract Ownable is Context {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor () internal {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}


// SPDX-License-Identifier: MIT


// SPDX-License-Identifier: MIT

pragma solidity ^0.6.2;

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

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

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

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

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

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

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

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

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

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




// bloodVial is a stablecoin that is based on Uniswap and the vampireToken representing the eth collateral backing it. It is a simple erc20 contract that has a rebase fucntionality to manage forced liquidations. 

contract BloodVial is IERC20, Ownable{ // we start from IERC20 since we need to redefine a lot of the basic ERC20
	
	using SafeMath for uint256;
	using Address for address;
	
	uint256 private _dropsOfBloodPerVial; 
	
	// balance are denominated in dropsOfBlood, those poured into value stable bloodVials
	
    mapping (address => uint256) private _balances;  

    mapping (address => mapping (address => uint256)) private _allowances;
	
	uint256 private _totalSupply;
    string private _name;
    string private _symbol;
    uint8 private _decimals;
	
	address public controller;
	
	// the controller is able to mint and burn tokens. This is to be given to the VampireContract after deployment.
	modifier onlyController() {
	        require(msg.sender == controller, "You are not calling from controller address");
	        _;
	    }
	
    event Rebase(
         uint256 fractionalIncreasePermille 
    );
	
	constructor() public {
		_dropsOfBloodPerVial = 1000;
		_name = "BloodVials";
		_symbol = "Vials";
		_decimals = 18;
	    _mint(msg.sender, 10 * 10**18 );
		controller = msg.sender;
	}
	
	
	// reproduce basic ERC20
	
    function name() public view returns (string memory) {
        return _name;
    }

    function symbol() public view returns (string memory) {
        return _symbol;
    }
	
    function decimals() public view returns (uint8) {
        return _decimals;
    }
	
    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }
	
	
    function allowance(address owner, address spender) public view override returns (uint256) {
        return _allowances[owner][spender];
    }
	
    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }
	
    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
		
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        
		return true;
    }
    
	
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].add(addedValue));
        return true;
    }
	
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].sub(subtractedValue, "ERC20: decreased allowance below zero"));
        return true;
    }
	
	// modified ERC20 fucntions. We work in dropsOfBlood and covert user input and displayed output. Otherwise it is standart
	
    function totalSupply() public view override returns (uint256) {
        return _totalSupply.div(_dropsOfBloodPerVial) ;
    }

    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account].div(_dropsOfBloodPerVial);
    }
	
    function _mint(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: mint to the zero address");

		uint256 numberFragments = amount.mul(_dropsOfBloodPerVial);	

        _totalSupply = _totalSupply.add(numberFragments);
        _balances[account] = _balances[account].add(numberFragments);
        emit Transfer(address(0), account, numberFragments );
    }
	
    function _burn(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: burn from the zero address");

		uint256 numberFragments = amount.mul(_dropsOfBloodPerVial);	
		
        _balances[account] = _balances[account].sub(numberFragments, "ERC20: burn amount exceeds balance");
        _totalSupply = _totalSupply.sub(numberFragments);
        emit Transfer(account, address(0), numberFragments);
    }
	
    function _transfer(address sender, address recipient, uint256 amount) internal {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

		uint256 numberFragments = amount.mul(_dropsOfBloodPerVial);

        _balances[sender] = _balances[sender].sub( numberFragments, "ERC20: transfer amount exceeds balance");
        _balances[recipient] = _balances[recipient].add( numberFragments);
        emit Transfer(sender, recipient,  numberFragments);
    }
	
    function _approve(address owner, address spender, uint256 amount) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount; // approve is directly denominated in coins
        emit Approval(owner, spender, amount);
    }
	
	
	// new fucntionality, all locked to the controlling smart contract
	
    function rebase(uint256 fractionalIncreasePermille) public onlyController returns (bool) { 
           
        _dropsOfBloodPerVial = _dropsOfBloodPerVial.mul(fractionalIncreasePermille).div(1000); 
		  
		emit Rebase(fractionalIncreasePermille);
		return true;
    }
	
    function mint(address account, uint256 amount) public onlyController returns (bool) {
        _mint(account,amount);
		return true;
    }
	
    function burn(address account, uint256 amount) public onlyController returns (bool) {
        _burn(account,amount);
		return true;
    }
	
	// allows the transfer of the contoller by the owner
	
	function setController(address new_controller) public onlyOwner returns (bool) {
		controller = new_controller;
		
	}
	
}


pragma solidity >=0.4.25 <0.7.0;


// this contract controlls the blood and acts in such a way that blood remains close to 1 Dai in value. It is not a hard stablecoin and can deviate somewhat from the peg. But over the time of a few days it should readjust and provide accurate values. 


contract Vampire is ERC20,Ownable {

	
	using SafeMath for uint256;
	using Address for address;
	using FixedPoint for *;
	
	
    uint public constant PERIOD = 1 hours;  // this is the minimal time for the vwap oracle 
	uint public constant EPOCH = 1 days;    // this is reference timescale for the contract
	uint constant MAX_UINT = 2**256 - 1;

    IUniswapV2Pair immutable pairWethDai;
    IUniswapV2Pair immutable pairVampireWeth;
    IUniswapV2Pair immutable pairBloodWeth;
	IUniswapV2Router02 immutable routerV2;
    
    
	address internal constant factory = 0x5C69bEe701ef814a2B6a3EDD4B1652CB9cc5aA6f ;
	address internal constant router = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D ;
	
	address internal constant tokenWeth = 0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2; //weth
	// mainnet weth 0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2
	// kovan weth 0xd0A1E359811322d97991E03f863a0C30C2cF029C
	// ropsten weth 0xc778417E063141139Fce010982780140Aa0cD5Ab
	address internal constant tokenDai = 0x6B175474E89094C44Da98b954EedeAC495271d0F; //dai
	
	// mainnet dai 0x6B175474E89094C44Da98b954EedeAC495271d0F
	// kovan dai 0x4F96Fe3b7A6Cf9725f59d353F723c1bDb64CA6Aa
	// ropsten dai 0xaD6D458402F60fD3Bd25163575031ACDce07538D
	address internal immutable tokenVampire;
	address internal immutable tokenBlood;
	

    uint    public priceWethCumulativeLast;
    uint    public priceDaiCumulativeLast;
    uint    public priceBloodCumulativeLast;
    uint32  public blockTimestampLast;
    FixedPoint.uq112x112 public priceWethAverage; // price of weth in dai
    FixedPoint.uq112x112 public priceDaiAverage; // price of dai in weth
    FixedPoint.uq112x112 public priceBloodAverage; // price of vial in weth
	
	BloodVial internal bloodVial;
			
	constructor(address bloodVial_) public ERC20("Vampire","Vampires") {
		
		bloodVial = BloodVial(bloodVial_);  
		tokenBlood = bloodVial_;
		tokenVampire = address(this);
	    
		_mint(msg.sender, 1000 * 10**18 ); 
		
        pairWethDai = IUniswapV2Pair(UniswapV2Library.pairFor(factory, tokenWeth, tokenDai));
		pairVampireWeth = IUniswapV2Pair(UniswapV2Library.pairFor(factory,address(this), tokenWeth)); 
		pairBloodWeth = IUniswapV2Pair(UniswapV2Library.pairFor(factory, bloodVial_, tokenWeth)); 
		routerV2 = IUniswapV2Router02(router);
		bloodVial.approve(router,MAX_UINT); 				// give uniswap the right to excahnge vials
		_approve(address(this),router,MAX_UINT); 			// give uniswap the right to excahnge vampires
		
			
	}
	
    receive() external payable { } // payable fallback function
	
	 
	function activateOracles() public onlyOwner {
        // we initialise the two Uniswap pairs and seed the vwap oracle
			
		uint priceDummy1;
		uint priceDummy2;
		(priceDummy1,priceDummy2,blockTimestampLast) = UniswapV2OracleLibrary.currentCumulativePrices(address(pairBloodWeth));
    	priceBloodCumulativeLast = (tokenBlood < tokenWeth ? priceDummy1 : priceDummy2);
		
		(priceDummy1,priceDummy2,blockTimestampLast) = UniswapV2OracleLibrary.currentCumulativePrices(address(pairWethDai));
		priceWethCumulativeLast = (tokenWeth < tokenDai ? priceDummy1 : priceDummy2);
		priceDaiCumulativeLast = (tokenWeth < tokenDai ? priceDummy2 : priceDummy1);
		
	} 
	 
	    
    function updateOracle() internal returns (uint32){
		// this function updates the vwap oracle
		
		uint priceDummy1;
		uint priceDummy2;
		uint32 blockTimestamp;
		uint32 timeElapsed;
		
		(priceDummy1,priceDummy2,blockTimestamp) = UniswapV2OracleLibrary.currentCumulativePrices(address(pairBloodWeth));
    	uint priceBloodCumulative = (tokenBlood < tokenWeth ? priceDummy1 : priceDummy2);
		
		(priceDummy1,priceDummy2,blockTimestamp) = UniswapV2OracleLibrary.currentCumulativePrices(address(pairWethDai));
		uint priceWethCumulative = (tokenWeth < tokenDai ? priceDummy1 : priceDummy2);
		uint priceDaiCumulative = (tokenWeth < tokenDai ? priceDummy2 : priceDummy1);
		
		timeElapsed = blockTimestamp - blockTimestampLast; // overflow is desired
		
        // ensure that at least one full period has passed since the last update
		require(timeElapsed >= PERIOD, 'More time must pass before the next ritual can be held');

        priceWethAverage = FixedPoint.uq112x112(uint224((priceWethCumulative - priceWethCumulativeLast) / timeElapsed));
        priceDaiAverage = FixedPoint.uq112x112(uint224((priceDaiCumulative - priceDaiCumulativeLast) / timeElapsed));
        priceBloodAverage = FixedPoint.uq112x112(uint224((priceBloodCumulative - priceBloodCumulativeLast) / timeElapsed));
        
        priceWethCumulativeLast = priceWethCumulative; //price of token Weth in Dai
        priceDaiCumulativeLast = priceDaiCumulative; //price of token Weth in Dai
        priceBloodCumulativeLast = priceBloodCumulative; //price of token Weth in Dai
        
		blockTimestampLast = blockTimestamp;
		
		return timeElapsed;
    }

    
	function getDarkEnergy() public view returns (uint256 darkEnergy) {	
		// darkEnergy is the fundamental security parameter. It is the ratio of guaranteed value in blood divided by the total collateral.
		// 1000 means that we can exactly gurantee all bloodVials. We aim for 1500 or 50% overcollateralisation 
		
		uint256 ethReserves = address(this).balance;
		uint256 treasury = uint256(priceWethAverage.mul(ethReserves).decode144()); // value of contract eth in dai
		uint256 liabilities = bloodVial.totalSupply();  // fictional value of the blood assuming each vial is worth one dai
		
		darkEnergy = treasury.mul(1000).div(liabilities);
		
	}
	
	
    function darkRitual() internal returns (bool){ 
		// the darkRitual calls a bloodRitual when enough time has passed. Otherwise it does nothing so the calling fucntion can proceed
		
		uint priceDummy1;
		uint priceDummy2;
		uint32 blockTimestamp;
		uint32 timeElapsed;
		
		(priceDummy1,priceDummy2,blockTimestamp) = UniswapV2OracleLibrary.currentCumulativePrices(address(pairBloodWeth));	
		timeElapsed = blockTimestamp - blockTimestampLast; // overflow is desired
		
		if (timeElapsed >= PERIOD) {
			bloodRitual();
		}
		 
		return true;
	}
		
    function bloodRitual() public returns (bool) {
		// the bloodRitual tries to bring the value of a vial back to one dai. To acchieve this the vampires will draw or consume blood. If darkEnergy is too low, they will call a liquidation by rebasing the bloodVials

	  	uint32 timeElapsed = updateOracle(); 
		uint256 darkEnergy = getDarkEnergy();
		
		if (darkEnergy > 1500){
			// Vampires firmly in power, only defend the value of blood 
			fillBloodVials(darkEnergy,timeElapsed);
			
		} else if (darkEnergy > 800){
			// recrout new Vampires to increase darkEnergy. Also defend price of Blood
			recruitVampires(darkEnergy,timeElapsed);
			fillBloodVials(darkEnergy,timeElapsed);
			
			
		} else {
			// here the vampires have lost controll. A liquidation is needed. We rebase bloodVials until we have enough darkPower to back their price. 
			uint256 one = 10**18;
			uint256 price = uint256(priceBloodAverage.mul(one).decode144()); // price of one vial in weth
			uint256 daiPrice = uint256(priceWethAverage.mul(price).decode144()); // price of one vial in dai
			
			if (daiPrice > one){
				// as long as the market price is above one dai we do not rebase. Instead people can just sell and be happy.
				recruitVampires(darkEnergy,timeElapsed);
				
			}
			else {
			// rebase bloodVials
				rebase(); 
				
				// do not use price oracles here as they are outdated after the rebase. This may also affect other fucntions that use  priceBloodAverage. Currently this is never used outside of the bloodRitual so there is no concern. But if in the future there would be callable fucntions relying on it we would need to update it here
			}	
		}
		
		// reward the caller, a bit less than 1% of vampires per year 
		uint256 reward = totalSupply().mul(timeElapsed).div(1000000).div(1 hours);
		_mint(msg.sender,reward);  
		
		return true;
    } 
	 
	 
    function rebase() internal returns (bool) {
		
		uint256 ethReserves = address(this).balance;
		uint256 treasury = uint256(priceWethAverage.mul(ethReserves).decode144()); 
		
		uint256 liabilities = bloodVial.totalSupply();  
		
		uint256 bloodDropIncrease = liabilities.mul(1000).div(treasury);
		// this balances the bloodVials to current backing eth
		// never do more than a 3x in one step
		if (bloodDropIncrease > 3000) {
			bloodDropIncrease = 3000;
		}
		bloodVial.rebase(bloodDropIncrease);
		pairBloodWeth.sync(); // need to update uniswap pool after a rebase
		
		return true;
    } 
	
    function recruitVampires( uint darkEnergy,uint32 timeElapsed) internal returns (bool) {
    	// this function recruits new vampires and sells them to get more eth to bloster darkEnergy
		
		// darkEnergy < 1000: recruit 10% per epoch
		// darkEnergy < 1200: recruit 1% per epoch
		// darkEnergy > 1200: recruit 0.1% per epoch
			
		uint recruitFactor = 1;
		if (darkEnergy < 1000) recruitFactor = 100;
		else if (darkEnergy < 1200) recruitFactor = 10;
		
		uint256 targetRecruitment = recruitFactor.mul(timeElapsed).mul(totalSupply()).div(1000).div(EPOCH); 
		

        uint112 reserve0;
        uint112 reserve1;
		uint32 dummyTime;
        (reserve0, reserve1, dummyTime) = pairVampireWeth.getReserves();
		uint256 reserveVampire = (tokenVampire < tokenWeth? reserve0 : reserve1); 
		
		uint256 maxRecruitment = reserveVampire.mul(3).div(1000); // this is so we do not get too much slippage and can be frontrun 
		uint256 recruitment = (targetRecruitment < maxRecruitment? targetRecruitment: maxRecruitment);
		
		_mint(address(this),recruitment);  
		
		// dump the new recruits on the market and get darkEnergy
		address[] memory path = new address[](2);
		path[0] = tokenVampire;
		path[1] = routerV2.WETH();
		routerV2.swapExactTokensForETH(recruitment, 0, path, address(this), block.timestamp);
		
		return true;
    } 
	
	
    function fillBloodVials(uint darkEnergy,uint32 timeElapsed) internal returns (bool) {
    	// here we draw or consume blood to keep the value stable
		
		uint256 one = 10**18;
		uint256 price = uint256(priceBloodAverage.mul(one).decode144()); // price of one vial in weth
		uint256 daiPrice = uint256(priceWethAverage.mul(price).decode144()); // price of one vial in dai
		
		uint256 reserveWeth;
		uint256 reserveBlood;
		
        { // local scope
		uint112 reserve0;
        uint112 reserve1;
		uint32 dummyTime;
        (reserve0, reserve1, dummyTime) = pairBloodWeth.getReserves();
		
		reserveWeth = (tokenBlood < tokenWeth? reserve1 : reserve0);
		reserveBlood = (tokenBlood < tokenWeth? reserve0 : reserve1);
		}
		
		uint256 bloodVialSupply = bloodVial.totalSupply();
		
		if (daiPrice > one) {
			// draw and sell
			uint256 delta = daiPrice.sub(one).mul(10000).div(one); 
			// delta is fractional price difference, the higher the more we want to draw
			
			uint256 baseRate = 500; // print an extra 5%
			if (darkEnergy < 1000) baseRate = 0; // no extra print if we are not collateralised
			else if (darkEnergy < 1200) baseRate = 100; // print extra 1%
			uint256 epochIssuance = delta.add(baseRate).mul(bloodVialSupply).div(10000); 
			uint256 targetIssuance = epochIssuance.mul(timeElapsed).div(EPOCH);
				
	        
			uint256 maxIssuance = reserveBlood.mul(3).div(1000);
			
			// if live price is far away we can issue even more. We may get frontrun, but if price is good there is no problem
			price = one.mul(reserveWeth).div(reserveBlood);
			daiPrice = uint256(priceWethAverage.mul(price).decode144());
			if (daiPrice > one) {
				delta = daiPrice.sub(one).mul(10000).div(one);
				if (delta > 330){ // more then 3.3% price differnce
					uint256 slip = delta.sub(300); // trade to 3%
					if (slip > 500){slip = 500;} // never slip more than 5%
					maxIssuance = reserveBlood.mul(slip).div(10000);
				
				}
			}
			
			uint256 issuance = (targetIssuance < maxIssuance? targetIssuance: maxIssuance);
			
			bloodVial.mint(address(this),issuance);  
		
			// sell new blood to drop the price
			address[] memory path = new address[](2);
			path[0] = tokenBlood;
			path[1] = routerV2.WETH();
			routerV2.swapExactTokensForETH(issuance, 0, path, address(this), block.timestamp);
						 
		}
		else {
		 	// here price is low, so we want to buy back blood and consume it
			uint256 delta = one.sub(daiPrice).mul(10000).div(one); 
			uint256 epochBurn = delta.mul(bloodVialSupply).div(10000);
			uint256 targetBurn = epochBurn.mul(timeElapsed).div(EPOCH);
			
			uint256 maxBurn = reserveBlood.mul(3).div(1000);  // limit maximum slippage
			
			
			// again check if live price is far too low, then buy even more
			price = one.mul(reserveWeth).div(reserveBlood);
			daiPrice = uint256(priceWethAverage.mul(price).decode144());
			if (daiPrice < one) {
				delta = one.sub(daiPrice).mul(10000).div(one);
				if (delta > 330){ // more then 3.3% price differnce
					uint256 slip = delta.sub(300); // trade to 3%
					if (slip > 500){slip = 500;} // never slip more than 5%
					maxBurn = reserveBlood.mul(slip).div(10000);
				
				}
			}
			
			
			uint256 burn = (targetBurn < maxBurn? targetBurn: maxBurn);
			uint256 ethBurn = uint256(priceBloodAverage.mul(burn).decode144()); 
			uint256 maxEthBurn = address(this).balance.div(2); // never burn more than half the treasury
			if (ethBurn > maxEthBurn) {
				ethBurn = maxEthBurn;
			}
			
			// buy and consume blood
			address[] memory path = new address[](2);
			path[0] = routerV2.WETH();
			path[1] = tokenBlood;
			routerV2.swapExactETHForTokens{value: ethBurn}(0, path, address(this),  block.timestamp );
			
			burn = bloodVial.balanceOf(address(this));
			
			bloodVial.burn(address(this),burn);
			
			
		}
		
	
		return true;
		
    }
	
	
	
	function sliverBullet(uint vampires) public returns (bool) {
		// this kills of your vampires and steals their eth
		
		require(balanceOf(msg.sender) >= vampires,'Cannot kill more vampires than you have found');
		
		darkRitual();
		
		// this is a copy of getDarkEnergy, we call it like this since we need intermediate quantities
		uint256 ethReserves = address(this).balance;
		uint256 treasury = uint256(priceWethAverage.mul(ethReserves).decode144()); 
		uint256 liabilities = bloodVial.totalSupply(); 
		
		uint256 darkEnergy = treasury.mul(1000).div(liabilities);
		
		require(darkEnergy > 2000, 'The Vampires are still hiding in their lairs');
		
		uint256 lootedDai = (treasury.sub(liabilities)).mul(vampires).div(totalSupply()); 
		uint256 targetDarkEnergy = (treasury.sub(lootedDai)).mul(1000).div(liabilities); 
		
		require(targetDarkEnergy > 2000,"Be more careful! Now the vampires are hiding");
			
		// alternatice calculation: (treasury - liabilities)/treasury * ethReserves/supply*vampires (would not require dai oracle)
		uint256 lootedEth = uint256(priceDaiAverage.mul(lootedDai).decode144());
		_burn(msg.sender, vampires );
		msg.sender.transfer(lootedEth);
		
	
		return true;
		
	}
	
	
	function bloodGarlic(uint vampires) public returns (bool) {
		// destroy an equal share of vampires and bloodVials to get a fraction of locked eth
		
		// this curse puts a constraint that the value of vampires and bloodVials must be at least equivalent to the ethreserve. 
		
		require(balanceOf(msg.sender) >= vampires,'Cannot poison more vampires than you have found');
		
		darkRitual(); // if you want to exit, at least update the oracles for us :)
		
		uint256 requiredBloodVials = vampires.mul(bloodVial.totalSupply()).div(totalSupply());
		require(bloodVial.balanceOf(msg.sender) >= requiredBloodVials,'Need more blood to contaminate it with garlic');
		
		uint256 ethReserves = address(this).balance;
		uint256 requestedEth = vampires.mul(ethReserves).div(totalSupply());
		_burn(msg.sender, vampires );
		bloodVial.burn(msg.sender, requiredBloodVials);
		
		msg.sender.transfer(requestedEth);
		
		return true;
		
	}
	
	function etherRitual() public payable returns (bool) {
		// this spell creates both blood and vampires out of ether, leaving the darkPower invariant
		// it can only be allowed if the vampires are strong enough if close to liquidation this otherwise could lead to the paradoxical situation of more Vials being filled 
		// when active it contrains the value of vampires and bloodVials from above
		
		darkRitual(); 
		require (getDarkEnergy() > 1500,'the vampires are too weak to cast this spell');
		// msg.value
		uint256 ethReserves = address(this).balance - msg.value; // ethReserves before the spell
		
		uint256 bloodVials = (msg.value).mul(bloodVial.totalSupply()).div(ethReserves);
		uint256 vampires = (msg.value).mul(totalSupply()).div(ethReserves);

		_mint(msg.sender, vampires );
		bloodVial.mint(msg.sender, bloodVials);
		
		return true;
		
	}

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"bloodVial_","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"EPOCH","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PERIOD","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"activateOracles","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"blockTimestampLast","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"vampires","type":"uint256"}],"name":"bloodGarlic","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"bloodRitual","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"etherRitual","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"getDarkEnergy","outputs":[{"internalType":"uint256","name":"darkEnergy","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"priceBloodAverage","outputs":[{"internalType":"uint224","name":"_x","type":"uint224"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"priceBloodCumulativeLast","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"priceDaiAverage","outputs":[{"internalType":"uint224","name":"_x","type":"uint224"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"priceDaiCumulativeLast","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"priceWethAverage","outputs":[{"internalType":"uint224","name":"_x","type":"uint224"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"priceWethCumulativeLast","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"vampires","type":"uint256"}],"name":"sliverBullet","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6101406040523480156200001257600080fd5b5060405162006ab938038062006ab9833981810160405260208110156200003857600080fd5b81019080805190602001909291905050506040518060400160405280600781526020017f56616d70697265000000000000000000000000000000000000000000000000008152506040518060400160405280600881526020017f56616d70697265730000000000000000000000000000000000000000000000008152508160039080519060200190620000cd92919062000cfb565b508060049080519060200190620000e692919062000cfb565b506012600560006101000a81548160ff021916908360ff1602179055505050600062000117620005ad60201b60201c565b905080600560016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35080600d60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff166101208173ffffffffffffffffffffffffffffffffffffffff1660601b815250503073ffffffffffffffffffffffffffffffffffffffff166101008173ffffffffffffffffffffffffffffffffffffffff1660601b815250506200028233683635c9adc5dea00000620005b560201b60201c565b620002d6735c69bee701ef814a2b6a3edd4b1652cb9cc5aa6f73c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2736b175474e89094c44da98b954eedeac495271d0f6200079360201b620055da1760201c565b73ffffffffffffffffffffffffffffffffffffffff1660808173ffffffffffffffffffffffffffffffffffffffff1660601b815250506200034c735c69bee701ef814a2b6a3edd4b1652cb9cc5aa6f3073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc26200079360201b620055da1760201c565b73ffffffffffffffffffffffffffffffffffffffff1660a08173ffffffffffffffffffffffffffffffffffffffff1660601b81525050620003c2735c69bee701ef814a2b6a3edd4b1652cb9cc5aa6f8273c02aaa39b223fe8d0a0e5c4f27ead9083c756cc26200079360201b620055da1760201c565b73ffffffffffffffffffffffffffffffffffffffff1660c08173ffffffffffffffffffffffffffffffffffffffff1660601b81525050737a250d5630b4cf539739df2c5dacb4c659f2488d73ffffffffffffffffffffffffffffffffffffffff1660e08173ffffffffffffffffffffffffffffffffffffffff1660601b81525050600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663095ea7b3737a250d5630b4cf539739df2c5dacb4c659f2488d7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156200052157600080fd5b505af115801562000536573d6000803e3d6000fd5b505050506040513d60208110156200054d57600080fd5b810190808051906020019092919050505050620005a630737a250d5630b4cf539739df2c5dacb4c659f2488d7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff620008f660201b60201c565b5062000daa565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141562000659576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b6200066d6000838362000af160201b60201c565b620006898160025462000af660201b620030181790919060201c565b600281905550620006e7816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205462000af660201b620030181790919060201c565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000806000620007aa858562000b7f60201b60201c565b91509150858282604051602001808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b81526014018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b8152601401925050506040516020818303038152906040528051906020012060405160200180807fff000000000000000000000000000000000000000000000000000000000000008152506001018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b8152601401828152602001807f96e8ac4277198ff8b6f785478aa9a39f403cb768dd02cbee326c3e7da348845f815250602001925050506040516020818303038152906040528051906020012060001c925050509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156200097e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602481526020018062006a956024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141562000a06576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602281526020018062006a4e6022913960400191505060405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b505050565b60008082840190508381101562000b75576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b6000808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16141562000c09576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602581526020018062006a706025913960400191505060405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161062000c4557828462000c48565b83835b8092508193505050600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141562000cf4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f556e697377617056324c6962726172793a205a45524f5f41444452455353000081525060200191505060405180910390fd5b9250929050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1062000d3e57805160ff191683800117855562000d6f565b8280016001018555821562000d6f579182015b8281111562000d6e57825182559160200191906001019062000d51565b5b50905062000d7e919062000d82565b5090565b62000da791905b8082111562000da357600081600090555060010162000d89565b5090565b90565b60805160601c60a05160601c60c05160601c60e05160601c6101005160601c6101205160601c615bf862000e56600039806110d152806134085280613a3c5280613abd5280613f7f5280614704525080614c925280614d7d525080613fe752806140cf528061461c528061476c5280614de55280614ecd525080611054528061254e52806133a9528061395052806152fd525080614ba452508061111e52806134515250615bf86000f3fe6080604052600436106101c55760003560e01c806369a66151116100f7578063a457c2d711610095578063d5cd93e111610064578063d5cd93e1146109a1578063dd62ed3e146109cc578063f2fde38b14610a51578063fa1b226414610aa2576101cc565b8063a457c2d714610859578063a9059cbb146108cc578063b4d1d7951461093f578063c5700a021461096a576101cc565b80638da5cb5b116100d15780638da5cb5b146106e057806395d89b411461073757806396f1885a146107c7578063a0dc27581461082e576101cc565b806369a661511461061157806370a0823114610664578063715018a6146106c9576101cc565b8063313ce5671161016457806346676dfe1161013e57806346676dfe146105325780634d2ee9e01461059957806358f18f4e146105bb5780635c0410ac146105e6576101cc565b8063313ce5671461046357806339509351146104945780633ddeb0ed14610507576101cc565b806318160ddd116101a057806318160ddd146103275780631c8b70131461035257806320b07e9f1461036957806323b872dd146103d0576101cc565b8062c952c9146101d157806306fdde0314610224578063095ea7b3146102b4576101cc565b366101cc57005b600080fd5b3480156101dd57600080fd5b5061020a600480360360208110156101f457600080fd5b8101908080359060200190929190505050610ad1565b604051808215151515815260200191505060405180910390f35b34801561023057600080fd5b50610239610eb8565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561027957808201518184015260208101905061025e565b50505050905090810190601f1680156102a65780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156102c057600080fd5b5061030d600480360360408110156102d757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f5a565b604051808215151515815260200191505060405180910390f35b34801561033357600080fd5b5061033c610f78565b6040518082815260200191505060405180910390f35b34801561035e57600080fd5b50610367610f82565b005b34801561037557600080fd5b5061037e611244565b60405180827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156103dc57600080fd5b50610449600480360360608110156103f357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611278565b604051808215151515815260200191505060405180910390f35b34801561046f57600080fd5b50610478611351565b604051808260ff1660ff16815260200191505060405180910390f35b3480156104a057600080fd5b506104ed600480360360408110156104b757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611368565b604051808215151515815260200191505060405180910390f35b34801561051357600080fd5b5061051c61141b565b6040518082815260200191505060405180910390f35b34801561053e57600080fd5b50610547611421565b60405180827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105a1611455565b604051808215151515815260200191505060405180910390f35b3480156105c757600080fd5b506105d06116bc565b6040518082815260200191505060405180910390f35b3480156105f257600080fd5b506105fb6116c2565b6040518082815260200191505060405180910390f35b34801561061d57600080fd5b5061064a6004803603602081101561063457600080fd5b810190808035906020019092919050505061184b565b604051808215151515815260200191505060405180910390f35b34801561067057600080fd5b506106b36004803603602081101561068757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c7c565b6040518082815260200191505060405180910390f35b3480156106d557600080fd5b506106de611cc4565b005b3480156106ec57600080fd5b506106f5611e4f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561074357600080fd5b5061074c611e79565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561078c578082015181840152602081019050610771565b50505050905090810190601f1680156107b95780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156107d357600080fd5b506107dc611f1b565b60405180827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561083a57600080fd5b50610843611f4f565b6040518082815260200191505060405180910390f35b34801561086557600080fd5b506108b26004803603604081101561087c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611f56565b604051808215151515815260200191505060405180910390f35b3480156108d857600080fd5b50610925600480360360408110156108ef57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612023565b604051808215151515815260200191505060405180910390f35b34801561094b57600080fd5b50610954612041565b6040518082815260200191505060405180910390f35b34801561097657600080fd5b5061097f612047565b604051808263ffffffff1663ffffffff16815260200191505060405180910390f35b3480156109ad57600080fd5b506109b661205d565b6040518082815260200191505060405180910390f35b3480156109d857600080fd5b50610a3b600480360360408110156109ef57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612063565b6040518082815260200191505060405180910390f35b348015610a5d57600080fd5b50610aa060048036036020811015610a7457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506120ea565b005b348015610aae57600080fd5b50610ab76122fa565b604051808215151515815260200191505060405180910390f35b600081610add33611c7c565b1015610b34576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180615a13602f913960400191505060405180910390fd5b610b3c612541565b506000610c0d610b4a610f78565b610bff600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b158015610bb557600080fd5b505afa158015610bc9573d6000803e3d6000fd5b505050506040513d6020811015610bdf57600080fd5b8101908080519060200190929190505050866125b990919063ffffffff16565b61263f90919063ffffffff16565b905080600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610caf57600080fd5b505afa158015610cc3573d6000803e3d6000fd5b505050506040513d6020811015610cd957600080fd5b81019080805190602001909291905050501015610d41576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602d815260200180615a42602d913960400191505060405180910390fd5b60004790506000610d74610d53610f78565b610d6684886125b990919063ffffffff16565b61263f90919063ffffffff16565b9050610d803386612689565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16639dc29fac33856040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610e2957600080fd5b505af1158015610e3d573d6000803e3d6000fd5b505050506040513d6020811015610e5357600080fd5b8101908080519060200190929190505050503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610eab573d6000803e3d6000fd5b5060019350505050919050565b606060038054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610f505780601f10610f2557610100808354040283529160200191610f50565b820191906000526020600020905b815481529060010190602001808311610f3357829003601f168201915b5050505050905090565b6000610f6e610f6761284d565b8484612855565b6001905092915050565b6000600254905090565b610f8a61284d565b73ffffffffffffffffffffffffffffffffffffffff16600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461104c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6000806110787f0000000000000000000000000000000000000000000000000000000000000000612a4c565b600960008291906101000a81548163ffffffff021916908363ffffffff16021790555081935082945050505073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff167f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16106111115780611113565b815b6008819055506111427f0000000000000000000000000000000000000000000000000000000000000000612a4c565b600960008291906101000a81548163ffffffff021916908363ffffffff160217905550819350829450505050736b175474e89094c44da98b954eedeac495271d0f73ffffffffffffffffffffffffffffffffffffffff1673c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff16106111cf57806111d1565b815b600681905550736b175474e89094c44da98b954eedeac495271d0f73ffffffffffffffffffffffffffffffffffffffff1673c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff1610611238578161123a565b805b6007819055505050565b600a8060000160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16905081565b6000611285848484612c97565b6113468461129161284d565b61134185604051806060016040528060288152602001615a9060289139600160008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006112f761284d565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612f589092919063ffffffff16565b612855565b600190509392505050565b6000600560009054906101000a900460ff16905090565b600061141161137561284d565b8461140c856001600061138661284d565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461301890919063ffffffff16565b612855565b6001905092915050565b60085481565b600c8060000160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16905081565b600061145f612541565b506105dc61146b6116c2565b116114c1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c81526020018061593a602c913960400191505060405180910390fd5b60003447039050600061159182611583600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b15801561153957600080fd5b505afa15801561154d573d6000803e3d6000fd5b505050506040513d602081101561156357600080fd5b8101908080519060200190929190505050346125b990919063ffffffff16565b61263f90919063ffffffff16565b905060006115c1836115b36115a4610f78565b346125b990919063ffffffff16565b61263f90919063ffffffff16565b90506115cd33826130a0565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166340c10f1933846040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561167657600080fd5b505af115801561168a573d6000803e3d6000fd5b505050506040513d60208110156116a057600080fd5b8101908080519060200190929190505050506001935050505090565b60075481565b600080479050600061175f61175a83600a6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff1690506000600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b1580156117df57600080fd5b505afa1580156117f3573d6000803e3d6000fd5b505050506040513d602081101561180957600080fd5b81019080805190602001909291905050509050611843816118356103e8856125b990919063ffffffff16565b61263f90919063ffffffff16565b935050505090565b60008161185733611c7c565b10156118ae576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602d815260200180615b71602d913960400191505060405180910390fd5b6118b6612541565b506000479050600061195361194e83600a6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff1690506000600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b1580156119d357600080fd5b505afa1580156119e7573d6000803e3d6000fd5b505050506040513d60208110156119fd57600080fd5b810190808051906020019092919050505090506000611a3982611a2b6103e8866125b990919063ffffffff16565b61263f90919063ffffffff16565b90506107d08111611a95576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c8152602001806159e7602c913960400191505060405180910390fd5b6000611ad5611aa2610f78565b611ac789611ab9878961335290919063ffffffff16565b6125b990919063ffffffff16565b61263f90919063ffffffff16565b90506000611b1284611b046103e8611af6868a61335290919063ffffffff16565b6125b990919063ffffffff16565b61263f90919063ffffffff16565b90506107d08111611b6e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c815260200180615ad9602c913960400191505060405180910390fd5b6000611c05611c0084600b6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff169050611c25338a612689565b3373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015611c6b573d6000803e3d6000fd5b506001975050505050505050919050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b611ccc61284d565b73ffffffffffffffffffffffffffffffffffffffff16600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611d8e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff16600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a36000600560016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060048054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611f115780601f10611ee657610100808354040283529160200191611f11565b820191906000526020600020905b815481529060010190602001808311611ef457829003601f168201915b5050505050905090565b600b8060000160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16905081565b6201518081565b6000612019611f6361284d565b8461201485604051806060016040528060258152602001615b9e6025913960016000611f8d61284d565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612f589092919063ffffffff16565b612855565b6001905092915050565b600061203761203061284d565b8484612c97565b6001905092915050565b610e1081565b600960009054906101000a900463ffffffff1681565b60065481565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6120f261284d565b73ffffffffffffffffffffffffffffffffffffffff16600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146121b4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561223a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806158f26026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff16600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600560016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008061230561339c565b905060006123116116c2565b90506105dc81111561232d5761232781836137de565b506124e0565b610320811115612352576123418183614b14565b5061234c81836137de565b506124df565b6000670de0b6b3a7640000905060006123f66123f183600c6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff16905060006124a361249e83600a6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff169050828111156124d1576124cb8486614b14565b506124db565b6124d96150b5565b505b5050505b5b600061252b610e1061251d620f424061250f8763ffffffff16612501610f78565b6125b990919063ffffffff16565b61263f90919063ffffffff16565b61263f90919063ffffffff16565b905061253733826130a0565b6001935050505090565b60008060008060006125727f0000000000000000000000000000000000000000000000000000000000000000612a4c565b809450819550829650505050600960009054906101000a900463ffffffff1682039050610e108163ffffffff16106125ae576125ac6122fa565b505b600194505050505090565b6000808314156125cc5760009050612639565b60008284029050828482816125dd57fe5b0414612634576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180615a6f6021913960400191505060405180910390fd5b809150505b92915050565b600061268183836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250615386565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561270f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180615ab86021913960400191505060405180910390fd5b61271b8260008361544c565b612786816040518060600160405280602281526020016158d0602291396000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612f589092919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506127dd8160025461335290919063ffffffff16565b600281905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156128db576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180615b4d6024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612961576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806159186022913960400191505060405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b6000806000612a59615451565b90508373ffffffffffffffffffffffffffffffffffffffff16635909c0d56040518163ffffffff1660e01b815260040160206040518083038186803b158015612aa157600080fd5b505afa158015612ab5573d6000803e3d6000fd5b505050506040513d6020811015612acb57600080fd5b810190808051906020019092919050505092508373ffffffffffffffffffffffffffffffffffffffff16635a3d54936040518163ffffffff1660e01b815260040160206040518083038186803b158015612b2457600080fd5b505afa158015612b38573d6000803e3d6000fd5b505050506040513d6020811015612b4e57600080fd5b8101908080519060200190929190505050915060008060008673ffffffffffffffffffffffffffffffffffffffff16630902f1ac6040518163ffffffff1660e01b815260040160606040518083038186803b158015612bac57600080fd5b505afa158015612bc0573d6000803e3d6000fd5b505050506040513d6060811015612bd657600080fd5b810190808051906020019092919080519060200190929190805190602001909291905050509250925092508363ffffffff168163ffffffff1614612c8d57600081850390508063ffffffff16612c2c8486615467565b600001517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602870196508063ffffffff16612c648585615467565b600001517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff160286019550505b5050509193909250565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415612d1d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180615b056025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612da3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806158ad6023913960400191505060405180910390fd5b612dae83838361544c565b612e1981604051806060016040528060268152602001615966602691396000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612f589092919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612eac816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461301890919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b6000838311158290613005576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612fca578082015181840152602081019050612faf565b50505050905090810190601f168015612ff75780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600080828401905083811015613096576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415613143576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b61314f6000838361544c565b6131648160025461301890919063ffffffff16565b6002819055506131bb816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461301890919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b61326f615596565b6000808314806132d0575083600001517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16838486600001517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602925082816132cd57fe5b04145b613325576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180615b2a6023913960400191505060405180910390fd5b60405180602001604052808281525091505092915050565b6000607060ff168260000151901c9050919050565b600061339483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612f58565b905092915050565b60008060008060006133cd7f0000000000000000000000000000000000000000000000000000000000000000612a4c565b809450819550829650505050600073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff167f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1610613448578361344a565b845b90506134757f0000000000000000000000000000000000000000000000000000000000000000612a4c565b8095508196508297505050506000736b175474e89094c44da98b954eedeac495271d0f73ffffffffffffffffffffffffffffffffffffffff1673c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff16106134e457846134e6565b855b90506000736b175474e89094c44da98b954eedeac495271d0f73ffffffffffffffffffffffffffffffffffffffff1673c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff161061354b578661354d565b855b9050600960009054906101000a900463ffffffff1685039350610e108463ffffffff1610156135c7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603681526020018061598c6036913960400191505060405180910390fd5b60405180602001604052808563ffffffff166006548503816135e557fe5b047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815250600a60008201518160000160006101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555090505060405180602001604052808563ffffffff1660075484038161368157fe5b047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815250600b60008201518160000160006101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555090505060405180602001604052808563ffffffff1660085486038161371d57fe5b047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815250600c60008201518160000160006101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555090505081600681905550806007819055508260088190555084600960006101000a81548163ffffffff021916908363ffffffff1602179055508397505050505050505090565b600080670de0b6b3a76400009050600061388361387e83600c6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff169050600061393061392b83600a6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff16905060008060008060007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16630902f1ac6040518163ffffffff1660e01b815260040160606040518083038186803b1580156139b457600080fd5b505afa1580156139c8573d6000803e3d6000fd5b505050506040513d60608110156139de57600080fd5b8101908080519060200190929190805190602001909291908051906020019092919050505080935081945082955050505073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff167f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1610613a7c5782613a7e565b815b6dffffffffffffffffffffffffffff16945073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff167f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1610613afd5781613aff565b825b6dffffffffffffffffffffffffffff1693505050506000600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b158015613b7e57600080fd5b505afa158015613b92573d6000803e3d6000fd5b505050506040513d6020811015613ba857600080fd5b81019080805190602001909291905050509050858411156142b0576000613bfe87613bf0612710613be28b8a61335290919063ffffffff16565b6125b990919063ffffffff16565b61263f90919063ffffffff16565b905060006101f490506103e88b1015613c1a5760009050613c2a565b6104b08b1015613c2957606490505b5b6000613c65612710613c5786613c49868861301890919063ffffffff16565b6125b990919063ffffffff16565b61263f90919063ffffffff16565b90506000613c9762015180613c898e63ffffffff16856125b990919063ffffffff16565b61263f90919063ffffffff16565b90506000613cc36103e8613cb560038a6125b990919063ffffffff16565b61263f90919063ffffffff16565b9050613cea87613cdc8a8e6125b990919063ffffffff16565b61263f90919063ffffffff16565b9950613d81613d7c8b600a6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff1698508a891115613e3957613dd88b613dca612710613dbc8f8e61335290919063ffffffff16565b6125b990919063ffffffff16565b61263f90919063ffffffff16565b945061014a851115613e38576000613dfb61012c8761335290919063ffffffff16565b90506101f4811115613e0d576101f490505b613e34612710613e26838b6125b990919063ffffffff16565b61263f90919063ffffffff16565b9150505b5b6000818310613e485781613e4a565b825b9050600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166340c10f1930836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015613ef557600080fd5b505af1158015613f09573d6000803e3d6000fd5b505050506040513d6020811015613f1f57600080fd5b8101908080519060200190929190505050506060600267ffffffffffffffff81118015613f4b57600080fd5b50604051908082528060200260200182016040528015613f7a5781602001602082028036833780820191505090505b5090507f000000000000000000000000000000000000000000000000000000000000000081600081518110613fab57fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b15801561404b57600080fd5b505afa15801561405f573d6000803e3d6000fd5b505050506040513d602081101561407557600080fd5b81019080805190602001909291905050508160018151811061409357fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166318cbafe58360008430426040518663ffffffff1660e01b815260040180868152602001858152602001806020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001838152602001828103825285818151815260200191508051906020019060200280838360005b838110156141a557808201518184015260208101905061418a565b505050509050019650505050505050600060405180830381600087803b1580156141ce57600080fd5b505af11580156141e2573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250602081101561420c57600080fd5b810190808051604051939291908464010000000082111561422c57600080fd5b8382019150602082018581111561424257600080fd5b825186602082028301116401000000008211171561425f57600080fd5b8083526020830192505050908051906020019060200280838360005b8381101561429657808201518184015260208101905061427b565b505050509050016040525050505050505050505050614b04565b60006142eb876142dd6127106142cf898c61335290919063ffffffff16565b6125b990919063ffffffff16565b61263f90919063ffffffff16565b9050600061431661271061430885856125b990919063ffffffff16565b61263f90919063ffffffff16565b905060006143486201518061433a8d63ffffffff16856125b990919063ffffffff16565b61263f90919063ffffffff16565b905060006143746103e86143666003896125b990919063ffffffff16565b61263f90919063ffffffff16565b905061439b8661438d898d6125b990919063ffffffff16565b61263f90919063ffffffff16565b985061443261442d8a600a6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff169750898810156144ea576144898a61447b61271061446d8c8f61335290919063ffffffff16565b6125b990919063ffffffff16565b61263f90919063ffffffff16565b935061014a8411156144e95760006144ac61012c8661335290919063ffffffff16565b90506101f48111156144be576101f490505b6144e56127106144d7838a6125b990919063ffffffff16565b61263f90919063ffffffff16565b9150505b5b60008183106144f957816144fb565b825b9050600061459461458f83600c6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff16905060006145c060024761263f90919063ffffffff16565b9050808211156145ce578091505b6060600267ffffffffffffffff811180156145e857600080fd5b506040519080825280602002602001820160405280156146175781602001602082028036833780820191505090505b5090507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b15801561468057600080fd5b505afa158015614694573d6000803e3d6000fd5b505050506040513d60208110156146aa57600080fd5b8101908080519060200190929190505050816000815181106146c857fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250507f00000000000000000000000000000000000000000000000000000000000000008160018151811061473057fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16637ff36ab58460008430426040518663ffffffff1660e01b815260040180858152602001806020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001838152602001828103825285818151815260200191508051906020019060200280838360005b8381101561483c578082015181840152602081019050614821565b50505050905001955050505050506000604051808303818588803b15801561486357600080fd5b505af1158015614877573d6000803e3d6000fd5b50505050506040513d6000823e3d601f19601f8201168201806040525060208110156148a257600080fd5b81019080805160405193929190846401000000008211156148c257600080fd5b838201915060208201858111156148d857600080fd5b82518660208202830111640100000000821117156148f557600080fd5b8083526020830192505050908051906020019060200280838360005b8381101561492c578082015181840152602081019050614911565b5050505090500160405250505050600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156149d957600080fd5b505afa1580156149ed573d6000803e3d6000fd5b505050506040513d6020811015614a0357600080fd5b81019080805190602001909291905050509350600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16639dc29fac30866040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015614abf57600080fd5b505af1158015614ad3573d6000803e3d6000fd5b505050506040513d6020811015614ae957600080fd5b81019080805190602001909291905050505050505050505050505b6001965050505050505092915050565b600080600190506103e8841015614b2e5760649050614b3e565b6104b0841015614b3d57600a90505b5b6000614b9b62015180614b8d6103e8614b7f614b58610f78565b614b718a63ffffffff16896125b990919063ffffffff16565b6125b990919063ffffffff16565b61263f90919063ffffffff16565b61263f90919063ffffffff16565b905060008060007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16630902f1ac6040518163ffffffff1660e01b815260040160606040518083038186803b158015614c0857600080fd5b505afa158015614c1c573d6000803e3d6000fd5b505050506040513d6060811015614c3257600080fd5b81019080805190602001909291908051906020019092919080519060200190929190505050809350819450829550505050600073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff167f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1610614cd25782614cd4565b835b6dffffffffffffffffffffffffffff1690506000614d106103e8614d026003856125b990919063ffffffff16565b61263f90919063ffffffff16565b90506000818710614d215781614d23565b865b9050614d2f30826130a0565b6060600267ffffffffffffffff81118015614d4957600080fd5b50604051908082528060200260200182016040528015614d785781602001602082028036833780820191505090505b5090507f000000000000000000000000000000000000000000000000000000000000000081600081518110614da957fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b158015614e4957600080fd5b505afa158015614e5d573d6000803e3d6000fd5b505050506040513d6020811015614e7357600080fd5b810190808051906020019092919050505081600181518110614e9157fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166318cbafe58360008430426040518663ffffffff1660e01b815260040180868152602001858152602001806020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001838152602001828103825285818151815260200191508051906020019060200280838360005b83811015614fa3578082015181840152602081019050614f88565b505050509050019650505050505050600060405180830381600087803b158015614fcc57600080fd5b505af1158015614fe0573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250602081101561500a57600080fd5b810190808051604051939291908464010000000082111561502a57600080fd5b8382019150602082018581111561504057600080fd5b825186602082028301116401000000008211171561505d57600080fd5b8083526020830192505050908051906020019060200280838360005b83811015615094578082015181840152602081019050615079565b50505050905001604052505050506001995050505050505050505092915050565b600080479050600061515261514d83600a6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff1690506000600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b1580156151d257600080fd5b505afa1580156151e6573d6000803e3d6000fd5b505050506040513d60208110156151fc57600080fd5b8101908080519060200190929190505050905060006152388361522a6103e8856125b990919063ffffffff16565b61263f90919063ffffffff16565b9050610bb881111561524a57610bb890505b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663bc4f2d6d826040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b1580156152bf57600080fd5b505af11580156152d3573d6000803e3d6000fd5b505050506040513d60208110156152e957600080fd5b8101908080519060200190929190505050507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663fff6cae96040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561536357600080fd5b505af1158015615377573d6000803e3d6000fd5b50505050600194505050505090565b60008083118290615432576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156153f75780820151818401526020810190506153dc565b50505050905090810190601f1680156154245780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50600083858161543e57fe5b049050809150509392505050565b505050565b6000640100000000428161546157fe5b06905090565b61546f6155a9565b6000826dffffffffffffffffffffffffffff16116154f5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f4669786564506f696e743a204449565f42595f5a45524f00000000000000000081525060200191505060405180910390fd5b6040518060200160405280836dffffffffffffffffffffffffffff16607060ff16866dffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16901b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168161556c57fe5b047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815250905092915050565b6040518060200160405280600081525090565b604051806020016040528060007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525090565b60008060006155e98585615735565b91509150858282604051602001808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b81526014018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b8152601401925050506040516020818303038152906040528051906020012060405160200180807fff000000000000000000000000000000000000000000000000000000000000008152506001018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b8152601401828152602001807f96e8ac4277198ff8b6f785478aa9a39f403cb768dd02cbee326c3e7da348845f815250602001925050506040516020818303038152906040528051906020012060001c925050509392505050565b6000808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614156157bd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260258152602001806159c26025913960400191505060405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16106157f75782846157fa565b83835b8092508193505050600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156158a5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f556e697377617056324c6962726172793a205a45524f5f41444452455353000081525060200191505060405180910390fd5b925092905056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e63654f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f20616464726573737468652076616d70697265732061726520746f6f207765616b20746f20636173742074686973207370656c6c45524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e63654d6f72652074696d65206d7573742070617373206265666f726520746865206e6578742072697475616c2063616e2062652068656c64556e697377617056324c6962726172793a204944454e544943414c5f4144445245535345535468652056616d706972657320617265207374696c6c20686964696e6720696e207468656972206c6169727343616e6e6f7420706f69736f6e206d6f72652076616d7069726573207468616e20796f75206861766520666f756e644e656564206d6f726520626c6f6f6420746f20636f6e74616d696e6174652069742077697468206761726c6963536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7745524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f20616464726573734265206d6f7265206361726566756c21204e6f77207468652076616d70697265732061726520686964696e6745524332303a207472616e736665722066726f6d20746865207a65726f20616464726573734669786564506f696e743a204d554c5449504c49434154494f4e5f4f564552464c4f5745524332303a20617070726f76652066726f6d20746865207a65726f206164647265737343616e6e6f74206b696c6c206d6f72652076616d7069726573207468616e20796f75206861766520666f756e6445524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa2646970667358221220ee61e799f34e5914b79f465bbc00cd63e816edc1a7bddeca678057237024917b64736f6c6343000606003345524332303a20617070726f766520746f20746865207a65726f2061646472657373556e697377617056324c6962726172793a204944454e544943414c5f41444452455353455345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373000000000000000000000000ffdd4d26c91752d4f7aefa4d50737212126c04a2

0x6080604052600436106101c55760003560e01c806369a66151116100f7578063a457c2d711610095578063d5cd93e111610064578063d5cd93e1146109a1578063dd62ed3e146109cc578063f2fde38b14610a51578063fa1b226414610aa2576101cc565b8063a457c2d714610859578063a9059cbb146108cc578063b4d1d7951461093f578063c5700a021461096a576101cc565b80638da5cb5b116100d15780638da5cb5b146106e057806395d89b411461073757806396f1885a146107c7578063a0dc27581461082e576101cc565b806369a661511461061157806370a0823114610664578063715018a6146106c9576101cc565b8063313ce5671161016457806346676dfe1161013e57806346676dfe146105325780634d2ee9e01461059957806358f18f4e146105bb5780635c0410ac146105e6576101cc565b8063313ce5671461046357806339509351146104945780633ddeb0ed14610507576101cc565b806318160ddd116101a057806318160ddd146103275780631c8b70131461035257806320b07e9f1461036957806323b872dd146103d0576101cc565b8062c952c9146101d157806306fdde0314610224578063095ea7b3146102b4576101cc565b366101cc57005b600080fd5b3480156101dd57600080fd5b5061020a600480360360208110156101f457600080fd5b8101908080359060200190929190505050610ad1565b604051808215151515815260200191505060405180910390f35b34801561023057600080fd5b50610239610eb8565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561027957808201518184015260208101905061025e565b50505050905090810190601f1680156102a65780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156102c057600080fd5b5061030d600480360360408110156102d757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f5a565b604051808215151515815260200191505060405180910390f35b34801561033357600080fd5b5061033c610f78565b6040518082815260200191505060405180910390f35b34801561035e57600080fd5b50610367610f82565b005b34801561037557600080fd5b5061037e611244565b60405180827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156103dc57600080fd5b50610449600480360360608110156103f357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611278565b604051808215151515815260200191505060405180910390f35b34801561046f57600080fd5b50610478611351565b604051808260ff1660ff16815260200191505060405180910390f35b3480156104a057600080fd5b506104ed600480360360408110156104b757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611368565b604051808215151515815260200191505060405180910390f35b34801561051357600080fd5b5061051c61141b565b6040518082815260200191505060405180910390f35b34801561053e57600080fd5b50610547611421565b60405180827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105a1611455565b604051808215151515815260200191505060405180910390f35b3480156105c757600080fd5b506105d06116bc565b6040518082815260200191505060405180910390f35b3480156105f257600080fd5b506105fb6116c2565b6040518082815260200191505060405180910390f35b34801561061d57600080fd5b5061064a6004803603602081101561063457600080fd5b810190808035906020019092919050505061184b565b604051808215151515815260200191505060405180910390f35b34801561067057600080fd5b506106b36004803603602081101561068757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c7c565b6040518082815260200191505060405180910390f35b3480156106d557600080fd5b506106de611cc4565b005b3480156106ec57600080fd5b506106f5611e4f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561074357600080fd5b5061074c611e79565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561078c578082015181840152602081019050610771565b50505050905090810190601f1680156107b95780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156107d357600080fd5b506107dc611f1b565b60405180827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561083a57600080fd5b50610843611f4f565b6040518082815260200191505060405180910390f35b34801561086557600080fd5b506108b26004803603604081101561087c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611f56565b604051808215151515815260200191505060405180910390f35b3480156108d857600080fd5b50610925600480360360408110156108ef57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612023565b604051808215151515815260200191505060405180910390f35b34801561094b57600080fd5b50610954612041565b6040518082815260200191505060405180910390f35b34801561097657600080fd5b5061097f612047565b604051808263ffffffff1663ffffffff16815260200191505060405180910390f35b3480156109ad57600080fd5b506109b661205d565b6040518082815260200191505060405180910390f35b3480156109d857600080fd5b50610a3b600480360360408110156109ef57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612063565b6040518082815260200191505060405180910390f35b348015610a5d57600080fd5b50610aa060048036036020811015610a7457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506120ea565b005b348015610aae57600080fd5b50610ab76122fa565b604051808215151515815260200191505060405180910390f35b600081610add33611c7c565b1015610b34576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180615a13602f913960400191505060405180910390fd5b610b3c612541565b506000610c0d610b4a610f78565b610bff600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b158015610bb557600080fd5b505afa158015610bc9573d6000803e3d6000fd5b505050506040513d6020811015610bdf57600080fd5b8101908080519060200190929190505050866125b990919063ffffffff16565b61263f90919063ffffffff16565b905080600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610caf57600080fd5b505afa158015610cc3573d6000803e3d6000fd5b505050506040513d6020811015610cd957600080fd5b81019080805190602001909291905050501015610d41576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602d815260200180615a42602d913960400191505060405180910390fd5b60004790506000610d74610d53610f78565b610d6684886125b990919063ffffffff16565b61263f90919063ffffffff16565b9050610d803386612689565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16639dc29fac33856040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610e2957600080fd5b505af1158015610e3d573d6000803e3d6000fd5b505050506040513d6020811015610e5357600080fd5b8101908080519060200190929190505050503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610eab573d6000803e3d6000fd5b5060019350505050919050565b606060038054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610f505780601f10610f2557610100808354040283529160200191610f50565b820191906000526020600020905b815481529060010190602001808311610f3357829003601f168201915b5050505050905090565b6000610f6e610f6761284d565b8484612855565b6001905092915050565b6000600254905090565b610f8a61284d565b73ffffffffffffffffffffffffffffffffffffffff16600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461104c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6000806110787f000000000000000000000000cf17a4d78d2236d9ed7d1a785d0e3cdff12b109f612a4c565b600960008291906101000a81548163ffffffff021916908363ffffffff16021790555081935082945050505073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff167f000000000000000000000000ffdd4d26c91752d4f7aefa4d50737212126c04a273ffffffffffffffffffffffffffffffffffffffff16106111115780611113565b815b6008819055506111427f000000000000000000000000a478c2975ab1ea89e8196811f51a7b7ade33eb11612a4c565b600960008291906101000a81548163ffffffff021916908363ffffffff160217905550819350829450505050736b175474e89094c44da98b954eedeac495271d0f73ffffffffffffffffffffffffffffffffffffffff1673c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff16106111cf57806111d1565b815b600681905550736b175474e89094c44da98b954eedeac495271d0f73ffffffffffffffffffffffffffffffffffffffff1673c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff1610611238578161123a565b805b6007819055505050565b600a8060000160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16905081565b6000611285848484612c97565b6113468461129161284d565b61134185604051806060016040528060288152602001615a9060289139600160008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006112f761284d565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612f589092919063ffffffff16565b612855565b600190509392505050565b6000600560009054906101000a900460ff16905090565b600061141161137561284d565b8461140c856001600061138661284d565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461301890919063ffffffff16565b612855565b6001905092915050565b60085481565b600c8060000160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16905081565b600061145f612541565b506105dc61146b6116c2565b116114c1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c81526020018061593a602c913960400191505060405180910390fd5b60003447039050600061159182611583600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b15801561153957600080fd5b505afa15801561154d573d6000803e3d6000fd5b505050506040513d602081101561156357600080fd5b8101908080519060200190929190505050346125b990919063ffffffff16565b61263f90919063ffffffff16565b905060006115c1836115b36115a4610f78565b346125b990919063ffffffff16565b61263f90919063ffffffff16565b90506115cd33826130a0565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166340c10f1933846040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561167657600080fd5b505af115801561168a573d6000803e3d6000fd5b505050506040513d60208110156116a057600080fd5b8101908080519060200190929190505050506001935050505090565b60075481565b600080479050600061175f61175a83600a6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff1690506000600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b1580156117df57600080fd5b505afa1580156117f3573d6000803e3d6000fd5b505050506040513d602081101561180957600080fd5b81019080805190602001909291905050509050611843816118356103e8856125b990919063ffffffff16565b61263f90919063ffffffff16565b935050505090565b60008161185733611c7c565b10156118ae576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602d815260200180615b71602d913960400191505060405180910390fd5b6118b6612541565b506000479050600061195361194e83600a6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff1690506000600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b1580156119d357600080fd5b505afa1580156119e7573d6000803e3d6000fd5b505050506040513d60208110156119fd57600080fd5b810190808051906020019092919050505090506000611a3982611a2b6103e8866125b990919063ffffffff16565b61263f90919063ffffffff16565b90506107d08111611a95576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c8152602001806159e7602c913960400191505060405180910390fd5b6000611ad5611aa2610f78565b611ac789611ab9878961335290919063ffffffff16565b6125b990919063ffffffff16565b61263f90919063ffffffff16565b90506000611b1284611b046103e8611af6868a61335290919063ffffffff16565b6125b990919063ffffffff16565b61263f90919063ffffffff16565b90506107d08111611b6e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c815260200180615ad9602c913960400191505060405180910390fd5b6000611c05611c0084600b6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff169050611c25338a612689565b3373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015611c6b573d6000803e3d6000fd5b506001975050505050505050919050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b611ccc61284d565b73ffffffffffffffffffffffffffffffffffffffff16600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611d8e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff16600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a36000600560016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060048054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611f115780601f10611ee657610100808354040283529160200191611f11565b820191906000526020600020905b815481529060010190602001808311611ef457829003601f168201915b5050505050905090565b600b8060000160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16905081565b6201518081565b6000612019611f6361284d565b8461201485604051806060016040528060258152602001615b9e6025913960016000611f8d61284d565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612f589092919063ffffffff16565b612855565b6001905092915050565b600061203761203061284d565b8484612c97565b6001905092915050565b610e1081565b600960009054906101000a900463ffffffff1681565b60065481565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6120f261284d565b73ffffffffffffffffffffffffffffffffffffffff16600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146121b4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561223a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806158f26026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff16600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600560016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008061230561339c565b905060006123116116c2565b90506105dc81111561232d5761232781836137de565b506124e0565b610320811115612352576123418183614b14565b5061234c81836137de565b506124df565b6000670de0b6b3a7640000905060006123f66123f183600c6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff16905060006124a361249e83600a6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff169050828111156124d1576124cb8486614b14565b506124db565b6124d96150b5565b505b5050505b5b600061252b610e1061251d620f424061250f8763ffffffff16612501610f78565b6125b990919063ffffffff16565b61263f90919063ffffffff16565b61263f90919063ffffffff16565b905061253733826130a0565b6001935050505090565b60008060008060006125727f000000000000000000000000cf17a4d78d2236d9ed7d1a785d0e3cdff12b109f612a4c565b809450819550829650505050600960009054906101000a900463ffffffff1682039050610e108163ffffffff16106125ae576125ac6122fa565b505b600194505050505090565b6000808314156125cc5760009050612639565b60008284029050828482816125dd57fe5b0414612634576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180615a6f6021913960400191505060405180910390fd5b809150505b92915050565b600061268183836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250615386565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561270f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180615ab86021913960400191505060405180910390fd5b61271b8260008361544c565b612786816040518060600160405280602281526020016158d0602291396000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612f589092919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506127dd8160025461335290919063ffffffff16565b600281905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156128db576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180615b4d6024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612961576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806159186022913960400191505060405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b6000806000612a59615451565b90508373ffffffffffffffffffffffffffffffffffffffff16635909c0d56040518163ffffffff1660e01b815260040160206040518083038186803b158015612aa157600080fd5b505afa158015612ab5573d6000803e3d6000fd5b505050506040513d6020811015612acb57600080fd5b810190808051906020019092919050505092508373ffffffffffffffffffffffffffffffffffffffff16635a3d54936040518163ffffffff1660e01b815260040160206040518083038186803b158015612b2457600080fd5b505afa158015612b38573d6000803e3d6000fd5b505050506040513d6020811015612b4e57600080fd5b8101908080519060200190929190505050915060008060008673ffffffffffffffffffffffffffffffffffffffff16630902f1ac6040518163ffffffff1660e01b815260040160606040518083038186803b158015612bac57600080fd5b505afa158015612bc0573d6000803e3d6000fd5b505050506040513d6060811015612bd657600080fd5b810190808051906020019092919080519060200190929190805190602001909291905050509250925092508363ffffffff168163ffffffff1614612c8d57600081850390508063ffffffff16612c2c8486615467565b600001517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602870196508063ffffffff16612c648585615467565b600001517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff160286019550505b5050509193909250565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415612d1d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180615b056025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612da3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806158ad6023913960400191505060405180910390fd5b612dae83838361544c565b612e1981604051806060016040528060268152602001615966602691396000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612f589092919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612eac816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461301890919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b6000838311158290613005576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612fca578082015181840152602081019050612faf565b50505050905090810190601f168015612ff75780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600080828401905083811015613096576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415613143576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b61314f6000838361544c565b6131648160025461301890919063ffffffff16565b6002819055506131bb816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461301890919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b61326f615596565b6000808314806132d0575083600001517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16838486600001517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602925082816132cd57fe5b04145b613325576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180615b2a6023913960400191505060405180910390fd5b60405180602001604052808281525091505092915050565b6000607060ff168260000151901c9050919050565b600061339483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612f58565b905092915050565b60008060008060006133cd7f000000000000000000000000cf17a4d78d2236d9ed7d1a785d0e3cdff12b109f612a4c565b809450819550829650505050600073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff167f000000000000000000000000ffdd4d26c91752d4f7aefa4d50737212126c04a273ffffffffffffffffffffffffffffffffffffffff1610613448578361344a565b845b90506134757f000000000000000000000000a478c2975ab1ea89e8196811f51a7b7ade33eb11612a4c565b8095508196508297505050506000736b175474e89094c44da98b954eedeac495271d0f73ffffffffffffffffffffffffffffffffffffffff1673c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff16106134e457846134e6565b855b90506000736b175474e89094c44da98b954eedeac495271d0f73ffffffffffffffffffffffffffffffffffffffff1673c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff161061354b578661354d565b855b9050600960009054906101000a900463ffffffff1685039350610e108463ffffffff1610156135c7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603681526020018061598c6036913960400191505060405180910390fd5b60405180602001604052808563ffffffff166006548503816135e557fe5b047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815250600a60008201518160000160006101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555090505060405180602001604052808563ffffffff1660075484038161368157fe5b047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815250600b60008201518160000160006101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555090505060405180602001604052808563ffffffff1660085486038161371d57fe5b047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815250600c60008201518160000160006101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555090505081600681905550806007819055508260088190555084600960006101000a81548163ffffffff021916908363ffffffff1602179055508397505050505050505090565b600080670de0b6b3a76400009050600061388361387e83600c6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff169050600061393061392b83600a6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff16905060008060008060007f000000000000000000000000cf17a4d78d2236d9ed7d1a785d0e3cdff12b109f73ffffffffffffffffffffffffffffffffffffffff16630902f1ac6040518163ffffffff1660e01b815260040160606040518083038186803b1580156139b457600080fd5b505afa1580156139c8573d6000803e3d6000fd5b505050506040513d60608110156139de57600080fd5b8101908080519060200190929190805190602001909291908051906020019092919050505080935081945082955050505073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff167f000000000000000000000000ffdd4d26c91752d4f7aefa4d50737212126c04a273ffffffffffffffffffffffffffffffffffffffff1610613a7c5782613a7e565b815b6dffffffffffffffffffffffffffff16945073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff167f000000000000000000000000ffdd4d26c91752d4f7aefa4d50737212126c04a273ffffffffffffffffffffffffffffffffffffffff1610613afd5781613aff565b825b6dffffffffffffffffffffffffffff1693505050506000600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b158015613b7e57600080fd5b505afa158015613b92573d6000803e3d6000fd5b505050506040513d6020811015613ba857600080fd5b81019080805190602001909291905050509050858411156142b0576000613bfe87613bf0612710613be28b8a61335290919063ffffffff16565b6125b990919063ffffffff16565b61263f90919063ffffffff16565b905060006101f490506103e88b1015613c1a5760009050613c2a565b6104b08b1015613c2957606490505b5b6000613c65612710613c5786613c49868861301890919063ffffffff16565b6125b990919063ffffffff16565b61263f90919063ffffffff16565b90506000613c9762015180613c898e63ffffffff16856125b990919063ffffffff16565b61263f90919063ffffffff16565b90506000613cc36103e8613cb560038a6125b990919063ffffffff16565b61263f90919063ffffffff16565b9050613cea87613cdc8a8e6125b990919063ffffffff16565b61263f90919063ffffffff16565b9950613d81613d7c8b600a6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff1698508a891115613e3957613dd88b613dca612710613dbc8f8e61335290919063ffffffff16565b6125b990919063ffffffff16565b61263f90919063ffffffff16565b945061014a851115613e38576000613dfb61012c8761335290919063ffffffff16565b90506101f4811115613e0d576101f490505b613e34612710613e26838b6125b990919063ffffffff16565b61263f90919063ffffffff16565b9150505b5b6000818310613e485781613e4a565b825b9050600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166340c10f1930836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015613ef557600080fd5b505af1158015613f09573d6000803e3d6000fd5b505050506040513d6020811015613f1f57600080fd5b8101908080519060200190929190505050506060600267ffffffffffffffff81118015613f4b57600080fd5b50604051908082528060200260200182016040528015613f7a5781602001602082028036833780820191505090505b5090507f000000000000000000000000ffdd4d26c91752d4f7aefa4d50737212126c04a281600081518110613fab57fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250507f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d73ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b15801561404b57600080fd5b505afa15801561405f573d6000803e3d6000fd5b505050506040513d602081101561407557600080fd5b81019080805190602001909291905050508160018151811061409357fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250507f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d73ffffffffffffffffffffffffffffffffffffffff166318cbafe58360008430426040518663ffffffff1660e01b815260040180868152602001858152602001806020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001838152602001828103825285818151815260200191508051906020019060200280838360005b838110156141a557808201518184015260208101905061418a565b505050509050019650505050505050600060405180830381600087803b1580156141ce57600080fd5b505af11580156141e2573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250602081101561420c57600080fd5b810190808051604051939291908464010000000082111561422c57600080fd5b8382019150602082018581111561424257600080fd5b825186602082028301116401000000008211171561425f57600080fd5b8083526020830192505050908051906020019060200280838360005b8381101561429657808201518184015260208101905061427b565b505050509050016040525050505050505050505050614b04565b60006142eb876142dd6127106142cf898c61335290919063ffffffff16565b6125b990919063ffffffff16565b61263f90919063ffffffff16565b9050600061431661271061430885856125b990919063ffffffff16565b61263f90919063ffffffff16565b905060006143486201518061433a8d63ffffffff16856125b990919063ffffffff16565b61263f90919063ffffffff16565b905060006143746103e86143666003896125b990919063ffffffff16565b61263f90919063ffffffff16565b905061439b8661438d898d6125b990919063ffffffff16565b61263f90919063ffffffff16565b985061443261442d8a600a6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff169750898810156144ea576144898a61447b61271061446d8c8f61335290919063ffffffff16565b6125b990919063ffffffff16565b61263f90919063ffffffff16565b935061014a8411156144e95760006144ac61012c8661335290919063ffffffff16565b90506101f48111156144be576101f490505b6144e56127106144d7838a6125b990919063ffffffff16565b61263f90919063ffffffff16565b9150505b5b60008183106144f957816144fb565b825b9050600061459461458f83600c6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff16905060006145c060024761263f90919063ffffffff16565b9050808211156145ce578091505b6060600267ffffffffffffffff811180156145e857600080fd5b506040519080825280602002602001820160405280156146175781602001602082028036833780820191505090505b5090507f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d73ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b15801561468057600080fd5b505afa158015614694573d6000803e3d6000fd5b505050506040513d60208110156146aa57600080fd5b8101908080519060200190929190505050816000815181106146c857fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250507f000000000000000000000000ffdd4d26c91752d4f7aefa4d50737212126c04a28160018151811061473057fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250507f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d73ffffffffffffffffffffffffffffffffffffffff16637ff36ab58460008430426040518663ffffffff1660e01b815260040180858152602001806020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001838152602001828103825285818151815260200191508051906020019060200280838360005b8381101561483c578082015181840152602081019050614821565b50505050905001955050505050506000604051808303818588803b15801561486357600080fd5b505af1158015614877573d6000803e3d6000fd5b50505050506040513d6000823e3d601f19601f8201168201806040525060208110156148a257600080fd5b81019080805160405193929190846401000000008211156148c257600080fd5b838201915060208201858111156148d857600080fd5b82518660208202830111640100000000821117156148f557600080fd5b8083526020830192505050908051906020019060200280838360005b8381101561492c578082015181840152602081019050614911565b5050505090500160405250505050600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156149d957600080fd5b505afa1580156149ed573d6000803e3d6000fd5b505050506040513d6020811015614a0357600080fd5b81019080805190602001909291905050509350600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16639dc29fac30866040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015614abf57600080fd5b505af1158015614ad3573d6000803e3d6000fd5b505050506040513d6020811015614ae957600080fd5b81019080805190602001909291905050505050505050505050505b6001965050505050505092915050565b600080600190506103e8841015614b2e5760649050614b3e565b6104b0841015614b3d57600a90505b5b6000614b9b62015180614b8d6103e8614b7f614b58610f78565b614b718a63ffffffff16896125b990919063ffffffff16565b6125b990919063ffffffff16565b61263f90919063ffffffff16565b61263f90919063ffffffff16565b905060008060007f0000000000000000000000009e7abf31e9172144e02f501f272a03807ab148b473ffffffffffffffffffffffffffffffffffffffff16630902f1ac6040518163ffffffff1660e01b815260040160606040518083038186803b158015614c0857600080fd5b505afa158015614c1c573d6000803e3d6000fd5b505050506040513d6060811015614c3257600080fd5b81019080805190602001909291908051906020019092919080519060200190929190505050809350819450829550505050600073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff167f0000000000000000000000006457aa01f871754e6907b42cbcaf09383eff60ac73ffffffffffffffffffffffffffffffffffffffff1610614cd25782614cd4565b835b6dffffffffffffffffffffffffffff1690506000614d106103e8614d026003856125b990919063ffffffff16565b61263f90919063ffffffff16565b90506000818710614d215781614d23565b865b9050614d2f30826130a0565b6060600267ffffffffffffffff81118015614d4957600080fd5b50604051908082528060200260200182016040528015614d785781602001602082028036833780820191505090505b5090507f0000000000000000000000006457aa01f871754e6907b42cbcaf09383eff60ac81600081518110614da957fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250507f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d73ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b158015614e4957600080fd5b505afa158015614e5d573d6000803e3d6000fd5b505050506040513d6020811015614e7357600080fd5b810190808051906020019092919050505081600181518110614e9157fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250507f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d73ffffffffffffffffffffffffffffffffffffffff166318cbafe58360008430426040518663ffffffff1660e01b815260040180868152602001858152602001806020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001838152602001828103825285818151815260200191508051906020019060200280838360005b83811015614fa3578082015181840152602081019050614f88565b505050509050019650505050505050600060405180830381600087803b158015614fcc57600080fd5b505af1158015614fe0573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250602081101561500a57600080fd5b810190808051604051939291908464010000000082111561502a57600080fd5b8382019150602082018581111561504057600080fd5b825186602082028301116401000000008211171561505d57600080fd5b8083526020830192505050908051906020019060200280838360005b83811015615094578082015181840152602081019050615079565b50505050905001604052505050506001995050505050505050505092915050565b600080479050600061515261514d83600a6040518060200160405290816000820160009054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505061326790919063ffffffff16565b61333d565b71ffffffffffffffffffffffffffffffffffff1690506000600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b1580156151d257600080fd5b505afa1580156151e6573d6000803e3d6000fd5b505050506040513d60208110156151fc57600080fd5b8101908080519060200190929190505050905060006152388361522a6103e8856125b990919063ffffffff16565b61263f90919063ffffffff16565b9050610bb881111561524a57610bb890505b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663bc4f2d6d826040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b1580156152bf57600080fd5b505af11580156152d3573d6000803e3d6000fd5b505050506040513d60208110156152e957600080fd5b8101908080519060200190929190505050507f000000000000000000000000cf17a4d78d2236d9ed7d1a785d0e3cdff12b109f73ffffffffffffffffffffffffffffffffffffffff1663fff6cae96040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561536357600080fd5b505af1158015615377573d6000803e3d6000fd5b50505050600194505050505090565b60008083118290615432576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156153f75780820151818401526020810190506153dc565b50505050905090810190601f1680156154245780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50600083858161543e57fe5b049050809150509392505050565b505050565b6000640100000000428161546157fe5b06905090565b61546f6155a9565b6000826dffffffffffffffffffffffffffff16116154f5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f4669786564506f696e743a204449565f42595f5a45524f00000000000000000081525060200191505060405180910390fd5b6040518060200160405280836dffffffffffffffffffffffffffff16607060ff16866dffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16901b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168161556c57fe5b047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815250905092915050565b6040518060200160405280600081525090565b604051806020016040528060007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525090565b60008060006155e98585615735565b91509150858282604051602001808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b81526014018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b8152601401925050506040516020818303038152906040528051906020012060405160200180807fff000000000000000000000000000000000000000000000000000000000000008152506001018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b8152601401828152602001807f96e8ac4277198ff8b6f785478aa9a39f403cb768dd02cbee326c3e7da348845f815250602001925050506040516020818303038152906040528051906020012060001c925050509392505050565b6000808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614156157bd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260258152602001806159c26025913960400191505060405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16106157f75782846157fa565b83835b8092508193505050600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156158a5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f556e697377617056324c6962726172793a205a45524f5f41444452455353000081525060200191505060405180910390fd5b925092905056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e63654f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f20616464726573737468652076616d70697265732061726520746f6f207765616b20746f20636173742074686973207370656c6c45524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e63654d6f72652074696d65206d7573742070617373206265666f726520746865206e6578742072697475616c2063616e2062652068656c64556e697377617056324c6962726172793a204944454e544943414c5f4144445245535345535468652056616d706972657320617265207374696c6c20686964696e6720696e207468656972206c6169727343616e6e6f7420706f69736f6e206d6f72652076616d7069726573207468616e20796f75206861766520666f756e644e656564206d6f726520626c6f6f6420746f20636f6e74616d696e6174652069742077697468206761726c6963536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7745524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f20616464726573734265206d6f7265206361726566756c21204e6f77207468652076616d70697265732061726520686964696e6745524332303a207472616e736665722066726f6d20746865207a65726f20616464726573734669786564506f696e743a204d554c5449504c49434154494f4e5f4f564552464c4f5745524332303a20617070726f76652066726f6d20746865207a65726f206164647265737343616e6e6f74206b696c6c206d6f72652076616d7069726573207468616e20796f75206861766520666f756e6445524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa2646970667358221220ee61e799f34e5914b79f465bbc00cd63e816edc1a7bddeca678057237024917b64736f6c63430006060033

000000000000000000000000ffDD4d26C91752d4f7AEfa4d50737212126c04A2

-----Decoded View---------------
Arg [0] : bloodVial_ (address): 0xffDD4d26C91752d4f7AEfa4d50737212126c04A2

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

51405:17108:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12:1:-1;9;2:12;66679:947:0;;5:9:-1;2:2;;;27:1;24;17:12;2:2;66679:947:0;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;66679:947:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5834:83;;5:9:-1;2:2;;;27:1;24;17:12;2:2;5834:83:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5834:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7940:169;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7940:169:0;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7940:169:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6909:100;;5:9:-1;2:2;;;27:1;24;17:12;2:2;6909:100:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;54016:667;;5:9:-1;2:2;;;27:1;24;17:12;2:2;54016:667:0;;;:::i;:::-;;52929:44;;5:9:-1;2:2;;;27:1;24;17:12;2:2;52929:44:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8583:321;;5:9:-1;2:2;;;27:1;24;17:12;2:2;8583:321:0;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;8583:321:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6761:83;;5:9:-1;2:2;;;27:1;24;17:12;2:2;6761:83:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;9313:218;;5:9:-1;2:2;;;27:1;24;17:12;2:2;9313:218:0;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;9313:218:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;52843:39;;5:9:-1;2:2;;;27:1;24;17:12;2:2;52843:39:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;53078:45;;5:9:-1;2:2;;;27:1;24;17:12;2:2;53078:45:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;67632:876;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;52799:37;;5:9:-1;2:2;;;27:1;24;17:12;2:2;52799:37:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;56371:656;;5:9:-1;2:2;;;27:1;24;17:12;2:2;56371:656:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;65438:1232;;5:9:-1;2:2;;;27:1;24;17:12;2:2;65438:1232:0;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;65438:1232:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7072:119;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7072:119:0;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7072:119:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;38207:148;;5:9:-1;2:2;;;27:1;24;17:12;2:2;38207:148:0;;;:::i;:::-;;37565:79;;5:9:-1;2:2;;;27:1;24;17:12;2:2;37565:79:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6036:87;;5:9:-1;2:2;;;27:1;24;17:12;2:2;6036:87:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;6036:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;53004:43;;5:9:-1;2:2;;;27:1;24;17:12;2:2;53004:43:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;51633:35;;5:9:-1;2:2;;;27:1;24;17:12;2:2;51633:35:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10034:269;;5:9:-1;2:2;;;27:1;24;17:12;2:2;10034:269:0;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;10034:269:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7404:175;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7404:175:0;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7404:175:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;51542:37;;5:9:-1;2:2;;;27:1;24;17:12;2:2;51542:37:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;52889:33;;5:9:-1;2:2;;;27:1;24;17:12;2:2;52889:33:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;52754:38;;5:9:-1;2:2;;;27:1;24;17:12;2:2;52754:38:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7642:151;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7642:151:0;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7642:151:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;38510:244;;5:9:-1;2:2;;;27:1;24;17:12;2:2;38510:244:0;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;38510:244:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;57608:1885;;5:9:-1;2:2;;;27:1;24;17:12;2:2;57608:1885:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;66679:947;66731:4;66996:8;66971:21;66981:10;66971:9;:21::i;:::-;:33;;66963:92;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;67064:12;:10;:12::i;:::-;;67147:26;67176:56;67218:13;:11;:13::i;:::-;67176:37;67189:9;;;;;;;;;;;:21;;;:23;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;67189:23:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;67189:23:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;67189:23:0;;;;;;;;;;;;;;;;67176:8;:12;;:37;;;;:::i;:::-;:41;;:56;;;;:::i;:::-;67147:85;;67280:18;67245:9;;;;;;;;;;;:19;;;67265:10;67245:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;67245:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;67245:31:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;67245:31:0;;;;;;;;;;;;;;;;:53;;67237:110;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;67356:19;67378:21;67356:43;;67404:20;67427:44;67457:13;:11;:13::i;:::-;67427:25;67440:11;67427:8;:12;;:25;;;;:::i;:::-;:29;;:44;;;;:::i;:::-;67404:67;;67476:28;67482:10;67494:8;67476:5;:28::i;:::-;67509:9;;;;;;;;;;;:14;;;67524:10;67536:18;67509:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;67509:46:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;67509:46:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;67509:46:0;;;;;;;;;;;;;;;;;67564:10;:19;;:33;67584:12;67564:33;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;67564:33:0;67613:4;67606:11;;;;;66679:947;;;:::o;5834:83::-;5871:13;5904:5;5897:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5834:83;:::o;7940:169::-;8023:4;8040:39;8049:12;:10;:12::i;:::-;8063:7;8072:6;8040:8;:39::i;:::-;8097:4;8090:11;;7940:169;;;;:::o;6909:100::-;6962:7;6989:12;;6982:19;;6909:100;:::o;54016:667::-;37787:12;:10;:12::i;:::-;37777:22;;:6;;;;;;;;;;;:22;;;37769:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;54143:16:::1;54164::::0;54232:70:::1;54287:13;54232:46;:70::i;:::-;54210:18;;54185:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;52158:42;54338:22;;:10;:22;;;:50;;54377:11;54338:50;;;54363:11;54338:50;54310:24;:79;;;;54445:68;54500:11;54445:46;:68::i;:::-;54423:18;;54398:115;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;52429:42;54545:20;;52158:42;54545:20;;;:48;;54582:11;54545:48;;;54568:11;54545:48;54518:23;:76;;;;52429:42;54625:20;;52158:42;54625:20;;;:48;;54662:11;54625:48;;;54648:11;54625:48;54599:22;:75;;;;37847:1;;54016:667::o:0;52929:44::-;;;;;;;;;;;;;;;;;;:::o;8583:321::-;8689:4;8706:36;8716:6;8724:9;8735:6;8706:9;:36::i;:::-;8753:121;8762:6;8770:12;:10;:12::i;:::-;8784:89;8822:6;8784:89;;;;;;;;;;;;;;;;;:11;:19;8796:6;8784:19;;;;;;;;;;;;;;;:33;8804:12;:10;:12::i;:::-;8784:33;;;;;;;;;;;;;;;;:37;;:89;;;;;:::i;:::-;8753:8;:121::i;:::-;8892:4;8885:11;;8583:321;;;;;:::o;6761:83::-;6802:5;6827:9;;;;;;;;;;;6820:16;;6761:83;:::o;9313:218::-;9401:4;9418:83;9427:12;:10;:12::i;:::-;9441:7;9450:50;9489:10;9450:11;:25;9462:12;:10;:12::i;:::-;9450:25;;;;;;;;;;;;;;;:34;9476:7;9450:34;;;;;;;;;;;;;;;;:38;;:50;;;;:::i;:::-;9418:8;:83::i;:::-;9519:4;9512:11;;9313:218;;;;:::o;52843:39::-;;;;:::o;53078:45::-;;;;;;;;;;;;;;;;;;:::o;67632:876::-;67679:4;68038:12;:10;:12::i;:::-;;68083:4;68065:15;:13;:15::i;:::-;:22;68056:79;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;68156:19;68202:9;68178:21;:33;68156:55;;68252:18;68273:57;68318:11;68273:40;68289:9;;;;;;;;;;;:21;;;:23;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;68289:23:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68289:23:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;68289:23:0;;;;;;;;;;;;;;;;68274:9;68273:15;;:40;;;;:::i;:::-;:44;;:57;;;;:::i;:::-;68252:78;;68335:16;68354:47;68389:11;68354:30;68370:13;:11;:13::i;:::-;68355:9;68354:15;;:30;;;;:::i;:::-;:34;;:47;;;;:::i;:::-;68335:66;;68408:28;68414:10;68426:8;68408:5;:28::i;:::-;68441:9;;;;;;;;;;;:14;;;68456:10;68468;68441:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;68441:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68441:38:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;68441:38:0;;;;;;;;;;;;;;;;;68495:4;68488:11;;;;;67632:876;:::o;52799:37::-;;;;:::o;56371:656::-;56417:18;56689:19;56711:21;56689:43;;56737:16;56764:45;:33;56785:11;56764:16;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:33;;;;:::i;:::-;:43;:45::i;:::-;56756:54;;56737:73;;56847:19;56869:9;;;;;;;;;;;:21;;;:23;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;56869:23:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;56869:23:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;56869:23:0;;;;;;;;;;;;;;;;56847:45;;56983:35;57006:11;56983:18;56996:4;56983:8;:12;;:18;;;;:::i;:::-;:22;;:35;;;;:::i;:::-;56970:48;;56371:656;;;;:::o;65438:1232::-;65491:4;65594:8;65569:21;65579:10;65569:9;:21::i;:::-;:33;;65561:90;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;65660:12;:10;:12::i;:::-;;65779:19;65801:21;65779:43;;65827:16;65854:45;:33;65875:11;65854:16;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:33;;;;:::i;:::-;:43;:45::i;:::-;65846:54;;65827:73;;65906:19;65928:9;;;;;;;;;;;:21;;;:23;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;65928:23:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;65928:23:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;65928:23:0;;;;;;;;;;;;;;;;65906:45;;65961:18;65982:35;66005:11;65982:18;65995:4;65982:8;:12;;:18;;;;:::i;:::-;:22;;:35;;;;:::i;:::-;65961:56;;66047:4;66034:10;:17;66026:74;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;66109:17;66129:60;66175:13;:11;:13::i;:::-;66129:41;66161:8;66130:25;66143:11;66130:8;:12;;:25;;;;:::i;:::-;66129:31;;:41;;;;:::i;:::-;:45;;:60;;;;:::i;:::-;66109:80;;66195:24;66222:52;66262:11;66222:35;66252:4;66223:23;66236:9;66223:8;:12;;:23;;;;:::i;:::-;66222:29;;:35;;;;:::i;:::-;:39;;:52;;;;:::i;:::-;66195:79;;66311:4;66292:16;:23;66284:79;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;66499:17;66527:42;:30;66547:9;66527:15;:19;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:30;;;;:::i;:::-;:40;:42::i;:::-;66519:51;;66499:71;;66575:28;66581:10;66593:8;66575:5;:28::i;:::-;66608:10;:19;;:30;66628:9;66608:30;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;66608:30:0;66657:4;66650:11;;;;;;;;;65438:1232;;;:::o;7072:119::-;7138:7;7165:9;:18;7175:7;7165:18;;;;;;;;;;;;;;;;7158:25;;7072:119;;;:::o;38207:148::-;37787:12;:10;:12::i;:::-;37777:22;;:6;;;;;;;;;;;:22;;;37769:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;38314:1:::1;38277:40;;38298:6;;;;;;;;;;;38277:40;;;;;;;;;;;;38345:1;38328:6;;:19;;;;;;;;;;;;;;;;;;38207:148::o:0;37565:79::-;37603:7;37630:6;;;;;;;;;;;37623:13;;37565:79;:::o;6036:87::-;6075:13;6108:7;6101:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6036:87;:::o;53004:43::-;;;;;;;;;;;;;;;;;;:::o;51633:35::-;51662:6;51633:35;:::o;10034:269::-;10127:4;10144:129;10153:12;:10;:12::i;:::-;10167:7;10176:96;10215:15;10176:96;;;;;;;;;;;;;;;;;:11;:25;10188:12;:10;:12::i;:::-;10176:25;;;;;;;;;;;;;;;:34;10202:7;10176:34;;;;;;;;;;;;;;;;:38;;:96;;;;;:::i;:::-;10144:8;:129::i;:::-;10291:4;10284:11;;10034:269;;;;:::o;7404:175::-;7490:4;7507:42;7517:12;:10;:12::i;:::-;7531:9;7542:6;7507:9;:42::i;:::-;7567:4;7560:11;;7404:175;;;;:::o;51542:37::-;51572:7;51542:37;:::o;52889:33::-;;;;;;;;;;;;;:::o;52754:38::-;;;;:::o;7642:151::-;7731:7;7758:11;:18;7770:5;7758:18;;;;;;;;;;;;;;;:27;7777:7;7758:27;;;;;;;;;;;;;;;;7751:34;;7642:151;;;;:::o;38510:244::-;37787:12;:10;:12::i;:::-;37777:22;;:6;;;;;;;;;;;:22;;;37769:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;38619:1:::1;38599:22;;:8;:22;;;;38591:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;38709:8;38680:38;;38701:6;;;;;;;;;;;38680:38;;;;;;;;;;;;38738:8;38729:6;;:17;;;;;;;;;;;;;;;;;;38510:244:::0;:::o;57608:1885::-;57647:4;57876:18;57897:14;:12;:14::i;:::-;57876:35;;57917:18;57938:15;:13;:15::i;:::-;57917:36;;57979:4;57966:10;:17;57962:1325;;;58055:38;58070:10;58081:11;58055:14;:38::i;:::-;;57962:1325;;;58127:3;58114:10;:16;58110:1177;;;58216:39;58232:10;58243:11;58216:15;:39::i;:::-;;58261:38;58276:10;58287:11;58261:14;:38::i;:::-;;58110:1177;;;58471:11;58485:6;58471:20;;58497:13;58521:38;:26;58543:3;58521:17;:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:26;;;;:::i;:::-;:36;:38::i;:::-;58513:47;;58497:63;;58595:16;58622:39;:27;58643:5;58622:16;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;;:::i;:::-;:37;:39::i;:::-;58614:48;;58595:67;;58716:3;58705:8;:14;58701:580;;;58841:39;58857:10;58868:11;58841:15;:39::i;:::-;;58701:580;;;58935:8;:6;:8::i;:::-;;58701:580;58110:1177;;;;57962:1325;59361:14;59378:56;59426:7;59378:43;59413:7;59378:30;59396:11;59378:30;;:13;:11;:13::i;:::-;:17;;:30;;;;:::i;:::-;:34;;:43;;;;:::i;:::-;:47;;:56;;;;:::i;:::-;59361:73;;59439:24;59445:10;59456:6;59439:5;:24::i;:::-;59481:4;59474:11;;;;;57608:1885;:::o;57039:559::-;57079:4;57226:16;57247;57268:21;57294:18;57364:70;57419:13;57364:46;:70::i;:::-;57321:113;;;;;;;;;;;;57471:18;;;;;;;;;;;57454:14;:35;57440:49;;51572:7;57525:11;:21;;;57521:52;;57554:13;:11;:13::i;:::-;;57521:52;57589:4;57582:11;;;;;;57039:559;:::o;33347:471::-;33405:7;33655:1;33650;:6;33646:47;;;33680:1;33673:8;;;;33646:47;33705:9;33721:1;33717;:5;33705:17;;33750:1;33745;33741;:5;;;;;;:10;33733:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33809:1;33802:8;;;33347:471;;;;;:::o;34294:132::-;34352:7;34379:39;34383:1;34386;34379:39;;;;;;;;;;;;;;;;;:3;:39::i;:::-;34372:46;;34294:132;;;;:::o;12323:418::-;12426:1;12407:21;;:7;:21;;;;12399:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12479:49;12500:7;12517:1;12521:6;12479:20;:49::i;:::-;12562:68;12585:6;12562:68;;;;;;;;;;;;;;;;;:9;:18;12572:7;12562:18;;;;;;;;;;;;;;;;:22;;:68;;;;;:::i;:::-;12541:9;:18;12551:7;12541:18;;;;;;;;;;;;;;;:89;;;;12656:24;12673:6;12656:12;;:16;;:24;;;;:::i;:::-;12641:12;:39;;;;12722:1;12696:37;;12705:7;12696:37;;;12726:6;12696:37;;;;;;;;;;;;;;;;;;12323:418;;:::o;570:106::-;623:15;658:10;651:17;;570:106;:::o;13181:346::-;13300:1;13283:19;;:5;:19;;;;13275:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13381:1;13362:21;;:7;:21;;;;13354:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13465:6;13435:11;:18;13447:5;13435:18;;;;;;;;;;;;;;;:27;13454:7;13435:27;;;;;;;;;;;;;;;:36;;;;13503:7;13487:32;;13496:5;13487:32;;;13512:6;13487:32;;;;;;;;;;;;;;;;;;13181:346;;;:::o;29949:1058::-;30035:21;30058;30081;30132:23;:21;:23::i;:::-;30115:40;;30200:4;30185:41;;;:43;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;30185:43:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;30185:43:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;30185:43:0;;;;;;;;;;;;;;;;30166:62;;30273:4;30258:41;;;:43;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;30258:43:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;30258:43:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;30258:43:0;;;;;;;;;;;;;;;;30239:62;;30416:16;30434;30452:25;30496:4;30481:32;;;:34;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;30481:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;30481:34:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;30481:34:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30415:100;;;;;;30552:14;30530:36;;:18;:36;;;30526:474;;30631:18;30669;30652:14;:35;30631:56;;30849:11;30798:62;;30803:39;30823:8;30833;30803:19;:39::i;:::-;:42;;;30798:48;;:62;30778:82;;;;30977:11;30926:62;;30931:39;30951:8;30961;30931:19;:39::i;:::-;:42;;;30926:48;;:62;30906:82;;;;30526:474;;29949:1058;;;;;;;;:::o;10793:539::-;10917:1;10899:20;;:6;:20;;;;10891:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11001:1;10980:23;;:9;:23;;;;10972:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11056:47;11077:6;11085:9;11096:6;11056:20;:47::i;:::-;11136:71;11158:6;11136:71;;;;;;;;;;;;;;;;;:9;:17;11146:6;11136:17;;;;;;;;;;;;;;;;:21;;:71;;;;;:::i;:::-;11116:9;:17;11126:6;11116:17;;;;;;;;;;;;;;;:91;;;;11241:32;11266:6;11241:9;:20;11251:9;11241:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;11218:9;:20;11228:9;11218:20;;;;;;;;;;;;;;;:55;;;;11306:9;11289:35;;11298:6;11289:35;;;11317:6;11289:35;;;;;;;;;;;;;;;;;;10793:539;;;:::o;32896:192::-;32982:7;33015:1;33010;:6;;33018:12;33002:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;33002:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33042:9;33058:1;33054;:5;33042:17;;33079:1;33072:8;;;32896:192;;;;;:::o;31993:181::-;32051:7;32071:9;32087:1;32083;:5;32071:17;;32112:1;32107;:6;;32099:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;32165:1;32158:8;;;31993:181;;;;:::o;11613:378::-;11716:1;11697:21;;:7;:21;;;;11689:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11767:49;11796:1;11800:7;11809:6;11767:20;:49::i;:::-;11844:24;11861:6;11844:12;;:16;;:24;;;;:::i;:::-;11829:12;:39;;;;11900:30;11923:6;11900:9;:18;11910:7;11900:18;;;;;;;;;;;;;;;;:22;;:30;;;;:::i;:::-;11879:9;:18;11889:7;11879:18;;;;;;;;;;;;;;;:51;;;;11967:7;11946:37;;11963:1;11946:37;;;11976:6;11946:37;;;;;;;;;;;;;;;;;;11613:378;;:::o;23884:253::-;23951:16;;:::i;:::-;23980:6;24010:1;24005;:6;:54;;;;24051:4;:7;;;24046:13;;24041:1;24036;24025:4;:7;;;24020:13;;:17;24016:21;;;24015:27;;;;;;:44;24005:54;23997:102;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24117:12;;;;;;;;24127:1;24117:12;;;24110:19;;;23884:253;;;;:::o;24838:130::-;24903:7;23155:3;24938:21;;:4;:7;;;:21;;24923:37;;24838:130;;;:::o;32457:136::-;32515:7;32542:43;32546:1;32549;32542:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;32535:50;;32457:136;;;;:::o;54701:1659::-;54743:6;54803:16;54824;54845:21;54871:18;54941:70;54996:13;54941:46;:70::i;:::-;54898:113;;;;;;;;;;;;55019:25;52158:42;55048:22;;:10;:22;;;:50;;55087:11;55048:50;;;55073:11;55048:50;55019:80;;55151:68;55206:11;55151:46;:68::i;:::-;55108:111;;;;;;;;;;;;55224:24;52429:42;55252:20;;52158:42;55252:20;;;:48;;55289:11;55252:48;;;55275:11;55252:48;55224:77;;55306:23;52429:42;55333:20;;52158:42;55333:20;;;:48;;55370:11;55333:48;;;55356:11;55333:48;55306:76;;55422:18;;;;;;;;;;;55405:14;:35;55391:49;;51572:7;55562:11;:21;;;;55554:88;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;55674:92;;;;;;;;55753:11;55703:61;;55726:23;;55704:19;:45;55703:61;;;;;;55674:92;;;;;55655:16;:111;;;;;;;;;;;;;;;;;;;;;;;;;;;;;55795:90;;;;;;;;55872:11;55824:59;;55846:22;;55825:18;:43;55824:59;;;;;;55795:90;;;;;55777:15;:108;;;;;;;;;;;;;;;;;;;;;;;;;;;;;55916:94;;;;;;;;55997:11;55945:63;;55969:24;;55946:20;:47;55945:63;;;;;;55916:94;;;;;55896:17;:114;;;;;;;;;;;;;;;;;;;;;;;;;;;;;56057:19;56031:23;:45;;;;56141:18;56116:22;:43;;;;56226:20;56199:24;:47;;;;56311:14;56290:18;;:35;;;;;;;;;;;;;;;;;;56341:11;56334:18;;;;;;;;;54701:1659;:::o;61498:3928::-;61576:4;61655:11;61669:6;61655:20;;61680:13;61704:38;:26;61726:3;61704:17;:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:26;;;;:::i;:::-;:36;:38::i;:::-;61696:47;;61680:63;;61777:16;61804:39;:27;61825:5;61804:16;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;;:::i;:::-;:37;:39::i;:::-;61796:48;;61777:67;;61881:19;61905:20;61960:16;61987;62008;62069:13;:25;;;:27;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;62069:27:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;62069:27:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;62069:27:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;62035:61;;;;;;;;;;;;52158:42;62120:22;;:10;:22;;;:43;;62155:8;62120:43;;;62144:8;62120:43;62105:59;;;;52158:42;62185:22;;:10;:22;;;:43;;62220:8;62185:43;;;62209:8;62185:43;62169:60;;;;61498:3928;;;62243:23;62269:9;;;;;;;;;;;:21;;;:23;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;62269:23:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;62269:23:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;62269:23:0;;;;;;;;;;;;;;;;62243:49;;62316:3;62305:8;:14;62301:3091;;;62348:13;62364:37;62397:3;62364:28;62386:5;62364:17;62377:3;62364:8;:12;;:17;;;;:::i;:::-;:21;;:28;;;;:::i;:::-;:32;;:37;;;;:::i;:::-;62348:53;;62494:16;62513:3;62494:22;;62560:4;62547:10;:17;62543:130;;;62577:1;62566:12;;62543:130;;;62653:4;62640:10;:17;62636:37;;;62670:3;62659:14;;62636:37;62543:130;62697:21;62721:51;62766:5;62721:40;62745:15;62721:19;62731:8;62721:5;:9;;:19;;;;:::i;:::-;:23;;:40;;;;:::i;:::-;:44;;:51;;;;:::i;:::-;62697:75;;62779:22;62804:41;51662:6;62804:30;62822:11;62804:30;;:13;:17;;:30;;;;:::i;:::-;:34;;:41;;;;:::i;:::-;62779:66;;62868:19;62890:29;62914:4;62890:19;62907:1;62890:12;:16;;:19;;;;:::i;:::-;:23;;:29;;;;:::i;:::-;62868:51;;63057:38;63082:12;63057:20;63065:11;63057:3;:7;;:20;;;;:::i;:::-;:24;;:38;;;;:::i;:::-;63049:46;;63120:39;:27;63141:5;63120:16;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;;:::i;:::-;:37;:39::i;:::-;63112:48;;63101:59;;63181:3;63170:8;:14;63166:318;;;63201:37;63234:3;63201:28;63223:5;63201:17;63214:3;63201:8;:12;;:17;;;;:::i;:::-;:21;;:28;;;;:::i;:::-;:32;;:37;;;;:::i;:::-;63193:45;;63257:3;63249:5;:11;63245:233;;;63303:12;63318:14;63328:3;63318:5;:9;;:14;;;;:::i;:::-;63303:29;;63366:3;63359:4;:10;63355:28;;;63378:3;63371:10;;63355:28;63431:33;63458:5;63431:22;63448:4;63431:12;:16;;:22;;;;:::i;:::-;:26;;:33;;;;:::i;:::-;63417:47;;63245:233;;63166:318;63494:16;63531:11;63514:14;:28;:57;;63560:11;63514:57;;;63544:14;63514:57;63494:78;;63583:9;;;;;;;;;;;:14;;;63606:4;63612:8;63583:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;63583:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;63583:38:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;63583:38:0;;;;;;;;;;;;;;;;;63673:21;63711:1;63697:16;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;63697:16:0;;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;125:4;109:14;101:6;88:42;156:4;148:6;144:17;134:27;;0:165;63697:16:0;;;;63673:40;;63729:10;63719:4;63724:1;63719:7;;;;;;;;;;;;;:20;;;;;;;;;;;63755:8;:13;;;:15;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;63755:15:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;63755:15:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;63755:15:0;;;;;;;;;;;;;;;;63745:4;63750:1;63745:7;;;;;;;;;;;;;:25;;;;;;;;;;;63776:8;:30;;;63807:8;63817:1;63820:4;63834;63841:15;63776:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;63776:81:0;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;63776:81:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;63776:81:0;;;;;;39:16:-1;36:1;17:17;2:54;63776:81: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;15:2;10:3;7:11;4:2;;;31:1;28;21:12;4:2;63776:81:0;;;;;;;;;;;;;19:11:-1;14:3;11:20;8:2;;;44:1;41;34:12;8:2;71:11;66:3;62:21;55:28;;123:4;118:3;114:14;159:9;141:16;138:31;135:2;;;182:1;179;172:12;135:2;219:3;213:10;331:9;325:2;311:12;307:21;289:16;285:44;282:59;261:11;247:12;244:29;233:116;230:2;;;362:1;359;352:12;230:2;385:12;380:3;373:25;421:4;416:3;412:14;405:21;;0:433;;63776:81:0;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;63776:81:0;;;;;;;;;;;;62301:3091;;;;;;;;;;63958:13;63974:37;64007:3;63974:28;63996:5;63974:17;63982:8;63974:3;:7;;:17;;;;:::i;:::-;:21;;:28;;;;:::i;:::-;:32;;:37;;;;:::i;:::-;63958:53;;64018:17;64038:37;64069:5;64038:26;64048:15;64038:5;:9;;:26;;;;:::i;:::-;:30;;:37;;;;:::i;:::-;64018:57;;64081:18;64102:37;51662:6;64102:26;64116:11;64102:26;;:9;:13;;:26;;;;:::i;:::-;:30;;:37;;;;:::i;:::-;64081:58;;64150:15;64168:29;64192:4;64168:19;64185:1;64168:12;:16;;:19;;;;:::i;:::-;:23;;:29;;;;:::i;:::-;64150:47;;64316:38;64341:12;64316:20;64324:11;64316:3;:7;;:20;;;;:::i;:::-;:24;;:38;;;;:::i;:::-;64308:46;;64379:39;:27;64400:5;64379:16;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;;:::i;:::-;:37;:39::i;:::-;64371:48;;64360:59;;64440:3;64429:8;:14;64425:314;;;64460:37;64493:3;64460:28;64482:5;64460:17;64468:8;64460:3;:7;;:17;;;;:::i;:::-;:21;;:28;;;;:::i;:::-;:32;;:37;;;;:::i;:::-;64452:45;;64516:3;64508:5;:11;64504:229;;;64562:12;64577:14;64587:3;64577:5;:9;;:14;;;;:::i;:::-;64562:29;;64625:3;64618:4;:10;64614:28;;;64637:3;64630:10;;64614:28;64686:33;64713:5;64686:22;64703:4;64686:12;:16;;:22;;;;:::i;:::-;:26;;:33;;;;:::i;:::-;64676:43;;64504:229;;64425:314;64754:12;64783:7;64770:10;:20;:41;;64804:7;64770:41;;;64792:10;64770:41;64754:58;;64818:15;64844:39;:27;64866:4;64844:17;:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;;:::i;:::-;:37;:39::i;:::-;64836:48;;64818:66;;64891:18;64912:28;64938:1;64912:21;:25;;:28;;;;:::i;:::-;64891:49;;65002:10;64992:7;:20;64988:60;;;65031:10;65021:20;;64988:60;65087:21;65125:1;65111:16;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;65111:16:0;;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;125:4;109:14;101:6;88:42;156:4;148:6;144:17;134:27;;0:165;65111:16:0;;;;65087:40;;65143:8;:13;;;:15;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;65143:15:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;65143:15:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;65143:15:0;;;;;;;;;;;;;;;;65133:4;65138:1;65133:7;;;;;;;;;;;;;:25;;;;;;;;;;;65174:10;65164:4;65169:1;65164:7;;;;;;;;;;;;;:20;;;;;;;;;;;65190:8;:30;;;65228:7;65237:1;65240:4;65254;65262:15;65190:89;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;65190:89:0;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;65190:89:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;65190:89:0;;;;;;;39:16:-1;36:1;17:17;2:54;65190:89: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;15:2;10:3;7:11;4:2;;;31:1;28;21:12;4:2;65190:89:0;;;;;;;;;;;;;19:11:-1;14:3;11:20;8:2;;;44:1;41;34:12;8:2;71:11;66:3;62:21;55:28;;123:4;118:3;114:14;159:9;141:16;138:31;135:2;;;182:1;179;172:12;135:2;219:3;213:10;331:9;325:2;311:12;307:21;289:16;285:44;282:59;261:11;247:12;244:29;233:116;230:2;;;362:1;359;352:12;230:2;385:12;380:3;373:25;421:4;416:3;412:14;405:21;;0:433;;65190:89:0;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;65190:89:0;;;;;;;;;;;;65297:9;;;;;;;;;;;:19;;;65325:4;65297:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;65297:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;65297:34:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;65297:34:0;;;;;;;;;;;;;;;;65290:41;;65342:9;;;;;;;;;;;:14;;;65365:4;65371;65342:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;65342:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;65342:34:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;65342:34:0;;;;;;;;;;;;;;;;;62301:3091;;;;;;;;;65410:4;65403:11;;;;;;;;61498:3928;;;;:::o;60128:1357::-;60208:4;60467:18;60488:1;60467:22;;60511:4;60498:10;:17;60494:93;;;60533:3;60517:19;;60494:93;;;60563:4;60550:10;:17;60546:41;;;60585:2;60569:18;;60546:41;60494:93;60596:25;60624:70;51662:6;60624:59;60678:4;60624:49;60659:13;:11;:13::i;:::-;60624:30;60642:11;60624:30;;:13;:17;;:30;;;;:::i;:::-;:34;;:49;;;;:::i;:::-;:53;;:59;;;;:::i;:::-;:63;;:70;;;;:::i;:::-;60596:98;;60712:16;60739;60760;60821:15;:27;;;:29;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;60821:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;60821:29:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;60821:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;60787:63;;;;;;;;;;;;60855:22;52158:42;60881:24;;:12;:24;;;:45;;60918:8;60881:45;;;60907:8;60881:45;60855:72;;;;60937:22;60962:31;60988:4;60962:21;60981:1;60962:14;:18;;:21;;;;:::i;:::-;:25;;:31;;;;:::i;:::-;60937:56;;61065:19;61108:14;61088:17;:34;:69;;61143:14;61088:69;;;61124:17;61088:69;61065:93;;61167:32;61181:4;61187:11;61167:5;:32::i;:::-;61271:21;61309:1;61295:16;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;61295:16:0;;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;125:4;109:14;101:6;88:42;156:4;148:6;144:17;134:27;;0:165;61295:16:0;;;;61271:40;;61326:12;61316:4;61321:1;61316:7;;;;;;;;;;;;;:22;;;;;;;;;;;61353:8;:13;;;:15;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;61353:15:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;61353:15:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;61353:15:0;;;;;;;;;;;;;;;;61343:4;61348:1;61343:7;;;;;;;;;;;;;:25;;;;;;;;;;;61373:8;:30;;;61404:11;61417:1;61420:4;61434;61441:15;61373:84;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;61373:84:0;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;61373:84:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;61373:84:0;;;;;;39:16:-1;36:1;17:17;2:54;61373:84: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;15:2;10:3;7:11;4:2;;;31:1;28;21:12;4:2;61373:84:0;;;;;;;;;;;;;19:11:-1;14:3;11:20;8:2;;;44:1;41;34:12;8:2;71:11;66:3;62:21;55:28;;123:4;118:3;114:14;159:9;141:16;138:31;135:2;;;182:1;179;172:12;135:2;219:3;213:10;331:9;325:2;311:12;307:21;289:16;285:44;282:59;261:11;247:12;244:29;233:116;230:2;;;362:1;359;352:12;230:2;385:12;380:3;373:25;421:4;416:3;412:14;405:21;;0:433;;61373:84:0;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;61373:84:0;;;;;;;;;;;;61473:4;61466:11;;;;;;;;;;;60128:1357;;;;:::o;59508:610::-;59544:4;59559:19;59581:21;59559:43;;59607:16;59634:45;:33;59655:11;59634:16;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:33;;;;:::i;:::-;:43;:45::i;:::-;59626:54;;59607:73;;59690:19;59712:9;;;;;;;;;;;:21;;;:23;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;59712:23:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;59712:23:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;59712:23:0;;;;;;;;;;;;;;;;59690:45;;59746:25;59774:35;59800:8;59774:21;59790:4;59774:11;:15;;:21;;;;:::i;:::-;:25;;:35;;;;:::i;:::-;59746:63;;59938:4;59918:17;:24;59914:66;;;59970:4;59950:24;;59914:66;59984:9;;;;;;;;;;;:16;;;60001:17;59984:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;59984:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;59984:35:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;59984:35:0;;;;;;;;;;;;;;;;;60024:13;:18;;;:20;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;60024:20:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;60024:20:0;;;;60106:4;60099:11;;;;;;59508:610;:::o;34922:278::-;35008:7;35040:1;35036;:5;35043:12;35028:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;35028:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;35067:9;35083:1;35079;:5;;;;;;35067:17;;35191:1;35184:8;;;34922:278;;;;;:::o;14552:92::-;;;;:::o;29720:123::-;29776:6;29827:7;29809:15;:25;;;;;;29795:40;;29720:123;:::o;24293:246::-;24374:16;;:::i;:::-;24425:1;24411:11;:15;;;24403:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24472:59;;;;;;;;24519:11;24482:48;;23155:3;24483:32;;24491:9;24483:18;;:32;;;;24482:48;;;;;;;;24472:59;;;;;24465:66;;24293:246;;;;:::o;51405:17108::-;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;:::o;25611:478::-;25700:12;25726:14;25742;25760:26;25771:6;25779;25760:10;:26::i;:::-;25725:61;;;;25888:7;25941:6;25949;25924:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;25924:32:0;;;25914:43;;;;;;25827:251;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;25827:251:0;;;25817:262;;;;;;25812:268;;25797:284;;25611:478;;;;;;;:::o;25170:349::-;25245:14;25261;25306:6;25296:16;;:6;:16;;;;25288:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25393:6;25384:15;;:6;:15;;;:53;;25422:6;25430;25384:53;;;25403:6;25411;25384:53;25365:72;;;;;;;;25474:1;25456:20;;:6;:20;;;;25448:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25170:349;;;;;:::o

ipfs://ee61e799f34e5914b79f465bbc00cd63e816edc1a7bddeca678057237024917b