Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT
pragma solidity =0.8.4;

import { IDeFivePair } from "./interfaces/IDeFivePair.sol";
import { DeFiveLP } from "./DeFiveLP.sol";
import { Math } from "./libraries/Math.sol";
import { UQ112x112 } from "./libraries/UQ112x112.sol";
import { IDeFiveToken } from "./interfaces/IDeFiveToken.sol";
import { IDeFiveFactory } from "./interfaces/IDeFiveFactory.sol";
import { IDeFiveCallee } from "./interfaces/IDeFiveCallee.sol";

contract DeFivePair is IDeFivePair, DeFiveLP {
    using UQ112x112 for uint224;

    uint256 public constant override MINIMUM_LIQUIDITY = 10 ** 3;

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

    uint112 private reserve0;
    uint112 private reserve1;
    uint32 private blockTimestampLast;

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

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

    constructor() {
        factory = msg.sender;
    }

    function initialize(address _token0, address _token1) external override {
        require(msg.sender == factory, "DeFive: FORBIDDEN");
        token0 = _token0;
        token1 = _token1;
    }

    function getReserves()
        public
        view
        override
        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(IDeFiveToken.transfer.selector, to, value)
        );
        require(success && (data.length == 0 || abi.decode(data, (bool))), "DeFive: TRANSFER_FAILED");
    }

    function _update(uint256 balance0, uint256 balance1, uint112 _reserve0, uint112 _reserve1) private {
        require(balance0 <= type(uint112).max && balance1 <= type(uint112).max, "DeFive: OVERFLOW");
        uint32 blockTimestamp = uint32(block.timestamp % 2 ** 32);
        unchecked {
            uint32 timeElapsed = blockTimestamp - blockTimestampLast;
            if (timeElapsed > 0 && _reserve0 != 0 && _reserve1 != 0) {
                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);
    }

    function _mintFee(uint112 _reserve0, uint112 _reserve1) private {
        uint256 _kLast = kLast;
        if (_kLast != 0) {
            uint256 rootK = Math.sqrt(uint256(_reserve0) * _reserve1);
            uint256 rootKLast = Math.sqrt(_kLast);
            if (rootK > rootKLast) {
                uint256 liquidity = (totalSupply * (rootK - rootKLast)) / (rootK * 3 + rootKLast);

                if (liquidity > 0) {
                    // Cache factory and fee recipient addresses
                    address _factory = factory;
                    address feeToDevs = IDeFiveFactory(_factory).feeToDevs();
                    address feeToGbm = IDeFiveFactory(_factory).feeToGbm();

                    // Mint half liquidity to each fee recipient
                    uint256 halfLiquidity = liquidity / 2;
                    _mint(feeToDevs, halfLiquidity);
                    _mint(feeToGbm, halfLiquidity);
                }
            }
        }
    }

    function mint(address to) external override lock returns (uint256 liquidity) {
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves();
        uint256 balance0 = IDeFiveToken(token0).balanceOf(address(this));
        uint256 balance1 = IDeFiveToken(token1).balanceOf(address(this));
        uint256 amount0 = balance0 - _reserve0;
        uint256 amount1 = balance1 - _reserve1;

        _mintFee(_reserve0, _reserve1);
        uint256 _totalSupply = totalSupply;
        if (_totalSupply == 0) {
            liquidity = Math.sqrt(amount0 * amount1) - MINIMUM_LIQUIDITY;
            _mint(address(0), MINIMUM_LIQUIDITY);
        } else {
            liquidity = Math.min((amount0 * _totalSupply) / _reserve0, (amount1 * _totalSupply) / _reserve1);
        }
        require(liquidity > 0, "DeFive: INSUFFICIENT_LIQUIDITY_MINTED");
        _mint(to, liquidity);

        _update(balance0, balance1, _reserve0, _reserve1);
        kLast = uint256(reserve0) * reserve1;
        emit Mint(msg.sender, amount0, amount1);
    }

    function burn(address to) external override lock returns (uint256 amount0, uint256 amount1) {
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves();
        address _token0 = token0;
        address _token1 = token1;
        uint256 balance0 = IDeFiveToken(_token0).balanceOf(address(this));
        uint256 balance1 = IDeFiveToken(_token1).balanceOf(address(this));
        uint256 liquidity = balanceOf[address(this)];

        _mintFee(_reserve0, _reserve1);
        uint256 _totalSupply = totalSupply;
        amount0 = (liquidity * balance0) / _totalSupply;
        amount1 = (liquidity * balance1) / _totalSupply;
        require(amount0 > 0 && amount1 > 0, "DeFive: INSUFFICIENT_LIQUIDITY_BURNED");
        _burn(address(this), liquidity);
        _safeTransfer(_token0, to, amount0);
        _safeTransfer(_token1, to, amount1);
        balance0 = IDeFiveToken(_token0).balanceOf(address(this));
        balance1 = IDeFiveToken(_token1).balanceOf(address(this));

        _update(balance0, balance1, _reserve0, _reserve1);
        kLast = uint256(reserve0) * reserve1;
        emit Burn(msg.sender, amount0, amount1, to);
    }

    function swap(uint256 amount0Out, uint256 amount1Out, address to, bytes calldata data) external override lock {
        require(amount0Out > 0 || amount1Out > 0, "DeFive: INSUFFICIENT_OUTPUT_AMOUNT");
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves();
        require(amount0Out < _reserve0 && amount1Out < _reserve1, "DeFive: INSUFFICIENT_LIQUIDITY");
        uint256 balance0;
        uint256 balance1;

        {
            address _token0 = token0;
            address _token1 = token1;
            require(to != _token0 && to != _token1, "DeFive: INVALID_TO");
            if (amount0Out > 0) _safeTransfer(_token0, to, amount0Out);
            if (amount1Out > 0) _safeTransfer(_token1, to, amount1Out);

            if (data.length > 0) IDeFiveCallee(to).deFiveCall(msg.sender, amount0Out, amount1Out, data);

            balance0 = IDeFiveToken(_token0).balanceOf(address(this));
            balance1 = IDeFiveToken(_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, "DeFive: INSUFFICIENT_INPUT_AMOUNT");
        {
            uint256 balance0Adjusted = balance0 * 10000 - amount0In * 18;
            uint256 balance1Adjusted = balance1 * 10000 - amount1In * 18;
            require(balance0Adjusted * balance1Adjusted >= uint256(_reserve0) * _reserve1 * (10000 ** 2), "DeFive: K");
        }

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

    function skim(address to) external override lock {
        address _token0 = token0;
        address _token1 = token1;
        _safeTransfer(_token0, to, IDeFiveToken(_token0).balanceOf(address(this)) - reserve0);
        _safeTransfer(_token1, to, IDeFiveToken(_token1).balanceOf(address(this)) - reserve1);
    }

    function sync() external override lock {
        _update(
            IDeFiveToken(token0).balanceOf(address(this)),
            IDeFiveToken(token1).balanceOf(address(this)),
            reserve0,
            reserve1
        );
    }
}

// SPDX-License-Identifier: MIT
pragma solidity =0.8.4;

import { IDeFiveToken } from "./interfaces/IDeFiveToken.sol";

contract DeFiveLP is IDeFiveToken {
    string public constant override name = "DeFive LP Token";
    string public constant override symbol = "DEFIVE-LP";
    uint8 public constant override decimals = 18;
    uint256 public override totalSupply;

    mapping(address => uint256) public override balanceOf;
    mapping(address => mapping(address => uint256)) public override allowance;

    bytes32 public override DOMAIN_SEPARATOR;
    bytes32 public constant override PERMIT_TYPEHASH =
        0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9;

    mapping(address => uint256) public override nonces;

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

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

    function _burn(address from, uint256 value) internal {
        balanceOf[from] -= value;
        totalSupply -= 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] -= value;
        balanceOf[to] += value;
        emit Transfer(from, to, value);
    }

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

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

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

    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external override {
        require(deadline >= block.timestamp, "DeFive: 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, "DeFive: INVALID_SIGNATURE");
        _approve(owner, spender, value);
    }
}

// SPDX-License-Identifier: MIT
pragma solidity =0.8.4;

interface IDeFiveCallee {
    function deFiveCall(address sender, uint256 amount0, uint256 amount1, bytes calldata data) external;
}

// SPDX-License-Identifier: MIT
pragma solidity =0.8.4;

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

    event SetFeeToDevs(address indexed sender, address indexed feeToDevs);

    event SetFeeToGbm(address indexed sender, address indexed feeToGbm);

    event SetFeeToDevsSetter(address indexed sender, address indexed feeToDevsSetter);

    event SetFeeToGbmSetter(address indexed sender, address indexed feeToGbmSetter);

    function feeToDevs() external view returns (address);

    function feeToGbm() external view returns (address);

    function feeToDevsSetter() external view returns (address);

    function feeToGbmSetter() 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 setFeeToDevs(address _feeToDevs) external;

    function setFeeToGbm(address _feeToGbm) external;

    function setFeeToDevsSetter(address _feeToDevsSetter) external;

    function setFeeToGbmSetter(address _feeToGbmSetter) external;
}

// SPDX-License-Identifier: MIT
pragma solidity =0.8.4;

import { IDeFiveToken } from "./IDeFiveToken.sol";

interface IDeFivePair is IDeFiveToken {
    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, bytes calldata data) external;

    function skim(address to) external;

    function sync() external;

    function initialize(address, address) external;
}

