Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface ICroDefiSwapPair    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address owner)    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transfer(address to, uint va ...    - function transferFrom(address from, a ...    - function DOMAIN_SEPARATOR()    - function PERMIT_TYPEHASH()    - function nonces(address owner)    - function permit(address owner, addres ...    - function MINIMUM_LIQUIDITY()    - function factory()    - function token0()    - function token1()    - function getReserves()    - function price0CumulativeLast()    - function price1CumulativeLast()    - function kLast()    - function mint(address to)    - function burn(address to)    - function swap(uint amount0Out, uint a ...    - function skim(address to)    - function sync()    - function initialize(address, address) interface ICroDefiSwapERC20    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address owner)    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transfer(address to, uint va ...    - function transferFrom(address from, a ...    - function DOMAIN_SEPARATOR()    - function PERMIT_TYPEHASH()    - function nonces(address owner)    - function permit(address owner, addres ... library SafeMath    - function add(uint x, uint y)    - function sub(uint x, uint y)    - function mul(uint x, uint y)  contract CroDefiSwapERC20 is ICroD ...    - function _mint(address to, uint value ...    - function _burn(address from, uint val ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function approve(address spender, uin ...    - function transfer(address to, uint va ...    - function transferFrom(address from, a ...    - function permit(address owner, addres ... library Math    - function min(uint x, uint y)    - function sqrt(uint y) library UQ112x112    - function encode(uint112 y)    - function uqdiv(uint224 x, uint112 y) interface IERC20    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address owner)    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transfer(address to, uint va ...    - function transferFrom(address from, a ... interface ICroDefiSwapFactory    - function feeTo()    - function feeToBasisPoint()    - function totalFeeBasisPoint()    - function feeSetter()    - function getPair(address tokenA, addr ...    - function allPairs(uint)    - function allPairsLength()    - function createPair(address tokenA, a ...    - function setFeeTo(address)    - function setFeeToBasisPoint(uint)    - function setTotalFeeBasisPoint(uint)    - function setFeeSetter(address) interface ICroDefiSwapCallee    - function croDefiSwapCall(address send ...  contract CroDefiSwapPair is ICroDe ... *    - function getReserves()    - function _safeTransfer(address token, ...    - function initialize(address _token0, ...    - function _update(uint balance0, uint ...    - function _mintFee(uint112 _reserve0, ...    - function mint(address to)    - function burn(address to)    - function swap(uint amount0Out, uint a ...    - function skim(address to)    - function sync()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// File: contracts/interfaces/ICroDefiSwapPair.sol

pragma solidity >=0.5.0;

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

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

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

    function DOMAIN_SEPARATOR() external view returns (bytes32);
    function PERMIT_TYPEHASH() external pure returns (bytes32);
    function nonces(address owner) external view returns (uint);

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

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

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

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

    function initialize(address, address) external;
}

// File: contracts/interfaces/ICroDefiSwapERC20.sol

pragma solidity >=0.5.0;

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

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

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

    function DOMAIN_SEPARATOR() external view returns (bytes32);
    function PERMIT_TYPEHASH() external pure returns (bytes32);
    function nonces(address owner) external view returns (uint);

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

// File: contracts/libraries/SafeMath.sol

pragma solidity =0.5.16;

// a library for performing overflow-safe math, courtesy of DappHub (https://github.com/dapphub/ds-math)

library SafeMath {
    function add(uint x, uint y) internal pure returns (uint z) {
        require((z = x + y) >= x, 'ds-math-add-overflow');
    }

    function sub(uint x, uint y) internal pure returns (uint z) {
        require((z = x - y) <= x, 'ds-math-sub-underflow');
    }

    function mul(uint x, uint y) internal pure returns (uint z) {
        require(y == 0 || (z = x * y) / y == x, 'ds-math-mul-overflow');
    }
}

// File: contracts/CroDefiSwapERC20.sol

pragma solidity =0.5.16;



contract CroDefiSwapERC20 is ICroDefiSwapERC20 {
    using SafeMath for uint;

    string public constant name = 'CRO Defi Swap';
    string public constant symbol = 'CRO-SWAP';
    uint8 public constant decimals = 18;
    uint  public totalSupply;
    mapping(address => uint) public balanceOf;
    mapping(address => mapping(address => uint)) 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 => uint) public nonces;

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

    constructor() public {
        uint 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, uint value) internal {
        totalSupply = totalSupply.add(value);
        balanceOf[to] = balanceOf[to].add(value);
        emit Transfer(address(0), to, value);
    }

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

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

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

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

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

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

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

// File: contracts/libraries/Math.sol

pragma solidity =0.5.16;

// a library for performing various math operations

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

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

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

// File: contracts/interfaces/IERC20.sol

pragma solidity >=0.5.0;

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

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

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

// File: contracts/interfaces/ICroDefiSwapFactory.sol

pragma solidity >=0.5.0;

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

    function feeTo() external view returns (address);
    function feeToBasisPoint() external view returns (uint);

    // technically must be bigger than or equal to feeToBasisPoint
    function totalFeeBasisPoint() external view returns (uint);

    function feeSetter() external view returns (address);

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

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

    function setFeeTo(address) external;
    function setFeeToBasisPoint(uint) external;
    function setTotalFeeBasisPoint(uint) external;

    function setFeeSetter(address) external;
}

// File: contracts/interfaces/ICroDefiSwapCallee.sol

pragma solidity >=0.5.0;

interface ICroDefiSwapCallee {
    function croDefiSwapCall(address sender, uint amount0, uint amount1, bytes calldata data) external;
}

// File: contracts/CroDefiSwapPair.sol

pragma solidity =0.5.16;








contract CroDefiSwapPair is ICroDefiSwapPair, CroDefiSwapERC20 {
    using SafeMath  for uint;
    using UQ112x112 for uint224;

    uint 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

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

    uint private unlocked = 1;
    modifier lock() {
        require(unlocked == 1, 'CroDefiSwap: 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, uint value) private {
        (bool success, bytes memory data) = token.call(abi.encodeWithSelector(SELECTOR, to, value));
        require(success && (data.length == 0 || abi.decode(data, (bool))), 'CroDefiSwap: TRANSFER_FAILED');
    }

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

    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, 'CroDefiSwap: FORBIDDEN'); // sufficient check
        token0 = _token0;
        token1 = _token1;
    }

    // update reserves and, on the first call per block, price accumulators
    function _update(uint balance0, uint balance1, uint112 _reserve0, uint112 _reserve1) private {
        require(balance0 <= uint112(-1) && balance1 <= uint112(-1), 'CroDefiSwap: 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 += uint(UQ112x112.encode(_reserve1).uqdiv(_reserve0)) * timeElapsed;
            price1CumulativeLast += uint(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 = ICroDefiSwapFactory(factory).feeTo();
        uint feeToBasisPoint = ICroDefiSwapFactory(factory).feeToBasisPoint();

        feeOn = (feeTo != address(0)) && (feeToBasisPoint > 0);
        uint _kLast = kLast; // gas savings
        if (feeOn) {
            if (_kLast != 0) {
                uint rootK = Math.sqrt(uint(_reserve0).mul(_reserve1));
                uint rootKLast = Math.sqrt(_kLast);
                if (rootK > rootKLast) {
                    uint numerator = totalSupply.mul(rootK.sub(rootKLast));
                    uint denominator = rootK.mul(feeToBasisPoint).add(rootKLast);
                    uint 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 (uint liquidity) {
        (uint112 _reserve0, uint112 _reserve1,) = getReserves(); // gas savings
        uint balance0 = IERC20(token0).balanceOf(address(this));
        uint balance1 = IERC20(token1).balanceOf(address(this));
        uint amount0 = balance0.sub(_reserve0);
        uint amount1 = balance1.sub(_reserve1);

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

        _update(balance0, balance1, _reserve0, _reserve1);
        if (feeOn) kLast = uint(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 (uint amount0, uint amount1) {
        (uint112 _reserve0, uint112 _reserve1,) = getReserves(); // gas savings
        address _token0 = token0;                                // gas savings
        address _token1 = token1;                                // gas savings
        uint balance0 = IERC20(_token0).balanceOf(address(this));
        uint balance1 = IERC20(_token1).balanceOf(address(this));
        uint liquidity = balanceOf[address(this)];

        bool feeOn = _mintFee(_reserve0, _reserve1);
        uint _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, 'CroDefiSwap: INSUFFICIENT_LIQUIDITY_BURNED');
        _burn(address(this), liquidity);
        _safeTransfer(_token0, to, amount0);
        _safeTransfer(_token1, to, amount1);
        balance0 = IERC20(_token0).balanceOf(address(this));
        balance1 = IERC20(_token1).balanceOf(address(this));

        _update(balance0, balance1, _reserve0, _reserve1);
        if (feeOn) kLast = uint(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(uint amount0Out, uint amount1Out, address to, bytes calldata data) external lock {
        require(amount0Out > 0 || amount1Out > 0, 'CroDefiSwap: INSUFFICIENT_OUTPUT_AMOUNT');
        (uint112 _reserve0, uint112 _reserve1,) = getReserves(); // gas savings
        require(amount0Out < _reserve0 && amount1Out < _reserve1, 'CroDefiSwap: INSUFFICIENT_LIQUIDITY');

        uint balance0;
        uint balance1;
        { // scope for _token{0,1}, avoids stack too deep errors
        address _token0 = token0;
        address _token1 = token1;
        require(to != _token0 && to != _token1, 'CroDefiSwap: INVALID_TO');
        if (amount0Out > 0) _safeTransfer(_token0, to, amount0Out); // optimistically transfer tokens
        if (amount1Out > 0) _safeTransfer(_token1, to, amount1Out); // optimistically transfer tokens
        if (data.length > 0) ICroDefiSwapCallee(to).croDefiSwapCall(msg.sender, amount0Out, amount1Out, data);
        balance0 = IERC20(_token0).balanceOf(address(this));
        balance1 = IERC20(_token1).balanceOf(address(this));
        }
        uint amount0In = balance0 > _reserve0 - amount0Out ? balance0 - (_reserve0 - amount0Out) : 0;
        uint amount1In = balance1 > _reserve1 - amount1Out ? balance1 - (_reserve1 - amount1Out) : 0;
        require(amount0In > 0 || amount1In > 0, 'CroDefiSwap: INSUFFICIENT_INPUT_AMOUNT');
        { // scope for reserve{0,1}Adjusted, avoids stack too deep errors
        uint magnifier = 10000;
        uint totalFeeBasisPoint = ICroDefiSwapFactory(factory).totalFeeBasisPoint();
        uint balance0Adjusted = balance0.mul(magnifier).sub(amount0In.mul(totalFeeBasisPoint));
        uint balance1Adjusted = balance1.mul(magnifier).sub(amount1In.mul(totalFeeBasisPoint));
        // reference: https://uniswap.org/docs/v2/protocol-overview/glossary/#constant-product-formula
        require(balance0Adjusted.mul(balance1Adjusted) >= uint(_reserve0).mul(_reserve1).mul(magnifier**2), 'CroDefiSwap: Constant product formula condition not met!');
        }

        _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, IERC20(_token0).balanceOf(address(this)).sub(reserve0));
        _safeTransfer(_token1, to, IERC20(_token1).balanceOf(address(this)).sub(reserve1));
    }

    // force reserves to match balances
    function sync() external lock {
        _update(IERC20(token0).balanceOf(address(this)), IERC20(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"},{"internalType":"bytes","name":"data","type":"bytes"}],"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"}]

60806040526001600c5534801561001557600080fd5b506040514690806052612ea88239604080519182900360520182208282018252600d83526c043524f2044656669205377617609c1b6020938401528151808301835260018152603160f81b908401528151808401919091527fa48bada1449373da82f0e667f132d2b1fd6cc7d50959f25c21df1ac50ad3f2c5818301527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6606082015260808101949094523060a0808601919091528151808603909101815260c09094019052825192019190912060035550600580546001600160a01b03191633179055612da0806101086000396000f3fe608060405234801561001057600080fd5b50600436106101b95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a7146105da578063d505accf146105e2578063dd62ed3e14610640578063fff6cae91461067b576101b9565b8063ba9a7a5614610597578063bc25cf771461059f578063c45a0155146105d2576101b9565b80637ecebe00116100d35780637ecebe00146104d757806389afcb441461050a57806395d89b4114610556578063a9059cbb1461055e576101b9565b80636a6278421461046957806370a082311461049c5780637464fc3d146104cf576101b9565b806323b872dd116101665780633644e515116101405780633644e51514610416578063485cc9551461041e5780635909c0d5146104595780635a3d549314610461576101b9565b806323b872dd146103ad57806330adf81f146103f0578063313ce567146103f8576101b9565b8063095ea7b311610197578063095ea7b3146103155780630dfe16811461036257806318160ddd14610393576101b9565b8063022c0d9f146101be57806306fdde03146102595780630902f1ac146102d6575b600080fd5b610257600480360360808110156101d457600080fd5b81359160208101359173ffffffffffffffffffffffffffffffffffffffff604083013516919081019060808101606082013564010000000081111561021857600080fd5b82018360208201111561022a57600080fd5b8035906020019184600183028401116401000000008311171561024c57600080fd5b509092509050610683565b005b610261610def565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561029b578181015183820152602001610283565b50505050905090810190601f1680156102c85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102de610e28565b604080516dffffffffffffffffffffffffffff948516815292909316602083015263ffffffff168183015290519081900360600190f35b61034e6004803603604081101561032b57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610e7d565b604080519115158252519081900360200190f35b61036a610e94565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b61039b610eb0565b60408051918252519081900360200190f35b61034e600480360360608110156103c357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060400135610eb6565b61039b610f95565b610400610fb9565b6040805160ff9092168252519081900360200190f35b61039b610fbe565b6102576004803603604081101561043457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516610fc4565b61039b61109d565b61039b6110a3565b61039b6004803603602081101561047f57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166110a9565b61039b600480360360208110156104b257600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611463565b61039b611475565b61039b600480360360208110156104ed57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661147b565b61053d6004803603602081101561052057600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661148d565b6040805192835260208301919091528051918290030190f35b61026161192a565b61034e6004803603604081101561057457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135611963565b61039b611970565b610257600480360360208110156105b557600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611976565b61036a611b6c565b61036a611b88565b610257600480360360e08110156105f857600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135611ba4565b61039b6004803603604081101561065657600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516611e70565b610257611e8d565b600c546001146106f457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f43726f44656669537761703a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c55841515806107075750600084115b61075c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526027815260200180612cc06027913960400191505060405180910390fd5b600080610767610e28565b5091509150816dffffffffffffffffffffffffffff168710801561079a5750806dffffffffffffffffffffffffffff1686105b6107ef576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180612d1f6023913960400191505060405180910390fd5b600654600754600091829173ffffffffffffffffffffffffffffffffffffffff91821691908116908916821480159061085457508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b6108bf57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601760248201527f43726f44656669537761703a20494e56414c49445f544f000000000000000000604482015290519081900360640190fd5b8a156108d0576108d0828a8d612073565b89156108e1576108e1818a8c612073565b86156109c3578873ffffffffffffffffffffffffffffffffffffffff16636c813d29338d8d8c8c6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b1580156109aa57600080fd5b505af11580156109be573d6000803e3d6000fd5b505050505b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8416916370a08231916024808301926020929190829003018186803b158015610a2f57600080fd5b505afa158015610a43573d6000803e3d6000fd5b505050506040513d6020811015610a5957600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191955073ffffffffffffffffffffffffffffffffffffffff8316916370a0823191602480820192602092909190829003018186803b158015610acb57600080fd5b505afa158015610adf573d6000803e3d6000fd5b505050506040513d6020811015610af557600080fd5b5051925060009150506dffffffffffffffffffffffffffff85168a90038311610b1f576000610b35565b89856dffffffffffffffffffffffffffff160383035b9050600089856dffffffffffffffffffffffffffff16038311610b59576000610b6f565b89856dffffffffffffffffffffffffffff160383035b90506000821180610b805750600081115b610bd5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180612c706026913960400191505060405180910390fd5b600554604080517fe380f72800000000000000000000000000000000000000000000000000000000815290516127109260009273ffffffffffffffffffffffffffffffffffffffff9091169163e380f72891600480820192602092909190829003018186803b158015610c4757600080fd5b505afa158015610c5b573d6000803e3d6000fd5b505050506040513d6020811015610c7157600080fd5b505190506000610ca6610c8a868463ffffffff61228016565b610c9a898663ffffffff61228016565b9063ffffffff61230616565b90506000610ccd610cbd868563ffffffff61228016565b610c9a898763ffffffff61228016565b9050610d056002850a610cf96dffffffffffffffffffffffffffff8d8116908d1663ffffffff61228016565b9063ffffffff61228016565b610d15838363ffffffff61228016565b1015610d6c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526038815260200180612ce76038913960400191505060405180910390fd5b50505050610d7c84848888612378565b60408051838152602081018390528082018d9052606081018c9052905173ffffffffffffffffffffffffffffffffffffffff8b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600c55505050505050505050565b6040518060400160405280600d81526020017f43524f204465666920537761700000000000000000000000000000000000000081525081565b6008546dffffffffffffffffffffffffffff808216926e0100000000000000000000000000008304909116917c0100000000000000000000000000000000000000000000000000000000900463ffffffff1690565b6000610e8a338484612634565b5060015b92915050565b60065473ffffffffffffffffffffffffffffffffffffffff1681565b60005481565b73ffffffffffffffffffffffffffffffffffffffff831660009081526002602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff14610f805773ffffffffffffffffffffffffffffffffffffffff84166000908152600260209081526040808320338452909152902054610f4e908363ffffffff61230616565b73ffffffffffffffffffffffffffffffffffffffff851660009081526002602090815260408083203384529091529020555b610f8b8484846126a3565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60035481565b60055473ffffffffffffffffffffffffffffffffffffffff16331461104a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f43726f44656669537761703a20464f5242494444454e00000000000000000000604482015290519081900360640190fd5b6006805473ffffffffffffffffffffffffffffffffffffffff9384167fffffffffffffffffffffffff00000000000000000000000000000000000000009182161790915560078054929093169116179055565b60095481565b600a5481565b6000600c5460011461111c57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f43726f44656669537761703a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c8190558061112c610e28565b50600654604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905193955091935060009273ffffffffffffffffffffffffffffffffffffffff909116916370a08231916024808301926020929190829003018186803b1580156111a657600080fd5b505afa1580156111ba573d6000803e3d6000fd5b505050506040513d60208110156111d057600080fd5b5051600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905192935060009273ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b15801561124957600080fd5b505afa15801561125d573d6000803e3d6000fd5b505050506040513d602081101561127357600080fd5b505190506000611299836dffffffffffffffffffffffffffff871663ffffffff61230616565b905060006112bd836dffffffffffffffffffffffffffff871663ffffffff61230616565b905060006112cb8787612784565b60005490915080611308576112f46103e8610c9a6112ef878763ffffffff61228016565b6129b9565b985061130360006103e8612a0b565b611365565b6113626dffffffffffffffffffffffffffff891661132c868463ffffffff61228016565b8161133357fe5b046dffffffffffffffffffffffffffff8916611355868563ffffffff61228016565b8161135c57fe5b04612abb565b98505b600089116113be576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180612d42602a913960400191505060405180910390fd5b6113c88a8a612a0b565b6113d486868a8a612378565b811561141657600854611412906dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041663ffffffff61228016565b600b555b6040805185815260208101859052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600c5550949695505050505050565b60016020526000908152604090205481565b600b5481565b60046020526000908152604090205481565b600080600c5460011461150157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f43726f44656669537761703a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c81905580611511610e28565b50600654600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905194965092945073ffffffffffffffffffffffffffffffffffffffff9182169391169160009184916370a08231916024808301926020929190829003018186803b15801561159357600080fd5b505afa1580156115a7573d6000803e3d6000fd5b505050506040513d60208110156115bd57600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191925060009173ffffffffffffffffffffffffffffffffffffffff8516916370a08231916024808301926020929190829003018186803b15801561163157600080fd5b505afa158015611645573d6000803e3d6000fd5b505050506040513d602081101561165b57600080fd5b50513060009081526001602052604081205491925061167a8888612784565b60005490915080611691848763ffffffff61228016565b8161169857fe5b049a50806116ac848663ffffffff61228016565b816116b357fe5b04995060008b1180156116c6575060008a115b61171b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180612c96602a913960400191505060405180910390fd5b6117253084612ad3565b611730878d8d612073565b61173b868d8c612073565b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8916916370a08231916024808301926020929190829003018186803b1580156117a757600080fd5b505afa1580156117bb573d6000803e3d6000fd5b505050506040513d60208110156117d157600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191965073ffffffffffffffffffffffffffffffffffffffff8816916370a0823191602480820192602092909190829003018186803b15801561184357600080fd5b505afa158015611857573d6000803e3d6000fd5b505050506040513d602081101561186d57600080fd5b5051935061187d85858b8b612378565b81156118bf576008546118bb906dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041663ffffffff61228016565b600b555b604080518c8152602081018c9052815173ffffffffffffffffffffffffffffffffffffffff8f169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a35050505050505050506001600c81905550915091565b6040518060400160405280600881526020017f43524f2d5357415000000000000000000000000000000000000000000000000081525081565b6000610e8a3384846126a3565b6103e881565b600c546001146119e757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f43726f44656669537761703a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c55600654600754600854604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff9485169490931692611ac39285928792611abe926dffffffffffffffffffffffffffff169185916370a0823191602480820192602092909190829003018186803b158015611a8657600080fd5b505afa158015611a9a573d6000803e3d6000fd5b505050506040513d6020811015611ab057600080fd5b50519063ffffffff61230616565b612073565b600854604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051611b629284928792611abe926e01000000000000000000000000000090046dffffffffffffffffffffffffffff169173ffffffffffffffffffffffffffffffffffffffff8616916370a0823191602480820192602092909190829003018186803b158015611a8657600080fd5b50506001600c5550565b60055473ffffffffffffffffffffffffffffffffffffffff1681565b60075473ffffffffffffffffffffffffffffffffffffffff1681565b42841015611c1357604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f43726f44656669537761703a2045585049524544000000000000000000000000604482015290519081900360640190fd5b60035473ffffffffffffffffffffffffffffffffffffffff80891660008181526004602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e0850182528051908301207f19010000000000000000000000000000000000000000000000000000000000006101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e2808201937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081019281900390910190855afa158015611d74573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff811615801590611def57508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b611e5a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f43726f44656669537761703a20494e56414c49445f5349474e41545552450000604482015290519081900360640190fd5b611e65898989612634565b505050505050505050565b600260209081526000928352604080842090915290825290205481565b600c54600114611efe57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f43726f44656669537761703a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c55600654604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905161206c9273ffffffffffffffffffffffffffffffffffffffff16916370a08231916024808301926020929190829003018186803b158015611f7557600080fd5b505afa158015611f89573d6000803e3d6000fd5b505050506040513d6020811015611f9f57600080fd5b5051600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b15801561201257600080fd5b505afa158015612026573d6000803e3d6000fd5b505050506040513d602081101561203c57600080fd5b50516008546dffffffffffffffffffffffffffff808216916e010000000000000000000000000000900416612378565b6001600c55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e743235362900000000000000602091820152815173ffffffffffffffffffffffffffffffffffffffff85811660248301526044808301869052845180840390910181526064909201845291810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001781529251815160009460609489169392918291908083835b6020831061217957805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0909201916020918201910161213c565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d80600081146121db576040519150601f19603f3d011682016040523d82523d6000602084013e6121e0565b606091505b509150915081801561220e57508051158061220e575080806020019051602081101561220b57600080fd5b50515b61227957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f43726f44656669537761703a205452414e534645525f4641494c454400000000604482015290519081900360640190fd5b5050505050565b600081158061229b5750508082028282828161229857fe5b04145b610e8e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b80820382811115610e8e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f64732d6d6174682d7375622d756e646572666c6f770000000000000000000000604482015290519081900360640190fd5b6dffffffffffffffffffffffffffff84118015906123a457506dffffffffffffffffffffffffffff8311155b61240f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f43726f44656669537761703a204f564552464c4f570000000000000000000000604482015290519081900360640190fd5b60085463ffffffff428116917c01000000000000000000000000000000000000000000000000000000009004811682039081161580159061245f57506dffffffffffffffffffffffffffff841615155b801561247a57506dffffffffffffffffffffffffffff831615155b1561252a578063ffffffff166124bd8561249386612b98565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff169063ffffffff612bbc16565b600980547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905563ffffffff81166124fd8461249387612b98565b600a80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff92909216929092020190555b600880547fffffffffffffffffffffffffffffffffffff0000000000000000000000000000166dffffffffffffffffffffffffffff888116919091177fffffffff0000000000000000000000000000ffffffffffffffffffffffffffff166e0100000000000000000000000000008883168102919091177bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167c010000000000000000000000000000000000000000000000000000000063ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a1505050505050565b73ffffffffffffffffffffffffffffffffffffffff808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b73ffffffffffffffffffffffffffffffffffffffff83166000908152600160205260409020546126d9908263ffffffff61230616565b73ffffffffffffffffffffffffffffffffffffffff808516600090815260016020526040808220939093559084168152205461271b908263ffffffff612bfd16565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b1580156127ef57600080fd5b505afa158015612803573d6000803e3d6000fd5b505050506040513d602081101561281957600080fd5b5051600554604080517fbb44dff3000000000000000000000000000000000000000000000000000000008152905192935060009273ffffffffffffffffffffffffffffffffffffffff9092169163bb44dff391600480820192602092909190829003018186803b15801561288c57600080fd5b505afa1580156128a0573d6000803e3d6000fd5b505050506040513d60208110156128b657600080fd5b5051905073ffffffffffffffffffffffffffffffffffffffff8216158015906128df5750600081115b600b5490935083156129a457801561299f5760006129196112ef6dffffffffffffffffffffffffffff89811690891663ffffffff61228016565b90506000612926836129b9565b90508082111561299c576000612954612945848463ffffffff61230616565b6000549063ffffffff61228016565b905060006129788361296c868963ffffffff61228016565b9063ffffffff612bfd16565b9050600081838161298557fe5b0490508015612998576129988882612a0b565b5050505b50505b6129b0565b80156129b0576000600b555b50505092915050565b600060038211156129fc575080600160028204015b818110156129f6578091506002818285816129e557fe5b0401816129ee57fe5b0490506129ce565b50612a06565b8115612a06575060015b919050565b600054612a1e908263ffffffff612bfd16565b600090815573ffffffffffffffffffffffffffffffffffffffff8316815260016020526040902054612a56908263ffffffff612bfd16565b73ffffffffffffffffffffffffffffffffffffffff831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6000818310612aca5781612acc565b825b9392505050565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260016020526040902054612b09908263ffffffff61230616565b73ffffffffffffffffffffffffffffffffffffffff831660009081526001602052604081209190915554612b43908263ffffffff61230616565b600090815560408051838152905173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b6dffffffffffffffffffffffffffff166e0100000000000000000000000000000290565b60006dffffffffffffffffffffffffffff82167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff841681612bf557fe5b049392505050565b80820182811015610e8e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000604482015290519081900360640190fdfe43726f44656669537761703a20494e53554646494349454e545f494e5055545f414d4f554e5443726f44656669537761703a20494e53554646494349454e545f4c49515549444954595f4255524e454443726f44656669537761703a20494e53554646494349454e545f4f55545055545f414d4f554e5443726f44656669537761703a20436f6e7374616e742070726f6475637420666f726d756c6120636f6e646974696f6e206e6f74206d65742143726f44656669537761703a20494e53554646494349454e545f4c495155494449545943726f44656669537761703a20494e53554646494349454e545f4c49515549444954595f4d494e544544a265627a7a7231582072febb9060e99697097d30ad78467c0deb02dffa096d3e1e0b5f205a8bec5dfa64736f6c63430005100032454950373132446f6d61696e28737472696e67206e616d652c737472696e672076657273696f6e2c75696e7432353620636861696e49642c6164647265737320766572696679696e67436f6e747261637429

0x608060405234801561001057600080fd5b50600436106101b95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a7146105da578063d505accf146105e2578063dd62ed3e14610640578063fff6cae91461067b576101b9565b8063ba9a7a5614610597578063bc25cf771461059f578063c45a0155146105d2576101b9565b80637ecebe00116100d35780637ecebe00146104d757806389afcb441461050a57806395d89b4114610556578063a9059cbb1461055e576101b9565b80636a6278421461046957806370a082311461049c5780637464fc3d146104cf576101b9565b806323b872dd116101665780633644e515116101405780633644e51514610416578063485cc9551461041e5780635909c0d5146104595780635a3d549314610461576101b9565b806323b872dd146103ad57806330adf81f146103f0578063313ce567146103f8576101b9565b8063095ea7b311610197578063095ea7b3146103155780630dfe16811461036257806318160ddd14610393576101b9565b8063022c0d9f146101be57806306fdde03146102595780630902f1ac146102d6575b600080fd5b610257600480360360808110156101d457600080fd5b81359160208101359173ffffffffffffffffffffffffffffffffffffffff604083013516919081019060808101606082013564010000000081111561021857600080fd5b82018360208201111561022a57600080fd5b8035906020019184600183028401116401000000008311171561024c57600080fd5b509092509050610683565b005b610261610def565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561029b578181015183820152602001610283565b50505050905090810190601f1680156102c85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102de610e28565b604080516dffffffffffffffffffffffffffff948516815292909316602083015263ffffffff168183015290519081900360600190f35b61034e6004803603604081101561032b57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610e7d565b604080519115158252519081900360200190f35b61036a610e94565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b61039b610eb0565b60408051918252519081900360200190f35b61034e600480360360608110156103c357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060400135610eb6565b61039b610f95565b610400610fb9565b6040805160ff9092168252519081900360200190f35b61039b610fbe565b6102576004803603604081101561043457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516610fc4565b61039b61109d565b61039b6110a3565b61039b6004803603602081101561047f57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166110a9565b61039b600480360360208110156104b257600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611463565b61039b611475565b61039b600480360360208110156104ed57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661147b565b61053d6004803603602081101561052057600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661148d565b6040805192835260208301919091528051918290030190f35b61026161192a565b61034e6004803603604081101561057457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135611963565b61039b611970565b610257600480360360208110156105b557600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611976565b61036a611b6c565b61036a611b88565b610257600480360360e08110156105f857600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135611ba4565b61039b6004803603604081101561065657600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516611e70565b610257611e8d565b600c546001146106f457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f43726f44656669537761703a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c55841515806107075750600084115b61075c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526027815260200180612cc06027913960400191505060405180910390fd5b600080610767610e28565b5091509150816dffffffffffffffffffffffffffff168710801561079a5750806dffffffffffffffffffffffffffff1686105b6107ef576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180612d1f6023913960400191505060405180910390fd5b600654600754600091829173ffffffffffffffffffffffffffffffffffffffff91821691908116908916821480159061085457508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b6108bf57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601760248201527f43726f44656669537761703a20494e56414c49445f544f000000000000000000604482015290519081900360640190fd5b8a156108d0576108d0828a8d612073565b89156108e1576108e1818a8c612073565b86156109c3578873ffffffffffffffffffffffffffffffffffffffff16636c813d29338d8d8c8c6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b1580156109aa57600080fd5b505af11580156109be573d6000803e3d6000fd5b505050505b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8416916370a08231916024808301926020929190829003018186803b158015610a2f57600080fd5b505afa158015610a43573d6000803e3d6000fd5b505050506040513d6020811015610a5957600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191955073ffffffffffffffffffffffffffffffffffffffff8316916370a0823191602480820192602092909190829003018186803b158015610acb57600080fd5b505afa158015610adf573d6000803e3d6000fd5b505050506040513d6020811015610af557600080fd5b5051925060009150506dffffffffffffffffffffffffffff85168a90038311610b1f576000610b35565b89856dffffffffffffffffffffffffffff160383035b9050600089856dffffffffffffffffffffffffffff16038311610b59576000610b6f565b89856dffffffffffffffffffffffffffff160383035b90506000821180610b805750600081115b610bd5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180612c706026913960400191505060405180910390fd5b600554604080517fe380f72800000000000000000000000000000000000000000000000000000000815290516127109260009273ffffffffffffffffffffffffffffffffffffffff9091169163e380f72891600480820192602092909190829003018186803b158015610c4757600080fd5b505afa158015610c5b573d6000803e3d6000fd5b505050506040513d6020811015610c7157600080fd5b505190506000610ca6610c8a868463ffffffff61228016565b610c9a898663ffffffff61228016565b9063ffffffff61230616565b90506000610ccd610cbd868563ffffffff61228016565b610c9a898763ffffffff61228016565b9050610d056002850a610cf96dffffffffffffffffffffffffffff8d8116908d1663ffffffff61228016565b9063ffffffff61228016565b610d15838363ffffffff61228016565b1015610d6c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526038815260200180612ce76038913960400191505060405180910390fd5b50505050610d7c84848888612378565b60408051838152602081018390528082018d9052606081018c9052905173ffffffffffffffffffffffffffffffffffffffff8b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600c55505050505050505050565b6040518060400160405280600d81526020017f43524f204465666920537761700000000000000000000000000000000000000081525081565b6008546dffffffffffffffffffffffffffff808216926e0100000000000000000000000000008304909116917c0100000000000000000000000000000000000000000000000000000000900463ffffffff1690565b6000610e8a338484612634565b5060015b92915050565b60065473ffffffffffffffffffffffffffffffffffffffff1681565b60005481565b73ffffffffffffffffffffffffffffffffffffffff831660009081526002602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff14610f805773ffffffffffffffffffffffffffffffffffffffff84166000908152600260209081526040808320338452909152902054610f4e908363ffffffff61230616565b73ffffffffffffffffffffffffffffffffffffffff851660009081526002602090815260408083203384529091529020555b610f8b8484846126a3565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60035481565b60055473ffffffffffffffffffffffffffffffffffffffff16331461104a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f43726f44656669537761703a20464f5242494444454e00000000000000000000604482015290519081900360640190fd5b6006805473ffffffffffffffffffffffffffffffffffffffff9384167fffffffffffffffffffffffff00000000000000000000000000000000000000009182161790915560078054929093169116179055565b60095481565b600a5481565b6000600c5460011461111c57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f43726f44656669537761703a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c8190558061112c610e28565b50600654604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905193955091935060009273ffffffffffffffffffffffffffffffffffffffff909116916370a08231916024808301926020929190829003018186803b1580156111a657600080fd5b505afa1580156111ba573d6000803e3d6000fd5b505050506040513d60208110156111d057600080fd5b5051600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905192935060009273ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b15801561124957600080fd5b505afa15801561125d573d6000803e3d6000fd5b505050506040513d602081101561127357600080fd5b505190506000611299836dffffffffffffffffffffffffffff871663ffffffff61230616565b905060006112bd836dffffffffffffffffffffffffffff871663ffffffff61230616565b905060006112cb8787612784565b60005490915080611308576112f46103e8610c9a6112ef878763ffffffff61228016565b6129b9565b985061130360006103e8612a0b565b611365565b6113626dffffffffffffffffffffffffffff891661132c868463ffffffff61228016565b8161133357fe5b046dffffffffffffffffffffffffffff8916611355868563ffffffff61228016565b8161135c57fe5b04612abb565b98505b600089116113be576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180612d42602a913960400191505060405180910390fd5b6113c88a8a612a0b565b6113d486868a8a612378565b811561141657600854611412906dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041663ffffffff61228016565b600b555b6040805185815260208101859052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600c5550949695505050505050565b60016020526000908152604090205481565b600b5481565b60046020526000908152604090205481565b600080600c5460011461150157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f43726f44656669537761703a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c81905580611511610e28565b50600654600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905194965092945073ffffffffffffffffffffffffffffffffffffffff9182169391169160009184916370a08231916024808301926020929190829003018186803b15801561159357600080fd5b505afa1580156115a7573d6000803e3d6000fd5b505050506040513d60208110156115bd57600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191925060009173ffffffffffffffffffffffffffffffffffffffff8516916370a08231916024808301926020929190829003018186803b15801561163157600080fd5b505afa158015611645573d6000803e3d6000fd5b505050506040513d602081101561165b57600080fd5b50513060009081526001602052604081205491925061167a8888612784565b60005490915080611691848763ffffffff61228016565b8161169857fe5b049a50806116ac848663ffffffff61228016565b816116b357fe5b04995060008b1180156116c6575060008a115b61171b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180612c96602a913960400191505060405180910390fd5b6117253084612ad3565b611730878d8d612073565b61173b868d8c612073565b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8916916370a08231916024808301926020929190829003018186803b1580156117a757600080fd5b505afa1580156117bb573d6000803e3d6000fd5b505050506040513d60208110156117d157600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191965073ffffffffffffffffffffffffffffffffffffffff8816916370a0823191602480820192602092909190829003018186803b15801561184357600080fd5b505afa158015611857573d6000803e3d6000fd5b505050506040513d602081101561186d57600080fd5b5051935061187d85858b8b612378565b81156118bf576008546118bb906dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041663ffffffff61228016565b600b555b604080518c8152602081018c9052815173ffffffffffffffffffffffffffffffffffffffff8f169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a35050505050505050506001600c81905550915091565b6040518060400160405280600881526020017f43524f2d5357415000000000000000000000000000000000000000000000000081525081565b6000610e8a3384846126a3565b6103e881565b600c546001146119e757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f43726f44656669537761703a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c55600654600754600854604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff9485169490931692611ac39285928792611abe926dffffffffffffffffffffffffffff169185916370a0823191602480820192602092909190829003018186803b158015611a8657600080fd5b505afa158015611a9a573d6000803e3d6000fd5b505050506040513d6020811015611ab057600080fd5b50519063ffffffff61230616565b612073565b600854604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051611b629284928792611abe926e01000000000000000000000000000090046dffffffffffffffffffffffffffff169173ffffffffffffffffffffffffffffffffffffffff8616916370a0823191602480820192602092909190829003018186803b158015611a8657600080fd5b50506001600c5550565b60055473ffffffffffffffffffffffffffffffffffffffff1681565b60075473ffffffffffffffffffffffffffffffffffffffff1681565b42841015611c1357604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f43726f44656669537761703a2045585049524544000000000000000000000000604482015290519081900360640190fd5b60035473ffffffffffffffffffffffffffffffffffffffff80891660008181526004602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e0850182528051908301207f19010000000000000000000000000000000000000000000000000000000000006101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e2808201937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081019281900390910190855afa158015611d74573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff811615801590611def57508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b611e5a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f43726f44656669537761703a20494e56414c49445f5349474e41545552450000604482015290519081900360640190fd5b611e65898989612634565b505050505050505050565b600260209081526000928352604080842090915290825290205481565b600c54600114611efe57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f43726f44656669537761703a204c4f434b454400000000000000000000000000604482015290519081900360640190fd5b6000600c55600654604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905161206c9273ffffffffffffffffffffffffffffffffffffffff16916370a08231916024808301926020929190829003018186803b158015611f7557600080fd5b505afa158015611f89573d6000803e3d6000fd5b505050506040513d6020811015611f9f57600080fd5b5051600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b15801561201257600080fd5b505afa158015612026573d6000803e3d6000fd5b505050506040513d602081101561203c57600080fd5b50516008546dffffffffffffffffffffffffffff808216916e010000000000000000000000000000900416612378565b6001600c55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e743235362900000000000000602091820152815173ffffffffffffffffffffffffffffffffffffffff85811660248301526044808301869052845180840390910181526064909201845291810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001781529251815160009460609489169392918291908083835b6020831061217957805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0909201916020918201910161213c565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d80600081146121db576040519150601f19603f3d011682016040523d82523d6000602084013e6121e0565b606091505b509150915081801561220e57508051158061220e575080806020019051602081101561220b57600080fd5b50515b61227957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f43726f44656669537761703a205452414e534645525f4641494c454400000000604482015290519081900360640190fd5b5050505050565b600081158061229b5750508082028282828161229857fe5b04145b610e8e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b80820382811115610e8e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f64732d6d6174682d7375622d756e646572666c6f770000000000000000000000604482015290519081900360640190fd5b6dffffffffffffffffffffffffffff84118015906123a457506dffffffffffffffffffffffffffff8311155b61240f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f43726f44656669537761703a204f564552464c4f570000000000000000000000604482015290519081900360640190fd5b60085463ffffffff428116917c01000000000000000000000000000000000000000000000000000000009004811682039081161580159061245f57506dffffffffffffffffffffffffffff841615155b801561247a57506dffffffffffffffffffffffffffff831615155b1561252a578063ffffffff166124bd8561249386612b98565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff169063ffffffff612bbc16565b600980547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905563ffffffff81166124fd8461249387612b98565b600a80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff92909216929092020190555b600880547fffffffffffffffffffffffffffffffffffff0000000000000000000000000000166dffffffffffffffffffffffffffff888116919091177fffffffff0000000000000000000000000000ffffffffffffffffffffffffffff166e0100000000000000000000000000008883168102919091177bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167c010000000000000000000000000000000000000000000000000000000063ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a1505050505050565b73ffffffffffffffffffffffffffffffffffffffff808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b73ffffffffffffffffffffffffffffffffffffffff83166000908152600160205260409020546126d9908263ffffffff61230616565b73ffffffffffffffffffffffffffffffffffffffff808516600090815260016020526040808220939093559084168152205461271b908263ffffffff612bfd16565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b1580156127ef57600080fd5b505afa158015612803573d6000803e3d6000fd5b505050506040513d602081101561281957600080fd5b5051600554604080517fbb44dff3000000000000000000000000000000000000000000000000000000008152905192935060009273ffffffffffffffffffffffffffffffffffffffff9092169163bb44dff391600480820192602092909190829003018186803b15801561288c57600080fd5b505afa1580156128a0573d6000803e3d6000fd5b505050506040513d60208110156128b657600080fd5b5051905073ffffffffffffffffffffffffffffffffffffffff8216158015906128df5750600081115b600b5490935083156129a457801561299f5760006129196112ef6dffffffffffffffffffffffffffff89811690891663ffffffff61228016565b90506000612926836129b9565b90508082111561299c576000612954612945848463ffffffff61230616565b6000549063ffffffff61228016565b905060006129788361296c868963ffffffff61228016565b9063ffffffff612bfd16565b9050600081838161298557fe5b0490508015612998576129988882612a0b565b5050505b50505b6129b0565b80156129b0576000600b555b50505092915050565b600060038211156129fc575080600160028204015b818110156129f6578091506002818285816129e557fe5b0401816129ee57fe5b0490506129ce565b50612a06565b8115612a06575060015b919050565b600054612a1e908263ffffffff612bfd16565b600090815573ffffffffffffffffffffffffffffffffffffffff8316815260016020526040902054612a56908263ffffffff612bfd16565b73ffffffffffffffffffffffffffffffffffffffff831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6000818310612aca5781612acc565b825b9392505050565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260016020526040902054612b09908263ffffffff61230616565b73ffffffffffffffffffffffffffffffffffffffff831660009081526001602052604081209190915554612b43908263ffffffff61230616565b600090815560408051838152905173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b6dffffffffffffffffffffffffffff166e0100000000000000000000000000000290565b60006dffffffffffffffffffffffffffff82167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff841681612bf557fe5b049392505050565b80820182811015610e8e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000604482015290519081900360640190fdfe43726f44656669537761703a20494e53554646494349454e545f494e5055545f414d4f554e5443726f44656669537761703a20494e53554646494349454e545f4c49515549444954595f4255524e454443726f44656669537761703a20494e53554646494349454e545f4f55545055545f414d4f554e5443726f44656669537761703a20436f6e7374616e742070726f6475637420666f726d756c6120636f6e646974696f6e206e6f74206d65742143726f44656669537761703a20494e53554646494349454e545f4c495155494449545943726f44656669537761703a20494e53554646494349454e545f4c49515549444954595f4d494e544544a265627a7a7231582072febb9060e99697097d30ad78467c0deb02dffa096d3e1e0b5f205a8bec5dfa64736f6c63430005100032

11447:10158:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11447:10158:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18795:2217;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;18795:2217:0;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;18795:2217:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;18795:2217:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;-1:-1;18795:2217:0;;-1:-1:-1;18795:2217:0;-1:-1:-1;18795:2217:0;:::i;:::-;;4552:45;;;:::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;4552:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12476:231;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6604:147;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6604:147:0;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;11763:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4695:24;;;:::i;:::-;;;;;;;;;;;;;;;;6906:301;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6906:301:0;;;;;;;;;;;;;;;;;;:::i;4987:108::-;;;:::i;4653:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4844:31;;;:::i;13538:212::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13538:212:0;;;;;;;;;;;:::i;12114:32::-;;;:::i;12153:::-;;;:::i;15861:1242::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;15861:1242:0;;;;:::i;4726:41::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4726:41:0;;;;:::i;12192:17::-;;;:::i;5102:38::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5102:38:0;;;;:::i;17215:1468::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17215:1468:0;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4604:42;;;:::i;6759:139::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6759:139:0;;;;;;;;;:::i;11584:46::-;;;:::i;21061:334::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21061:334:0;;;;:::i;11734:22::-;;;:::i;11791:21::-;;;:::i;7215:678::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;7215:678:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;4774:61::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4774:61:0;;;;;;;;;;;:::i;21444:158::-;;;:::i;18795:2217::-;12365:8;;12377:1;12365:13;12357:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12424:1;12413:8;:12;18909:14;;;;:32;;;18940:1;18927:10;:14;18909:32;18901:84;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18997:17;19016;19038:13;:11;:13::i;:::-;18996:55;;;;;19098:9;19085:22;;:10;:22;:48;;;;;19124:9;19111:22;;:10;:22;19085:48;19077:96;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19318:6;;19353;;19186:13;;;;19318:6;;;;;19353;;;;19378:13;;;;;;;:30;;;19401:7;19395:13;;:2;:13;;;;19378:30;19370:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19451:14;;19447:58;;19467:38;19481:7;19490:2;19494:10;19467:13;:38::i;:::-;19554:14;;19550:58;;19570:38;19584:7;19593:2;19597:10;19570:13;:38::i;:::-;19657:15;;19653:101;;19693:2;19674:38;;;19713:10;19725;19737;19749:4;;19674:80;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;19674:80:0;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19674:80:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19674:80:0;;;;19653:101;19776:40;;;;;;19810:4;19776:40;;;;;;:25;;;;;;:40;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;19776:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19776:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19776:40:0;19838;;;;;;19872:4;19838:40;;;;;;19776;;-1:-1:-1;19838:25:0;;;;;;:40;;;;;19776;;19838;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;19838:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19838:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19838:40:0;;-1:-1:-1;19900:14:0;;-1:-1:-1;;19928:22:0;;;;;;19917:33;;:75;;19991:1;19917:75;;;19977:10;19965:9;:22;;;19953:8;:35;19917:75;19900:92;;20003:14;20043:10;20031:9;:22;;;20020:8;:33;:75;;20094:1;20020:75;;;20080:10;20068:9;:22;;;20056:8;:35;20020:75;20003:92;;20126:1;20114:9;:13;:30;;;;20143:1;20131:9;:13;20114:30;20106:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20352:7;;20332:49;;;;;;;;20290:5;;20273:14;;20352:7;;;;;20332:47;;:49;;;;;;;;;;;;;;;20352:7;20332:49;;;5:2:-1;;;;30:1;27;20:12;5:2;20332:49:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20332:49:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;20332:49:0;;-1:-1:-1;20392:21:0;20416:62;20444:33;:9;20332:49;20444:33;:13;:33;:::i;:::-;20416:23;:8;20429:9;20416:23;:12;:23;:::i;:::-;:27;:62;:27;:62;:::i;:::-;20392:86;-1:-1:-1;20489:21:0;20513:62;20541:33;:9;20555:18;20541:33;:13;:33;:::i;:::-;20513:23;:8;20526:9;20513:23;:12;:23;:::i;:62::-;20489:86;-1:-1:-1;20740:48:0;20786:1;20775:12;;20740:30;;:15;;;;:30;;;:19;:30;:::i;:::-;:34;:48;:34;:48;:::i;:::-;20698:38;:16;20719;20698:38;:20;:38;:::i;:::-;:90;;20690:159;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12436:1;;;;20873:49;20881:8;20891;20901:9;20912;20873:7;:49::i;:::-;20938:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20943:10;;20938:66;;;;;;;;;-1:-1:-1;;12459:1:0;12448:8;:12;-1:-1:-1;;;;;;;;;18795:2217:0:o;4552:45::-;;;;;;;;;;;;;;;;;;;:::o;12476:231::-;12609:8;;;;;;;12640;;;;;;;12681:18;;;;;;12476:231::o;6604:147::-;6668:4;6685:36;6694:10;6706:7;6715:5;6685:8;:36::i;:::-;-1:-1:-1;6739:4:0;6604:147;;;;;:::o;11763:21::-;;;;;;:::o;4695:24::-;;;;:::o;6906:301::-;7005:15;;;6984:4;7005:15;;;:9;:15;;;;;;;;7021:10;7005:27;;;;;;;;7041:2;7005:39;7001:140;;7091:15;;;;;;;:9;:15;;;;;;;;7107:10;7091:27;;;;;;;;:38;;7123:5;7091:38;:31;:38;:::i;:::-;7061:15;;;;;;;:9;:15;;;;;;;;7077:10;7061:27;;;;;;;:68;7001:140;7151:26;7161:4;7167:2;7171:5;7151:9;:26::i;:::-;-1:-1:-1;7195:4:0;6906:301;;;;;:::o;4987:108::-;5029:66;4987:108;:::o;4653:35::-;4686:2;4653:35;:::o;4844:31::-;;;;:::o;13538:212::-;13634:7;;;;13620:10;:21;13612:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13699:6;:16;;;;;;;;;;;;;;13726:6;:16;;;;;;;;;;;13538:212::o;12114:32::-;;;;:::o;12153:::-;;;;:::o;15861:1242::-;15910:14;12365:8;;12377:1;12365:13;12357:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12424:1;12413:8;:12;;;12424:1;15979:13;:11;:13::i;:::-;-1:-1:-1;16041:6:0;;16034:39;;;;;;16067:4;16034:39;;;;;;15937:55;;-1:-1:-1;15937:55:0;;-1:-1:-1;16018:13:0;;16041:6;;;;;16034:24;;:39;;;;;;;;;;;;;;16041:6;16034:39;;;5:2:-1;;;;30:1;27;20:12;5:2;16034:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16034:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;16034:39:0;16107:6;;16100:39;;;;;;16133:4;16100:39;;;;;;16034;;-1:-1:-1;16084:13:0;;16107:6;;;;;16100:24;;:39;;;;;16034;;16100;;;;;;;;16107:6;16100:39;;;5:2:-1;;;;30:1;27;20:12;5:2;16100:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16100:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;16100:39:0;;-1:-1:-1;16150:12:0;16165:23;:8;:23;;;;:12;:23;:::i;:::-;16150:38;-1:-1:-1;16199:12:0;16214:23;:8;:23;;;;:12;:23;:::i;:::-;16199:38;;16250:10;16263:30;16272:9;16283;16263:8;:30::i;:::-;16304:17;16324:11;16250:43;;-1:-1:-1;16428:17:0;16424:352;;16474:54;11625:5;16474:31;16484:20;:7;16496;16484:20;:11;:20;:::i;:::-;16474:9;:31::i;:54::-;16462:66;;16542:36;16556:1;11625:5;16542;:36::i;:::-;16424:352;;;16678:86;16687:37;;;:25;:7;16699:12;16687:25;:11;:25;:::i;:::-;:37;;;;;;16726;;;:25;:7;16738:12;16726:25;:11;:25;:::i;:::-;:37;;;;;;16678:8;:86::i;:::-;16666:98;;16424:352;16806:1;16794:9;:13;16786:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16865:20;16871:2;16875:9;16865:5;:20::i;:::-;16898:49;16906:8;16916;16926:9;16937;16898:7;:49::i;:::-;16962:5;16958:47;;;16996:8;;16977:28;;16996:8;16982;;;;16996;;;;16977:28;:18;:28;:::i;:::-;16969:5;:36;16958:47;17061:34;;;;;;;;;;;;;;17066:10;;17061:34;;;;;;;;-1:-1:-1;;12459:1:0;12448:8;:12;-1:-1:-1;15861:1242:0;;;-1:-1:-1;;;;;;15861:1242:0:o;4726:41::-;;;;;;;;;;;;;:::o;12192:17::-;;;;:::o;5102:38::-;;;;;;;;;;;;;:::o;17215:1468::-;17264:12;17278;12365:8;;12377:1;12365:13;12357:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12424:1;12413:8;:12;;;12424:1;17345:13;:11;:13::i;:::-;-1:-1:-1;17402:6:0;;17483;;17562:40;;;;;;17596:4;17562:40;;;;;;17303:55;;-1:-1:-1;17303:55:0;;-1:-1:-1;17402:6:0;;;;;17483;;;17384:15;;17402:6;;17562:25;;:40;;;;;;;;;;;;;;17402:6;17562:40;;;5:2:-1;;;;30:1;27;20:12;5:2;17562:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17562:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17562:40:0;17629;;;;;;17663:4;17629:40;;;;;;17562;;-1:-1:-1;17613:13:0;;17629:25;;;;;;:40;;;;;17562;;17629;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;17629:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17629:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17629:40:0;17715:4;17680:14;17697:24;;;:9;17629:40;17697:24;;;;;17629:40;;-1:-1:-1;17747:30:0;17756:9;17767;17747:8;:30::i;:::-;17788:17;17808:11;17734:43;;-1:-1:-1;17808:11:0;17918:23;:9;17932:8;17918:23;:13;:23;:::i;:::-;:38;;;;;;;-1:-1:-1;18051:12:0;18025:23;:9;18039:8;18025:23;:13;:23;:::i;:::-;:38;;;;;;18015:48;;18140:1;18130:7;:11;:26;;;;;18155:1;18145:7;:11;18130:26;18122:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18214:31;18228:4;18235:9;18214:5;:31::i;:::-;18256:35;18270:7;18279:2;18283:7;18256:13;:35::i;:::-;18302;18316:7;18325:2;18329:7;18302:13;:35::i;:::-;18359:40;;;;;;18393:4;18359:40;;;;;;:25;;;;;;:40;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;18359:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18359:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18359:40:0;18421;;;;;;18455:4;18421:40;;;;;;18359;;-1:-1:-1;18421:25:0;;;;;;:40;;;;;18359;;18421;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;18421:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18421:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18421:40:0;;-1:-1:-1;18474:49:0;18482:8;18421:40;18502:9;18513;18474:7;:49::i;:::-;18538:5;18534:47;;;18572:8;;18553:28;;18572:8;18558;;;;18572;;;;18553:28;:18;:28;:::i;:::-;18545:5;:36;18534:47;18637:38;;;;;;;;;;;;;;;;;;18642:10;;18637:38;;;;;;;;;;;12436:1;;;;;;;;;12459;12448:8;:12;;;;17215:1468;;;:::o;4604:42::-;;;;;;;;;;;;;;;;;;;:::o;6759:139::-;6819:4;6836:32;6846:10;6858:2;6862:5;6836:9;:32::i;11584:46::-;11625:5;11584:46;:::o;21061:334::-;12365:8;;12377:1;12365:13;12357:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12424:1;12413:8;:12;21130:6;;21180;;21284:8;;21239:40;;;;;;21273:4;21239:40;;;;;;21130:6;;;;;21180;;;;21212:82;;21130:6;;21235:2;;21239:54;;21284:8;;;21130:6;;21239:25;;:40;;;;;;;;;;;;;;;21130:6;21239:40;;;5:2:-1;;;;30:1;27;20:12;5:2;21239:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21239:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21239:40:0;;:54;:44;:54;:::i;:::-;21212:13;:82::i;:::-;21377:8;;21332:40;;;;;;21366:4;21332:40;;;;;;21305:82;;21319:7;;21328:2;;21332:54;;21377:8;;;;;;21332:25;;;;;;:40;;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;21305:82:0;-1:-1:-1;;12459:1:0;12448:8;:12;-1:-1:-1;21061:334:0:o;11734:22::-;;;;;;:::o;11791:21::-;;;;;;:::o;7215:678::-;7361:15;7349:8;:27;;7341:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7517:16;;7613:13;;;;7412:14;7613:13;;;:6;:13;;;;;;;;:15;;;;;;;;;7562:77;;5029:66;7562:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;7562:77:0;;;;;7552:88;;;;;;7453:202;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;7453:202:0;;;;;;7429:237;;;;;;;;;7704:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7412:14;;7613:15;7704:26;;;;;-1:-1:-1;7704:26:0;;;;;;;;;;7613:15;7704:26;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;7704:26:0;;;;;;-1:-1:-1;;7749:30:0;;;;;;;:59;;;7803:5;7783:25;;:16;:25;;;7749:59;7741:102;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7854:31;7863:5;7870:7;7879:5;7854:8;:31::i;:::-;7215:678;;;;;;;;;:::o;4774:61::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;21444:158::-;12365:8;;12377:1;12365:13;12357:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12424:1;12413:8;:12;21500:6;;21493:39;;;;;;21526:4;21493:39;;;;;;21485:109;;21500:6;;;21493:24;;:39;;;;;;;;;;;;;;21500:6;21493:39;;;5:2:-1;;;;30:1;27;20:12;5:2;21493:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21493:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21493:39:0;21541:6;;21534:39;;;;;;21567:4;21534:39;;;;;;21541:6;;;;;21534:24;;:39;;;;;21493;;21534;;;;;;;;21541:6;21534:39;;;5:2:-1;;;;30:1;27;20:12;5:2;21534:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21534:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21534:39:0;21575:8;;;;;;;21585;;;;21485:7;:109::i;:::-;12459:1;12448:8;:12;21444:158::o;12715:289::-;11689:34;;;;;;;;;;;;;;;;;12843:43;;12832:10;12843:43;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;12843:43:0;;;;;;25:18:-1;;;61:17;;12843:43:0;182:15:-1;12843:43:0;179:29:-1;160:49;;12832:55:0;;;;12797:12;;12811:17;;12832:10;;;12843:43;12832:55;;;25:18:-1;12832: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;;;12832: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;;12796:91:0;;;;12906:7;:57;;;;-1:-1:-1;12918:11:0;;:16;;:44;;;12949:4;12938:24;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12938:24:0;12918:44;12898:98;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12715:289;;;;;:::o;4242:142::-;4294:6;4321;;;:30;;-1:-1:-1;;4336:5:0;;;4350:1;4345;4336:5;4345:1;4331:15;;;;;:20;4321:30;4313:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4105:129;4189:5;;;4184:16;;;;4176:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13835:862;13947:23;;;;;;:50;;-1:-1:-1;13974:23:0;;;;13947:50;13939:84;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14138:18;;14065:23;:15;:23;;;14138:18;;;;;14121:35;;;14194:15;;;;;;:33;;-1:-1:-1;14213:14:0;;;;;14194:33;:51;;;;-1:-1:-1;14231:14:0;;;;;14194:51;14190:336;;;14400:11;14347:64;;14352:44;14386:9;14352:27;14369:9;14352:16;:27::i;:::-;:33;;;:44;:33;:44;:::i;:::-;14323:20;:88;;14347:50;;;;;:64;;;;14323:88;;;14450:64;;;14455:44;14489:9;14455:27;14472:9;14455:16;:27::i;:44::-;14426:20;:88;;14450:50;;;;;:64;;;;14426:88;;;14190:336;14536:8;:28;;;;;;;;;;;;14575;;;;;;;;;;;;14614:35;;;;;;;;;;;;14665:24;;;14670:8;;;14665:24;;14680:8;;;;;;;14665:24;;;;;;;;;;;;;;;;;13835:862;;;;;;:::o;6199:169::-;6280:16;;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;6329:31;;;;;;;;;;;;;;;;;6199:169;;;:::o;6376:220::-;6470:15;;;;;;;:9;:15;;;;;;:26;;6490:5;6470:26;:19;:26;:::i;:::-;6452:15;;;;;;;;:9;:15;;;;;;:44;;;;6523:13;;;;;;;:24;;6541:5;6523:24;:17;:24;:::i;:::-;6507:13;;;;;;;;:9;:13;;;;;;;;;:40;;;;6563:25;;;;;;;6507:13;;6563:25;;;;;;;;;;;;;6376:220;;;:::o;14787:962::-;14860:10;14883:13;14919:7;;;;;;;;;;;14899:34;;;:36;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14899:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14899:36:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;14899:36:0;14989:7;;14969:46;;;;;;;;14899:36;;-1:-1:-1;14946:20:0;;14989:7;;;;;14969:44;;:46;;;;;14899:36;;14969:46;;;;;;;;14989:7;14969:46;;;5:2:-1;;;;30:1;27;20:12;5:2;14969:46:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14969:46:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;14969:46:0;;-1:-1:-1;15037:19:0;;;;;;;15036:46;;;15080:1;15062:15;:19;15036:46;15107:5;;15028:54;;-1:-1:-1;15138:604:0;;;;15168:11;;15164:508;;15200:10;15213:41;15223:30;;:15;;;;:30;;;:19;:30;:::i;15213:41::-;15200:54;;15273:14;15290:17;15300:6;15290:9;:17::i;:::-;15273:34;;15338:9;15330:5;:17;15326:331;;;15372:14;15389:37;15405:20;:5;15415:9;15405:20;:9;:20;:::i;:::-;15389:11;;;:37;:15;:37;:::i;:::-;15372:54;-1:-1:-1;15449:16:0;15468:41;15499:9;15468:26;:5;15478:15;15468:26;:9;:26;:::i;:::-;:30;:41;:30;:41;:::i;:::-;15449:60;;15532:14;15561:11;15549:9;:23;;;;;;;-1:-1:-1;15599:13:0;;15595:42;;15614:23;15620:5;15627:9;15614:5;:23::i;:::-;15326:331;;;;15164:508;;;15138:604;;;15693:11;;15689:53;;15729:1;15721:5;:9;15689:53;14787:962;;;;;;;:::o;8258:303::-;8303:6;8330:1;8326;:5;8322:232;;;-1:-1:-1;8352:1:0;8385;8381;8377:5;;:9;8401:92;8412:1;8408;:5;8401:92;;;8438:1;8434:5;;8476:1;8471;8467;8463;:5;;;;;;:9;8462:15;;;;;;8458:19;;8401:92;;;8322:232;;;;8514:6;;8510:44;;-1:-1:-1;8541:1:0;8510:44;8258:303;;;:::o;5773:201::-;5846:11;;:22;;5862:5;5846:22;:15;:22;:::i;:::-;5832:11;:36;;;5895:13;;;;;:9;:13;;;;;;:24;;5913:5;5895:24;:17;:24;:::i;:::-;5879:13;;;;;;;:9;:13;;;;;;;;:40;;;;5935:31;;;;;;;5879:13;;;;5935:31;;;;;;;;;;5773:201;;:::o;8044:96::-;8096:6;8123:1;8119;:5;:13;;8131:1;8119:13;;;8127:1;8119:13;8115:17;8044:96;-1:-1:-1;;;8044:96:0:o;5982:209::-;6061:15;;;;;;;:9;:15;;;;;;:26;;6081:5;6061:26;:19;:26;:::i;:::-;6043:15;;;;;;;:9;:15;;;;;:44;;;;6112:11;:22;;6128:5;6112:22;:15;:22;:::i;:::-;6098:11;:36;;;6150:33;;;;;;;;;;;;;;;;;;;;;;5982:209;;:::o;8908:120::-;8984:10;;8853:6;8984:17;;8908:120::o;9099:108::-;9159:9;9189:10;;;9185:14;;;9189:10;9185:14;;;;;;9099:108;-1:-1:-1;;;9099:108:0:o;3969:128::-;4053:5;;;4048:16;;;;4040:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

bzzr://72febb9060e99697097d30ad78467c0deb02dffa096d3e1e0b5f205a8bec5dfa