Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IDXswapPair
•    - 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 swapFee()
•    - function mint(address to)
•    - function burn(address to)
•    - function swap(uint amount0Out, uint a ...
•    - function skim(address to)
•    - function sync()
•    - function initialize(address, address)
•    - function setSwapFee(uint32)
• interface IDXswapERC20
•    - 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 DXswapERC20 is IDXswapERC ...
•    - 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 IDXswapFactory
•    - function INIT_CODE_PAIR_HASH()
•    - function feeTo()
•    - function protocolFeeDenominator()
•    - function feeToSetter()
•    - function getPair(address tokenA, addr ...
•    - function allPairs(uint)
•    - function allPairsLength()
•    - function createPair(address tokenA, a ...
•    - function setFeeTo(address)
•    - function setFeeToSetter(address)
•    - function setProtocolFee(uint8 _protoc ...
•    - function setSwapFee(address pair, uin ...
• interface IDXswapCallee
•    - function DXswapCall(address sender, u ...
•  contract DXswapPair is IDXswapPair ... *
•    - function getReserves()
•    - function _safeTransfer(address token, ...
•    - function initialize(address _token0, ...
•    - function setSwapFee(uint32 _swapFee)
•    - 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-12-06
*/

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

// File: contracts/interfaces/IDXswapPair.sol

pragma solidity >=0.5.0;

interface IDXswapPair {
    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 swapFee() external view returns (uint32);

    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;
    function setSwapFee(uint32) external;
}

// File: contracts/interfaces/IDXswapERC20.sol

pragma solidity >=0.5.0;

interface IDXswapERC20 {
    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/DXswapERC20.sol

pragma solidity =0.5.16;



contract DXswapERC20 is IDXswapERC20 {
    using SafeMath for uint;

    string public constant name = 'DXswap';
    string public constant symbol = 'DXS';
    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, 'DXswapERC20: 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, 'DXswapERC20: 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/IDXswapFactory.sol

pragma solidity >=0.5.0;

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

    function INIT_CODE_PAIR_HASH() external pure returns (bytes32);
    function feeTo() external view returns (address);
    function protocolFeeDenominator() external view returns (uint8);
    function feeToSetter() external view returns (address);

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

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

    function setFeeTo(address) external;
    function setFeeToSetter(address) external;
    function setProtocolFee(uint8 _protocolFee) external;
    function setSwapFee(address pair, uint32 swapFee) external;
}

// File: contracts/interfaces/IDXswapCallee.sol

pragma solidity >=0.5.0;

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

// File: contracts/DXswapPair.sol

pragma solidity =0.5.16;








contract DXswapPair is IDXswapPair, DXswapERC20 {
    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
    uint32 public swapFee = 25; // uses 0.25% fee as default
    
    uint private unlocked = 1;
    modifier lock() {
        require(unlocked == 1, 'DXswapPair: 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))), 'DXswapPair: 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, 'DXswapPair: FORBIDDEN'); // sufficient check
        token0 = _token0;
        token1 = _token1;
    }
    
    // called by the factory to set the swapFee
    function setSwapFee(uint32 _swapFee) external {
        require(msg.sender == factory, 'DXswapPair: FORBIDDEN'); // sufficient check
        require(_swapFee <= 1000, 'DXswapPair: FORBIDDEN_FEE'); // fee percentage check
        swapFee = _swapFee;
    }

    // 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), 'DXswapPair: 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/ (protocolFeeDenominator + ~1) share of the growth in sqrt(k)
    function _mintFee(uint112 _reserve0, uint112 _reserve1) private returns (bool feeOn) {
        address feeTo = IDXswapFactory(factory).feeTo();
        uint8 protocolFeeDenominator = IDXswapFactory(factory).protocolFeeDenominator();
        feeOn = feeTo != address(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(protocolFeeDenominator).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, 'DXswapPair: 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, 'DXswapPair: 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, 'DXswapPair: INSUFFICIENT_OUTPUT_AMOUNT');
        (uint112 _reserve0, uint112 _reserve1,) = getReserves(); // gas savings
        require(amount0Out < _reserve0 && amount1Out < _reserve1, 'DXswapPair: 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, 'DXswapPair: 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) IDXswapCallee(to).DXswapCall(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, 'DXswapPair: INSUFFICIENT_INPUT_AMOUNT');
        { // scope for reserve{0,1}Adjusted, avoids stack too deep errors
          uint balance0Adjusted = balance0.mul(10000).sub(amount0In.mul(swapFee));
          uint balance1Adjusted = balance1.mul(10000).sub(amount1In.mul(swapFee));
          require(balance0Adjusted.mul(balance1Adjusted) >= uint(_reserve0).mul(_reserve1).mul(10000**2), 'DXswapPair: K');
        }

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

    // force balances to match reserves
    function skim(address to) external lock {
        address _token0 = token0; // gas savings
        address _token1 = token1; // gas savings
        _safeTransfer(_token0, to, 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":"uint32","name":"_swapFee","type":"uint32"}],"name":"setSwapFee","outputs":[],"payable":false,"stateMutability":"nonpayable","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":"swapFee","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"payable":false,"stateMutability":"view","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"}]

6080604052600c805463ffffffff191660191790556001600d5534801561002557600080fd5b50604051469080605261256f8239604080519182900360520182208282018252600683526504458737761760d41b6020938401528151808301835260018152603160f81b908401528151808401919091527f3649d708a7abf9e212d0a587955ead4123223014b2e46201dfb587457cbd4591818301527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6606082015260808101949094523060a0808601919091528151808603909101815260c09094019052825192019190912060035550600580546001600160a01b0319163317905561245e806101116000396000f3fe608060405234801561001057600080fd5b50600436106101cf5760003560e01c80636a62784211610104578063ba9a7a56116100a2578063d505accf11610071578063d505accf14610583578063d6d788c3146105d4578063dd62ed3e146105f7578063fff6cae914610625576101cf565b8063ba9a7a5614610545578063bc25cf771461054d578063c45a015514610573578063d21220a71461057b576101cf565b80637ecebe00116100de5780637ecebe00146104ac57806389afcb44146104d257806395d89b4114610511578063a9059cbb14610519576101cf565b80636a6278421461045857806370a082311461047e5780637464fc3d146104a4576101cf565b806330adf81f11610171578063485cc9551161014b578063485cc955146103f957806354cf2aeb146104275780635909c0d5146104485780635a3d549314610450576101cf565b806330adf81f146103cb578063313ce567146103d35780633644e515146103f1576101cf565b8063095ea7b3116101ad578063095ea7b3146103175780630dfe16811461035757806318160ddd1461037b57806323b872dd14610395576101cf565b8063022c0d9f146101d457806306fdde03146102625780630902f1ac146102df575b600080fd5b610260600480360360808110156101ea57600080fd5b8135916020810135916001600160a01b03604083013516919081019060808101606082013564010000000081111561022157600080fd5b82018360208201111561023357600080fd5b8035906020019184600183028401116401000000008311171561025557600080fd5b50909250905061062d565b005b61026a610b7f565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102a457818101518382015260200161028c565b50505050905090810190601f1680156102d15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102e7610ba1565b604080516001600160701b03948516815292909316602083015263ffffffff168183015290519081900360600190f35b6103436004803603604081101561032d57600080fd5b506001600160a01b038135169060200135610bcb565b604080519115158252519081900360200190f35b61035f610be2565b604080516001600160a01b039092168252519081900360200190f35b610383610bf1565b60408051918252519081900360200190f35b610343600480360360608110156103ab57600080fd5b506001600160a01b03813581169160208101359091169060400135610bf7565b610383610c91565b6103db610cb5565b6040805160ff9092168252519081900360200190f35b610383610cba565b6102606004803603604081101561040f57600080fd5b506001600160a01b0381358116916020013516610cc0565b61042f610d45565b6040805163ffffffff9092168252519081900360200190f35b610383610d51565b610383610d57565b6103836004803603602081101561046e57600080fd5b50356001600160a01b0316610d5d565b6103836004803603602081101561049457600080fd5b50356001600160a01b031661105e565b610383611070565b610383600480360360208110156104c257600080fd5b50356001600160a01b0316611076565b6104f8600480360360208110156104e857600080fd5b50356001600160a01b0316611088565b6040805192835260208301919091528051918290030190f35b61026a61142f565b6103436004803603604081101561052f57600080fd5b506001600160a01b03813516906020013561144e565b61038361145b565b6102606004803603602081101561056357600080fd5b50356001600160a01b0316611461565b61035f6115cd565b61035f6115dc565b610260600480360360e081101561059957600080fd5b506001600160a01b03813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c001356115eb565b610260600480360360208110156105ea57600080fd5b503563ffffffff166117ef565b6103836004803603604081101561060d57600080fd5b506001600160a01b03813581169160200135166118bf565b6102606118dc565b600d54600114610679576040805162461bcd60e51b815260206004820152601260248201527111161cddd85c14185a5c8e881313d0d2d15160721b604482015290519081900360640190fd5b6000600d558415158061068c5750600084115b6106c75760405162461bcd60e51b81526004018080602001828103825260268152602001806123b66026913960400191505060405180910390fd5b6000806106d2610ba1565b5091509150816001600160701b0316871080156106f75750806001600160701b031686105b6107325760405162461bcd60e51b81526004018080602001828103825260228152602001806123946022913960400191505060405180910390fd5b60065460075460009182916001600160a01b039182169190811690891682148015906107705750806001600160a01b0316896001600160a01b031614155b6107ba576040805162461bcd60e51b8152602060048201526016602482015275445873776170506169723a20494e56414c49445f544f60501b604482015290519081900360640190fd5b8a156107cb576107cb828a8d611a3f565b89156107dc576107dc818a8c611a3f565b861561089757886001600160a01b03166378b94ae6338d8d8c8c6040518663ffffffff1660e01b815260040180866001600160a01b03166001600160a01b03168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b15801561087e57600080fd5b505af1158015610892573d6000803e3d6000fd5b505050505b604080516370a0823160e01b815230600482015290516001600160a01b038416916370a08231916024808301926020929190829003018186803b1580156108dd57600080fd5b505afa1580156108f1573d6000803e3d6000fd5b505050506040513d602081101561090757600080fd5b5051604080516370a0823160e01b815230600482015290519195506001600160a01b038316916370a0823191602480820192602092909190829003018186803b15801561095357600080fd5b505afa158015610967573d6000803e3d6000fd5b505050506040513d602081101561097d57600080fd5b5051925060009150506001600160701b0385168a900383116109a05760006109af565b89856001600160701b03160383035b9050600089856001600160701b03160383116109cc5760006109db565b89856001600160701b03160383035b905060008211806109ec5750600081115b610a275760405162461bcd60e51b81526004018080602001828103825260258152602001806123dc6025913960400191505060405180910390fd5b600c54600090610a6490610a4690859063ffffffff90811690611bd916565b610a588761271063ffffffff611bd916565b9063ffffffff611c3c16565b600c54909150600090610a8690610a4690859063ffffffff90811690611bd916565b9050610ab86305f5e100610aac6001600160701b038b8116908b1663ffffffff611bd916565b9063ffffffff611bd916565b610ac8838363ffffffff611bd916565b1015610b0b576040805162461bcd60e51b815260206004820152600d60248201526c445873776170506169723a204b60981b604482015290519081900360640190fd5b5050610b1984848888611c8c565b60408051838152602081018390528082018d9052606081018c905290516001600160a01b038b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600d55505050505050505050565b6040518060400160405280600681526020016504458737761760d41b81525081565b6008546001600160701b0380821692600160701b830490911691600160e01b900463ffffffff1690565b6000610bd8338484611e52565b5060015b92915050565b6006546001600160a01b031681565b60005481565b6001600160a01b038316600090815260026020908152604080832033845290915281205460001914610c7c576001600160a01b0384166000908152600260209081526040808320338452909152902054610c57908363ffffffff611c3c16565b6001600160a01b03851660009081526002602090815260408083203384529091529020555b610c87848484611eb4565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60035481565b6005546001600160a01b03163314610d17576040805162461bcd60e51b8152602060048201526015602482015274222c39bbb0b82830b4b91d102327a92124a22222a760591b604482015290519081900360640190fd5b600680546001600160a01b039384166001600160a01b03199182161790915560078054929093169116179055565b600c5463ffffffff1681565b60095481565b600a5481565b6000600d54600114610dab576040805162461bcd60e51b815260206004820152601260248201527111161cddd85c14185a5c8e881313d0d2d15160721b604482015290519081900360640190fd5b6000600d81905580610dbb610ba1565b50600654604080516370a0823160e01b815230600482015290519395509193506000926001600160a01b03909116916370a08231916024808301926020929190829003018186803b158015610e0f57600080fd5b505afa158015610e23573d6000803e3d6000fd5b505050506040513d6020811015610e3957600080fd5b5051600754604080516370a0823160e01b815230600482015290519293506000926001600160a01b03909216916370a0823191602480820192602092909190829003018186803b158015610e8c57600080fd5b505afa158015610ea0573d6000803e3d6000fd5b505050506040513d6020811015610eb657600080fd5b505190506000610ed5836001600160701b03871663ffffffff611c3c16565b90506000610ef2836001600160701b03871663ffffffff611c3c16565b90506000610f008787611f6e565b60005490915080610f3d57610f296103e8610a58610f24878763ffffffff611bd916565b612146565b9850610f3860006103e8612198565b610f8c565b610f896001600160701b038916610f5a868463ffffffff611bd916565b81610f6157fe5b046001600160701b038916610f7c868563ffffffff611bd916565b81610f8357fe5b0461222e565b98505b60008911610fcb5760405162461bcd60e51b815260040180806020018281038252602981526020018061236b6029913960400191505060405180910390fd5b610fd58a8a612198565b610fe186868a8a611c8c565b81156110115760085461100d906001600160701b0380821691600160701b90041663ffffffff611bd916565b600b555b6040805185815260208101859052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600d5550949695505050505050565b60016020526000908152604090205481565b600b5481565b60046020526000908152604090205481565b600080600d546001146110d7576040805162461bcd60e51b815260206004820152601260248201527111161cddd85c14185a5c8e881313d0d2d15160721b604482015290519081900360640190fd5b6000600d819055806110e7610ba1565b50600654600754604080516370a0823160e01b815230600482015290519496509294506001600160a01b039182169391169160009184916370a08231916024808301926020929190829003018186803b15801561114357600080fd5b505afa158015611157573d6000803e3d6000fd5b505050506040513d602081101561116d57600080fd5b5051604080516370a0823160e01b815230600482015290519192506000916001600160a01b038516916370a08231916024808301926020929190829003018186803b1580156111bb57600080fd5b505afa1580156111cf573d6000803e3d6000fd5b505050506040513d60208110156111e557600080fd5b5051306000908152600160205260408120549192506112048888611f6e565b6000549091508061121b848763ffffffff611bd916565b8161122257fe5b049a5080611236848663ffffffff611bd916565b8161123d57fe5b04995060008b118015611250575060008a115b61128b5760405162461bcd60e51b81526004018080602001828103825260298152602001806124016029913960400191505060405180910390fd5b6112953084612246565b6112a0878d8d611a3f565b6112ab868d8c611a3f565b604080516370a0823160e01b815230600482015290516001600160a01b038916916370a08231916024808301926020929190829003018186803b1580156112f157600080fd5b505afa158015611305573d6000803e3d6000fd5b505050506040513d602081101561131b57600080fd5b5051604080516370a0823160e01b815230600482015290519196506001600160a01b038816916370a0823191602480820192602092909190829003018186803b15801561136757600080fd5b505afa15801561137b573d6000803e3d6000fd5b505050506040513d602081101561139157600080fd5b505193506113a185858b8b611c8c565b81156113d1576008546113cd906001600160701b0380821691600160701b90041663ffffffff611bd916565b600b555b604080518c8152602081018c905281516001600160a01b038f169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a35050505050505050506001600d81905550915091565b6040518060400160405280600381526020016244585360e81b81525081565b6000610bd8338484611eb4565b6103e881565b600d546001146114ad576040805162461bcd60e51b815260206004820152601260248201527111161cddd85c14185a5c8e881313d0d2d15160721b604482015290519081900360640190fd5b6000600d55600654600754600854604080516370a0823160e01b815230600482015290516001600160a01b03948516949093169261155c9285928792611557926001600160701b03169185916370a0823191602480820192602092909190829003018186803b15801561151f57600080fd5b505afa158015611533573d6000803e3d6000fd5b505050506040513d602081101561154957600080fd5b50519063ffffffff611c3c16565b611a3f565b600854604080516370a0823160e01b815230600482015290516115c3928492879261155792600160701b90046001600160701b0316916001600160a01b038616916370a0823191602480820192602092909190829003018186803b15801561151f57600080fd5b50506001600d5550565b6005546001600160a01b031681565b6007546001600160a01b031681565b42841015611637576040805162461bcd60e51b815260206004820152601460248201527311161cddd85c115490cc8c0e881156141254915160621b604482015290519081900360640190fd5b6003546001600160a01b0380891660008181526004602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e08501825280519083012061190160f01b6101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e280820193601f1981019281900390910190855afa158015611752573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116158015906117885750886001600160a01b0316816001600160a01b0316145b6117d9576040805162461bcd60e51b815260206004820152601e60248201527f44587377617045524332303a20494e56414c49445f5349474e41545552450000604482015290519081900360640190fd5b6117e4898989611e52565b505050505050505050565b6005546001600160a01b03163314611846576040805162461bcd60e51b8152602060048201526015602482015274222c39bbb0b82830b4b91d102327a92124a22222a760591b604482015290519081900360640190fd5b6103e88163ffffffff1611156118a3576040805162461bcd60e51b815260206004820152601960248201527f445873776170506169723a20464f5242494444454e5f46454500000000000000604482015290519081900360640190fd5b600c805463ffffffff191663ffffffff92909216919091179055565b600260209081526000928352604080842090915290825290205481565b600d54600114611928576040805162461bcd60e51b815260206004820152601260248201527111161cddd85c14185a5c8e881313d0d2d15160721b604482015290519081900360640190fd5b6000600d55600654604080516370a0823160e01b81523060048201529051611a38926001600160a01b0316916370a08231916024808301926020929190829003018186803b15801561197957600080fd5b505afa15801561198d573d6000803e3d6000fd5b505050506040513d60208110156119a357600080fd5b5051600754604080516370a0823160e01b815230600482015290516001600160a01b03909216916370a0823191602480820192602092909190829003018186803b1580156119f057600080fd5b505afa158015611a04573d6000803e3d6000fd5b505050506040513d6020811015611a1a57600080fd5b50516008546001600160701b0380821691600160701b900416611c8c565b6001600d55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e74323536290000000000000060209182015281516001600160a01b0385811660248301526044808301869052845180840390910181526064909201845291810180516001600160e01b031663a9059cbb60e01b1781529251815160009460609489169392918291908083835b60208310611aec5780518252601f199092019160209182019101611acd565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114611b4e576040519150601f19603f3d011682016040523d82523d6000602084013e611b53565b606091505b5091509150818015611b81575080511580611b815750808060200190516020811015611b7e57600080fd5b50515b611bd2576040805162461bcd60e51b815260206004820152601b60248201527f445873776170506169723a205452414e534645525f4641494c45440000000000604482015290519081900360640190fd5b5050505050565b6000811580611bf457505080820282828281611bf157fe5b04145b610bdc576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6d756c2d6f766572666c6f7760601b604482015290519081900360640190fd5b80820382811115610bdc576040805162461bcd60e51b815260206004820152601560248201527464732d6d6174682d7375622d756e646572666c6f7760581b604482015290519081900360640190fd5b6001600160701b038411801590611caa57506001600160701b038311155b611cf2576040805162461bcd60e51b8152602060048201526014602482015273445873776170506169723a204f564552464c4f5760601b604482015290519081900360640190fd5b60085463ffffffff42811691600160e01b90048116820390811615801590611d2257506001600160701b03841615155b8015611d3657506001600160701b03831615155b15611da7578063ffffffff16611d6485611d4f866122e4565b6001600160e01b03169063ffffffff6122f616565b600980546001600160e01b03929092169290920201905563ffffffff8116611d8f84611d4f876122e4565b600a80546001600160e01b0392909216929092020190555b600880546dffffffffffffffffffffffffffff19166001600160701b03888116919091176dffffffffffffffffffffffffffff60701b1916600160701b8883168102919091176001600160e01b0316600160e01b63ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a1505050505050565b6001600160a01b03808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b038316600090815260016020526040902054611edd908263ffffffff611c3c16565b6001600160a01b038085166000908152600160205260408082209390935590841681522054611f12908263ffffffff61231b16565b6001600160a01b0380841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600560009054906101000a90046001600160a01b03166001600160a01b031663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b158015611fbf57600080fd5b505afa158015611fd3573d6000803e3d6000fd5b505050506040513d6020811015611fe957600080fd5b5051600554604080516317fb821560e11b815290519293506000926001600160a01b0390921691632ff7042a91600480820192602092909190829003018186803b15801561203657600080fd5b505afa15801561204a573d6000803e3d6000fd5b505050506040513d602081101561206057600080fd5b5051600b546001600160a01b03841615801595509192509061213157801561212c5760006120a3610f246001600160701b0389811690891663ffffffff611bd916565b905060006120b083612146565b9050808211156121295760006120de6120cf848463ffffffff611c3c16565b6000549063ffffffff611bd916565b90506000612105836120f98660ff8a1663ffffffff611bd916565b9063ffffffff61231b16565b9050600081838161211257fe5b0490508015612125576121258882612198565b5050505b50505b61213d565b801561213d576000600b555b50505092915050565b60006003821115612189575080600160028204015b818110156121835780915060028182858161217257fe5b04018161217b57fe5b04905061215b565b50612193565b8115612193575060015b919050565b6000546121ab908263ffffffff61231b16565b60009081556001600160a01b0383168152600160205260409020546121d6908263ffffffff61231b16565b6001600160a01b03831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b600081831061223d578161223f565b825b9392505050565b6001600160a01b03821660009081526001602052604090205461226f908263ffffffff611c3c16565b6001600160a01b0383166000908152600160205260408120919091555461229c908263ffffffff611c3c16565b60009081556040805183815290516001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b6001600160701b0316600160701b0290565b60006001600160701b0382166001600160e01b0384168161231357fe5b049392505050565b80820182811015610bdc576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6164642d6f766572666c6f7760601b604482015290519081900360640190fdfe445873776170506169723a20494e53554646494349454e545f4c49515549444954595f4d494e544544445873776170506169723a20494e53554646494349454e545f4c4951554944495459445873776170506169723a20494e53554646494349454e545f4f55545055545f414d4f554e54445873776170506169723a20494e53554646494349454e545f494e5055545f414d4f554e54445873776170506169723a20494e53554646494349454e545f4c49515549444954595f4255524e4544a265627a7a72315820bc9e52c622a7f378a026ee16432d9bbc35cc0db3d76cfafd5d67631f595a9b1864736f6c63430005100032454950373132446f6d61696e28737472696e67206e616d652c737472696e672076657273696f6e2c75696e7432353620636861696e49642c6164647265737320766572696679696e67436f6e747261637429

0x608060405234801561001057600080fd5b50600436106101cf5760003560e01c80636a62784211610104578063ba9a7a56116100a2578063d505accf11610071578063d505accf14610583578063d6d788c3146105d4578063dd62ed3e146105f7578063fff6cae914610625576101cf565b8063ba9a7a5614610545578063bc25cf771461054d578063c45a015514610573578063d21220a71461057b576101cf565b80637ecebe00116100de5780637ecebe00146104ac57806389afcb44146104d257806395d89b4114610511578063a9059cbb14610519576101cf565b80636a6278421461045857806370a082311461047e5780637464fc3d146104a4576101cf565b806330adf81f11610171578063485cc9551161014b578063485cc955146103f957806354cf2aeb146104275780635909c0d5146104485780635a3d549314610450576101cf565b806330adf81f146103cb578063313ce567146103d35780633644e515146103f1576101cf565b8063095ea7b3116101ad578063095ea7b3146103175780630dfe16811461035757806318160ddd1461037b57806323b872dd14610395576101cf565b8063022c0d9f146101d457806306fdde03146102625780630902f1ac146102df575b600080fd5b610260600480360360808110156101ea57600080fd5b8135916020810135916001600160a01b03604083013516919081019060808101606082013564010000000081111561022157600080fd5b82018360208201111561023357600080fd5b8035906020019184600183028401116401000000008311171561025557600080fd5b50909250905061062d565b005b61026a610b7f565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102a457818101518382015260200161028c565b50505050905090810190601f1680156102d15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102e7610ba1565b604080516001600160701b03948516815292909316602083015263ffffffff168183015290519081900360600190f35b6103436004803603604081101561032d57600080fd5b506001600160a01b038135169060200135610bcb565b604080519115158252519081900360200190f35b61035f610be2565b604080516001600160a01b039092168252519081900360200190f35b610383610bf1565b60408051918252519081900360200190f35b610343600480360360608110156103ab57600080fd5b506001600160a01b03813581169160208101359091169060400135610bf7565b610383610c91565b6103db610cb5565b6040805160ff9092168252519081900360200190f35b610383610cba565b6102606004803603604081101561040f57600080fd5b506001600160a01b0381358116916020013516610cc0565b61042f610d45565b6040805163ffffffff9092168252519081900360200190f35b610383610d51565b610383610d57565b6103836004803603602081101561046e57600080fd5b50356001600160a01b0316610d5d565b6103836004803603602081101561049457600080fd5b50356001600160a01b031661105e565b610383611070565b610383600480360360208110156104c257600080fd5b50356001600160a01b0316611076565b6104f8600480360360208110156104e857600080fd5b50356001600160a01b0316611088565b6040805192835260208301919091528051918290030190f35b61026a61142f565b6103436004803603604081101561052f57600080fd5b506001600160a01b03813516906020013561144e565b61038361145b565b6102606004803603602081101561056357600080fd5b50356001600160a01b0316611461565b61035f6115cd565b61035f6115dc565b610260600480360360e081101561059957600080fd5b506001600160a01b03813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c001356115eb565b610260600480360360208110156105ea57600080fd5b503563ffffffff166117ef565b6103836004803603604081101561060d57600080fd5b506001600160a01b03813581169160200135166118bf565b6102606118dc565b600d54600114610679576040805162461bcd60e51b815260206004820152601260248201527111161cddd85c14185a5c8e881313d0d2d15160721b604482015290519081900360640190fd5b6000600d558415158061068c5750600084115b6106c75760405162461bcd60e51b81526004018080602001828103825260268152602001806123b66026913960400191505060405180910390fd5b6000806106d2610ba1565b5091509150816001600160701b0316871080156106f75750806001600160701b031686105b6107325760405162461bcd60e51b81526004018080602001828103825260228152602001806123946022913960400191505060405180910390fd5b60065460075460009182916001600160a01b039182169190811690891682148015906107705750806001600160a01b0316896001600160a01b031614155b6107ba576040805162461bcd60e51b8152602060048201526016602482015275445873776170506169723a20494e56414c49445f544f60501b604482015290519081900360640190fd5b8a156107cb576107cb828a8d611a3f565b89156107dc576107dc818a8c611a3f565b861561089757886001600160a01b03166378b94ae6338d8d8c8c6040518663ffffffff1660e01b815260040180866001600160a01b03166001600160a01b03168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b15801561087e57600080fd5b505af1158015610892573d6000803e3d6000fd5b505050505b604080516370a0823160e01b815230600482015290516001600160a01b038416916370a08231916024808301926020929190829003018186803b1580156108dd57600080fd5b505afa1580156108f1573d6000803e3d6000fd5b505050506040513d602081101561090757600080fd5b5051604080516370a0823160e01b815230600482015290519195506001600160a01b038316916370a0823191602480820192602092909190829003018186803b15801561095357600080fd5b505afa158015610967573d6000803e3d6000fd5b505050506040513d602081101561097d57600080fd5b5051925060009150506001600160701b0385168a900383116109a05760006109af565b89856001600160701b03160383035b9050600089856001600160701b03160383116109cc5760006109db565b89856001600160701b03160383035b905060008211806109ec5750600081115b610a275760405162461bcd60e51b81526004018080602001828103825260258152602001806123dc6025913960400191505060405180910390fd5b600c54600090610a6490610a4690859063ffffffff90811690611bd916565b610a588761271063ffffffff611bd916565b9063ffffffff611c3c16565b600c54909150600090610a8690610a4690859063ffffffff90811690611bd916565b9050610ab86305f5e100610aac6001600160701b038b8116908b1663ffffffff611bd916565b9063ffffffff611bd916565b610ac8838363ffffffff611bd916565b1015610b0b576040805162461bcd60e51b815260206004820152600d60248201526c445873776170506169723a204b60981b604482015290519081900360640190fd5b5050610b1984848888611c8c565b60408051838152602081018390528082018d9052606081018c905290516001600160a01b038b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600d55505050505050505050565b6040518060400160405280600681526020016504458737761760d41b81525081565b6008546001600160701b0380821692600160701b830490911691600160e01b900463ffffffff1690565b6000610bd8338484611e52565b5060015b92915050565b6006546001600160a01b031681565b60005481565b6001600160a01b038316600090815260026020908152604080832033845290915281205460001914610c7c576001600160a01b0384166000908152600260209081526040808320338452909152902054610c57908363ffffffff611c3c16565b6001600160a01b03851660009081526002602090815260408083203384529091529020555b610c87848484611eb4565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60035481565b6005546001600160a01b03163314610d17576040805162461bcd60e51b8152602060048201526015602482015274222c39bbb0b82830b4b91d102327a92124a22222a760591b604482015290519081900360640190fd5b600680546001600160a01b039384166001600160a01b03199182161790915560078054929093169116179055565b600c5463ffffffff1681565b60095481565b600a5481565b6000600d54600114610dab576040805162461bcd60e51b815260206004820152601260248201527111161cddd85c14185a5c8e881313d0d2d15160721b604482015290519081900360640190fd5b6000600d81905580610dbb610ba1565b50600654604080516370a0823160e01b815230600482015290519395509193506000926001600160a01b03909116916370a08231916024808301926020929190829003018186803b158015610e0f57600080fd5b505afa158015610e23573d6000803e3d6000fd5b505050506040513d6020811015610e3957600080fd5b5051600754604080516370a0823160e01b815230600482015290519293506000926001600160a01b03909216916370a0823191602480820192602092909190829003018186803b158015610e8c57600080fd5b505afa158015610ea0573d6000803e3d6000fd5b505050506040513d6020811015610eb657600080fd5b505190506000610ed5836001600160701b03871663ffffffff611c3c16565b90506000610ef2836001600160701b03871663ffffffff611c3c16565b90506000610f008787611f6e565b60005490915080610f3d57610f296103e8610a58610f24878763ffffffff611bd916565b612146565b9850610f3860006103e8612198565b610f8c565b610f896001600160701b038916610f5a868463ffffffff611bd916565b81610f6157fe5b046001600160701b038916610f7c868563ffffffff611bd916565b81610f8357fe5b0461222e565b98505b60008911610fcb5760405162461bcd60e51b815260040180806020018281038252602981526020018061236b6029913960400191505060405180910390fd5b610fd58a8a612198565b610fe186868a8a611c8c565b81156110115760085461100d906001600160701b0380821691600160701b90041663ffffffff611bd916565b600b555b6040805185815260208101859052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600d5550949695505050505050565b60016020526000908152604090205481565b600b5481565b60046020526000908152604090205481565b600080600d546001146110d7576040805162461bcd60e51b815260206004820152601260248201527111161cddd85c14185a5c8e881313d0d2d15160721b604482015290519081900360640190fd5b6000600d819055806110e7610ba1565b50600654600754604080516370a0823160e01b815230600482015290519496509294506001600160a01b039182169391169160009184916370a08231916024808301926020929190829003018186803b15801561114357600080fd5b505afa158015611157573d6000803e3d6000fd5b505050506040513d602081101561116d57600080fd5b5051604080516370a0823160e01b815230600482015290519192506000916001600160a01b038516916370a08231916024808301926020929190829003018186803b1580156111bb57600080fd5b505afa1580156111cf573d6000803e3d6000fd5b505050506040513d60208110156111e557600080fd5b5051306000908152600160205260408120549192506112048888611f6e565b6000549091508061121b848763ffffffff611bd916565b8161122257fe5b049a5080611236848663ffffffff611bd916565b8161123d57fe5b04995060008b118015611250575060008a115b61128b5760405162461bcd60e51b81526004018080602001828103825260298152602001806124016029913960400191505060405180910390fd5b6112953084612246565b6112a0878d8d611a3f565b6112ab868d8c611a3f565b604080516370a0823160e01b815230600482015290516001600160a01b038916916370a08231916024808301926020929190829003018186803b1580156112f157600080fd5b505afa158015611305573d6000803e3d6000fd5b505050506040513d602081101561131b57600080fd5b5051604080516370a0823160e01b815230600482015290519196506001600160a01b038816916370a0823191602480820192602092909190829003018186803b15801561136757600080fd5b505afa15801561137b573d6000803e3d6000fd5b505050506040513d602081101561139157600080fd5b505193506113a185858b8b611c8c565b81156113d1576008546113cd906001600160701b0380821691600160701b90041663ffffffff611bd916565b600b555b604080518c8152602081018c905281516001600160a01b038f169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a35050505050505050506001600d81905550915091565b6040518060400160405280600381526020016244585360e81b81525081565b6000610bd8338484611eb4565b6103e881565b600d546001146114ad576040805162461bcd60e51b815260206004820152601260248201527111161cddd85c14185a5c8e881313d0d2d15160721b604482015290519081900360640190fd5b6000600d55600654600754600854604080516370a0823160e01b815230600482015290516001600160a01b03948516949093169261155c9285928792611557926001600160701b03169185916370a0823191602480820192602092909190829003018186803b15801561151f57600080fd5b505afa158015611533573d6000803e3d6000fd5b505050506040513d602081101561154957600080fd5b50519063ffffffff611c3c16565b611a3f565b600854604080516370a0823160e01b815230600482015290516115c3928492879261155792600160701b90046001600160701b0316916001600160a01b038616916370a0823191602480820192602092909190829003018186803b15801561151f57600080fd5b50506001600d5550565b6005546001600160a01b031681565b6007546001600160a01b031681565b42841015611637576040805162461bcd60e51b815260206004820152601460248201527311161cddd85c115490cc8c0e881156141254915160621b604482015290519081900360640190fd5b6003546001600160a01b0380891660008181526004602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e08501825280519083012061190160f01b6101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e280820193601f1981019281900390910190855afa158015611752573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116158015906117885750886001600160a01b0316816001600160a01b0316145b6117d9576040805162461bcd60e51b815260206004820152601e60248201527f44587377617045524332303a20494e56414c49445f5349474e41545552450000604482015290519081900360640190fd5b6117e4898989611e52565b505050505050505050565b6005546001600160a01b03163314611846576040805162461bcd60e51b8152602060048201526015602482015274222c39bbb0b82830b4b91d102327a92124a22222a760591b604482015290519081900360640190fd5b6103e88163ffffffff1611156118a3576040805162461bcd60e51b815260206004820152601960248201527f445873776170506169723a20464f5242494444454e5f46454500000000000000604482015290519081900360640190fd5b600c805463ffffffff191663ffffffff92909216919091179055565b600260209081526000928352604080842090915290825290205481565b600d54600114611928576040805162461bcd60e51b815260206004820152601260248201527111161cddd85c14185a5c8e881313d0d2d15160721b604482015290519081900360640190fd5b6000600d55600654604080516370a0823160e01b81523060048201529051611a38926001600160a01b0316916370a08231916024808301926020929190829003018186803b15801561197957600080fd5b505afa15801561198d573d6000803e3d6000fd5b505050506040513d60208110156119a357600080fd5b5051600754604080516370a0823160e01b815230600482015290516001600160a01b03909216916370a0823191602480820192602092909190829003018186803b1580156119f057600080fd5b505afa158015611a04573d6000803e3d6000fd5b505050506040513d6020811015611a1a57600080fd5b50516008546001600160701b0380821691600160701b900416611c8c565b6001600d55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e74323536290000000000000060209182015281516001600160a01b0385811660248301526044808301869052845180840390910181526064909201845291810180516001600160e01b031663a9059cbb60e01b1781529251815160009460609489169392918291908083835b60208310611aec5780518252601f199092019160209182019101611acd565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114611b4e576040519150601f19603f3d011682016040523d82523d6000602084013e611b53565b606091505b5091509150818015611b81575080511580611b815750808060200190516020811015611b7e57600080fd5b50515b611bd2576040805162461bcd60e51b815260206004820152601b60248201527f445873776170506169723a205452414e534645525f4641494c45440000000000604482015290519081900360640190fd5b5050505050565b6000811580611bf457505080820282828281611bf157fe5b04145b610bdc576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6d756c2d6f766572666c6f7760601b604482015290519081900360640190fd5b80820382811115610bdc576040805162461bcd60e51b815260206004820152601560248201527464732d6d6174682d7375622d756e646572666c6f7760581b604482015290519081900360640190fd5b6001600160701b038411801590611caa57506001600160701b038311155b611cf2576040805162461bcd60e51b8152602060048201526014602482015273445873776170506169723a204f564552464c4f5760601b604482015290519081900360640190fd5b60085463ffffffff42811691600160e01b90048116820390811615801590611d2257506001600160701b03841615155b8015611d3657506001600160701b03831615155b15611da7578063ffffffff16611d6485611d4f866122e4565b6001600160e01b03169063ffffffff6122f616565b600980546001600160e01b03929092169290920201905563ffffffff8116611d8f84611d4f876122e4565b600a80546001600160e01b0392909216929092020190555b600880546dffffffffffffffffffffffffffff19166001600160701b03888116919091176dffffffffffffffffffffffffffff60701b1916600160701b8883168102919091176001600160e01b0316600160e01b63ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a1505050505050565b6001600160a01b03808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b038316600090815260016020526040902054611edd908263ffffffff611c3c16565b6001600160a01b038085166000908152600160205260408082209390935590841681522054611f12908263ffffffff61231b16565b6001600160a01b0380841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600560009054906101000a90046001600160a01b03166001600160a01b031663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b158015611fbf57600080fd5b505afa158015611fd3573d6000803e3d6000fd5b505050506040513d6020811015611fe957600080fd5b5051600554604080516317fb821560e11b815290519293506000926001600160a01b0390921691632ff7042a91600480820192602092909190829003018186803b15801561203657600080fd5b505afa15801561204a573d6000803e3d6000fd5b505050506040513d602081101561206057600080fd5b5051600b546001600160a01b03841615801595509192509061213157801561212c5760006120a3610f246001600160701b0389811690891663ffffffff611bd916565b905060006120b083612146565b9050808211156121295760006120de6120cf848463ffffffff611c3c16565b6000549063ffffffff611bd916565b90506000612105836120f98660ff8a1663ffffffff611bd916565b9063ffffffff61231b16565b9050600081838161211257fe5b0490508015612125576121258882612198565b5050505b50505b61213d565b801561213d576000600b555b50505092915050565b60006003821115612189575080600160028204015b818110156121835780915060028182858161217257fe5b04018161217b57fe5b04905061215b565b50612193565b8115612193575060015b919050565b6000546121ab908263ffffffff61231b16565b60009081556001600160a01b0383168152600160205260409020546121d6908263ffffffff61231b16565b6001600160a01b03831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b600081831061223d578161223f565b825b9392505050565b6001600160a01b03821660009081526001602052604090205461226f908263ffffffff611c3c16565b6001600160a01b0383166000908152600160205260408120919091555461229c908263ffffffff611c3c16565b60009081556040805183815290516001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b6001600160701b0316600160701b0290565b60006001600160701b0382166001600160e01b0384168161231357fe5b049392505050565b80820182811015610bdc576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6164642d6f766572666c6f7760601b604482015290519081900360640190fdfe445873776170506169723a20494e53554646494349454e545f4c49515549444954595f4d494e544544445873776170506169723a20494e53554646494349454e545f4c4951554944495459445873776170506169723a20494e53554646494349454e545f4f55545055545f414d4f554e54445873776170506169723a20494e53554646494349454e545f494e5055545f414d4f554e54445873776170506169723a20494e53554646494349454e545f4c49515549444954595f4255524e4544a265627a7a72315820bc9e52c622a7f378a026ee16432d9bbc35cc0db3d76cfafd5d67631f595a9b1864736f6c63430005100032

11505:10230:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11505:10230:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19233:1909;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;19233:1909:0;;;;;;;;-1:-1:-1;;;;;19233:1909:0;;;;;;;;;;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;19233:1909:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;19233:1909: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;19233:1909:0;;-1:-1:-1;19233:1909:0;-1:-1:-1;19233:1909:0;:::i;:::-;;4687:38;;;:::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;4687:38:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12584:231;;;:::i;:::-;;;;-1:-1:-1;;;;;12584:231:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6727:147;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6727:147:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;11806:21;;;:::i;:::-;;;;-1:-1:-1;;;;;11806:21:0;;;;;;;;;;;;;;4818:24;;;:::i;:::-;;;;;;;;;;;;;;;;7029:301;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;7029:301:0;;;;;;;;;;;;;;;;;:::i;5110:108::-;;;:::i;4776:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4967:31;;;:::i;13645:211::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;13645:211:0;;;;;;;;;;:::i;12339:26::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12157:32;;;:::i;12196:::-;;;:::i;16301:1241::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;16301:1241:0;-1:-1:-1;;;;;16301:1241:0;;:::i;4849:41::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4849:41:0;-1:-1:-1;;;;;4849:41:0;;:::i;12235:17::-;;;:::i;5225:38::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5225:38:0;-1:-1:-1;;;;;5225:38:0;;:::i;17654:1467::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17654:1467:0;-1:-1:-1;;;;;17654:1467:0;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4732:37;;;:::i;6882:139::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6882:139:0;;;;;;;;:::i;11627:46::-;;;:::i;21191:334::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21191:334:0;-1:-1:-1;;;;;21191:334:0;;:::i;11777:22::-;;;:::i;11834:21::-;;;:::i;7338:678::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;7338:678:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;13917:258::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13917:258:0;;;;:::i;4897:61::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4897:61:0;;;;;;;;;;:::i;21574:158::-;;;:::i;19233:1909::-;12474:8;;12486:1;12474:13;12466:44;;;;;-1:-1:-1;;;12466:44:0;;;;;;;;;;;;-1:-1:-1;;;12466:44:0;;;;;;;;;;;;;;;12532:1;12521:8;:12;19347:14;;;;:32;;;19378:1;19365:10;:14;19347:32;19339:83;;;;-1:-1:-1;;;19339:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19434:17;19453;19475:13;:11;:13::i;:::-;19433:55;;;;;19535:9;-1:-1:-1;;;;;19522:22:0;:10;:22;:48;;;;;19561:9;-1:-1:-1;;;;;19548:22:0;:10;:22;19522:48;19514:95;;;;-1:-1:-1;;;19514:95:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19754:6;;19789;;19622:13;;;;-1:-1:-1;;;;;19754:6:0;;;;19789;;;;19814:13;;;;;;;:30;;;19837:7;-1:-1:-1;;;;;19831:13:0;:2;-1:-1:-1;;;;;19831:13:0;;;19814:30;19806:65;;;;;-1:-1:-1;;;19806:65:0;;;;;;;;;;;;-1:-1:-1;;;19806:65:0;;;;;;;;;;;;;;;19886:14;;19882:58;;19902:38;19916:7;19925:2;19929:10;19902:13;:38::i;:::-;19989:14;;19985:58;;20005:38;20019:7;20028:2;20032:10;20005:13;:38::i;:::-;20092:15;;20088:91;;20123:2;-1:-1:-1;;;;;20109:28:0;;20138:10;20150;20162;20174:4;;20109:70;;;;;;;;;;;;;-1:-1:-1;;;;;20109:70:0;-1:-1:-1;;;;;20109:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;;20109:70:0;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20109:70:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20109:70:0;;;;20088:91;20201:40;;;-1:-1:-1;;;20201:40:0;;20235:4;20201:40;;;;;;-1:-1:-1;;;;;20201:25:0;;;;;:40;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;20201:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20201:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;20201:40:0;20263;;;-1:-1:-1;;;20263:40:0;;20297:4;20263:40;;;;;;20201;;-1:-1:-1;;;;;;20263:25:0;;;;;:40;;;;;20201;;20263;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;20263:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20263:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;20263:40:0;;-1:-1:-1;20325:14:0;;-1:-1:-1;;;;;;;20353:22:0;;;;;20342:33;;:75;;20416:1;20342:75;;;20402:10;20390:9;-1:-1:-1;;;;;20390:22:0;;20378:8;:35;20342:75;20325:92;;20428:14;20468:10;20456:9;-1:-1:-1;;;;;20456:22:0;;20445:8;:33;:75;;20519:1;20445:75;;;20505:10;20493:9;-1:-1:-1;;;;;20493:22:0;;20481:8;:35;20445:75;20428:92;;20551:1;20539:9;:13;:30;;;;20568:1;20556:9;:13;20539:30;20531:80;;;;-1:-1:-1;;;20531:80:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20761:7;;20699:21;;20723:47;;20747:22;;:9;;20761:7;;;;;20747:13;:22;:::i;:::-;20723:19;:8;20736:5;20723:19;:12;:19;:::i;:::-;:23;:47;:23;:47;:::i;:::-;20845:7;;20699:71;;-1:-1:-1;20783:21:0;;20807:47;;20831:22;;:9;;20845:7;;;;;20831:13;:22;:::i;20807:47::-;20783:71;-1:-1:-1;20917:44:0;20952:8;20917:30;-1:-1:-1;;;;;20917:15:0;;;;:30;;;:19;:30;:::i;:::-;:34;:44;:34;:44;:::i;:::-;20875:38;:16;20896;20875:38;:20;:38;:::i;:::-;:86;;20867:112;;;;;-1:-1:-1;;;20867:112:0;;;;;;;;;;;;-1:-1:-1;;;20867:112:0;;;;;;;;;;;;;;;12544:1;;21003:49;21011:8;21021;21031:9;21042;21003:7;:49::i;:::-;21068:66;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;21068:66:0;;;21073:10;;21068:66;;;;;;;;;-1:-1:-1;;12567:1:0;12556:8;:12;-1:-1:-1;;;;;;;;;19233:1909:0:o;4687:38::-;;;;;;;;;;;;;;-1:-1:-1;;;4687:38:0;;;;:::o;12584:231::-;12717:8;;-1:-1:-1;;;;;12717:8:0;;;;-1:-1:-1;;;12748:8:0;;;;;;-1:-1:-1;;;12789:18:0;;;;;12584:231::o;6727:147::-;6791:4;6808:36;6817:10;6829:7;6838:5;6808:8;:36::i;:::-;-1:-1:-1;6862:4:0;6727:147;;;;;:::o;11806:21::-;;;-1:-1:-1;;;;;11806:21:0;;:::o;4818:24::-;;;;:::o;7029:301::-;-1:-1:-1;;;;;7128:15:0;;7107:4;7128:15;;;:9;:15;;;;;;;;7144:10;7128:27;;;;;;;;-1:-1:-1;;7128:39:0;7124:140;;-1:-1:-1;;;;;7214:15:0;;;;;;:9;:15;;;;;;;;7230:10;7214:27;;;;;;;;:38;;7246:5;7214:38;:31;:38;:::i;:::-;-1:-1:-1;;;;;7184:15:0;;;;;;:9;:15;;;;;;;;7200:10;7184:27;;;;;;;:68;7124:140;7274:26;7284:4;7290:2;7294:5;7274:9;:26::i;:::-;-1:-1:-1;7318:4:0;7029:301;;;;;:::o;5110:108::-;5152:66;5110:108;:::o;4776:35::-;4809:2;4776:35;:::o;4967:31::-;;;;:::o;13645:211::-;13741:7;;-1:-1:-1;;;;;13741:7:0;13727:10;:21;13719:55;;;;;-1:-1:-1;;;13719:55:0;;;;;;;;;;;;-1:-1:-1;;;13719:55:0;;;;;;;;;;;;;;;13805:6;:16;;-1:-1:-1;;;;;13805:16:0;;;-1:-1:-1;;;;;;13805:16:0;;;;;;;13832:6;:16;;;;;;;;;;;13645:211::o;12339:26::-;;;;;;:::o;12157:32::-;;;;:::o;12196:::-;;;;:::o;16301:1241::-;16350:14;12474:8;;12486:1;12474:13;12466:44;;;;;-1:-1:-1;;;12466:44:0;;;;;;;;;;;;-1:-1:-1;;;12466:44:0;;;;;;;;;;;;;;;12532:1;12521:8;:12;;;12532:1;16419:13;:11;:13::i;:::-;-1:-1:-1;16481:6:0;;16474:39;;;-1:-1:-1;;;16474:39:0;;16507:4;16474:39;;;;;;16377:55;;-1:-1:-1;16377:55:0;;-1:-1:-1;16458:13:0;;-1:-1:-1;;;;;16481:6:0;;;;16474:24;;:39;;;;;;;;;;;;;;16481:6;16474:39;;;5:2:-1;;;;30:1;27;20:12;5:2;16474:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16474:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;16474:39:0;16547:6;;16540:39;;;-1:-1:-1;;;16540:39:0;;16573:4;16540:39;;;;;;16474;;-1:-1:-1;16524:13:0;;-1:-1:-1;;;;;16547:6:0;;;;16540:24;;:39;;;;;16474;;16540;;;;;;;;16547:6;16540:39;;;5:2:-1;;;;30:1;27;20:12;5:2;16540:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16540:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;16540:39:0;;-1:-1:-1;16590:12:0;16605:23;:8;-1:-1:-1;;;;;16605:23:0;;;:12;:23;:::i;:::-;16590:38;-1:-1:-1;16639:12:0;16654:23;:8;-1:-1:-1;;;;;16654:23:0;;;:12;:23;:::i;:::-;16639:38;;16690:10;16703:30;16712:9;16723;16703:8;:30::i;:::-;16744:17;16764:11;16690:43;;-1:-1:-1;16868:17:0;16864:352;;16914:54;11668:5;16914:31;16924:20;:7;16936;16924:20;:11;:20;:::i;:::-;16914:9;:31::i;:54::-;16902:66;;16982:36;16996:1;11668:5;16982;:36::i;:::-;16864:352;;;17118:86;-1:-1:-1;;;;;17127:37:0;;:25;:7;17139:12;17127:25;:11;:25;:::i;:::-;:37;;;;;;-1:-1:-1;;;;;17166:37:0;;:25;:7;17178:12;17166:25;:11;:25;:::i;:::-;:37;;;;;;17118:8;:86::i;:::-;17106:98;;16864:352;17246:1;17234:9;:13;17226:67;;;;-1:-1:-1;;;17226:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17304:20;17310:2;17314:9;17304:5;:20::i;:::-;17337:49;17345:8;17355;17365:9;17376;17337:7;:49::i;:::-;17401:5;17397:47;;;17435:8;;17416:28;;-1:-1:-1;;;;;17421:8:0;;;;-1:-1:-1;;;17435:8:0;;;17416:28;:18;:28;:::i;:::-;17408:5;:36;17397:47;17500:34;;;;;;;;;;;;;;17505:10;;17500:34;;;;;;;;-1:-1:-1;;12567:1:0;12556:8;:12;-1:-1:-1;16301:1241:0;;;-1:-1:-1;;;;;;16301:1241:0:o;4849:41::-;;;;;;;;;;;;;:::o;12235:17::-;;;;:::o;5225:38::-;;;;;;;;;;;;;:::o;17654:1467::-;17703:12;17717;12474:8;;12486:1;12474:13;12466:44;;;;;-1:-1:-1;;;12466:44:0;;;;;;;;;;;;-1:-1:-1;;;12466:44:0;;;;;;;;;;;;;;;12532:1;12521:8;:12;;;12532:1;17784:13;:11;:13::i;:::-;-1:-1:-1;17841:6:0;;17922;;18001:40;;;-1:-1:-1;;;18001:40:0;;18035:4;18001:40;;;;;;17742:55;;-1:-1:-1;17742:55:0;;-1:-1:-1;;;;;;17841:6:0;;;;17922;;;17823:15;;17841:6;;18001:25;;:40;;;;;;;;;;;;;;17841:6;18001:40;;;5:2:-1;;;;30:1;27;20:12;5:2;18001:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18001:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18001:40:0;18068;;;-1:-1:-1;;;18068:40:0;;18102:4;18068:40;;;;;;18001;;-1:-1:-1;18052:13:0;;-1:-1:-1;;;;;18068:25:0;;;;;:40;;;;;18001;;18068;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;18068:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18068:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18068:40:0;18154:4;18119:14;18136:24;;;:9;18068:40;18136:24;;;;;18068:40;;-1:-1:-1;18186:30:0;18195:9;18206;18186:8;:30::i;:::-;18227:17;18247:11;18173:43;;-1:-1:-1;18247:11:0;18357:23;:9;18371:8;18357:23;:13;:23;:::i;:::-;:38;;;;;;;-1:-1:-1;18490:12:0;18464:23;:9;18478:8;18464:23;:13;:23;:::i;:::-;:38;;;;;;18454:48;;18579:1;18569:7;:11;:26;;;;;18594:1;18584:7;:11;18569:26;18561:80;;;;-1:-1:-1;;;18561:80:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18652:31;18666:4;18673:9;18652:5;:31::i;:::-;18694:35;18708:7;18717:2;18721:7;18694:13;:35::i;:::-;18740;18754:7;18763:2;18767:7;18740:13;:35::i;:::-;18797:40;;;-1:-1:-1;;;18797:40:0;;18831:4;18797:40;;;;;;-1:-1:-1;;;;;18797:25:0;;;;;:40;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;18797:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18797:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18797:40:0;18859;;;-1:-1:-1;;;18859:40:0;;18893:4;18859:40;;;;;;18797;;-1:-1:-1;;;;;;18859:25:0;;;;;:40;;;;;18797;;18859;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;18859:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18859:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18859:40:0;;-1:-1:-1;18912:49:0;18920:8;18859:40;18940:9;18951;18912:7;:49::i;:::-;18976:5;18972:47;;;19010:8;;18991:28;;-1:-1:-1;;;;;18996:8:0;;;;-1:-1:-1;;;19010:8:0;;;18991:28;:18;:28;:::i;:::-;18983:5;:36;18972:47;19075:38;;;;;;;;;;;;;;-1:-1:-1;;;;;19075:38:0;;;19080:10;;19075:38;;;;;;;;;;;12544:1;;;;;;;;;12567;12556:8;:12;;;;17654:1467;;;:::o;4732:37::-;;;;;;;;;;;;;;-1:-1:-1;;;4732:37:0;;;;:::o;6882:139::-;6942:4;6959:32;6969:10;6981:2;6985:5;6959:9;:32::i;11627:46::-;11668:5;11627:46;:::o;21191:334::-;12474:8;;12486:1;12474:13;12466:44;;;;;-1:-1:-1;;;12466:44:0;;;;;;;;;;;;-1:-1:-1;;;12466:44:0;;;;;;;;;;;;;;;12532:1;12521:8;:12;21260:6;;21310;;21414:8;;21369:40;;;-1:-1:-1;;;21369:40:0;;21403:4;21369:40;;;;;;-1:-1:-1;;;;;21260:6:0;;;;21310;;;;21342:82;;21260:6;;21365:2;;21369:54;;-1:-1:-1;;;;;21414:8:0;;21260:6;;21369:25;;:40;;;;;;;;;;;;;;;21260:6;21369:40;;;5:2:-1;;;;30:1;27;20:12;5:2;21369:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21369:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21369:40:0;;:54;:44;:54;:::i;:::-;21342:13;:82::i;:::-;21507:8;;21462:40;;;-1:-1:-1;;;21462:40:0;;21496:4;21462:40;;;;;;21435:82;;21449:7;;21458:2;;21462:54;;-1:-1:-1;;;21507:8:0;;-1:-1:-1;;;;;21507:8:0;;-1:-1:-1;;;;;21462:25:0;;;;;:40;;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;21435:82:0;-1:-1:-1;;12567:1:0;12556:8;:12;-1:-1:-1;21191:334:0:o;11777:22::-;;;-1:-1:-1;;;;;11777:22:0;;:::o;11834:21::-;;;-1:-1:-1;;;;;11834:21:0;;:::o;7338:678::-;7484:15;7472:8;:27;;7464:60;;;;;-1:-1:-1;;;7464:60:0;;;;;;;;;;;;-1:-1:-1;;;7464:60:0;;;;;;;;;;;;;;;7640:16;;-1:-1:-1;;;;;7736:13:0;;;7535:14;7736:13;;;:6;:13;;;;;;;;:15;;;;;;;;;7685:77;;5152:66;7685:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;7685:77:0;;;;;7675:88;;;;;;-1:-1:-1;;;7576:202:0;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;7576:202:0;;;;;;7552:237;;;;;;;;;7827:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7535:14;;7736:15;7827:26;;;;;-1:-1:-1;;7827:26:0;;;;;;;;;;7736:15;7827:26;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;7827:26:0;;-1:-1:-1;;7827:26:0;;;-1:-1:-1;;;;;;;7872:30:0;;;;;;:59;;;7926:5;-1:-1:-1;;;;;7906:25:0;:16;-1:-1:-1;;;;;7906:25:0;;7872:59;7864:102;;;;;-1:-1:-1;;;7864:102:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;7977:31;7986:5;7993:7;8002:5;7977:8;:31::i;:::-;7338:678;;;;;;;;;:::o;13917:258::-;13996:7;;-1:-1:-1;;;;;13996:7:0;13982:10;:21;13974:55;;;;;-1:-1:-1;;;13974:55:0;;;;;;;;;;;;-1:-1:-1;;;13974:55:0;;;;;;;;;;;;;;;14080:4;14068:8;:16;;;;14060:54;;;;;-1:-1:-1;;;14060:54:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;14149:7;:18;;-1:-1:-1;;14149:18:0;;;;;;;;;;;;13917:258::o;4897:61::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;21574:158::-;12474:8;;12486:1;12474:13;12466:44;;;;;-1:-1:-1;;;12466:44:0;;;;;;;;;;;;-1:-1:-1;;;12466:44:0;;;;;;;;;;;;;;;12532:1;12521:8;:12;21630:6;;21623:39;;;-1:-1:-1;;;21623:39:0;;21656:4;21623:39;;;;;;21615:109;;-1:-1:-1;;;;;21630:6:0;;21623:24;;:39;;;;;;;;;;;;;;21630:6;21623:39;;;5:2:-1;;;;30:1;27;20:12;5:2;21623:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21623:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21623:39:0;21671:6;;21664:39;;;-1:-1:-1;;;21664:39:0;;21697:4;21664:39;;;;;;-1:-1:-1;;;;;21671:6:0;;;;21664:24;;:39;;;;;21623;;21664;;;;;;;;21671:6;21664:39;;;5:2:-1;;;;30:1;27;20:12;5:2;21664:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21664:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21664:39:0;21705:8;;-1:-1:-1;;;;;21705:8:0;;;;-1:-1:-1;;;21715:8:0;;;21615:7;:109::i;:::-;12567:1;12556:8;:12;21574:158::o;12823:288::-;11732:34;;;;;;;;;;;;;;;;;12951:43;;-1:-1:-1;;;;;12951:43:0;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;12951:43:0;;;;;;25:18:-1;;;61:17;;-1:-1;;;;;182:15;-1:-1;;;179:29;160:49;;12940:55:0;;;;12905:12;;12919:17;;12940:10;;;12951:43;12940:55;;;25:18:-1;12940:55:0;;25:18:-1;36:153;66:2;61:3;58:11;36:153;;176:10;;164:23;;-1:-1;;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;;;12940: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;;12904:91:0;;;;13014:7;:57;;;;-1:-1:-1;13026:11:0;;:16;;:44;;;13057:4;13046:24;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13046:24:0;13026:44;13006:97;;;;;-1:-1:-1;;;13006:97:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;12823:288;;;;;:::o;4392:142::-;4444:6;4471;;;:30;;-1:-1:-1;;4486:5:0;;;4500:1;4495;4486:5;4495:1;4481:15;;;;;:20;4471:30;4463:63;;;;;-1:-1:-1;;;4463:63:0;;;;;;;;;;;;-1:-1:-1;;;4463:63:0;;;;;;;;;;;;;;4255:129;4339:5;;;4334:16;;;;4326:50;;;;;-1:-1:-1;;;4326:50:0;;;;;;;;;;;;-1:-1:-1;;;4326:50:0;;;;;;;;;;;;;;14260:861;-1:-1:-1;;;;;14372:23:0;;;;;:50;;-1:-1:-1;;;;;;14399:23:0;;;14372:50;14364:83;;;;;-1:-1:-1;;;14364:83:0;;;;;;;;;;;;-1:-1:-1;;;14364:83:0;;;;;;;;;;;;;;;14562:18;;14489:23;:15;:23;;;-1:-1:-1;;;14562:18:0;;;;14545:35;;;14618:15;;;;;;:33;;-1:-1:-1;;;;;;14637:14:0;;;;14618:33;:51;;;;-1:-1:-1;;;;;;14655:14:0;;;;14618:51;14614:336;;;14824:11;14771:64;;14776:44;14810:9;14776:27;14793:9;14776:16;:27::i;:::-;-1:-1:-1;;;;;14776:33:0;;:44;:33;:44;:::i;:::-;14747:20;:88;;-1:-1:-1;;;;;14771:50:0;;;;:64;;;;14747:88;;;14874:64;;;14879:44;14913:9;14879:27;14896:9;14879:16;:27::i;:44::-;14850:20;:88;;-1:-1:-1;;;;;14874:50:0;;;;:64;;;;14850:88;;;14614:336;14960:8;:28;;-1:-1:-1;;14960:28:0;-1:-1:-1;;;;;14960:28:0;;;;;;;-1:-1:-1;;;;14999:28:0;-1:-1:-1;;;14999:28:0;;;;;;;;;-1:-1:-1;;;;;15038:35:0;-1:-1:-1;;;15038:35:0;;;;;;;;;15089:24;;;15094:8;;;15089:24;;15104:8;;;;;;;15089:24;;;;;;;;;;;;;;;;;14260:861;;;;;;:::o;6322:169::-;-1:-1:-1;;;;;6403:16:0;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;6452:31;;;;;;;;;;;;;;;;;6322:169;;;:::o;6499:220::-;-1:-1:-1;;;;;6593:15:0;;;;;;:9;:15;;;;;;:26;;6613:5;6593:26;:19;:26;:::i;:::-;-1:-1:-1;;;;;6575:15:0;;;;;;;:9;:15;;;;;;:44;;;;6646:13;;;;;;;:24;;6664:5;6646:24;:17;:24;:::i;:::-;-1:-1:-1;;;;;6630:13:0;;;;;;;:9;:13;;;;;;;;;:40;;;;6686:25;;;;;;;6630:13;;6686:25;;;;;;;;;;;;;6499:220;;;:::o;15244:945::-;15317:10;15340:13;15371:7;;;;;;;;;-1:-1:-1;;;;;15371:7:0;-1:-1:-1;;;;;15356:29:0;;:31;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15356:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15356:31:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;15356:31:0;15444:7;;15429:48;;;-1:-1:-1;;;15429:48:0;;;;15356:31;;-1:-1:-1;15398:28:0;;-1:-1:-1;;;;;15444:7:0;;;;15429:46;;:48;;;;;15356:31;;15429:48;;;;;;;;15444:7;15429:48;;;5:2:-1;;;;30:1;27;20:12;5:2;15429:48:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15429:48:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;15429:48:0;15540:5;;-1:-1:-1;;;;;15496:19:0;;;;;;-1:-1:-1;15429:48:0;;-1:-1:-1;15540:5:0;15571:611;;15601:11;;15597:515;;15633:10;15646:41;15656:30;-1:-1:-1;;;;;15656:15:0;;;;:30;;;:19;:30;:::i;15646:41::-;15633:54;;15706:14;15723:17;15733:6;15723:9;:17::i;:::-;15706:34;;15771:9;15763:5;:17;15759:338;;;15805:14;15822:37;15838:20;:5;15848:9;15838:20;:9;:20;:::i;:::-;15822:11;;;:37;:15;:37;:::i;:::-;15805:54;-1:-1:-1;15882:16:0;15901:48;15939:9;15901:33;:5;:33;;;;:9;:33;:::i;:::-;:37;:48;:37;:48;:::i;:::-;15882:67;;15972:14;16001:11;15989:9;:23;;;;;;;-1:-1:-1;16039:13:0;;16035:42;;16054:23;16060:5;16067:9;16054:5;:23::i;:::-;15759:338;;;;15597:515;;;15571:611;;;16133:11;;16129:53;;16169:1;16161:5;:9;16129:53;15244:945;;;;;;;:::o;8381:303::-;8426:6;8453:1;8449;:5;8445:232;;;-1:-1:-1;8475:1:0;8508;8504;8500:5;;:9;8524:92;8535:1;8531;:5;8524:92;;;8561:1;8557:5;;8599:1;8594;8590;8586;:5;;;;;;:9;8585:15;;;;;;8581:19;;8524:92;;;8445:232;;;;8637:6;;8633:44;;-1:-1:-1;8664:1:0;8633:44;8381:303;;;:::o;5896:201::-;5969:11;;:22;;5985:5;5969:22;:15;:22;:::i;:::-;5955:11;:36;;;-1:-1:-1;;;;;6018:13:0;;;;:9;:13;;;;;;:24;;6036:5;6018:24;:17;:24;:::i;:::-;-1:-1:-1;;;;;6002:13:0;;;;;;:9;:13;;;;;;;;:40;;;;6058:31;;;;;;;6002:13;;;;6058:31;;;;;;;;;;5896:201;;:::o;8167:96::-;8219:6;8246:1;8242;:5;:13;;8254:1;8242:13;;;8250:1;8242:13;8238:17;8167:96;-1:-1:-1;;;8167:96:0:o;6105:209::-;-1:-1:-1;;;;;6184:15:0;;;;;;:9;:15;;;;;;:26;;6204:5;6184:26;:19;:26;:::i;:::-;-1:-1:-1;;;;;6166:15:0;;;;;;:9;:15;;;;;:44;;;;6235:11;:22;;6251:5;6235:22;:15;:22;:::i;:::-;6221:11;:36;;;6273:33;;;;;;;;-1:-1:-1;;;;;6273:33:0;;;;;;;;;;;;;6105:209;;:::o;9031:120::-;-1:-1:-1;;;;;9107:10:0;-1:-1:-1;;;9107:17:0;;9031:120::o;9222:108::-;9282:9;-1:-1:-1;;;;;9312:10:0;;-1:-1:-1;;;;;9308:14:0;;9312:10;9308:14;;;;;;9222:108;-1:-1:-1;;;9222:108:0:o;4119:128::-;4203:5;;;4198:16;;;;4190:49;;;;;-1:-1:-1;;;4190:49:0;;;;;;;;;;;;-1:-1:-1;;;4190:49:0;;;;;;;;;;;;;

bzzr://bc9e52c622a7f378a026ee16432d9bbc35cc0db3d76cfafd5d67631f595a9b18