// SPDX-License-Identifier: MIT
pragma solidity =0.8.4;

interface IDeFiveToken {
    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;
}

// SPDX-License-Identifier: MIT
pragma solidity =0.8.4;

// a library for performing various math operations

library Math {
    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;
        }
    }
}

// SPDX-License-Identifier: MIT
pragma solidity =0.8.4;

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

{
  "optimizer": {
    "enabled": true,
    "runs": 9999
  },
  "metadata": {
    "bytecodeHash": "none",
    "useLiteralContent": true
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "devdoc",
        "userdoc",
        "metadata",
        "abi"
      ]
    }
  },
  "libraries": {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"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"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MINIMUM_LIQUIDITY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PERMIT_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"}],"name":"burn","outputs":[{"internalType":"uint256","name":"amount0","type":"uint256"},{"internalType":"uint256","name":"amount1","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"factory","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getReserves","outputs":[{"internalType":"uint112","name":"_reserve0","type":"uint112"},{"internalType":"uint112","name":"_reserve1","type":"uint112"},{"internalType":"uint32","name":"_blockTimestampLast","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_token0","type":"address"},{"internalType":"address","name":"_token1","type":"address"}],"name":"initialize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"kLast","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"}],"name":"mint","outputs":[{"internalType":"uint256","name":"liquidity","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"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":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"price0CumulativeLast","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"price1CumulativeLast","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"}],"name":"skim","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount0Out","type":"uint256"},{"internalType":"uint256","name":"amount1Out","type":"uint256"},{"internalType":"address","name":"to","type":"address"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"swap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"sync","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"token0","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"token1","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"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"}],"stateMutability":"nonpayable","type":"function"}]

60806040526001600c5534801561001557600080fd5b50604080518082018252600f81526e2232a334bb32902628102a37b5b2b760891b6020918201528151808301835260018152603160f81b9082015281517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f918101919091527ff071217329c826f134480f62ef88e93561b9e3d17320e18e1304360cfdaf792d918101919091527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a082015260c00160408051601f198184030181529190528051602090910120600355600580546001600160a01b03191633179055612904806101136000396000f3fe608060405234801561001057600080fd5b50600436106101b95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a71461049b578063d505accf146104bb578063dd62ed3e146104ce578063fff6cae9146104f957600080fd5b8063ba9a7a561461045f578063bc25cf7714610468578063c45a01551461047b57600080fd5b80637ecebe00116100d35780637ecebe00146103c857806389afcb44146103e857806395d89b4114610410578063a9059cbb1461044c57600080fd5b80636a6278421461038c57806370a082311461039f5780637464fc3d146103bf57600080fd5b806323b872dd116101665780633644e515116101405780633644e5151461035e578063485cc955146103675780635909c0d51461037a5780635a3d54931461038357600080fd5b806323b872dd1461030a57806330adf81f1461031d578063313ce5671461034457600080fd5b8063095ea7b311610197578063095ea7b31461028b5780630dfe1681146102ae57806318160ddd146102f357600080fd5b8063022c0d9f146101be57806306fdde03146101d35780630902f1ac14610225575b600080fd5b6101d16101cc366004612582565b610501565b005b61020f6040518060400160405280600f81526020017f446546697665204c5020546f6b656e000000000000000000000000000000000081525081565b60405161021c91906126a7565b60405180910390f35b600854604080516dffffffffffffffffffffffffffff80841682526e01000000000000000000000000000084041660208201527c010000000000000000000000000000000000000000000000000000000090920463ffffffff169082015260600161021c565b61029e61029936600461251f565b610b9d565b604051901515815260200161021c565b6006546102ce9073ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffffffffffffffffffffff909116815260200161021c565b6102fc60005481565b60405190815260200161021c565b61029e61031836600461246a565b610bb3565b6102fc7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b61034c601281565b60405160ff909116815260200161021c565b6102fc60035481565b6101d1610375366004612432565b610c65565b6102fc60095481565b6102fc600a5481565b6102fc61039a3660046123fa565b610d1f565b6102fc6103ad3660046123fa565b60016020526000908152604090205481565b6102fc600b5481565b6102fc6103d63660046123fa565b60046020526000908152604090205481565b6103fb6103f63660046123fa565b6110a6565b6040805192835260208301919091520161021c565b61020f6040518060400160405280600981526020017f4445464956452d4c50000000000000000000000000000000000000000000000081525081565b61029e61045a36600461251f565b6114f6565b6102fc6103e881565b6101d16104763660046123fa565b611503565b6005546102ce9073ffffffffffffffffffffffffffffffffffffffff1681565b6007546102ce9073ffffffffffffffffffffffffffffffffffffffff1681565b6101d16104c93660046124aa565b611688565b6102fc6104dc366004612432565b600260209081526000928352604080842090915290825290205481565b6101d161193f565b600c546001146105585760405162461bcd60e51b815260206004820152600e60248201527f4465466976653a204c4f434b454400000000000000000000000000000000000060448201526064015b60405180910390fd5b6000600c558415158061056b5750600084115b6105dd5760405162461bcd60e51b815260206004820152602260248201527f4465466976653a20494e53554646494349454e545f4f55545055545f414d4f5560448201527f4e54000000000000000000000000000000000000000000000000000000000000606482015260840161054f565b6000806106396008546dffffffffffffffffffffffffffff808216926e01000000000000000000000000000083049091169163ffffffff7c01000000000000000000000000000000000000000000000000000000009091041690565b5091509150816dffffffffffffffffffffffffffff168710801561066c5750806dffffffffffffffffffffffffffff1686105b6106b85760405162461bcd60e51b815260206004820152601e60248201527f4465466976653a20494e53554646494349454e545f4c49515549444954590000604482015260640161054f565b600654600754600091829173ffffffffffffffffffffffffffffffffffffffff91821691908116908916821480159061071d57508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b6107695760405162461bcd60e51b815260206004820152601260248201527f4465466976653a20494e56414c49445f544f0000000000000000000000000000604482015260640161054f565b8a1561077a5761077a828a8d611add565b891561078b5761078b818a8c611add565b861561081e576040517f0d09dd6f00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8a1690630d09dd6f906107eb9033908f908f908e908e9060040161262f565b600060405180830381600087803b15801561080557600080fd5b505af1158015610819573d6000803e3d6000fd5b505050505b6040516370a0823160e01b815230600482015273ffffffffffffffffffffffffffffffffffffffff8316906370a082319060240160206040518083038186803b15801561086a57600080fd5b505afa15801561087e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108a2919061256a565b6040516370a0823160e01b815230600482015290945073ffffffffffffffffffffffffffffffffffffffff8216906370a082319060240160206040518083038186803b1580156108f157600080fd5b505afa158015610905573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610929919061256a565b92505050600089856dffffffffffffffffffffffffffff1661094b91906127e0565b831161095857600061097c565b6109728a6dffffffffffffffffffffffffffff87166127e0565b61097c90846127e0565b9050600061099a8a6dffffffffffffffffffffffffffff87166127e0565b83116109a75760006109cb565b6109c18a6dffffffffffffffffffffffffffff87166127e0565b6109cb90846127e0565b905060008211806109dc5750600081115b610a4e5760405162461bcd60e51b815260206004820152602160248201527f4465466976653a20494e53554646494349454e545f494e5055545f414d4f554e60448201527f5400000000000000000000000000000000000000000000000000000000000000606482015260840161054f565b6000610a5b8360126127a3565b610a67866127106127a3565b610a7191906127e0565b90506000610a808360126127a3565b610a8c866127106127a3565b610a9691906127e0565b9050610ab56dffffffffffffffffffffffffffff808916908a166127a3565b610ac3906305f5e1006127a3565b610acd82846127a3565b1015610b1b5760405162461bcd60e51b815260206004820152600960248201527f4465466976653a204b0000000000000000000000000000000000000000000000604482015260640161054f565b5050610b2984848888611c33565b60408051838152602081018390529081018c9052606081018b905273ffffffffffffffffffffffffffffffffffffffff8a169033907fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229060800160405180910390a350506001600c55505050505050505050565b6000610baa338484611ec1565b50600192915050565b73ffffffffffffffffffffffffffffffffffffffff831660009081526002602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff14610c505773ffffffffffffffffffffffffffffffffffffffff8416600090815260026020908152604080832033845290915281208054849290610c4a9084906127e0565b90915550505b610c5b848484611f30565b5060019392505050565b60055473ffffffffffffffffffffffffffffffffffffffff163314610ccc5760405162461bcd60e51b815260206004820152601160248201527f4465466976653a20464f5242494444454e000000000000000000000000000000604482015260640161054f565b6006805473ffffffffffffffffffffffffffffffffffffffff9384167fffffffffffffffffffffffff00000000000000000000000000000000000000009182161790915560078054929093169116179055565b6000600c54600114610d735760405162461bcd60e51b815260206004820152600e60248201527f4465466976653a204c4f434b4544000000000000000000000000000000000000604482015260640161054f565b6000600c819055600854600654604080516370a0823160e01b815230600482015290516dffffffffffffffffffffffffffff808516956e01000000000000000000000000000090950416939273ffffffffffffffffffffffffffffffffffffffff16916370a08231916024808301926020929190829003018186803b158015610dfb57600080fd5b505afa158015610e0f573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e33919061256a565b6007546040516370a0823160e01b815230600482015291925060009173ffffffffffffffffffffffffffffffffffffffff909116906370a082319060240160206040518083038186803b158015610e8957600080fd5b505afa158015610e9d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ec1919061256a565b90506000610edf6dffffffffffffffffffffffffffff8616846127e0565b90506000610efd6dffffffffffffffffffffffffffff8616846127e0565b9050610f098686612005565b60005480610f44576103e8610f26610f2184866127a3565b6121e5565b610f3091906127e0565b9750610f3f60006103e8612255565b610f99565b610f966dffffffffffffffffffffffffffff8816610f6283866127a3565b610f6c919061274b565b6dffffffffffffffffffffffffffff8816610f8784866127a3565b610f91919061274b565b6122f8565b97505b6000881161100f5760405162461bcd60e51b815260206004820152602560248201527f4465466976653a20494e53554646494349454e545f4c49515549444954595f4d60448201527f494e544544000000000000000000000000000000000000000000000000000000606482015260840161054f565b6110198989612255565b61102585858989611c33565b600854611056906dffffffffffffffffffffffffffff6e0100000000000000000000000000008204811691166127a3565b600b55604080518481526020810184905233917f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f910160405180910390a250506001600c55509395945050505050565b600080600c546001146110fb5760405162461bcd60e51b815260206004820152600e60248201527f4465466976653a204c4f434b4544000000000000000000000000000000000000604482015260640161054f565b6000600c819055600854600654600754604080516370a0823160e01b815230600482015290516dffffffffffffffffffffffffffff808616966e010000000000000000000000000000909604169473ffffffffffffffffffffffffffffffffffffffff94851694909316929184916370a0823191602480820192602092909190829003018186803b15801561118f57600080fd5b505afa1580156111a3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111c7919061256a565b6040516370a0823160e01b815230600482015290915060009073ffffffffffffffffffffffffffffffffffffffff8416906370a082319060240160206040518083038186803b15801561121957600080fd5b505afa15801561122d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611251919061256a565b3060009081526001602052604090205490915061126e8787612005565b6000548061127c85846127a3565b611286919061274b565b99508061129384846127a3565b61129d919061274b565b985060008a1180156112af5750600089115b6113215760405162461bcd60e51b815260206004820152602560248201527f4465466976653a20494e53554646494349454e545f4c49515549444954595f4260448201527f55524e4544000000000000000000000000000000000000000000000000000000606482015260840161054f565b61132b3083612310565b611336868c8c611add565b611341858c8b611add565b6040516370a0823160e01b815230600482015273ffffffffffffffffffffffffffffffffffffffff8716906370a082319060240160206040518083038186803b15801561138d57600080fd5b505afa1580156113a1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113c5919061256a565b6040516370a0823160e01b815230600482015290945073ffffffffffffffffffffffffffffffffffffffff8616906370a082319060240160206040518083038186803b15801561141457600080fd5b505afa158015611428573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061144c919061256a565b925061145a84848a8a611c33565b60085461148b906dffffffffffffffffffffffffffff6e0100000000000000000000000000008204811691166127a3565b600b55604080518b8152602081018b905273ffffffffffffffffffffffffffffffffffffffff8d169133917fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496910160405180910390a350505050505050506001600c81905550915091565b6000610baa338484611f30565b600c546001146115555760405162461bcd60e51b815260206004820152600e60248201527f4465466976653a204c4f434b4544000000000000000000000000000000000000604482015260640161054f565b6000600c556006546007546008546040516370a0823160e01b815230600482015273ffffffffffffffffffffffffffffffffffffffff938416939092169161161791849186916dffffffffffffffffffffffffffff169083906370a08231906024015b60206040518083038186803b1580156115d057600080fd5b505afa1580156115e4573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611608919061256a565b61161291906127e0565b611add565b6008546040516370a0823160e01b815230600482015261167e91839186916e01000000000000000000000000000090046dffffffffffffffffffffffffffff169073ffffffffffffffffffffffffffffffffffffffff8416906370a08231906024016115b8565b50506001600c5550565b428410156116d85760405162461bcd60e51b815260206004820152600f60248201527f4465466976653a20455850495245440000000000000000000000000000000000604482015260640161054f565b60035473ffffffffffffffffffffffffffffffffffffffff8816600090815260046020526040812080549192917f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9918b918b918b91908761173883612827565b9091555060408051602081019690965273ffffffffffffffffffffffffffffffffffffffff94851690860152929091166060840152608083015260a082015260c0810187905260e001604051602081830303815290604052805190602001206040516020016117d99291907f190100000000000000000000000000000000000000000000000000000000000081526002810192909252602282015260420190565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181528282528051602091820120600080855291840180845281905260ff88169284019290925260608301869052608083018590529092509060019060a0016020604051602081039080840390855afa158015611862573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff8116158015906118dd57508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b6119295760405162461bcd60e51b815260206004820152601960248201527f4465466976653a20494e56414c49445f5349474e415455524500000000000000604482015260640161054f565b611934898989611ec1565b505050505050505050565b600c546001146119915760405162461bcd60e51b815260206004820152600e60248201527f4465466976653a204c4f434b4544000000000000000000000000000000000000604482015260640161054f565b6000600c556006546040516370a0823160e01b8152306004820152611ad69173ffffffffffffffffffffffffffffffffffffffff16906370a082319060240160206040518083038186803b1580156119e857600080fd5b505afa1580156119fc573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611a20919061256a565b6007546040516370a0823160e01b815230600482015273ffffffffffffffffffffffffffffffffffffffff909116906370a082319060240160206040518083038186803b158015611a7057600080fd5b505afa158015611a84573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611aa8919061256a565b6008546dffffffffffffffffffffffffffff808216916e010000000000000000000000000000900416611c33565b6001600c55565b6040805173ffffffffffffffffffffffffffffffffffffffff8481166024830152604480830185905283518084039091018152606490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001790529151600092839290871691611b749190612613565b6000604051808303816000865af19150503d8060008114611bb1576040519150601f19603f3d011682016040523d82523d6000602084013e611bb6565b606091505b5091509150818015611be0575080511580611be0575080806020019051810190611be0919061254a565b611c2c5760405162461bcd60e51b815260206004820152601760248201527f4465466976653a205452414e534645525f4641494c4544000000000000000000604482015260640161054f565b5050505050565b6dffffffffffffffffffffffffffff8411801590611c5f57506dffffffffffffffffffffffffffff8311155b611cab5760405162461bcd60e51b815260206004820152601060248201527f4465466976653a204f564552464c4f5700000000000000000000000000000000604482015260640161054f565b6000611cbc64010000000042612860565b60085490915063ffffffff7c01000000000000000000000000000000000000000000000000000000009091048116820390811615801590611d0c57506dffffffffffffffffffffffffffff841615155b8015611d2757506dffffffffffffffffffffffffffff831615155b15611dd1578063ffffffff16611d6485611d40866123ad565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16906123de565b600980547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905563ffffffff8116611da484611d40876123ad565b600a80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff92909216929092020190555b506008805463ffffffff83167c0100000000000000000000000000000000000000000000000000000000027bffffffffffffffffffffffffffffffffffffffffffffffffffffffff6dffffffffffffffffffffffffffff8881166e0100000000000000000000000000009081027fffffffff000000000000000000000000000000000000000000000000000000009095168b83161794909417918216831794859055604080519382169282169290921783529290930490911660208201527f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1910160405180910390a15050505050565b73ffffffffffffffffffffffffffffffffffffffff83811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b73ffffffffffffffffffffffffffffffffffffffff831660009081526001602052604081208054839290611f659084906127e0565b909155505073ffffffffffffffffffffffffffffffffffffffff821660009081526001602052604081208054839290611f9f9084906126f8565b925050819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051611f2391815260200190565b600b5480156121e0576000612030610f216dffffffffffffffffffffffffffff8086169087166127a3565b9050600061203d836121e5565b905080821115611c2c576000816120558460036127a3565b61205f91906126f8565b61206983856127e0565b60005461207691906127a3565b612080919061274b565b905080156121dc57600554604080517f28beff75000000000000000000000000000000000000000000000000000000008152905173ffffffffffffffffffffffffffffffffffffffff9092169160009183916328beff7591600480820192602092909190829003018186803b1580156120f857600080fd5b505afa15801561210c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906121309190612416565b905060008273ffffffffffffffffffffffffffffffffffffffff16637e84080f6040518163ffffffff1660e01b815260040160206040518083038186803b15801561217a57600080fd5b505afa15801561218e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906121b29190612416565b905060006121c160028661274b565b90506121cd8382612255565b6121d78282612255565b505050505b5050505b505050565b6000600382111561224657508060006121ff60028361274b565b61220a9060016126f8565b90505b8181101561224057905080600281612225818661274b565b61222f91906126f8565b612239919061274b565b905061220d565b50919050565b8115612250575060015b919050565b8060008082825461226691906126f8565b909155505073ffffffffffffffffffffffffffffffffffffffff8216600090815260016020526040812080548392906122a09084906126f8565b909155505060405181815273ffffffffffffffffffffffffffffffffffffffff8316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906020015b60405180910390a35050565b60008183106123075781612309565b825b9392505050565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260016020526040812080548392906123459084906127e0565b925050819055508060008082825461235d91906127e0565b909155505060405181815260009073ffffffffffffffffffffffffffffffffffffffff8416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906020016122ec565b60006123d86e0100000000000000000000000000006dffffffffffffffffffffffffffff841661275f565b92915050565b60006123096dffffffffffffffffffffffffffff831684612710565b60006020828403121561240b578081fd5b8135612309816128d2565b600060208284031215612427578081fd5b8151612309816128d2565b60008060408385031215612444578081fd5b823561244f816128d2565b9150602083013561245f816128d2565b809150509250929050565b60008060006060848603121561247e578081fd5b8335612489816128d2565b92506020840135612499816128d2565b929592945050506040919091013590565b600080600080600080600060e0888a0312156124c4578283fd5b87356124cf816128d2565b965060208801356124df816128d2565b95506040880135945060608801359350608088013560ff81168114612502578384fd5b9699959850939692959460a0840135945060c09093013592915050565b60008060408385031215612531578182fd5b823561253c816128d2565b946020939093013593505050565b60006020828403121561255b578081fd5b81518015158114612309578182fd5b60006020828403121561257b578081fd5b5051919050565b600080600080600060808688031215612599578081fd5b853594506020860135935060408601356125b2816128d2565b9250606086013567ffffffffffffffff808211156125ce578283fd5b818801915088601f8301126125e1578283fd5b8135818111156125ef578384fd5b896020828501011115612600578384fd5b9699959850939650602001949392505050565b600082516126258184602087016127f7565b9190910192915050565b73ffffffffffffffffffffffffffffffffffffffff8616815284602082015283604082015260806060820152816080820152818360a0830137600081830160a090810191909152601f9092017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0160101949350505050565b60208152600082518060208401526126c68160408501602087016127f7565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169190910160400192915050565b6000821982111561270b5761270b612874565b500190565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8084168061273f5761273f6128a3565b92169190910492915050565b60008261275a5761275a6128a3565b500490565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8083168185168183048111821515161561279a5761279a612874565b02949350505050565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156127db576127db612874565b500290565b6000828210156127f2576127f2612874565b500390565b60005b838110156128125781810151838201526020016127fa565b83811115612821576000848401525b50505050565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82141561285957612859612874565b5060010190565b60008261286f5761286f6128a3565b500690565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b73ffffffffffffffffffffffffffffffffffffffff811681146128f457600080fd5b5056fea164736f6c6343000804000a

0x608060405234801561001057600080fd5b50600436106101b95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a71461049b578063d505accf146104bb578063dd62ed3e146104ce578063fff6cae9146104f957600080fd5b8063ba9a7a561461045f578063bc25cf7714610468578063c45a01551461047b57600080fd5b80637ecebe00116100d35780637ecebe00146103c857806389afcb44146103e857806395d89b4114610410578063a9059cbb1461044c57600080fd5b80636a6278421461038c57806370a082311461039f5780637464fc3d146103bf57600080fd5b806323b872dd116101665780633644e515116101405780633644e5151461035e578063485cc955146103675780635909c0d51461037a5780635a3d54931461038357600080fd5b806323b872dd1461030a57806330adf81f1461031d578063313ce5671461034457600080fd5b8063095ea7b311610197578063095ea7b31461028b5780630dfe1681146102ae57806318160ddd146102f357600080fd5b8063022c0d9f146101be57806306fdde03146101d35780630902f1ac14610225575b600080fd5b6101d16101cc366004612582565b610501565b005b61020f6040518060400160405280600f81526020017f446546697665204c5020546f6b656e000000000000000000000000000000000081525081565b60405161021c91906126a7565b60405180910390f35b600854604080516dffffffffffffffffffffffffffff80841682526e01000000000000000000000000000084041660208201527c010000000000000000000000000000000000000000000000000000000090920463ffffffff169082015260600161021c565b61029e61029936600461251f565b610b9d565b604051901515815260200161021c565b6006546102ce9073ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffffffffffffffffffffff909116815260200161021c565b6102fc60005481565b60405190815260200161021c565b61029e61031836600461246a565b610bb3565b6102fc7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b61034c601281565b60405160ff909116815260200161021c565b6102fc60035481565b6101d1610375366004612432565b610c65565b6102fc60095481565b6102fc600a5481565b6102fc61039a3660046123fa565b610d1f565b6102fc6103ad3660046123fa565b60016020526000908152604090205481565b6102fc600b5481565b6102fc6103d63660046123fa565b60046020526000908152604090205481565b6103fb6103f63660046123fa565b6110a6565b6040805192835260208301919091520161021c565b61020f6040518060400160405280600981526020017f4445464956452d4c50000000000000000000000000000000000000000000000081525081565b61029e61045a36600461251f565b6114f6565b6102fc6103e881565b6101d16104763660046123fa565b611503565b6005546102ce9073ffffffffffffffffffffffffffffffffffffffff1681565b6007546102ce9073ffffffffffffffffffffffffffffffffffffffff1681565b6101d16104c93660046124aa565b611688565b6102fc6104dc366004612432565b600260209081526000928352604080842090915290825290205481565b6101d161193f565b600c546001146105585760405162461bcd60e51b815260206004820152600e60248201527f4465466976653a204c4f434b454400000000000000000000000000000000000060448201526064015b60405180910390fd5b6000600c558415158061056b5750600084115b6105dd5760405162461bcd60e51b815260206004820152602260248201527f4465466976653a20494e53554646494349454e545f4f55545055545f414d4f5560448201527f4e54000000000000000000000000000000000000000000000000000000000000606482015260840161054f565b6000806106396008546dffffffffffffffffffffffffffff808216926e01000000000000000000000000000083049091169163ffffffff7c01000000000000000000000000000000000000000000000000000000009091041690565b5091509150816dffffffffffffffffffffffffffff168710801561066c5750806dffffffffffffffffffffffffffff1686105b6106b85760405162461bcd60e51b815260206004820152601e60248201527f4465466976653a20494e53554646494349454e545f4c49515549444954590000604482015260640161054f565b600654600754600091829173ffffffffffffffffffffffffffffffffffffffff91821691908116908916821480159061071d57508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b6107695760405162461bcd60e51b815260206004820152601260248201527f4465466976653a20494e56414c49445f544f0000000000000000000000000000604482015260640161054f565b8a1561077a5761077a828a8d611add565b891561078b5761078b818a8c611add565b861561081e576040517f0d09dd6f00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8a1690630d09dd6f906107eb9033908f908f908e908e9060040161262f565b600060405180830381600087803b15801561080557600080fd5b505af1158015610819573d6000803e3d6000fd5b505050505b6040516370a0823160e01b815230600482015273ffffffffffffffffffffffffffffffffffffffff8316906370a082319060240160206040518083038186803b15801561086a57600080fd5b505afa15801561087e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108a2919061256a565b6040516370a0823160e01b815230600482015290945073ffffffffffffffffffffffffffffffffffffffff8216906370a082319060240160206040518083038186803b1580156108f157600080fd5b505afa158015610905573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610929919061256a565b92505050600089856dffffffffffffffffffffffffffff1661094b91906127e0565b831161095857600061097c565b6109728a6dffffffffffffffffffffffffffff87166127e0565b61097c90846127e0565b9050600061099a8a6dffffffffffffffffffffffffffff87166127e0565b83116109a75760006109cb565b6109c18a6dffffffffffffffffffffffffffff87166127e0565b6109cb90846127e0565b905060008211806109dc5750600081115b610a4e5760405162461bcd60e51b815260206004820152602160248201527f4465466976653a20494e53554646494349454e545f494e5055545f414d4f554e60448201527f5400000000000000000000000000000000000000000000000000000000000000606482015260840161054f565b6000610a5b8360126127a3565b610a67866127106127a3565b610a7191906127e0565b90506000610a808360126127a3565b610a8c866127106127a3565b610a9691906127e0565b9050610ab56dffffffffffffffffffffffffffff808916908a166127a3565b610ac3906305f5e1006127a3565b610acd82846127a3565b1015610b1b5760405162461bcd60e51b815260206004820152600960248201527f4465466976653a204b0000000000000000000000000000000000000000000000604482015260640161054f565b5050610b2984848888611c33565b60408051838152602081018390529081018c9052606081018b905273ffffffffffffffffffffffffffffffffffffffff8a169033907fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229060800160405180910390a350506001600c55505050505050505050565b6000610baa338484611ec1565b50600192915050565b73ffffffffffffffffffffffffffffffffffffffff831660009081526002602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff14610c505773ffffffffffffffffffffffffffffffffffffffff8416600090815260026020908152604080832033845290915281208054849290610c4a9084906127e0565b90915550505b610c5b848484611f30565b5060019392505050565b60055473ffffffffffffffffffffffffffffffffffffffff163314610ccc5760405162461bcd60e51b815260206004820152601160248201527f4465466976653a20464f5242494444454e000000000000000000000000000000604482015260640161054f565b6006805473ffffffffffffffffffffffffffffffffffffffff9384167fffffffffffffffffffffffff00000000000000000000000000000000000000009182161790915560078054929093169116179055565b6000600c54600114610d735760405162461bcd60e51b815260206004820152600e60248201527f4465466976653a204c4f434b4544000000000000000000000000000000000000604482015260640161054f565b6000600c819055600854600654604080516370a0823160e01b815230600482015290516dffffffffffffffffffffffffffff808516956e01000000000000000000000000000090950416939273ffffffffffffffffffffffffffffffffffffffff16916370a08231916024808301926020929190829003018186803b158015610dfb57600080fd5b505afa158015610e0f573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e33919061256a565b6007546040516370a0823160e01b815230600482015291925060009173ffffffffffffffffffffffffffffffffffffffff909116906370a082319060240160206040518083038186803b158015610e8957600080fd5b505afa158015610e9d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ec1919061256a565b90506000610edf6dffffffffffffffffffffffffffff8616846127e0565b90506000610efd6dffffffffffffffffffffffffffff8616846127e0565b9050610f098686612005565b60005480610f44576103e8610f26610f2184866127a3565b6121e5565b610f3091906127e0565b9750610f3f60006103e8612255565b610f99565b610f966dffffffffffffffffffffffffffff8816610f6283866127a3565b610f6c919061274b565b6dffffffffffffffffffffffffffff8816610f8784866127a3565b610f91919061274b565b6122f8565b97505b6000881161100f5760405162461bcd60e51b815260206004820152602560248201527f4465466976653a20494e53554646494349454e545f4c49515549444954595f4d60448201527f494e544544000000000000000000000000000000000000000000000000000000606482015260840161054f565b6110198989612255565b61102585858989611c33565b600854611056906dffffffffffffffffffffffffffff6e0100000000000000000000000000008204811691166127a3565b600b55604080518481526020810184905233917f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f910160405180910390a250506001600c55509395945050505050565b600080600c546001146110fb5760405162461bcd60e51b815260206004820152600e60248201527f4465466976653a204c4f434b4544000000000000000000000000000000000000604482015260640161054f565b6000600c819055600854600654600754604080516370a0823160e01b815230600482015290516dffffffffffffffffffffffffffff808616966e010000000000000000000000000000909604169473ffffffffffffffffffffffffffffffffffffffff94851694909316929184916370a0823191602480820192602092909190829003018186803b15801561118f57600080fd5b505afa1580156111a3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111c7919061256a565b6040516370a0823160e01b815230600482015290915060009073ffffffffffffffffffffffffffffffffffffffff8416906370a082319060240160206040518083038186803b15801561121957600080fd5b505afa15801561122d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611251919061256a565b3060009081526001602052604090205490915061126e8787612005565b6000548061127c85846127a3565b611286919061274b565b99508061129384846127a3565b61129d919061274b565b985060008a1180156112af5750600089115b6113215760405162461bcd60e51b815260206004820152602560248201527f4465466976653a20494e53554646494349454e545f4c49515549444954595f4260448201527f55524e4544000000000000000000000000000000000000000000000000000000606482015260840161054f565b61132b3083612310565b611336868c8c611add565b611341858c8b611add565b6040516370a0823160e01b815230600482015273ffffffffffffffffffffffffffffffffffffffff8716906370a082319060240160206040518083038186803b15801561138d57600080fd5b505afa1580156113a1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113c5919061256a565b6040516370a0823160e01b815230600482015290945073ffffffffffffffffffffffffffffffffffffffff8616906370a082319060240160206040518083038186803b15801561141457600080fd5b505afa158015611428573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061144c919061256a565b925061145a84848a8a611c33565b60085461148b906dffffffffffffffffffffffffffff6e0100000000000000000000000000008204811691166127a3565b600b55604080518b8152602081018b905273ffffffffffffffffffffffffffffffffffffffff8d169133917fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496910160405180910390a350505050505050506001600c81905550915091565b6000610baa338484611f30565b600c546001146115555760405162461bcd60e51b815260206004820152600e60248201527f4465466976653a204c4f434b4544000000000000000000000000000000000000604482015260640161054f565b6000600c556006546007546008546040516370a0823160e01b815230600482015273ffffffffffffffffffffffffffffffffffffffff938416939092169161161791849186916dffffffffffffffffffffffffffff169083906370a08231906024015b60206040518083038186803b1580156115d057600080fd5b505afa1580156115e4573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611608919061256a565b61161291906127e0565b611add565b6008546040516370a0823160e01b815230600482015261167e91839186916e01000000000000000000000000000090046dffffffffffffffffffffffffffff169073ffffffffffffffffffffffffffffffffffffffff8416906370a08231906024016115b8565b50506001600c5550565b428410156116d85760405162461bcd60e51b815260206004820152600f60248201527f4465466976653a20455850495245440000000000000000000000000000000000604482015260640161054f565b60035473ffffffffffffffffffffffffffffffffffffffff8816600090815260046020526040812080549192917f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9918b918b918b91908761173883612827565b9091555060408051602081019690965273ffffffffffffffffffffffffffffffffffffffff94851690860152929091166060840152608083015260a082015260c0810187905260e001604051602081830303815290604052805190602001206040516020016117d99291907f190100000000000000000000000000000000000000000000000000000000000081526002810192909252602282015260420190565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181528282528051602091820120600080855291840180845281905260ff88169284019290925260608301869052608083018590529092509060019060a0016020604051602081039080840390855afa158015611862573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff8116158015906118dd57508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b6119295760405162461bcd60e51b815260206004820152601960248201527f4465466976653a20494e56414c49445f5349474e415455524500000000000000604482015260640161054f565b611934898989611ec1565b505050505050505050565b600c546001146119915760405162461bcd60e51b815260206004820152600e60248201527f4465466976653a204c4f434b4544000000000000000000000000000000000000604482015260640161054f565b6000600c556006546040516370a0823160e01b8152306004820152611ad69173ffffffffffffffffffffffffffffffffffffffff16906370a082319060240160206040518083038186803b1580156119e857600080fd5b505afa1580156119fc573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611a20919061256a565b6007546040516370a0823160e01b815230600482015273ffffffffffffffffffffffffffffffffffffffff909116906370a082319060240160206040518083038186803b158015611a7057600080fd5b505afa158015611a84573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611aa8919061256a565b6008546dffffffffffffffffffffffffffff808216916e010000000000000000000000000000900416611c33565b6001600c55565b6040805173ffffffffffffffffffffffffffffffffffffffff8481166024830152604480830185905283518084039091018152606490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001790529151600092839290871691611b749190612613565b6000604051808303816000865af19150503d8060008114611bb1576040519150601f19603f3d011682016040523d82523d6000602084013e611bb6565b606091505b5091509150818015611be0575080511580611be0575080806020019051810190611be0919061254a565b611c2c5760405162461bcd60e51b815260206004820152601760248201527f4465466976653a205452414e534645525f4641494c4544000000000000000000604482015260640161054f565b5050505050565b6dffffffffffffffffffffffffffff8411801590611c5f57506dffffffffffffffffffffffffffff8311155b611cab5760405162461bcd60e51b815260206004820152601060248201527f4465466976653a204f564552464c4f5700000000000000000000000000000000604482015260640161054f565b6000611cbc64010000000042612860565b60085490915063ffffffff7c01000000000000000000000000000000000000000000000000000000009091048116820390811615801590611d0c57506dffffffffffffffffffffffffffff841615155b8015611d2757506dffffffffffffffffffffffffffff831615155b15611dd1578063ffffffff16611d6485611d40866123ad565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16906123de565b600980547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905563ffffffff8116611da484611d40876123ad565b600a80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff92909216929092020190555b506008805463ffffffff83167c0100000000000000000000000000000000000000000000000000000000027bffffffffffffffffffffffffffffffffffffffffffffffffffffffff6dffffffffffffffffffffffffffff8881166e0100000000000000000000000000009081027fffffffff000000000000000000000000000000000000000000000000000000009095168b83161794909417918216831794859055604080519382169282169290921783529290930490911660208201527f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1910160405180910390a15050505050565b73ffffffffffffffffffffffffffffffffffffffff83811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b73ffffffffffffffffffffffffffffffffffffffff831660009081526001602052604081208054839290611f659084906127e0565b909155505073ffffffffffffffffffffffffffffffffffffffff821660009081526001602052604081208054839290611f9f9084906126f8565b925050819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051611f2391815260200190565b600b5480156121e0576000612030610f216dffffffffffffffffffffffffffff8086169087166127a3565b9050600061203d836121e5565b905080821115611c2c576000816120558460036127a3565b61205f91906126f8565b61206983856127e0565b60005461207691906127a3565b612080919061274b565b905080156121dc57600554604080517f28beff75000000000000000000000000000000000000000000000000000000008152905173ffffffffffffffffffffffffffffffffffffffff9092169160009183916328beff7591600480820192602092909190829003018186803b1580156120f857600080fd5b505afa15801561210c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906121309190612416565b905060008273ffffffffffffffffffffffffffffffffffffffff16637e84080f6040518163ffffffff1660e01b815260040160206040518083038186803b15801561217a57600080fd5b505afa15801561218e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906121b29190612416565b905060006121c160028661274b565b90506121cd8382612255565b6121d78282612255565b505050505b5050505b505050565b6000600382111561224657508060006121ff60028361274b565b61220a9060016126f8565b90505b8181101561224057905080600281612225818661274b565b61222f91906126f8565b612239919061274b565b905061220d565b50919050565b8115612250575060015b919050565b8060008082825461226691906126f8565b909155505073ffffffffffffffffffffffffffffffffffffffff8216600090815260016020526040812080548392906122a09084906126f8565b909155505060405181815273ffffffffffffffffffffffffffffffffffffffff8316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906020015b60405180910390a35050565b60008183106123075781612309565b825b9392505050565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260016020526040812080548392906123459084906127e0565b925050819055508060008082825461235d91906127e0565b909155505060405181815260009073ffffffffffffffffffffffffffffffffffffffff8416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906020016122ec565b60006123d86e0100000000000000000000000000006dffffffffffffffffffffffffffff841661275f565b92915050565b60006123096dffffffffffffffffffffffffffff831684612710565b60006020828403121561240b578081fd5b8135612309816128d2565b600060208284031215612427578081fd5b8151612309816128d2565b60008060408385031215612444578081fd5b823561244f816128d2565b9150602083013561245f816128d2565b809150509250929050565b60008060006060848603121561247e578081fd5b8335612489816128d2565b92506020840135612499816128d2565b929592945050506040919091013590565b600080600080600080600060e0888a0312156124c4578283fd5b87356124cf816128d2565b965060208801356124df816128d2565b95506040880135945060608801359350608088013560ff81168114612502578384fd5b9699959850939692959460a0840135945060c09093013592915050565b60008060408385031215612531578182fd5b823561253c816128d2565b946020939093013593505050565b60006020828403121561255b578081fd5b81518015158114612309578182fd5b60006020828403121561257b578081fd5b5051919050565b600080600080600060808688031215612599578081fd5b853594506020860135935060408601356125b2816128d2565b9250606086013567ffffffffffffffff808211156125ce578283fd5b818801915088601f8301126125e1578283fd5b8135818111156125ef578384fd5b896020828501011115612600578384fd5b9699959850939650602001949392505050565b600082516126258184602087016127f7565b9190910192915050565b73ffffffffffffffffffffffffffffffffffffffff8616815284602082015283604082015260806060820152816080820152818360a0830137600081830160a090810191909152601f9092017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0160101949350505050565b60208152600082518060208401526126c68160408501602087016127f7565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169190910160400192915050565b6000821982111561270b5761270b612874565b500190565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8084168061273f5761273f6128a3565b92169190910492915050565b60008261275a5761275a6128a3565b500490565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8083168185168183048111821515161561279a5761279a612874565b02949350505050565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156127db576127db612874565b500290565b6000828210156127f2576127f2612874565b500390565b60005b838110156128125781810151838201526020016127fa565b83811115612821576000848401525b50505050565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82141561285957612859612874565b5060010190565b60008261286f5761286f6128a3565b500690565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b73ffffffffffffffffffffffffffffffffffffffff811681146128f457600080fd5b5056fea164736f6c6343000804000a