Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at BscScan.com on 2021-03-28
*/

// Dependency file: @booswap/boo-swap-lib/contracts/math/SafeMath.sol

// SPDX-License-Identifier: MIT

// pragma solidity >=0.4.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;
    }

    function min(uint256 x, uint256 y) internal pure returns (uint256 z) {
        z = x < y ? x : y;
    }

    // babylonian method (https://en.wikipedia.org/wiki/Methods_of_computing_square_roots#Babylonian_method)
    function sqrt(uint256 y) internal pure returns (uint256 z) {
        if (y > 3) {
            z = y;
            uint256 x = y / 2 + 1;
            while (x < z) {
                z = x;
                x = (y / x + x) / 2;
            }
        } else if (y != 0) {
            z = 1;
        }
    }
}

// Dependency file: contracts/interfaces/IBooSwapBEP20.sol

// pragma solidity >=0.5.0;

interface IBooSwapBEP20 {
    event Approval(address indexed owner, address indexed spender, uint256 value);
    event Transfer(address indexed from, address indexed to, uint256 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 (uint256);

    function balanceOf(address owner) external view returns (uint256);

    function allowance(address owner, address spender) external view returns (uint256);

    function approve(address spender, uint256 value) external returns (bool);

    function transfer(address to, uint256 value) external returns (bool);

    function transferFrom(
        address from,
        address to,
        uint256 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 (uint256);

    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;
}

// Dependency file: contracts/interfaces/IBooSwapFactory.sol

// pragma solidity >=0.5.0;

interface IBooSwapFactory {
    event PairCreated(address indexed token0, address indexed token1, address pair, uint256);

    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(uint256) external view returns (address pair);

    function allPairsLength() external view returns (uint256);

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

    function setFeeTo(address) external;

    function setFeeToSetter(address) external;
}

// Dependency file: @booswap/boo-swap-lib/contracts/token/BEP20/IBEP20.sol

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

// pragma solidity >=0.4.0;

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

    /**
     * @dev Returns the token decimals.
     */
    function decimals() external view returns (uint8);

    /**
     * @dev Returns the token symbol.
     */
    function symbol() external view returns (string memory);

    /**
     * @dev Returns the token name.
     */
    function name() external view returns (string memory);

    /**
     * @dev Returns the bep token owner.
     */
    function getOwner() external view returns (address);

    /**
     * @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);
}

// Dependency file: contracts/libraries/UQ112x112.sol

// pragma solidity =0.5.16;

// a library for handling binary fixed point numbers (https://en.wikipedia.org/wiki/Q_(number_format))

// range: [0, 2**112 - 1]
// resolution: 1 / 2**112

library UQ112x112 {
    uint224 constant Q112 = 2**112;

    // encode a uint112 as a UQ112x112
    function encode(uint112 y) internal pure returns (uint224 z) {
        z = uint224(y) * Q112; // never overflows
    }

    // divide a UQ112x112 by a uint112, returning a UQ112x112
    function uqdiv(uint224 x, uint112 y) internal pure returns (uint224 z) {
        z = x / uint224(y);
    }
}

// Dependency file: contracts/BooSwapBEP20.sol

// pragma solidity =0.5.16;

// import './interfaces/IBooSwapBEP20.sol';
// import '@booswap/boo-swap-lib/contracts/math/SafeMath.sol';

contract BooSwapBEP20 is IBooSwapBEP20 {
    using SafeMath for uint256;

    string public constant name = 'Boo LPs';
    string public constant symbol = 'BLP';
    uint8 public constant decimals = 18;
    uint256 public totalSupply;
    mapping(address => uint256) public balanceOf;
    mapping(address => mapping(address => uint256)) public allowance;

    bytes32 public DOMAIN_SEPARATOR;
    // keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");
    bytes32 public constant PERMIT_TYPEHASH = 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9;
    mapping(address => uint256) public nonces;

    event Approval(address indexed owner, address indexed spender, uint256 value);
    event Transfer(address indexed from, address indexed to, uint256 value);

    constructor() public {
        uint256 chainId;
        assembly {
            chainId := chainid
        }
        DOMAIN_SEPARATOR = keccak256(
            abi.encode(
                keccak256('EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)'),
                keccak256(bytes(name)),
                keccak256(bytes('1')),
                chainId,
                address(this)
            )
        );
    }

    function _mint(address to, uint256 value) internal {
        totalSupply = totalSupply.add(value);
        balanceOf[to] = balanceOf[to].add(value);
        emit Transfer(address(0), to, value);
    }

    function _burn(address from, uint256 value) internal {
        balanceOf[from] = balanceOf[from].sub(value);
        totalSupply = totalSupply.sub(value);
        emit Transfer(from, address(0), value);
    }

    function _approve(
        address owner,
        address spender,
        uint256 value
    ) private {
        allowance[owner][spender] = value;
        emit Approval(owner, spender, value);
    }

    function _transfer(
        address from,
        address to,
        uint256 value
    ) private {
        balanceOf[from] = balanceOf[from].sub(value);
        balanceOf[to] = balanceOf[to].add(value);
        emit Transfer(from, to, value);
    }

    function approve(address spender, uint256 value) external returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

    function transfer(address to, uint256 value) external returns (bool) {
        _transfer(msg.sender, to, value);
        return true;
    }

    function transferFrom(
        address from,
        address to,
        uint256 value
    ) external returns (bool) {
        if (allowance[from][msg.sender] != uint256(-1)) {
            allowance[from][msg.sender] = allowance[from][msg.sender].sub(value);
        }
        _transfer(from, to, value);
        return true;
    }

    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external {
        require(deadline >= block.timestamp, 'BooSwapBEP20: EXPIRED');
        bytes32 digest = keccak256(
            abi.encodePacked(
                '\x19\x01',
                DOMAIN_SEPARATOR,
                keccak256(abi.encode(PERMIT_TYPEHASH, owner, spender, value, nonces[owner]++, deadline))
            )
        );
        address recoveredAddress = ecrecover(digest, v, r, s);
        require(recoveredAddress != address(0) && recoveredAddress == owner, 'BooSwapBEP20: INVALID_SIGNATURE');
        _approve(owner, spender, value);
    }
}

// Dependency file: contracts/interfaces/IBooSwapPair.sol

// pragma solidity >=0.5.0;

interface IBooSwapPair {
    event Approval(address indexed owner, address indexed spender, uint256 value);
    event Transfer(address indexed from, address indexed to, uint256 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 (uint256);

    function balanceOf(address owner) external view returns (uint256);

    function allowance(address owner, address spender) external view returns (uint256);

    function approve(address spender, uint256 value) external returns (bool);

    function transfer(address to, uint256 value) external returns (bool);

    function transferFrom(
        address from,
        address to,
        uint256 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 (uint256);

    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;

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

    function MINIMUM_LIQUIDITY() external pure returns (uint256);

    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 (uint256);

    function price1CumulativeLast() external view returns (uint256);

    function kLast() external view returns (uint256);

    function mint(address to) external returns (uint256 liquidity);

    function burn(address to) external returns (uint256 amount0, uint256 amount1);

    function swap(
        uint256 amount0Out,
        uint256 amount1Out,
        address to
    ) external;

    function skim(address to) external;

    function sync() external;

    function initialize(address, address) external;
}

pragma solidity =0.5.16;

// import './interfaces/IBooSwapPair.sol';
// import './BooSwapBEP20.sol';
// import './libraries/UQ112x112.sol';
// import '@booswap/boo-swap-lib/contracts/token/BEP20/IBEP20.sol';
// import './interfaces/IBooSwapFactory.sol';

contract BooSwapPair is IBooSwapPair, BooSwapBEP20 {
    using SafeMath for uint256;
    using UQ112x112 for uint224;

    uint256 public constant MINIMUM_LIQUIDITY = 10**3;
    bytes4 private constant SELECTOR = bytes4(keccak256(bytes('transfer(address,uint256)')));

    address public factory;
    address public token0;
    address public token1;

    uint112 private reserve0; // uses single storage slot, accessible via getReserves
    uint112 private reserve1; // uses single storage slot, accessible via getReserves
    uint32 private blockTimestampLast; // uses single storage slot, accessible via getReserves

    uint256 public price0CumulativeLast;
    uint256 public price1CumulativeLast;
    uint256 public kLast; // reserve0 * reserve1, as of immediately after the most recent liquidity event

    uint256 private unlocked = 1;
    modifier lock() {
        require(unlocked == 1, 'BooSwapPair: LOCKED');
        unlocked = 0;
        _;
        unlocked = 1;
    }

    function getReserves()
        public
        view
        returns (
            uint112 _reserve0,
            uint112 _reserve1,
            uint32 _blockTimestampLast
        )
    {
        _reserve0 = reserve0;
        _reserve1 = reserve1;
        _blockTimestampLast = blockTimestampLast;
    }

    function _safeTransfer(
        address token,
        address to,
        uint256 value
    ) private {
        (bool success, bytes memory data) = token.call(abi.encodeWithSelector(SELECTOR, to, value));
        require(success && (data.length == 0 || abi.decode(data, (bool))), 'BooSwapPair: TRANSFER_FAILED');
    }

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

    constructor() public {
        factory = msg.sender;
    }

    // called once by the factory at time of deployment
    function initialize(address _token0, address _token1) external {
        require(msg.sender == factory, 'BooSwapPair: FORBIDDEN'); // sufficient check
        token0 = _token0;
        token1 = _token1;
    }

    // update reserves and, on the first call per block, price accumulators
    function _update(
        uint256 balance0,
        uint256 balance1,
        uint112 _reserve0,
        uint112 _reserve1
    ) private {
        require(balance0 <= uint112(-1) && balance1 <= uint112(-1), 'BooSwapPair: OVERFLOW');
        uint32 blockTimestamp = uint32(block.timestamp % 2**32);
        uint32 timeElapsed = blockTimestamp - blockTimestampLast; // overflow is desired
        if (timeElapsed > 0 && _reserve0 != 0 && _reserve1 != 0) {
            // * never overflows, and + overflow is desired
            price0CumulativeLast += uint256(UQ112x112.encode(_reserve1).uqdiv(_reserve0)) * timeElapsed;
            price1CumulativeLast += uint256(UQ112x112.encode(_reserve0).uqdiv(_reserve1)) * timeElapsed;
        }
        reserve0 = uint112(balance0);
        reserve1 = uint112(balance1);
        blockTimestampLast = blockTimestamp;
        emit Sync(reserve0, reserve1);
    }

    // if fee is on, mint liquidity equivalent to 1/6th of the growth in sqrt(k)
    function _mintFee(uint112 _reserve0, uint112 _reserve1) private returns (bool feeOn) {
        address feeTo = IBooSwapFactory(factory).feeTo();
        feeOn = feeTo != address(0);
        uint256 _kLast = kLast; // gas savings
        if (feeOn) {
            if (_kLast != 0) {
                uint256 rootK = SafeMath.sqrt(uint256(_reserve0).mul(_reserve1));
                uint256 rootKLast = SafeMath.sqrt(_kLast);
                if (rootK > rootKLast) {
                    uint256 numerator = totalSupply.mul(rootK.sub(rootKLast));
                    uint256 denominator = rootK.mul(5).add(rootKLast);
                    uint256 liquidity = numerator / denominator;
                    if (liquidity > 0) _mint(feeTo, liquidity);
                }
            }
        } else if (_kLast != 0) {
            kLast = 0;
        }
    }

    // this low-level function should be called from a contract which performs // important safety checks
    function mint(address to) external lock returns (uint256 liquidity) {
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves(); // gas savings
        uint256 balance0 = IBEP20(token0).balanceOf(address(this));
        uint256 balance1 = IBEP20(token1).balanceOf(address(this));
        uint256 amount0 = balance0.sub(_reserve0);
        uint256 amount1 = balance1.sub(_reserve1);

        bool feeOn = _mintFee(_reserve0, _reserve1);
        uint256 _totalSupply = totalSupply; // gas savings, must be defined here since totalSupply can update in _mintFee
        if (_totalSupply == 0) {
            liquidity = SafeMath.sqrt(amount0.mul(amount1)).sub(MINIMUM_LIQUIDITY);
            _mint(address(0), MINIMUM_LIQUIDITY); // permanently lock the first MINIMUM_LIQUIDITY tokens
        } else {
            liquidity = SafeMath.min(amount0.mul(_totalSupply) / _reserve0, amount1.mul(_totalSupply) / _reserve1);
        }
        require(liquidity > 0, 'BooSwapPair: INSUFFICIENT_LIQUIDITY_MINTED');
        _mint(to, liquidity);

        _update(balance0, balance1, _reserve0, _reserve1);
        if (feeOn) kLast = uint256(reserve0).mul(reserve1); // reserve0 and reserve1 are up-to-date
        emit Mint(msg.sender, amount0, amount1);
    }

    // this low-level function should be called from a contract which performs // important safety checks
    function burn(address to) external lock returns (uint256 amount0, uint256 amount1) {
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves(); // gas savings
        address _token0 = token0; // gas savings
        address _token1 = token1; // gas savings
        uint256 balance0 = IBEP20(_token0).balanceOf(address(this));
        uint256 balance1 = IBEP20(_token1).balanceOf(address(this));
        uint256 liquidity = balanceOf[address(this)];

        bool feeOn = _mintFee(_reserve0, _reserve1);
        uint256 _totalSupply = totalSupply; // gas savings, must be defined here since totalSupply can update in _mintFee
        amount0 = liquidity.mul(balance0) / _totalSupply; // using balances ensures pro-rata distribution
        amount1 = liquidity.mul(balance1) / _totalSupply; // using balances ensures pro-rata distribution
        require(amount0 > 0 && amount1 > 0, 'BooSwapPair: INSUFFICIENT_LIQUIDITY_BURNED');
        _burn(address(this), liquidity);
        _safeTransfer(_token0, to, amount0);
        _safeTransfer(_token1, to, amount1);
        balance0 = IBEP20(_token0).balanceOf(address(this));
        balance1 = IBEP20(_token1).balanceOf(address(this));

        _update(balance0, balance1, _reserve0, _reserve1);
        if (feeOn) kLast = uint256(reserve0).mul(reserve1); // reserve0 and reserve1 are up-to-date
        emit Burn(msg.sender, amount0, amount1, to);
    }

    // this low-level function should be called from a contract which performs // important safety checks
    function swap(
        uint256 amount0Out,
        uint256 amount1Out,
        address to
    ) external lock {
        require(amount0Out > 0 || amount1Out > 0, 'BooSwapPair: INSUFFICIENT_OUTPUT_AMOUNT');
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves(); // gas savings
        require(amount0Out < _reserve0 && amount1Out < _reserve1, 'BooSwapPair: INSUFFICIENT_LIQUIDITY');

        uint256 balance0;
        uint256 balance1;
        {
            // scope for _token{0,1}, avoids stack too deep errors
            address _token0 = token0;
            address _token1 = token1;
            require(to != _token0 && to != _token1, 'BooSwapPair: INVALID_TO');
            if (amount0Out > 0) _safeTransfer(_token0, to, amount0Out); // optimistically transfer tokens
            if (amount1Out > 0) _safeTransfer(_token1, to, amount1Out); // optimistically transfer tokens
            balance0 = IBEP20(_token0).balanceOf(address(this));
            balance1 = IBEP20(_token1).balanceOf(address(this));
        }
        uint256 amount0In = balance0 > _reserve0 - amount0Out ? balance0 - (_reserve0 - amount0Out) : 0;
        uint256 amount1In = balance1 > _reserve1 - amount1Out ? balance1 - (_reserve1 - amount1Out) : 0;
        require(amount0In > 0 || amount1In > 0, 'BooSwapPair: INSUFFICIENT_INPUT_AMOUNT');
        {
            // scope for reserve{0,1}Adjusted, avoids stack too deep errors
            uint256 balance0Adjusted = balance0.mul(1000).sub(amount0In.mul(3));
            uint256 balance1Adjusted = balance1.mul(1000).sub(amount1In.mul(3));
            require(
                balance0Adjusted.mul(balance1Adjusted) >= uint256(_reserve0).mul(_reserve1).mul(1000**2),
                'BooSwapPair: K'
            );
        }

        _update(balance0, balance1, _reserve0, _reserve1);
        emit Swap(msg.sender, amount0In, amount1In, amount0Out, amount1Out, to);
    }

    // force balances to match reserves
    function skim(address to) external lock {
        address _token0 = token0; // gas savings
        address _token1 = token1; // gas savings
        _safeTransfer(_token0, to, IBEP20(_token0).balanceOf(address(this)).sub(reserve0));
        _safeTransfer(_token1, to, IBEP20(_token1).balanceOf(address(this)).sub(reserve1));
    }

    // force reserves to match balances
    function sync() external lock {
        _update(IBEP20(token0).balanceOf(address(this)), IBEP20(token1).balanceOf(address(this)), reserve0, reserve1);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"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":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount0","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount1","type":"uint256"},{"indexed":true,"internalType":"address","name":"to","type":"address"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount0","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount1","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount0In","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount1In","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount0Out","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount1Out","type":"uint256"},{"indexed":true,"internalType":"address","name":"to","type":"address"}],"name":"Swap","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint112","name":"reserve0","type":"uint112"},{"indexed":false,"internalType":"uint112","name":"reserve1","type":"uint112"}],"name":"Sync","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"},{"constant":true,"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"MINIMUM_LIQUIDITY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"PERMIT_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"}],"name":"burn","outputs":[{"internalType":"uint256","name":"amount0","type":"uint256"},{"internalType":"uint256","name":"amount1","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"factory","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getReserves","outputs":[{"internalType":"uint112","name":"_reserve0","type":"uint112"},{"internalType":"uint112","name":"_reserve1","type":"uint112"},{"internalType":"uint32","name":"_blockTimestampLast","type":"uint32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_token0","type":"address"},{"internalType":"address","name":"_token1","type":"address"}],"name":"initialize","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"kLast","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"}],"name":"mint","outputs":[{"internalType":"uint256","name":"liquidity","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"price0CumulativeLast","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"price1CumulativeLast","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"}],"name":"skim","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount0Out","type":"uint256"},{"internalType":"uint256","name":"amount1Out","type":"uint256"},{"internalType":"address","name":"to","type":"address"}],"name":"swap","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"sync","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"token0","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"token1","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040526001600c5534801561001557600080fd5b506040514690806052612c8182396040805191829003605201822082820182526007835266426f6f204c507360c81b6020938401528151808301835260018152603160f81b908401528151808401919091527f9d9c698bc7087a2fe49890ad517e6ff9ebf7322b36be623c77c3c9d91e3e4a9c818301527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6606082015260808101949094523060a0808601919091528151808603909101815260c09094019052825192019190912060035550600580546001600160a01b03191633179055612b7f806101026000396000f3fe608060405234801561001057600080fd5b50600436106101b95760003560e01c80636d9a640a116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a714610580578063d505accf14610588578063dd62ed3e146105e6578063fff6cae914610621576101b9565b8063ba9a7a561461053d578063bc25cf7714610545578063c45a015514610578576101b9565b80637ecebe00116100d35780637ecebe001461047d57806389afcb44146104b057806395d89b41146104fc578063a9059cbb14610504576101b9565b80636d9a640a1461040357806370a08231146104425780637464fc3d14610475576101b9565b806330adf81f11610166578063485cc95511610140578063485cc955146103835780635909c0d5146103c05780635a3d5493146103c85780636a627842146103d0576101b9565b806330adf81f14610355578063313ce5671461035d5780633644e5151461037b576101b9565b80630dfe1681116101975780630dfe1681146102c757806318160ddd146102f857806323b872dd14610312576101b9565b806306fdde03146101be5780630902f1ac1461023b578063095ea7b31461027a575b600080fd5b6101c6610629565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102005781810151838201526020016101e8565b50505050905090810190601f16801561022d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610243610662565b604080516dffffffffffffffffffffffffffff948516815292909316602083015263ffffffff168183015290519081900360600190f35b6102b36004803603604081101561029057600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356106b7565b604080519115158252519081900360200190f35b6102cf6106ce565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b6103006106ea565b60408051918252519081900360200190f35b6102b36004803603606081101561032857600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135811691602081013590911690604001356106f0565b6103006107cf565b6103656107f3565b6040805160ff9092168252519081900360200190f35b6103006107f8565b6103be6004803603604081101561039957600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160200135166107fe565b005b6103006108d7565b6103006108dd565b610300600480360360208110156103e657600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166108e3565b6103be6004803603606081101561041957600080fd5b508035906020810135906040013573ffffffffffffffffffffffffffffffffffffffff16610ca9565b6103006004803603602081101561045857600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661128d565b61030061129f565b6103006004803603602081101561049357600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166112a5565b6104e3600480360360208110156104c657600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166112b7565b6040805192835260208301919091528051918290030190f35b6101c6611754565b6102b36004803603604081101561051a57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813516906020013561178d565b61030061179a565b6103be6004803603602081101561055b57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166117a0565b6102cf611996565b6102cf6119b2565b6103be600480360360e081101561059e57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c001356119ce565b610300600480360360408110156105fc57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516611c9a565b6103be611cb7565b6040518060400160405280600781526020017f426f6f204c50730000000000000000000000000000000000000000000000000081525081565b6008546dffffffffffffffffffffffffffff808216926e0100000000000000000000000000008304909116917c0100000000000000000000000000000000000000000000000000000000900463ffffffff1690565b60006106c4338484611e9d565b5060015b92915050565b60065473ffffffffffffffffffffffffffffffffffffffff1681565b60005481565b73ffffffffffffffffffffffffffffffffffffffff831660009081526002602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff146107ba5773ffffffffffffffffffffffffffffffffffffffff84166000908152600260209081526040808320338452909152902054610788908363ffffffff611f0c16565b73ffffffffffffffffffffffffffffffffffffffff851660009081526002602090815260408083203384529091529020555b6107c5848484611f55565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60035481565b60055473ffffffffffffffffffffffffffffffffffffffff16331461088457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f426f6f53776170506169723a20464f5242494444454e00000000000000000000604482015290519081900360640190fd5b6006805473ffffffffffffffffffffffffffffffffffffffff9384167fffffffffffffffffffffffff00000000000000000000000000000000000000009182161790915560078054929093169116179055565b60095481565b600a5481565b6000600c5460011461095657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f426f6f53776170506169723a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c81905580610966610662565b50600654604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905193955091935060009273ffffffffffffffffffffffffffffffffffffffff909116916370a08231916024808301926020929190829003018186803b1580156109e057600080fd5b505afa1580156109f4573d6000803e3d6000fd5b505050506040513d6020811015610a0a57600080fd5b5051600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905192935060009273ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b158015610a8357600080fd5b505afa158015610a97573d6000803e3d6000fd5b505050506040513d6020811015610aad57600080fd5b505190506000610ad3836dffffffffffffffffffffffffffff871663ffffffff611f0c16565b90506000610af7836dffffffffffffffffffffffffffff871663ffffffff611f0c16565b90506000610b058787612036565b60005490915080610b4e57610b3a6103e8610b2e610b29878763ffffffff6121c216565b612235565b9063ffffffff611f0c16565b9850610b4960006103e8612287565b610bab565b610ba86dffffffffffffffffffffffffffff8916610b72868463ffffffff6121c216565b81610b7957fe5b046dffffffffffffffffffffffffffff8916610b9b868563ffffffff6121c216565b81610ba257fe5b04612337565b98505b60008911610c04576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180612afa602a913960400191505060405180910390fd5b610c0e8a8a612287565b610c1a86868a8a61234d565b8115610c5c57600854610c58906dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041663ffffffff6121c216565b600b555b6040805185815260208101859052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600c5550949695505050505050565b600c54600114610d1a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f426f6f53776170506169723a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c5582151580610d2d5750600082115b610d82576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526027815260200180612b246027913960400191505060405180910390fd5b600080610d8d610662565b5091509150816dffffffffffffffffffffffffffff1685108015610dc05750806dffffffffffffffffffffffffffff1684105b610e15576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180612a666023913960400191505060405180910390fd5b600654600754600091829173ffffffffffffffffffffffffffffffffffffffff918216919081169087168214801590610e7a57508073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff1614155b610ee557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601760248201527f426f6f53776170506169723a20494e56414c49445f544f000000000000000000604482015290519081900360640190fd5b8815610ef657610ef682888b612609565b8715610f0757610f0781888a612609565b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8416916370a08231916024808301926020929190829003018186803b158015610f7357600080fd5b505afa158015610f87573d6000803e3d6000fd5b505050506040513d6020811015610f9d57600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191955073ffffffffffffffffffffffffffffffffffffffff8316916370a0823191602480820192602092909190829003018186803b15801561100f57600080fd5b505afa158015611023573d6000803e3d6000fd5b505050506040513d602081101561103957600080fd5b5051925060009150506dffffffffffffffffffffffffffff85168890038311611063576000611079565b87856dffffffffffffffffffffffffffff160383035b9050600087856dffffffffffffffffffffffffffff1603831161109d5760006110b3565b87856dffffffffffffffffffffffffffff160383035b905060008211806110c45750600081115b611119576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180612ad46026913960400191505060405180910390fd5b600061114161112f84600363ffffffff6121c216565b610b2e876103e863ffffffff6121c216565b9050600061115961112f84600363ffffffff6121c216565b9050611191620f42406111856dffffffffffffffffffffffffffff8b8116908b1663ffffffff6121c216565b9063ffffffff6121c216565b6111a1838363ffffffff6121c216565b101561120e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f426f6f53776170506169723a204b000000000000000000000000000000000000604482015290519081900360640190fd5b505061121c8484888861234d565b60408051838152602081018390528082018b9052606081018a9052905173ffffffffffffffffffffffffffffffffffffffff89169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600c5550505050505050565b60016020526000908152604090205481565b600b5481565b60046020526000908152604090205481565b600080600c5460011461132b57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f426f6f53776170506169723a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c8190558061133b610662565b50600654600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905194965092945073ffffffffffffffffffffffffffffffffffffffff9182169391169160009184916370a08231916024808301926020929190829003018186803b1580156113bd57600080fd5b505afa1580156113d1573d6000803e3d6000fd5b505050506040513d60208110156113e757600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191925060009173ffffffffffffffffffffffffffffffffffffffff8516916370a08231916024808301926020929190829003018186803b15801561145b57600080fd5b505afa15801561146f573d6000803e3d6000fd5b505050506040513d602081101561148557600080fd5b5051306000908152600160205260408120549192506114a48888612036565b600054909150806114bb848763ffffffff6121c216565b816114c257fe5b049a50806114d6848663ffffffff6121c216565b816114dd57fe5b04995060008b1180156114f0575060008a115b611545576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180612a89602a913960400191505060405180910390fd5b61154f3084612816565b61155a878d8d612609565b611565868d8c612609565b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8916916370a08231916024808301926020929190829003018186803b1580156115d157600080fd5b505afa1580156115e5573d6000803e3d6000fd5b505050506040513d60208110156115fb57600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191965073ffffffffffffffffffffffffffffffffffffffff8816916370a0823191602480820192602092909190829003018186803b15801561166d57600080fd5b505afa158015611681573d6000803e3d6000fd5b505050506040513d602081101561169757600080fd5b505193506116a785858b8b61234d565b81156116e9576008546116e5906dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041663ffffffff6121c216565b600b555b604080518c8152602081018c9052815173ffffffffffffffffffffffffffffffffffffffff8f169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a35050505050505050506001600c81905550915091565b6040518060400160405280600381526020017f424c50000000000000000000000000000000000000000000000000000000000081525081565b60006106c4338484611f55565b6103e881565b600c5460011461181157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f426f6f53776170506169723a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c55600654600754600854604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff94851694909316926118ed92859287926118e8926dffffffffffffffffffffffffffff169185916370a0823191602480820192602092909190829003018186803b1580156118b057600080fd5b505afa1580156118c4573d6000803e3d6000fd5b505050506040513d60208110156118da57600080fd5b50519063ffffffff611f0c16565b612609565b600854604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905161198c92849287926118e8926e01000000000000000000000000000090046dffffffffffffffffffffffffffff169173ffffffffffffffffffffffffffffffffffffffff8616916370a0823191602480820192602092909190829003018186803b1580156118b057600080fd5b50506001600c5550565b60055473ffffffffffffffffffffffffffffffffffffffff1681565b60075473ffffffffffffffffffffffffffffffffffffffff1681565b42841015611a3d57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f426f6f5377617042455032303a20455850495245440000000000000000000000604482015290519081900360640190fd5b60035473ffffffffffffffffffffffffffffffffffffffff80891660008181526004602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e0850182528051908301207f19010000000000000000000000000000000000000000000000000000000000006101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e2808201937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081019281900390910190855afa158015611b9e573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff811615801590611c1957508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b611c8457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f426f6f5377617042455032303a20494e56414c49445f5349474e415455524500604482015290519081900360640190fd5b611c8f898989611e9d565b505050505050505050565b600260209081526000928352604080842090915290825290205481565b600c54600114611d2857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f426f6f53776170506169723a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c55600654604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051611e969273ffffffffffffffffffffffffffffffffffffffff16916370a08231916024808301926020929190829003018186803b158015611d9f57600080fd5b505afa158015611db3573d6000803e3d6000fd5b505050506040513d6020811015611dc957600080fd5b5051600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b158015611e3c57600080fd5b505afa158015611e50573d6000803e3d6000fd5b505050506040513d6020811015611e6657600080fd5b50516008546dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041661234d565b6001600c55565b73ffffffffffffffffffffffffffffffffffffffff808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6000611f4e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506128db565b9392505050565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260016020526040902054611f8b908263ffffffff611f0c16565b73ffffffffffffffffffffffffffffffffffffffff8085166000908152600160205260408082209390935590841681522054611fcd908263ffffffff61298c16565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b1580156120a157600080fd5b505afa1580156120b5573d6000803e3d6000fd5b505050506040513d60208110156120cb57600080fd5b5051600b5473ffffffffffffffffffffffffffffffffffffffff82161580159450919250906121ae5780156121a9576000612122610b296dffffffffffffffffffffffffffff88811690881663ffffffff6121c216565b9050600061212f83612235565b9050808211156121a657600061215d61214e848463ffffffff611f0c16565b6000549063ffffffff6121c216565b905060006121828361217686600563ffffffff6121c216565b9063ffffffff61298c16565b9050600081838161218f57fe5b04905080156121a2576121a28782612287565b5050505b50505b6121ba565b80156121ba576000600b555b505092915050565b6000826121d1575060006106c8565b828202828482816121de57fe5b0414611f4e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612ab36021913960400191505060405180910390fd5b60006003821115612278575080600160028204015b818110156122725780915060028182858161226157fe5b04018161226a57fe5b04905061224a565b50612282565b8115612282575060015b919050565b60005461229a908263ffffffff61298c16565b600090815573ffffffffffffffffffffffffffffffffffffffff83168152600160205260409020546122d2908263ffffffff61298c16565b73ffffffffffffffffffffffffffffffffffffffff831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b60008183106123465781611f4e565b5090919050565b6dffffffffffffffffffffffffffff841180159061237957506dffffffffffffffffffffffffffff8311155b6123e457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f426f6f53776170506169723a204f564552464c4f570000000000000000000000604482015290519081900360640190fd5b60085463ffffffff428116917c01000000000000000000000000000000000000000000000000000000009004811682039081161580159061243457506dffffffffffffffffffffffffffff841615155b801561244f57506dffffffffffffffffffffffffffff831615155b156124ff578063ffffffff166124928561246886612a00565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff169063ffffffff612a2416565b600980547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905563ffffffff81166124d28461246887612a00565b600a80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff92909216929092020190555b600880547fffffffffffffffffffffffffffffffffffff0000000000000000000000000000166dffffffffffffffffffffffffffff888116919091177fffffffff0000000000000000000000000000ffffffffffffffffffffffffffff166e0100000000000000000000000000008883168102919091177bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167c010000000000000000000000000000000000000000000000000000000063ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a1505050505050565b604080518082018252601981527f7472616e7366657228616464726573732c75696e743235362900000000000000602091820152815173ffffffffffffffffffffffffffffffffffffffff85811660248301526044808301869052845180840390910181526064909201845291810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001781529251815160009460609489169392918291908083835b6020831061270f57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016126d2565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612771576040519150601f19603f3d011682016040523d82523d6000602084013e612776565b606091505b50915091508180156127a45750805115806127a457508080602001905160208110156127a157600080fd5b50515b61280f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f426f6f53776170506169723a205452414e534645525f4641494c454400000000604482015290519081900360640190fd5b5050505050565b73ffffffffffffffffffffffffffffffffffffffff821660009081526001602052604090205461284c908263ffffffff611f0c16565b73ffffffffffffffffffffffffffffffffffffffff831660009081526001602052604081209190915554612886908263ffffffff611f0c16565b600090815560408051838152905173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b60008184841115612984576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612949578181015183820152602001612931565b50505050905090810190601f1680156129765780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b600082820183811015611f4e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6dffffffffffffffffffffffffffff166e0100000000000000000000000000000290565b60006dffffffffffffffffffffffffffff82167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff841681612a5d57fe5b04939250505056fe426f6f53776170506169723a20494e53554646494349454e545f4c4951554944495459426f6f53776170506169723a20494e53554646494349454e545f4c49515549444954595f4255524e4544536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77426f6f53776170506169723a20494e53554646494349454e545f494e5055545f414d4f554e54426f6f53776170506169723a20494e53554646494349454e545f4c49515549444954595f4d494e544544426f6f53776170506169723a20494e53554646494349454e545f4f55545055545f414d4f554e54a265627a7a72315820643763cc57d57ff229a171c63077cb4efecb0f26c92d41d144beefa75a762f5e64736f6c63430005100032454950373132446f6d61696e28737472696e67206e616d652c737472696e672076657273696f6e2c75696e7432353620636861696e49642c6164647265737320766572696679696e67436f6e747261637429

0x608060405234801561001057600080fd5b50600436106101b95760003560e01c80636d9a640a116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a714610580578063d505accf14610588578063dd62ed3e146105e6578063fff6cae914610621576101b9565b8063ba9a7a561461053d578063bc25cf7714610545578063c45a015514610578576101b9565b80637ecebe00116100d35780637ecebe001461047d57806389afcb44146104b057806395d89b41146104fc578063a9059cbb14610504576101b9565b80636d9a640a1461040357806370a08231146104425780637464fc3d14610475576101b9565b806330adf81f11610166578063485cc95511610140578063485cc955146103835780635909c0d5146103c05780635a3d5493146103c85780636a627842146103d0576101b9565b806330adf81f14610355578063313ce5671461035d5780633644e5151461037b576101b9565b80630dfe1681116101975780630dfe1681146102c757806318160ddd146102f857806323b872dd14610312576101b9565b806306fdde03146101be5780630902f1ac1461023b578063095ea7b31461027a575b600080fd5b6101c6610629565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102005781810151838201526020016101e8565b50505050905090810190601f16801561022d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610243610662565b604080516dffffffffffffffffffffffffffff948516815292909316602083015263ffffffff168183015290519081900360600190f35b6102b36004803603604081101561029057600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356106b7565b604080519115158252519081900360200190f35b6102cf6106ce565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b6103006106ea565b60408051918252519081900360200190f35b6102b36004803603606081101561032857600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135811691602081013590911690604001356106f0565b6103006107cf565b6103656107f3565b6040805160ff9092168252519081900360200190f35b6103006107f8565b6103be6004803603604081101561039957600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160200135166107fe565b005b6103006108d7565b6103006108dd565b610300600480360360208110156103e657600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166108e3565b6103be6004803603606081101561041957600080fd5b508035906020810135906040013573ffffffffffffffffffffffffffffffffffffffff16610ca9565b6103006004803603602081101561045857600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661128d565b61030061129f565b6103006004803603602081101561049357600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166112a5565b6104e3600480360360208110156104c657600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166112b7565b6040805192835260208301919091528051918290030190f35b6101c6611754565b6102b36004803603604081101561051a57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813516906020013561178d565b61030061179a565b6103be6004803603602081101561055b57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166117a0565b6102cf611996565b6102cf6119b2565b6103be600480360360e081101561059e57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c001356119ce565b610300600480360360408110156105fc57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516611c9a565b6103be611cb7565b6040518060400160405280600781526020017f426f6f204c50730000000000000000000000000000000000000000000000000081525081565b6008546dffffffffffffffffffffffffffff808216926e0100000000000000000000000000008304909116917c0100000000000000000000000000000000000000000000000000000000900463ffffffff1690565b60006106c4338484611e9d565b5060015b92915050565b60065473ffffffffffffffffffffffffffffffffffffffff1681565b60005481565b73ffffffffffffffffffffffffffffffffffffffff831660009081526002602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff146107ba5773ffffffffffffffffffffffffffffffffffffffff84166000908152600260209081526040808320338452909152902054610788908363ffffffff611f0c16565b73ffffffffffffffffffffffffffffffffffffffff851660009081526002602090815260408083203384529091529020555b6107c5848484611f55565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60035481565b60055473ffffffffffffffffffffffffffffffffffffffff16331461088457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f426f6f53776170506169723a20464f5242494444454e00000000000000000000604482015290519081900360640190fd5b6006805473ffffffffffffffffffffffffffffffffffffffff9384167fffffffffffffffffffffffff00000000000000000000000000000000000000009182161790915560078054929093169116179055565b60095481565b600a5481565b6000600c5460011461095657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f426f6f53776170506169723a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c81905580610966610662565b50600654604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905193955091935060009273ffffffffffffffffffffffffffffffffffffffff909116916370a08231916024808301926020929190829003018186803b1580156109e057600080fd5b505afa1580156109f4573d6000803e3d6000fd5b505050506040513d6020811015610a0a57600080fd5b5051600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905192935060009273ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b158015610a8357600080fd5b505afa158015610a97573d6000803e3d6000fd5b505050506040513d6020811015610aad57600080fd5b505190506000610ad3836dffffffffffffffffffffffffffff871663ffffffff611f0c16565b90506000610af7836dffffffffffffffffffffffffffff871663ffffffff611f0c16565b90506000610b058787612036565b60005490915080610b4e57610b3a6103e8610b2e610b29878763ffffffff6121c216565b612235565b9063ffffffff611f0c16565b9850610b4960006103e8612287565b610bab565b610ba86dffffffffffffffffffffffffffff8916610b72868463ffffffff6121c216565b81610b7957fe5b046dffffffffffffffffffffffffffff8916610b9b868563ffffffff6121c216565b81610ba257fe5b04612337565b98505b60008911610c04576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180612afa602a913960400191505060405180910390fd5b610c0e8a8a612287565b610c1a86868a8a61234d565b8115610c5c57600854610c58906dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041663ffffffff6121c216565b600b555b6040805185815260208101859052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600c5550949695505050505050565b600c54600114610d1a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f426f6f53776170506169723a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c5582151580610d2d5750600082115b610d82576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526027815260200180612b246027913960400191505060405180910390fd5b600080610d8d610662565b5091509150816dffffffffffffffffffffffffffff1685108015610dc05750806dffffffffffffffffffffffffffff1684105b610e15576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180612a666023913960400191505060405180910390fd5b600654600754600091829173ffffffffffffffffffffffffffffffffffffffff918216919081169087168214801590610e7a57508073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff1614155b610ee557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601760248201527f426f6f53776170506169723a20494e56414c49445f544f000000000000000000604482015290519081900360640190fd5b8815610ef657610ef682888b612609565b8715610f0757610f0781888a612609565b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8416916370a08231916024808301926020929190829003018186803b158015610f7357600080fd5b505afa158015610f87573d6000803e3d6000fd5b505050506040513d6020811015610f9d57600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191955073ffffffffffffffffffffffffffffffffffffffff8316916370a0823191602480820192602092909190829003018186803b15801561100f57600080fd5b505afa158015611023573d6000803e3d6000fd5b505050506040513d602081101561103957600080fd5b5051925060009150506dffffffffffffffffffffffffffff85168890038311611063576000611079565b87856dffffffffffffffffffffffffffff160383035b9050600087856dffffffffffffffffffffffffffff1603831161109d5760006110b3565b87856dffffffffffffffffffffffffffff160383035b905060008211806110c45750600081115b611119576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180612ad46026913960400191505060405180910390fd5b600061114161112f84600363ffffffff6121c216565b610b2e876103e863ffffffff6121c216565b9050600061115961112f84600363ffffffff6121c216565b9050611191620f42406111856dffffffffffffffffffffffffffff8b8116908b1663ffffffff6121c216565b9063ffffffff6121c216565b6111a1838363ffffffff6121c216565b101561120e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f426f6f53776170506169723a204b000000000000000000000000000000000000604482015290519081900360640190fd5b505061121c8484888861234d565b60408051838152602081018390528082018b9052606081018a9052905173ffffffffffffffffffffffffffffffffffffffff89169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600c5550505050505050565b60016020526000908152604090205481565b600b5481565b60046020526000908152604090205481565b600080600c5460011461132b57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f426f6f53776170506169723a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c8190558061133b610662565b50600654600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905194965092945073ffffffffffffffffffffffffffffffffffffffff9182169391169160009184916370a08231916024808301926020929190829003018186803b1580156113bd57600080fd5b505afa1580156113d1573d6000803e3d6000fd5b505050506040513d60208110156113e757600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191925060009173ffffffffffffffffffffffffffffffffffffffff8516916370a08231916024808301926020929190829003018186803b15801561145b57600080fd5b505afa15801561146f573d6000803e3d6000fd5b505050506040513d602081101561148557600080fd5b5051306000908152600160205260408120549192506114a48888612036565b600054909150806114bb848763ffffffff6121c216565b816114c257fe5b049a50806114d6848663ffffffff6121c216565b816114dd57fe5b04995060008b1180156114f0575060008a115b611545576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180612a89602a913960400191505060405180910390fd5b61154f3084612816565b61155a878d8d612609565b611565868d8c612609565b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8916916370a08231916024808301926020929190829003018186803b1580156115d157600080fd5b505afa1580156115e5573d6000803e3d6000fd5b505050506040513d60208110156115fb57600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191965073ffffffffffffffffffffffffffffffffffffffff8816916370a0823191602480820192602092909190829003018186803b15801561166d57600080fd5b505afa158015611681573d6000803e3d6000fd5b505050506040513d602081101561169757600080fd5b505193506116a785858b8b61234d565b81156116e9576008546116e5906dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041663ffffffff6121c216565b600b555b604080518c8152602081018c9052815173ffffffffffffffffffffffffffffffffffffffff8f169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a35050505050505050506001600c81905550915091565b6040518060400160405280600381526020017f424c50000000000000000000000000000000000000000000000000000000000081525081565b60006106c4338484611f55565b6103e881565b600c5460011461181157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f426f6f53776170506169723a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c55600654600754600854604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff94851694909316926118ed92859287926118e8926dffffffffffffffffffffffffffff169185916370a0823191602480820192602092909190829003018186803b1580156118b057600080fd5b505afa1580156118c4573d6000803e3d6000fd5b505050506040513d60208110156118da57600080fd5b50519063ffffffff611f0c16565b612609565b600854604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905161198c92849287926118e8926e01000000000000000000000000000090046dffffffffffffffffffffffffffff169173ffffffffffffffffffffffffffffffffffffffff8616916370a0823191602480820192602092909190829003018186803b1580156118b057600080fd5b50506001600c5550565b60055473ffffffffffffffffffffffffffffffffffffffff1681565b60075473ffffffffffffffffffffffffffffffffffffffff1681565b42841015611a3d57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f426f6f5377617042455032303a20455850495245440000000000000000000000604482015290519081900360640190fd5b60035473ffffffffffffffffffffffffffffffffffffffff80891660008181526004602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e0850182528051908301207f19010000000000000000000000000000000000000000000000000000000000006101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e2808201937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081019281900390910190855afa158015611b9e573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff811615801590611c1957508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b611c8457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f426f6f5377617042455032303a20494e56414c49445f5349474e415455524500604482015290519081900360640190fd5b611c8f898989611e9d565b505050505050505050565b600260209081526000928352604080842090915290825290205481565b600c54600114611d2857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f426f6f53776170506169723a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c55600654604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051611e969273ffffffffffffffffffffffffffffffffffffffff16916370a08231916024808301926020929190829003018186803b158015611d9f57600080fd5b505afa158015611db3573d6000803e3d6000fd5b505050506040513d6020811015611dc957600080fd5b5051600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b158015611e3c57600080fd5b505afa158015611e50573d6000803e3d6000fd5b505050506040513d6020811015611e6657600080fd5b50516008546dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041661234d565b6001600c55565b73ffffffffffffffffffffffffffffffffffffffff808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6000611f4e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506128db565b9392505050565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260016020526040902054611f8b908263ffffffff611f0c16565b73ffffffffffffffffffffffffffffffffffffffff8085166000908152600160205260408082209390935590841681522054611fcd908263ffffffff61298c16565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b1580156120a157600080fd5b505afa1580156120b5573d6000803e3d6000fd5b505050506040513d60208110156120cb57600080fd5b5051600b5473ffffffffffffffffffffffffffffffffffffffff82161580159450919250906121ae5780156121a9576000612122610b296dffffffffffffffffffffffffffff88811690881663ffffffff6121c216565b9050600061212f83612235565b9050808211156121a657600061215d61214e848463ffffffff611f0c16565b6000549063ffffffff6121c216565b905060006121828361217686600563ffffffff6121c216565b9063ffffffff61298c16565b9050600081838161218f57fe5b04905080156121a2576121a28782612287565b5050505b50505b6121ba565b80156121ba576000600b555b505092915050565b6000826121d1575060006106c8565b828202828482816121de57fe5b0414611f4e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612ab36021913960400191505060405180910390fd5b60006003821115612278575080600160028204015b818110156122725780915060028182858161226157fe5b04018161226a57fe5b04905061224a565b50612282565b8115612282575060015b919050565b60005461229a908263ffffffff61298c16565b600090815573ffffffffffffffffffffffffffffffffffffffff83168152600160205260409020546122d2908263ffffffff61298c16565b73ffffffffffffffffffffffffffffffffffffffff831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b60008183106123465781611f4e565b5090919050565b6dffffffffffffffffffffffffffff841180159061237957506dffffffffffffffffffffffffffff8311155b6123e457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f426f6f53776170506169723a204f564552464c4f570000000000000000000000604482015290519081900360640190fd5b60085463ffffffff428116917c01000000000000000000000000000000000000000000000000000000009004811682039081161580159061243457506dffffffffffffffffffffffffffff841615155b801561244f57506dffffffffffffffffffffffffffff831615155b156124ff578063ffffffff166124928561246886612a00565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff169063ffffffff612a2416565b600980547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905563ffffffff81166124d28461246887612a00565b600a80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff92909216929092020190555b600880547fffffffffffffffffffffffffffffffffffff0000000000000000000000000000166dffffffffffffffffffffffffffff888116919091177fffffffff0000000000000000000000000000ffffffffffffffffffffffffffff166e0100000000000000000000000000008883168102919091177bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167c010000000000000000000000000000000000000000000000000000000063ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a1505050505050565b604080518082018252601981527f7472616e7366657228616464726573732c75696e743235362900000000000000602091820152815173ffffffffffffffffffffffffffffffffffffffff85811660248301526044808301869052845180840390910181526064909201845291810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001781529251815160009460609489169392918291908083835b6020831061270f57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016126d2565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612771576040519150601f19603f3d011682016040523d82523d6000602084013e612776565b606091505b50915091508180156127a45750805115806127a457508080602001905160208110156127a157600080fd5b50515b61280f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f426f6f53776170506169723a205452414e534645525f4641494c454400000000604482015290519081900360640190fd5b5050505050565b73ffffffffffffffffffffffffffffffffffffffff821660009081526001602052604090205461284c908263ffffffff611f0c16565b73ffffffffffffffffffffffffffffffffffffffff831660009081526001602052604081209190915554612886908263ffffffff611f0c16565b600090815560408051838152905173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b60008184841115612984576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612949578181015183820152602001612931565b50505050905090810190601f1680156129765780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b600082820183811015611f4e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6dffffffffffffffffffffffffffff166e0100000000000000000000000000000290565b60006dffffffffffffffffffffffffffff82167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff841681612a5d57fe5b04939250505056fe426f6f53776170506169723a20494e53554646494349454e545f4c4951554944495459426f6f53776170506169723a20494e53554646494349454e545f4c49515549444954595f4255524e4544536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77426f6f53776170506169723a20494e53554646494349454e545f494e5055545f414d4f554e54426f6f53776170506169723a20494e53554646494349454e545f4c49515549444954595f4d494e544544426f6f53776170506169723a20494e53554646494349454e545f4f55545055545f414d4f554e54a265627a7a72315820643763cc57d57ff229a171c63077cb4efecb0f26c92d41d144beefa75a762f5e64736f6c63430005100032

19161:9972:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19161:9972:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12479:39;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;12479:39:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20174:313;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14620:150;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;14620:150:0;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;19470:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12611:26;;;:::i;:::-;;;;;;;;;;;;;;;;14928:341;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;14928:341:0;;;;;;;;;;;;;;;;;;:::i;12911:108::-;;;:::i;12569:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12768:31;;;:::i;21379:212::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21379:212:0;;;;;;;;;;;:::i;:::-;;19800:35;;;:::i;19842:::-;;;:::i;23662:1273::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;23662:1273:0;;;;:::i;26593:1947::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;26593:1947:0;;;;;;;;;;;;;;:::i;12644:44::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12644:44:0;;;;:::i;19884:20::-;;;:::i;13026:41::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13026:41:0;;;;:::i;25050:1428::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;25050:1428:0;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;12525:37;;;:::i;14778:142::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;14778:142:0;;;;;;;;;:::i;19288:49::-;;;:::i;28589:334::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;28589:334:0;;;;:::i;19441:22::-;;;:::i;19498:21::-;;;:::i;15277:756::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;15277:756:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;12695:64::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12695:64:0;;;;;;;;;;;:::i;28972:158::-;;;:::i;12479:39::-;;;;;;;;;;;;;;;;;;;:::o;20174:313::-;20389:8;;;;;;;20420;;;;;;;20461:18;;;;;;20174:313::o;14620:150::-;14687:4;14704:36;14713:10;14725:7;14734:5;14704:8;:36::i;:::-;-1:-1:-1;14758:4:0;14620:150;;;;;:::o;19470:21::-;;;;;;:::o;12611:26::-;;;;:::o;14928:341::-;15064:15;;;15043:4;15064:15;;;:9;:15;;;;;;;;15080:10;15064:27;;;;;;;;15103:2;15064:42;15060:143;;15153:15;;;;;;;:9;:15;;;;;;;;15169:10;15153:27;;;;;;;;:38;;15185:5;15153:38;:31;:38;:::i;:::-;15123:15;;;;;;;:9;:15;;;;;;;;15139:10;15123:27;;;;;;;:68;15060:143;15213:26;15223:4;15229:2;15233:5;15213:9;:26::i;:::-;-1:-1:-1;15257:4:0;14928:341;;;;;:::o;12911:108::-;12953:66;12911:108;:::o;12569:35::-;12602:2;12569:35;:::o;12768:31::-;;;;:::o;21379:212::-;21475:7;;;;21461:10;:21;21453:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21540:6;:16;;;;;;;;;;;;;;21567:6;:16;;;;;;;;;;;21379:212::o;19800:35::-;;;;:::o;19842:::-;;;;:::o;23662:1273::-;23711:17;20063:8;;20075:1;20063:13;20055:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20122:1;20111:8;:12;;;20122:1;23784:13;:11;:13::i;:::-;-1:-1:-1;23849:6:0;;23842:39;;;;;;23875:4;23842:39;;;;;;23741:56;;-1:-1:-1;23741:56:0;;-1:-1:-1;23823:16:0;;23849:6;;;;;23842:24;;:39;;;;;;;;;;;;;;23849:6;23842:39;;;5:2:-1;;;;30:1;27;20:12;5:2;23842:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;23842:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;23842:39:0;23918:6;;23911:39;;;;;;23944:4;23911:39;;;;;;23842;;-1:-1:-1;23892:16:0;;23918:6;;;;;23911:24;;:39;;;;;23842;;23911;;;;;;;;23918:6;23911:39;;;5:2:-1;;;;30:1;27;20:12;5:2;23911:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;23911:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;23911:39:0;;-1:-1:-1;23961:15:0;23979:23;:8;:23;;;;:12;:23;:::i;:::-;23961:41;-1:-1:-1;24013:15:0;24031:23;:8;:23;;;;:12;:23;:::i;:::-;24013:41;;24067:10;24080:30;24089:9;24100;24080:8;:30::i;:::-;24121:20;24144:11;24067:43;;-1:-1:-1;24248:17:0;24244:361;;24294:58;19332:5;24294:35;24308:20;:7;24320;24308:20;:11;:20;:::i;:::-;24294:13;:35::i;:::-;:39;:58;:39;:58;:::i;:::-;24282:70;;24367:36;24381:1;19332:5;24367;:36::i;:::-;24244:361;;;24503:90;24516:37;;;:25;:7;24528:12;24516:25;:11;:25;:::i;:::-;:37;;;;;;24555;;;:25;:7;24567:12;24555:25;:11;:25;:::i;:::-;:37;;;;;;24503:12;:90::i;:::-;24491:102;;24244:361;24635:1;24623:9;:13;24615:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24694:20;24700:2;24704:9;24694:5;:20::i;:::-;24727:49;24735:8;24745;24755:9;24766;24727:7;:49::i;:::-;24791:5;24787:50;;;24828:8;;24806:31;;24828:8;24814;;;;24828;;;;24806:31;:21;:31;:::i;:::-;24798:5;:39;24787:50;24893:34;;;;;;;;;;;;;;24898:10;;24893:34;;;;;;;;-1:-1:-1;;20157:1:0;20146:8;:12;-1:-1:-1;23662:1273:0;;;-1:-1:-1;;;;;;23662:1273:0:o;26593:1947::-;20063:8;;20075:1;20063:13;20055:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20122:1;20111:8;:12;26726:14;;;;:32;;;26757:1;26744:10;:14;26726:32;26718:84;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26814:17;26833;26856:13;:11;:13::i;:::-;26813:56;;;;;26916:9;26903:22;;:10;:22;:48;;;;;26942:9;26929:22;;:10;:22;26903:48;26895:96;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27159:6;;27198;;27004:16;;;;27159:6;;;;;27198;;;;27227:13;;;;;;;:30;;;27250:7;27244:13;;:2;:13;;;;27227:30;27219:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27304:14;;27300:58;;27320:38;27334:7;27343:2;27347:10;27320:13;:38::i;:::-;27411:14;;27407:58;;27427:38;27441:7;27450:2;27454:10;27427:13;:38::i;:::-;27525:40;;;;;;27559:4;27525:40;;;;;;:25;;;;;;:40;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;27525:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;27525:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;27525:40:0;27591;;;;;;27625:4;27591:40;;;;;;27525;;-1:-1:-1;27591:25:0;;;;;;:40;;;;;27525;;27591;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;27591:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;27591:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;27591:40:0;;-1:-1:-1;27653:17:0;;-1:-1:-1;;27684:22:0;;;;;;27673:33;;:75;;27747:1;27673:75;;;27733:10;27721:9;:22;;;27709:8;:35;27673:75;27653:95;;27759:17;27802:10;27790:9;:22;;;27779:8;:33;:75;;27853:1;27779:75;;;27839:10;27827:9;:22;;;27815:8;:35;27779:75;27759:95;;27885:1;27873:9;:13;:30;;;;27902:1;27890:9;:13;27873:30;27865:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28049:24;28076:40;28099:16;:9;28113:1;28099:16;:13;:16;:::i;:::-;28076:18;:8;28089:4;28076:18;:12;:18;:::i;:40::-;28049:67;-1:-1:-1;28131:24:0;28158:40;28181:16;:9;28195:1;28181:16;:13;:16;:::i;28158:40::-;28131:67;-1:-1:-1;28281:46:0;28319:7;28281:33;;:18;;;;:33;;;:22;:33;:::i;:::-;:37;:46;:37;:46;:::i;:::-;28239:38;:16;28260;28239:38;:20;:38;:::i;:::-;:88;;28213:164;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20134:1;;28401:49;28409:8;28419;28429:9;28440;28401:7;:49::i;:::-;28466:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28471:10;;28466:66;;;;;;;;;-1:-1:-1;;20157:1:0;20146:8;:12;-1:-1:-1;;;;;;;26593:1947:0:o;12644:44::-;;;;;;;;;;;;;:::o;19884:20::-;;;;:::o;13026:41::-;;;;;;;;;;;;;:::o;25050:1428::-;25099:15;25116;20063:8;;20075:1;20063:13;20055:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20122:1;20111:8;:12;;;20122:1;25187:13;:11;:13::i;:::-;-1:-1:-1;25244:6:0;;25294;;25345:40;;;;;;25379:4;25345:40;;;;;;25144:56;;-1:-1:-1;25144:56:0;;-1:-1:-1;25244:6:0;;;;;25294;;;25226:15;;25244:6;;25345:25;;:40;;;;;;;;;;;;;;25244:6;25345:40;;;5:2:-1;;;;30:1;27;20:12;5:2;25345:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;25345:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;25345:40:0;25415;;;;;;25449:4;25415:40;;;;;;25345;;-1:-1:-1;25396:16:0;;25415:25;;;;;;:40;;;;;25345;;25415;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;25415:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;25415:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;25415:40:0;25504:4;25466:17;25486:24;;;:9;25415:40;25486:24;;;;;25415:40;;-1:-1:-1;25536:30:0;25545:9;25556;25536:8;:30::i;:::-;25577:20;25600:11;25523:43;;-1:-1:-1;25600:11:0;25710:23;:9;25724:8;25710:23;:13;:23;:::i;:::-;:38;;;;;;;-1:-1:-1;25843:12:0;25817:23;:9;25831:8;25817:23;:13;:23;:::i;:::-;:38;;;;;;25807:48;;25932:1;25922:7;:11;:26;;;;;25947:1;25937:7;:11;25922:26;25914:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26006:31;26020:4;26027:9;26006:5;:31::i;:::-;26048:35;26062:7;26071:2;26075:7;26048:13;:35::i;:::-;26094;26108:7;26117:2;26121:7;26094:13;:35::i;:::-;26151:40;;;;;;26185:4;26151:40;;;;;;:25;;;;;;:40;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;26151:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;26151:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;26151:40:0;26213;;;;;;26247:4;26213:40;;;;;;26151;;-1:-1:-1;26213:25:0;;;;;;:40;;;;;26151;;26213;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;26213:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;26213:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;26213:40:0;;-1:-1:-1;26266:49:0;26274:8;26213:40;26294:9;26305;26266:7;:49::i;:::-;26330:5;26326:50;;;26367:8;;26345:31;;26367:8;26353;;;;26367;;;;26345:31;:21;:31;:::i;:::-;26337:5;:39;26326:50;26432:38;;;;;;;;;;;;;;;;;;26437:10;;26432:38;;;;;;;;;;;20134:1;;;;;;;;;20157;20146:8;:12;;;;25050:1428;;;:::o;12525:37::-;;;;;;;;;;;;;;;;;;;:::o;14778:142::-;14841:4;14858:32;14868:10;14880:2;14884:5;14858:9;:32::i;19288:49::-;19332:5;19288:49;:::o;28589:334::-;20063:8;;20075:1;20063:13;20055:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20122:1;20111:8;:12;28658:6;;28708;;28812:8;;28767:40;;;;;;28801:4;28767:40;;;;;;28658:6;;;;;28708;;;;28740:82;;28658:6;;28763:2;;28767:54;;28812:8;;;28658:6;;28767:25;;:40;;;;;;;;;;;;;;;28658:6;28767:40;;;5:2:-1;;;;30:1;27;20:12;5:2;28767:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;28767:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;28767:40:0;;:54;:44;:54;:::i;:::-;28740:13;:82::i;:::-;28905:8;;28860:40;;;;;;28894:4;28860:40;;;;;;28833:82;;28847:7;;28856:2;;28860:54;;28905:8;;;;;;28860:25;;;;;;:40;;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;28833:82:0;-1:-1:-1;;20157:1:0;20146:8;:12;-1:-1:-1;28589:334:0:o;19441:22::-;;;;;;:::o;19498:21::-;;;;;;:::o;15277:756::-;15499:15;15487:8;:27;;15479:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15656:16;;15752:13;;;;15551:14;15752:13;;;:6;:13;;;;;;;;:15;;;;;;;;;15701:77;;12953:66;15701:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;15701:77:0;;;;;15691:88;;;;;;15592:202;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;15592:202:0;;;;;;15568:237;;;;;;;;;15843:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15551:14;;15752:15;15843:26;;;;;-1:-1:-1;15843:26:0;;;;;;;;;;15752:15;15843:26;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;15843:26:0;;;;;;-1:-1:-1;;15888:30:0;;;;;;;:59;;;15942:5;15922:25;;:16;:25;;;15888:59;15880:103;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15994:31;16003:5;16010:7;16019:5;15994:8;:31::i;:::-;15277:756;;;;;;;;;:::o;12695:64::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;28972:158::-;20063:8;;20075:1;20063:13;20055:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20122:1;20111:8;:12;29028:6;;29021:39;;;;;;29054:4;29021:39;;;;;;29013:109;;29028:6;;;29021:24;;:39;;;;;;;;;;;;;;29028:6;29021:39;;;5:2:-1;;;;30:1;27;20:12;5:2;29021:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;29021:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;29021:39:0;29069:6;;29062:39;;;;;;29095:4;29062:39;;;;;;29069:6;;;;;29062:24;;:39;;;;;29021;;29062;;;;;;;;29069:6;29062:39;;;5:2:-1;;;;30:1;27;20:12;5:2;29062:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;29062:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;29062:39:0;29103:8;;;;;;;29113;;;;29013:7;:109::i;:::-;20157:1;20146:8;:12;28972:158::o;14141:206::-;14259:16;;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;14308:31;;;;;;;;;;;;;;;;;14141:206;;;:::o;1443:136::-;1501:7;1528:43;1532:1;1535;1528:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;1521:50;1443:136;-1:-1:-1;;;1443:136:0:o;14355:257::-;14486:15;;;;;;;:9;:15;;;;;;:26;;14506:5;14486:26;:19;:26;:::i;:::-;14468:15;;;;;;;;:9;:15;;;;;;:44;;;;14539:13;;;;;;;:24;;14557:5;14539:24;:17;:24;:::i;:::-;14523:13;;;;;;;;:9;:13;;;;;;;;;:40;;;;14579:25;;;;;;;14523:13;;14579:25;;;;;;;;;;;;;14355:257;;;:::o;22683:864::-;22756:10;22779:13;22811:7;;;;;;;;;;;22795:30;;;:32;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22795:32:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;22795:32:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;22795:32:0;22893:5;;22846:19;;;;;;;-1:-1:-1;22795:32:0;;-1:-1:-1;22893:5:0;22924:616;;22954:11;;22950:520;;22986:13;23002:48;23016:33;;:18;;;;:33;;;:22;:33;:::i;23002:48::-;22986:64;;23069:17;23089:21;23103:6;23089:13;:21::i;:::-;23069:41;;23141:9;23133:5;:17;23129:326;;;23175:17;23195:37;23211:20;:5;23221:9;23211:20;:9;:20;:::i;:::-;23195:11;;;:37;:15;:37;:::i;:::-;23175:57;-1:-1:-1;23255:19:0;23277:27;23294:9;23277:12;:5;23287:1;23277:12;:9;:12;:::i;:::-;:16;:27;:16;:27;:::i;:::-;23255:49;;23327:17;23359:11;23347:9;:23;;;;;;;-1:-1:-1;23397:13:0;;23393:42;;23412:23;23418:5;23425:9;23412:5;:23::i;:::-;23129:326;;;;22950:520;;;22924:616;;;23491:11;;23487:53;;23527:1;23519:5;:9;23487:53;22683:864;;;;;;:::o;2367:471::-;2425:7;2670:6;2666:47;;-1:-1:-1;2700:1:0;2693:8;;2666:47;2737:5;;;2741:1;2737;:5;:1;2761:5;;;;;:10;2753:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5765:312;5813:9;5843:1;5839;:5;5835:235;;;-1:-1:-1;5865:1:0;5901;5897;5893:5;;:9;5917:92;5928:1;5924;:5;5917:92;;;5954:1;5950:5;;5992:1;5987;5983;5979;:5;;;;;;:9;5978:15;;;;;;5974:19;;5917:92;;;5835:235;;;;6030:6;;6026:44;;-1:-1:-1;6057:1:0;6026:44;5765:312;;;:::o;13709:204::-;13785:11;;:22;;13801:5;13785:22;:15;:22;:::i;:::-;13771:11;:36;;;13834:13;;;;;:9;:13;;;;;;:24;;13852:5;13834:24;:17;:24;:::i;:::-;13818:13;;;;;;;:9;:13;;;;;;;;:40;;;;13874:31;;;;;;;13818:13;;;;13874:31;;;;;;;;;;13709:204;;:::o;5542:105::-;5600:9;5630:1;5626;:5;:13;;5638:1;5626:13;;;-1:-1:-1;5634:1:0;;5622:17;-1:-1:-1;5542:105:0:o;21676:917::-;21837:23;;;;;;:50;;-1:-1:-1;21864:23:0;;;;21837:50;21829:84;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22028:18;;21955:23;:15;:23;;;22028:18;;;;;22011:35;;;22084:15;;;;;;:33;;-1:-1:-1;22103:14:0;;;;;22084:33;:51;;;;-1:-1:-1;22121:14:0;;;;;22084:51;22080:342;;;22293:11;22237:67;;22245:44;22279:9;22245:27;22262:9;22245:16;:27::i;:::-;:33;;;:44;:33;:44;:::i;:::-;22213:20;:91;;22237:53;;;;;:67;;;;22213:91;;;22343:67;;;22351:44;22385:9;22351:27;22368:9;22351:16;:27::i;:44::-;22319:20;:91;;22343:53;;;;;:67;;;;22319:91;;;22080:342;22432:8;:28;;;;;;;;;;;;22471;;;;;;;;;;;;22510:35;;;;;;;;;;;;22561:24;;;22566:8;;;22561:24;;22576:8;;;;;;;22561:24;;;;;;;;;;;;;;;;;21676:917;;;;;;:::o;20495:326::-;19396:34;;;;;;;;;;;;;;;;;20660:43;;20649:10;20660:43;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;20660:43:0;;;;;;25:18:-1;;;61:17;;20660:43:0;182:15:-1;20660:43:0;179:29:-1;160:49;;20649:55:0;;;;20614:12;;20628:17;;20649:10;;;20660:43;20649:55;;;25:18:-1;20649:55:0;;25:18:-1;36:153;66:2;61:3;58:11;36:153;;176:10;;164:23;;139:12;;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;20649:55:0;;;;;;;;;;;;;;;;;;;;;;;;14:1:-1;21;16:31;;;;75:4;69:11;64:16;;144:4;140:9;133:4;115:16;111:27;107:43;104:1;100:51;94:4;87:65;169:16;166:1;159:27;225:16;222:1;215:4;212:1;208:12;193:49;7:242;;16:31;36:4;31:9;;7:242;;20613:91:0;;;;20723:7;:57;;;;-1:-1:-1;20735:11:0;;:16;;:44;;;20766:4;20755:24;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;20755:24:0;20735:44;20715:98;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20495:326;;;;;:::o;13921:212::-;14003:15;;;;;;;:9;:15;;;;;;:26;;14023:5;14003:26;:19;:26;:::i;:::-;13985:15;;;;;;;:9;:15;;;;;:44;;;;14054:11;:22;;14070:5;14054:22;:15;:22;:::i;:::-;14040:11;:36;;;14092:33;;;;;;;;;;;;;;;;;;;;;;13921:212;;:::o;1882:226::-;2002:7;2038:12;2030:6;;;;2022:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;2022:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;2074:5:0;;;1882:226::o;979:181::-;1037:7;1069:5;;;1093:6;;;;1085:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11900:120;11976:10;;11845:6;11976:17;;11900:120::o;12091:108::-;12151:9;12181:10;;;12177:14;;;12181:10;12177:14;;;;;;12091:108;-1:-1:-1;;;12091:108:0:o

bzzr://643763cc57d57ff229a171c63077cb4efecb0f26c92d41d144beefa75a762f5e