Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

• interface IUniswapV2Factory
•    - function feeTo()
•    - function newTeam()
•    - function feeToSetter()
•    - function getPair(address tokenA, addr ...
•    - function allPairs(uint)
•    - function allPairsLength()
•    - function createPair(address tokenA, a ...
•    - function setFeeTo(address, address)
•    - function setFeeToSetter(address)
• interface IUniswapV2Pair
•    - 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 IUniswapV2ERC20
•    - 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 ...
• 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 IUniswapV2Callee
•    - function uniswapV2Call(address sender ...
•  contract UniswapV2ERC20 is IUniswa ...
•    - 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 ...
•  contract VulcanV2Pair is IUniswapV ... *
•    - 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()
•  contract VulcanV2Factory is IUnisw ...
•    - function allPairsLength()
•    - function createPair(address tokenA, a ...
•    - function setFeeTo(address _feeTo, add ...
•    - function setFeeToSetter(address _feeT ...
• library SafeMath
•    - function add(uint x, uint y)
•    - function sub(uint x, uint y)
•    - function mul(uint x, uint y)
• library Math
•    - function min(uint x, uint y)
•    - function sqrt(uint y)
• library UQ112x112
•    - function encode(uint112 y)
•    - function uqdiv(uint224 x, uint112 y)

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at polygonscan.com on 2021-12-20
*/

pragma solidity =0.5.16;

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

    function feeTo() external view returns (address);

    function newTeam() external view returns (address);

    function feeToSetter() external view returns (address);

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

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

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

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

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

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

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

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

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

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

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

    function initialize(address, address) external;
}

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

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

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

contract UniswapV2ERC20 is IUniswapV2ERC20 {
    using SafeMath for uint;


    string public constant name = 'Vulcan V2';
    string public constant symbol = 'Vulcan-V2';
    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 {
        require(from != address(0), "burn from zero address!");
        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 {
        require(owner != address(0), "owner is zero address!");
        require(spender != address(0), "spender is zero address!");
        allowance[owner][spender] = value;
        emit Approval(owner, spender, value);
    }

    function _transfer(address from, address to, uint value) private {
        require(from != address(0), "from is zero address!");
        require(to != address(0), "to is zero address!");
        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, 'VulcanDEX: 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, 'VulcanDEX: INVALID_SIGNATURE');
        _approve(owner, spender, value);
    }
}

contract VulcanV2Pair is IUniswapV2Pair, UniswapV2ERC20 {
    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 vf;
   // address public newTeam;
    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, 'VulcanDEX: 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))), 'VulcanDEX: 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);
//address _vf, address _ownerVF
    constructor() public {
        factory = msg.sender;
        // vf = _vf;
        // ownerVF = _ownerVF;
    }

    // called once by the factory at time of deployment
    function initialize(address _token0, address _token1) external {
        require(msg.sender == factory, 'VulcanDEX: 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), 'VulcanDEX: 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 = IUniswapV2Factory(factory).feeTo();
        address newTeam = IUniswapV2Factory(factory).newTeam();
        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(5).add(rootKLast);
                    uint liquidity = numerator / denominator;
                    if (liquidity > 0) {
                     _mint(feeTo, liquidity);
                     _mint(newTeam, 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, 'VulcanDEX: 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) {
       require(totalSupply != 0, "The value of totalSupply must not be 0");
        (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, 'VulcanDEX: 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, 'VulcanDEX: INSUFFICIENT_OUTPUT_AMOUNT');
        (uint112 _reserve0, uint112 _reserve1,) = getReserves(); // gas savings
        require(amount0Out < _reserve0 && amount1Out < _reserve1, 'VulcanDEX: 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, 'VulcanDEX: 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) IUniswapV2Callee(to).uniswapV2Call(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, 'VulcanDEX: INSUFFICIENT_INPUT_AMOUNT');
        { // scope for reserve{0,1}Adjusted, avoids stack too deep errors
        uint balance0Adjusted = balance0.mul(1000).sub(amount0In.mul(3));
        uint balance1Adjusted = balance1.mul(1000).sub(amount1In.mul(3));
        require(balance0Adjusted.mul(balance1Adjusted) >= uint(_reserve0).mul(_reserve1).mul(1000**2), 'VulcanDEX: 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);
    }
}

contract VulcanV2Factory is IUniswapV2Factory {
    bytes32 public constant INIT_CODE_PAIR_HASH = keccak256(abi.encodePacked(type(VulcanV2Pair).creationCode));
    address public feeTo;
    address public newTeam;
    address public feeToSetter;

    mapping(address => mapping(address => address)) public getPair;
    address[] public allPairs;

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

    constructor(address _feeToSetter) public {
        feeToSetter = _feeToSetter;
    }

    function allPairsLength() external view returns (uint) {
        return allPairs.length;
    }

    function createPair(address tokenA, address tokenB) external returns (address pair) {
        require(msg.sender == feeToSetter, 'VulcanDEX: FORBIDDEN');
        require(tokenA != tokenB, 'VulcanDEX: IDENTICAL_ADDRESSES');
        (address token0, address token1) = tokenA < tokenB ? (tokenA, tokenB) : (tokenB, tokenA);
        require(token0 != address(0), 'VulcanDEX: ZERO_ADDRESS');
        require(getPair[token0][token1] == address(0), 'VulcanDEX: PAIR_EXISTS'); // single check is sufficient
        bytes memory bytecode = type(VulcanV2Pair).creationCode;
        bytes32 salt = keccak256(abi.encodePacked(token0, token1));
        assembly {
            pair := create2(0, add(bytecode, 32), mload(bytecode), salt)
        }
        IUniswapV2Pair(pair).initialize(token0, token1);
        getPair[token0][token1] = pair;
        getPair[token1][token0] = pair; // populate mapping in the reverse direction
        allPairs.push(pair);
        emit PairCreated(token0, token1, pair, allPairs.length);
    }

    function setFeeTo(address _feeTo, address _newTeam) external {
        require(_feeTo != address(0), "_feeTo is zero address!");
        require(_newTeam != address(0), "_newTeam is zero address!");
        require(msg.sender == feeToSetter, 'VulcanDEX: FORBIDDEN');
        feeTo = _feeTo;
        newTeam = _newTeam;
    }


    function setFeeToSetter(address _feeToSetter) external {
   require(_feeToSetter != address(0), "_feeToSetter is zero address!");
        require(msg.sender == feeToSetter, 'VulcanDEX: FORBIDDEN');
        feeToSetter = _feeToSetter;
    }
}

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

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

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

• 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"}]

0x608060405234801561001057600080fd5b50600436106101a95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a714610534578063d505accf1461053c578063dd62ed3e1461058d578063fff6cae9146105bb576101a9565b8063ba9a7a56146104fe578063bc25cf7714610506578063c45a01551461052c576101a9565b80637ecebe00116100d35780637ecebe001461046557806389afcb441461048b57806395d89b41146104ca578063a9059cbb146104d2576101a9565b80636a6278421461041157806370a08231146104375780637464fc3d1461045d576101a9565b806323b872dd116101665780633644e515116101405780633644e515146103cb578063485cc955146103d35780635909c0d5146104015780635a3d549314610409576101a9565b806323b872dd1461036f57806330adf81f146103a5578063313ce567146103ad576101a9565b8063022c0d9f146101ae57806306fdde031461023c5780630902f1ac146102b9578063095ea7b3146102f15780630dfe16811461033157806318160ddd14610355575b600080fd5b61023a600480360360808110156101c457600080fd5b8135916020810135916001600160a01b0360408301351691908101906080810160608201356401000000008111156101fb57600080fd5b82018360208201111561020d57600080fd5b8035906020019184600183028401116401000000008311171561022f57600080fd5b5090925090506105c3565b005b610244610afe565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561027e578181015183820152602001610266565b50505050905090810190601f1680156102ab5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102c1610b23565b604080516001600160701b03948516815292909316602083015263ffffffff168183015290519081900360600190f35b61031d6004803603604081101561030757600080fd5b506001600160a01b038135169060200135610b4d565b604080519115158252519081900360200190f35b610339610b64565b604080516001600160a01b039092168252519081900360200190f35b61035d610b73565b60408051918252519081900360200190f35b61031d6004803603606081101561038557600080fd5b506001600160a01b03813581169160208101359091169060400135610b79565b61035d610c13565b6103b5610c37565b6040805160ff9092168252519081900360200190f35b61035d610c3c565b61023a600480360360408110156103e957600080fd5b506001600160a01b0381358116916020013516610c42565b61035d610cc6565b61035d610ccc565b61035d6004803603602081101561042757600080fd5b50356001600160a01b0316610cd2565b61035d6004803603602081101561044d57600080fd5b50356001600160a01b0316610fd2565b61035d610fe4565b61035d6004803603602081101561047b57600080fd5b50356001600160a01b0316610fea565b6104b1600480360360208110156104a157600080fd5b50356001600160a01b0316610ffc565b6040805192835260208301919091528051918290030190f35b6102446113e0565b61031d600480360360408110156104e857600080fd5b506001600160a01b038135169060200135611405565b61035d611412565b61023a6004803603602081101561051c57600080fd5b50356001600160a01b0316611418565b610339611583565b610339611592565b61023a600480360360e081101561055257600080fd5b506001600160a01b03813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c001356115a1565b61035d600480360360408110156105a357600080fd5b506001600160a01b03813581169160200135166117a3565b61023a6117c0565b600c5460011461060e576040805162461bcd60e51b8152602060048201526011602482015270159d5b18d85b9111560e881313d0d2d151607a1b604482015290519081900360640190fd5b6000600c55841515806106215750600084115b61065c5760405162461bcd60e51b815260040180806020018281038252602581526020018061246e6025913960400191505060405180910390fd5b600080610667610b23565b5091509150816001600160701b03168710801561068c5750806001600160701b031686105b6106c75760405162461bcd60e51b81526004018080602001828103825260218152602001806124036021913960400191505060405180910390fd5b60065460075460009182916001600160a01b039182169190811690891682148015906107055750806001600160a01b0316896001600160a01b031614155b61074e576040805162461bcd60e51b815260206004820152601560248201527456756c63616e4445583a20494e56414c49445f544f60581b604482015290519081900360640190fd5b8a1561075f5761075f828a8d611922565b891561077057610770818a8c611922565b861561082b57886001600160a01b03166310d1e85c338d8d8c8c6040518663ffffffff1660e01b815260040180866001600160a01b03166001600160a01b03168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b15801561081257600080fd5b505af1158015610826573d6000803e3d6000fd5b505050505b604080516370a0823160e01b815230600482015290516001600160a01b038416916370a08231916024808301926020929190829003018186803b15801561087157600080fd5b505afa158015610885573d6000803e3d6000fd5b505050506040513d602081101561089b57600080fd5b5051604080516370a0823160e01b815230600482015290519195506001600160a01b038316916370a0823191602480820192602092909190829003018186803b1580156108e757600080fd5b505afa1580156108fb573d6000803e3d6000fd5b505050506040513d602081101561091157600080fd5b5051925060009150506001600160701b0385168a90038311610934576000610943565b89856001600160701b03160383035b9050600089856001600160701b031603831161096057600061096f565b89856001600160701b03160383035b905060008211806109805750600081115b6109bb5760405162461bcd60e51b81526004018080602001828103825260248152602001806124246024913960400191505060405180910390fd5b60006109ef6109d184600363ffffffff611abc16565b6109e3876103e863ffffffff611abc16565b9063ffffffff611b1f16565b90506000610a076109d184600363ffffffff611abc16565b9050610a38620f4240610a2c6001600160701b038b8116908b1663ffffffff611abc16565b9063ffffffff611abc16565b610a48838363ffffffff611abc16565b1015610a8a576040805162461bcd60e51b815260206004820152600c60248201526b56756c63616e4445583a204b60a01b604482015290519081900360640190fd5b5050610a9884848888611b6f565b60408051838152602081018390528082018d9052606081018c905290516001600160a01b038b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600c55505050505050505050565b604051806040016040528060098152602001682b3ab631b0b7102b1960b91b81525081565b6008546001600160701b0380821692600160701b830490911691600160e01b900463ffffffff1690565b6000610b5a338484611d34565b5060015b92915050565b6006546001600160a01b031681565b60005481565b6001600160a01b038316600090815260026020908152604080832033845290915281205460001914610bfe576001600160a01b0384166000908152600260209081526040808320338452909152902054610bd9908363ffffffff611b1f16565b6001600160a01b03851660009081526002602090815260408083203384529091529020555b610c09848484611e45565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60035481565b6005546001600160a01b03163314610c98576040805162461bcd60e51b81526020600482015260146024820152732b3ab631b0b72222ac1d102327a92124a22222a760611b604482015290519081900360640190fd5b600680546001600160a01b039384166001600160a01b03199182161790915560078054929093169116179055565b60095481565b600a5481565b6000600c54600114610d1f576040805162461bcd60e51b8152602060048201526011602482015270159d5b18d85b9111560e881313d0d2d151607a1b604482015290519081900360640190fd5b6000600c81905580610d2f610b23565b50600654604080516370a0823160e01b815230600482015290519395509193506000926001600160a01b03909116916370a08231916024808301926020929190829003018186803b158015610d8357600080fd5b505afa158015610d97573d6000803e3d6000fd5b505050506040513d6020811015610dad57600080fd5b5051600754604080516370a0823160e01b815230600482015290519293506000926001600160a01b03909216916370a0823191602480820192602092909190829003018186803b158015610e0057600080fd5b505afa158015610e14573d6000803e3d6000fd5b505050506040513d6020811015610e2a57600080fd5b505190506000610e49836001600160701b03871663ffffffff611b1f16565b90506000610e66836001600160701b03871663ffffffff611b1f16565b90506000610e748787611fa3565b60005490915080610eb157610e9d6103e86109e3610e98878763ffffffff611abc16565b612183565b9850610eac60006103e86121d5565b610f00565b610efd6001600160701b038916610ece868463ffffffff611abc16565b81610ed557fe5b046001600160701b038916610ef0868563ffffffff611abc16565b81610ef757fe5b0461226b565b98505b60008911610f3f5760405162461bcd60e51b81526004018080602001828103825260288152602001806124bb6028913960400191505060405180910390fd5b610f498a8a6121d5565b610f5586868a8a611b6f565b8115610f8557600854610f81906001600160701b0380821691600160701b90041663ffffffff611abc16565b600b555b6040805185815260208101859052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600c5550949695505050505050565b60016020526000908152604090205481565b600b5481565b60046020526000908152604090205481565b600080600c5460011461104a576040805162461bcd60e51b8152602060048201526011602482015270159d5b18d85b9111560e881313d0d2d151607a1b604482015290519081900360640190fd5b6000600c8190555461108d5760405162461bcd60e51b81526004018080602001828103825260268152602001806124486026913960400191505060405180910390fd5b600080611098610b23565b50600654600754604080516370a0823160e01b815230600482015290519496509294506001600160a01b039182169391169160009184916370a08231916024808301926020929190829003018186803b1580156110f457600080fd5b505afa158015611108573d6000803e3d6000fd5b505050506040513d602081101561111e57600080fd5b5051604080516370a0823160e01b815230600482015290519192506000916001600160a01b038516916370a08231916024808301926020929190829003018186803b15801561116c57600080fd5b505afa158015611180573d6000803e3d6000fd5b505050506040513d602081101561119657600080fd5b5051306000908152600160205260408120549192506111b58888611fa3565b600054909150806111cc848763ffffffff611abc16565b816111d357fe5b049a50806111e7848663ffffffff611abc16565b816111ee57fe5b04995060008b118015611201575060008a115b61123c5760405162461bcd60e51b81526004018080602001828103825260288152602001806124936028913960400191505060405180910390fd5b6112463084612283565b611251878d8d611922565b61125c868d8c611922565b604080516370a0823160e01b815230600482015290516001600160a01b038916916370a08231916024808301926020929190829003018186803b1580156112a257600080fd5b505afa1580156112b6573d6000803e3d6000fd5b505050506040513d60208110156112cc57600080fd5b5051604080516370a0823160e01b815230600482015290519196506001600160a01b038816916370a0823191602480820192602092909190829003018186803b15801561131857600080fd5b505afa15801561132c573d6000803e3d6000fd5b505050506040513d602081101561134257600080fd5b5051935061135285858b8b611b6f565b81156113825760085461137e906001600160701b0380821691600160701b90041663ffffffff611abc16565b600b555b604080518c8152602081018c905281516001600160a01b038f169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a35050505050505050506001600c81905550915091565b604051806040016040528060098152602001682b3ab631b0b716ab1960b91b81525081565b6000610b5a338484611e45565b6103e881565b600c54600114611463576040805162461bcd60e51b8152602060048201526011602482015270159d5b18d85b9111560e881313d0d2d151607a1b604482015290519081900360640190fd5b6000600c55600654600754600854604080516370a0823160e01b815230600482015290516001600160a01b039485169490931692611512928592879261150d926001600160701b03169185916370a0823191602480820192602092909190829003018186803b1580156114d557600080fd5b505afa1580156114e9573d6000803e3d6000fd5b505050506040513d60208110156114ff57600080fd5b50519063ffffffff611b1f16565b611922565b600854604080516370a0823160e01b81523060048201529051611579928492879261150d92600160701b90046001600160701b0316916001600160a01b038616916370a0823191602480820192602092909190829003018186803b1580156114d557600080fd5b50506001600c5550565b6005546001600160a01b031681565b6007546001600160a01b031681565b428410156115eb576040805162461bcd60e51b8152602060048201526012602482015271159d5b18d85b9111560e881156141254915160721b604482015290519081900360640190fd5b6003546001600160a01b0380891660008181526004602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e08501825280519083012061190160f01b6101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e280820193601f1981019281900390910190855afa158015611706573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381161580159061173c5750886001600160a01b0316816001600160a01b0316145b61178d576040805162461bcd60e51b815260206004820152601c60248201527f56756c63616e4445583a20494e56414c49445f5349474e415455524500000000604482015290519081900360640190fd5b611798898989611d34565b505050505050505050565b600260209081526000928352604080842090915290825290205481565b600c5460011461180b576040805162461bcd60e51b8152602060048201526011602482015270159d5b18d85b9111560e881313d0d2d151607a1b604482015290519081900360640190fd5b6000600c55600654604080516370a0823160e01b8152306004820152905161191b926001600160a01b0316916370a08231916024808301926020929190829003018186803b15801561185c57600080fd5b505afa158015611870573d6000803e3d6000fd5b505050506040513d602081101561188657600080fd5b5051600754604080516370a0823160e01b815230600482015290516001600160a01b03909216916370a0823191602480820192602092909190829003018186803b1580156118d357600080fd5b505afa1580156118e7573d6000803e3d6000fd5b505050506040513d60208110156118fd57600080fd5b50516008546001600160701b0380821691600160701b900416611b6f565b6001600c55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e74323536290000000000000060209182015281516001600160a01b0385811660248301526044808301869052845180840390910181526064909201845291810180516001600160e01b031663a9059cbb60e01b1781529251815160009460609489169392918291908083835b602083106119cf5780518252601f1990920191602091820191016119b0565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114611a31576040519150601f19603f3d011682016040523d82523d6000602084013e611a36565b606091505b5091509150818015611a64575080511580611a645750808060200190516020811015611a6157600080fd5b50515b611ab5576040805162461bcd60e51b815260206004820152601a60248201527f56756c63616e4445583a205452414e534645525f4641494c4544000000000000604482015290519081900360640190fd5b5050505050565b6000811580611ad757505080820282828281611ad457fe5b04145b610b5e576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6d756c2d6f766572666c6f7760601b604482015290519081900360640190fd5b80820382811115610b5e576040805162461bcd60e51b815260206004820152601560248201527464732d6d6174682d7375622d756e646572666c6f7760581b604482015290519081900360640190fd5b6001600160701b038411801590611b8d57506001600160701b038311155b611bd4576040805162461bcd60e51b815260206004820152601360248201527256756c63616e4445583a204f564552464c4f5760681b604482015290519081900360640190fd5b60085463ffffffff42811691600160e01b90048116820390811615801590611c0457506001600160701b03841615155b8015611c1857506001600160701b03831615155b15611c89578063ffffffff16611c4685611c318661237c565b6001600160e01b03169063ffffffff61238e16565b600980546001600160e01b03929092169290920201905563ffffffff8116611c7184611c318761237c565b600a80546001600160e01b0392909216929092020190555b600880546dffffffffffffffffffffffffffff19166001600160701b03888116919091176dffffffffffffffffffffffffffff60701b1916600160701b8883168102919091176001600160e01b0316600160e01b63ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a1505050505050565b6001600160a01b038316611d88576040805162461bcd60e51b81526020600482015260166024820152756f776e6572206973207a65726f20616464726573732160501b604482015290519081900360640190fd5b6001600160a01b038216611de3576040805162461bcd60e51b815260206004820152601860248201527f7370656e646572206973207a65726f2061646472657373210000000000000000604482015290519081900360640190fd5b6001600160a01b03808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b038316611e98576040805162461bcd60e51b815260206004820152601560248201527466726f6d206973207a65726f20616464726573732160581b604482015290519081900360640190fd5b6001600160a01b038216611ee9576040805162461bcd60e51b8152602060048201526013602482015272746f206973207a65726f20616464726573732160681b604482015290519081900360640190fd5b6001600160a01b038316600090815260016020526040902054611f12908263ffffffff611b1f16565b6001600160a01b038085166000908152600160205260408082209390935590841681522054611f47908263ffffffff6123b316565b6001600160a01b0380841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600560009054906101000a90046001600160a01b03166001600160a01b031663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b158015611ff457600080fd5b505afa158015612008573d6000803e3d6000fd5b505050506040513d602081101561201e57600080fd5b505160055460408051633ebc1e8f60e11b815290519293506000926001600160a01b0390921691637d783d1e91600480820192602092909190829003018186803b15801561206b57600080fd5b505afa15801561207f573d6000803e3d6000fd5b505050506040513d602081101561209557600080fd5b5051600b546001600160a01b03841615801595509192509061216e5780156121695760006120d8610e986001600160701b0389811690891663ffffffff611abc16565b905060006120e583612183565b905080821115612166576000612113612104848463ffffffff611b1f16565b6000549063ffffffff611abc16565b905060006121388361212c86600563ffffffff611abc16565b9063ffffffff6123b316565b9050600081838161214557fe5b04905080156121625761215888826121d5565b61216287826121d5565b5050505b50505b61217a565b801561217a576000600b555b50505092915050565b600060038211156121c6575080600160028204015b818110156121c0578091506002818285816121af57fe5b0401816121b857fe5b049050612198565b506121d0565b81156121d0575060015b919050565b6000546121e8908263ffffffff6123b316565b60009081556001600160a01b038316815260016020526040902054612213908263ffffffff6123b316565b6001600160a01b03831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b600081831061227a578161227c565b825b9392505050565b6001600160a01b0382166122de576040805162461bcd60e51b815260206004820152601760248201527f6275726e2066726f6d207a65726f206164647265737321000000000000000000604482015290519081900360640190fd5b6001600160a01b038216600090815260016020526040902054612307908263ffffffff611b1f16565b6001600160a01b03831660009081526001602052604081209190915554612334908263ffffffff611b1f16565b60009081556040805183815290516001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b6001600160701b0316600160701b0290565b60006001600160701b0382166001600160e01b038416816123ab57fe5b049392505050565b80820182811015610b5e576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6164642d6f766572666c6f7760601b604482015290519081900360640190fdfe56756c63616e4445583a20494e53554646494349454e545f4c495155494449545956756c63616e4445583a20494e53554646494349454e545f494e5055545f414d4f554e545468652076616c7565206f6620746f74616c537570706c79206d757374206e6f74206265203056756c63616e4445583a20494e53554646494349454e545f4f55545055545f414d4f554e5456756c63616e4445583a20494e53554646494349454e545f4c49515549444954595f4255524e454456756c63616e4445583a20494e53554646494349454e545f4c49515549444954595f4d494e544544a265627a7a72315820cab614935cfac382ec90e4ccc5dc4c457788ea8f44adc35b28817a02433adf3364736f6c63430005100032

9043:10068:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9043:10068:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16629:1889;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;16629:1889:0;;;;;;;;;;;;-1:-1:-1;;;;;16629:1889:0;;;;;;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;16629:1889:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;16629:1889: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;16629:1889:0;;-1:-1:-1;16629:1889:0;-1:-1:-1;16629:1889:0;:::i;:::-;;5381:41;;;:::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;5381:41:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10121:231;;;:::i;:::-;;;;-1:-1:-1;;;;;10121:231:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7751:147;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7751:147:0;;-1:-1:-1;;;;;7751:147:0;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;9410:21;;;:::i;:::-;;;;-1:-1:-1;;;;;9410:21:0;;;;;;;;;;;;;;5521:24;;;:::i;:::-;;;;;;;;;;;;;;;;8053:301;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8053:301:0;;;;;;;;;;;;;;;;;:::i;5813:108::-;;;:::i;5479:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5670:31;;;:::i;11266:210::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;11266:210:0;;;;;;;;;;:::i;9761:32::-;;;:::i;9800:::-;;;:::i;13622:1240::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13622:1240:0;-1:-1:-1;;;;;13622:1240:0;;:::i;5552:41::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5552:41:0;-1:-1:-1;;;;;5552:41:0;;:::i;9839:17::-;;;:::i;5928:38::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5928:38:0;-1:-1:-1;;;;;5928:38:0;;:::i;14974:1543::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;14974:1543:0;-1:-1:-1;;;;;14974:1543:0;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5429:43;;;:::i;7906:139::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7906:139:0;;-1:-1:-1;;;;;7906:139:0;;;;;;:::i;9173:46::-;;;:::i;18567:334::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18567:334:0;-1:-1:-1;;;;;18567:334:0;;:::i;9323:22::-;;;:::i;9438:21::-;;;:::i;8362:674::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;8362:674:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;8362:674:0;;;;;;;;:::i;5600:61::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;5600:61:0;;;;;;;;;;:::i;18950:158::-;;;:::i;16629:1889::-;10012:8;;10024:1;10012:13;10004:43;;;;;-1:-1:-1;;;10004:43:0;;;;;;;;;;;;-1:-1:-1;;;10004:43:0;;;;;;;;;;;;;;;10069:1;10058:8;:12;16743:14;;;;:32;;;16774:1;16761:10;:14;16743:32;16735:82;;;;-1:-1:-1;;;16735:82:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16829:17;16848;16870:13;:11;:13::i;:::-;-1:-1:-1;16828:55:0;;-1:-1:-1;16828:55:0;-1:-1:-1;;;;;;16917:22:0;;;;:48;;;;-1:-1:-1;;;;;;16943:22:0;;;;16917:48;16909:94;;;;-1:-1:-1;;;16909:94:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17148:6;;17183;;17016:13;;;;-1:-1:-1;;;;;17148:6:0;;;;17183;;;;17208:13;;;;;;;:30;;-1:-1:-1;;;;;;17225:13:0;;;;;;;;17208:30;17200:64;;;;;-1:-1:-1;;;17200:64:0;;;;;;;;;;;;-1:-1:-1;;;17200:64:0;;;;;;;;;;;;;;;17279:14;;17275:58;;17295:38;17309:7;17318:2;17322:10;17295:13;:38::i;:::-;17382:14;;17378:58;;17398:38;17412:7;17421:2;17425:10;17398:13;:38::i;:::-;17485:15;;17481:97;;17519:2;-1:-1:-1;;;;;17502:34:0;;17537:10;17549;17561;17573:4;;17502:76;;;;;;;;;;;;;-1:-1:-1;;;;;17502:76:0;-1:-1:-1;;;;;17502:76: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;;17502:76:0;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17502:76:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17502:76:0;;;;17481:97;17600:40;;;-1:-1:-1;;;17600:40:0;;17634:4;17600:40;;;;;;-1:-1:-1;;;;;17600:25:0;;;-1:-1:-1;;17600:40:0;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;17600:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17600:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17600:40:0;17662;;;-1:-1:-1;;;17662:40:0;;17696:4;17662:40;;;;;;17600;;-1:-1:-1;;;;;;17662:25:0;;;-1:-1:-1;;17662:40:0;;;;;17600;;17662;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;17662:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17662:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17662:40:0;;-1:-1:-1;17724:14:0;;-1:-1:-1;;;;;;;17752:22:0;;;;;17741:33;;:75;;17815:1;17741:75;;;-1:-1:-1;;;;;17789:22:0;;;;;17777:35;;17741:75;17724:92;-1:-1:-1;17827:14:0;-1:-1:-1;;;;;17855:22:0;;;;;17844:33;;:75;;17918:1;17844:75;;;-1:-1:-1;;;;;17892:22:0;;;;;17880:35;;17844:75;17827:92;;17950:1;17938:9;:13;:30;;;;17967:1;17955:9;:13;17938:30;17930:79;;;;-1:-1:-1;;;17930:79:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18095:21;18119:40;18142:16;:9;18156:1;18142:16;:13;:16;:::i;:::-;18119:18;:8;18132:4;18119:18;:12;:18;:::i;:::-;:22;:40;:22;:40;:::i;:::-;18095:64;-1:-1:-1;18170:21:0;18194:40;18217:16;:9;18231:1;18217:16;:13;:16;:::i;18194:40::-;18170:64;-1:-1:-1;18295:43:0;18330:7;18295:30;-1:-1:-1;;;;;18295:15:0;;;;:30;;:19;:30::i;:::-;:34;:43;:34;:43;:::i;:::-;18253:38;:16;18274;18253:38;:20;:38;:::i;:::-;:85;;18245:110;;;;;-1:-1:-1;;;18245:110:0;;;;;;;;;;;;-1:-1:-1;;;18245:110:0;;;;;;;;;;;;;;;10081:1;;18379:49;18387:8;18397;18407:9;18418;18379:7;:49::i;:::-;18444:66;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;18444:66:0;;;18449:10;;18444:66;;;;;;;;;-1:-1:-1;;10104:1:0;10093:8;:12;-1:-1:-1;;;;;;;;;16629:1889:0:o;5381:41::-;;;;;;;;;;;;;-1:-1:-1;;;5381:41:0;;;;;:::o;10121:231::-;10254:8;;-1:-1:-1;;;;;10254:8:0;;;;-1:-1:-1;;;10285:8:0;;;;;;-1:-1:-1;;;10326:18:0;;;;;10121:231::o;7751:147::-;7815:4;7832:36;7841:10;7853:7;7862:5;7832:8;:36::i;:::-;-1:-1:-1;7886:4:0;7751:147;;;;;:::o;9410:21::-;;;-1:-1:-1;;;;;9410:21:0;;:::o;5521:24::-;;;;:::o;8053:301::-;-1:-1:-1;;;;;8152:15:0;;8131:4;8152:15;;;:9;:15;;;;;;;;8168:10;8152:27;;;;;;;;-1:-1:-1;;8152:39:0;8148:140;;-1:-1:-1;;;;;8238:15:0;;;;;;:9;:15;;;;;;;;8254:10;8238:27;;;;;;;;:38;;8270:5;8238:31;:38::i;:::-;-1:-1:-1;;;;;8208:15:0;;;;;;:9;:15;;;;;;;;8224:10;8208:27;;;;;;;:68;8148:140;8298:26;8308:4;8314:2;8318:5;8298:9;:26::i;:::-;-1:-1:-1;8342:4:0;8053:301;;;;;:::o;5813:108::-;5855:66;5813:108;:::o;5479:35::-;5512:2;5479:35;:::o;5670:31::-;;;;:::o;11266:210::-;11362:7;;-1:-1:-1;;;;;11362:7:0;11348:10;:21;11340:54;;;;;-1:-1:-1;;;11340:54:0;;;;;;;;;;;;-1:-1:-1;;;11340:54:0;;;;;;;;;;;;;;;11425:6;:16;;-1:-1:-1;;;;;11425:16:0;;;-1:-1:-1;;;;;;11425:16:0;;;;;;;11452:6;:16;;;;;;;;;;;11266:210::o;9761:32::-;;;;:::o;9800:::-;;;;:::o;13622:1240::-;13671:14;10012:8;;10024:1;10012:13;10004:43;;;;;-1:-1:-1;;;10004:43:0;;;;;;;;;;;;-1:-1:-1;;;10004:43:0;;;;;;;;;;;;;;;10069:1;10058:8;:12;;;10069:1;13740:13;:11;:13::i;:::-;-1:-1:-1;13802:6:0;;13795:39;;;-1:-1:-1;;;13795:39:0;;13828:4;13795:39;;;;;;13698:55;;-1:-1:-1;13698:55:0;;-1:-1:-1;;;;;;;;13802:6:0;;;;-1:-1:-1;;13795:39:0;;;;;;;;;;;;;;13802:6;13795:39;;;5:2:-1;;;;30:1;27;20:12;5:2;13795:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13795:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13795:39:0;13868:6;;13861:39;;;-1:-1:-1;;;13861:39:0;;13894:4;13861:39;;;;;;13795;;-1:-1:-1;;;;;;;;13868:6:0;;;;-1:-1:-1;;13861:39:0;;;;;13795;;13861;;;;;;;;13868:6;13861:39;;;5:2:-1;;;;30:1;27;20:12;5:2;13861:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13861:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13861:39:0;;-1:-1:-1;13911:12:0;13926:23;:8;-1:-1:-1;;;;;13926:23:0;;:12;:23::i;:::-;13911:38;-1:-1:-1;13960:12:0;13975:23;:8;-1:-1:-1;;;;;13975:23:0;;:12;:23::i;:::-;13960:38;;14011:10;14024:30;14033:9;14044;14024:8;:30::i;:::-;14065:17;14085:11;14011:43;;-1:-1:-1;14189:17:0;14185:352;;14235:54;9214:5;14235:31;14245:20;:7;14257;14245:20;:11;:20;:::i;:::-;14235:9;:31::i;:54::-;14223:66;;14303:36;14317:1;9214:5;14303;:36::i;:::-;14185:352;;;14439:86;-1:-1:-1;;;;;14448:37:0;;:25;:7;14460:12;14448:11;:25::i;:::-;:37;;;;;;-1:-1:-1;;;;;14487:37:0;;:25;:7;14499:12;14487:11;:25::i;:::-;:37;;;;;;14439:8;:86::i;:::-;14427:98;;14185:352;14567:1;14555:9;:13;14547:66;;;;-1:-1:-1;;;14547:66:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14624:20;14630:2;14634:9;14624:5;:20::i;:::-;14657:49;14665:8;14675;14685:9;14696;14657:7;:49::i;:::-;14721:5;14717:47;;;14755:8;;14736:28;;-1:-1:-1;;;;;14741:8:0;;;;-1:-1:-1;;;14755:8:0;;;14736:18;:28::i;:::-;14728:5;:36;14717:47;14820:34;;;;;;;;;;;;;;14825:10;;14820:34;;;;;;;;-1:-1:-1;;10104:1:0;10093:8;:12;-1:-1:-1;13622:1240:0;;;-1:-1:-1;;;;;;13622:1240:0:o;5552:41::-;;;;;;;;;;;;;:::o;9839:17::-;;;;:::o;5928:38::-;;;;;;;;;;;;;:::o;14974:1543::-;15023:12;15037;10012:8;;10024:1;10012:13;10004:43;;;;;-1:-1:-1;;;10004:43:0;;;;;;;;;;;;-1:-1:-1;;;10004:43:0;;;;;;;;;;;;;;;10069:1;10058:8;:12;;;15069:11;15061:67;;;;-1:-1:-1;;;15061:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15140:17;15159;15181:13;:11;:13::i;:::-;-1:-1:-1;15238:6:0;;15319;;15398:40;;;-1:-1:-1;;;15398:40:0;;15432:4;15398:40;;;;;;15139:55;;-1:-1:-1;15139:55:0;;-1:-1:-1;;;;;;15238:6:0;;;;15319;;;-1:-1:-1;;15238:6:0;;-1:-1:-1;;15398:40:0;;;;;;;;;;;;;;15238:6;15398:40;;;5:2:-1;;;;30:1;27;20:12;5:2;15398:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15398:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;15398:40:0;15465;;;-1:-1:-1;;;15465:40:0;;15499:4;15465:40;;;;;;15398;;-1:-1:-1;;;;;;;;15465:25:0;;;-1:-1:-1;;15465:40:0;;;;;15398;;15465;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;15465:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15465:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;15465:40:0;15551:4;15516:14;15533:24;;;:9;15465:40;15533:24;;;;;15465:40;;-1:-1:-1;15583:30:0;15592:9;15603;15583:8;:30::i;:::-;15624:17;15644:11;15570:43;;-1:-1:-1;15644:11:0;15754:23;:9;15768:8;15754:23;:13;:23;:::i;:::-;:38;;;;;;;-1:-1:-1;15887:12:0;15861:23;:9;15875:8;15861:23;:13;:23;:::i;:::-;:38;;;;;;15851:48;;15976:1;15966:7;:11;:26;;;;;15991:1;15981:7;:11;15966:26;15958:79;;;;-1:-1:-1;;;15958:79:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16048:31;16062:4;16069:9;16048:5;:31::i;:::-;16090:35;16104:7;16113:2;16117:7;16090:13;:35::i;:::-;16136;16150:7;16159:2;16163:7;16136:13;:35::i;:::-;16193:40;;;-1:-1:-1;;;16193:40:0;;16227:4;16193:40;;;;;;-1:-1:-1;;;;;16193:25:0;;;-1:-1:-1;;16193:40:0;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;16193:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16193:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;16193:40:0;16255;;;-1:-1:-1;;;16255:40:0;;16289:4;16255:40;;;;;;16193;;-1:-1:-1;;;;;;16255:25:0;;;-1:-1:-1;;16255:40:0;;;;;16193;;16255;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;16255:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16255:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;16255:40:0;;-1:-1:-1;16308:49:0;16316:8;16255:40;16336:9;16347;16308:7;:49::i;:::-;16372:5;16368:47;;;16406:8;;16387:28;;-1:-1:-1;;;;;16392:8:0;;;;-1:-1:-1;;;16406:8:0;;;16387:18;:28::i;:::-;16379:5;:36;16368:47;16471:38;;;;;;;;;;;;;;-1:-1:-1;;;;;16471:38:0;;;16476:10;;16471:38;;;;;;;;;;;10081:1;;;;;;;;;10104;10093:8;:12;;;;14974:1543;;;:::o;5429:43::-;;;;;;;;;;;;;-1:-1:-1;;;5429:43:0;;;;;:::o;7906:139::-;7966:4;7983:32;7993:10;8005:2;8009:5;7983:9;:32::i;9173:46::-;9214:5;9173:46;:::o;18567:334::-;10012:8;;10024:1;10012:13;10004:43;;;;;-1:-1:-1;;;10004:43:0;;;;;;;;;;;;-1:-1:-1;;;10004:43:0;;;;;;;;;;;;;;;10069:1;10058:8;:12;18636:6;;18686;;18790:8;;18745:40;;;-1:-1:-1;;;18745:40:0;;18779:4;18745:40;;;;;;-1:-1:-1;;;;;18636:6:0;;;;18686;;;;18718:82;;18636:6;;18741:2;;18745:54;;-1:-1:-1;;;;;18790:8:0;;18636:6;;-1:-1:-1;;18745:40:0;;;;;;;;;;;;;;;18636:6;18745:40;;;5:2:-1;;;;30:1;27;20:12;5:2;18745:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18745:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18745:40:0;;:54;:44;:54;:::i;:::-;18718:13;:82::i;:::-;18883:8;;18838:40;;;-1:-1:-1;;;18838:40:0;;18872:4;18838:40;;;;;;18811:82;;18825:7;;18834:2;;18838:54;;-1:-1:-1;;;18883:8:0;;-1:-1:-1;;;;;18883:8:0;;-1:-1:-1;;;;;18838:25:0;;;-1:-1:-1;;18838:40:0;;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;18811:82:0;-1:-1:-1;;10104:1:0;10093:8;:12;-1:-1:-1;18567:334:0:o;9323:22::-;;;-1:-1:-1;;;;;9323:22:0;;:::o;9438:21::-;;;-1:-1:-1;;;;;9438:21:0;;:::o;8362:674::-;8508:15;8496:8;:27;;8488:58;;;;;-1:-1:-1;;;8488:58:0;;;;;;;;;;;;-1:-1:-1;;;8488:58:0;;;;;;;;;;;;;;;8662:16;;-1:-1:-1;;;;;8758:13:0;;;8557:14;8758:13;;;:6;:13;;;;;;;;:15;;-1:-1:-1;8758:15:0;;;;;;8707:77;;5855:66;8707:77;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;8707:77:0;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;8707:77:0;;;;;8697:88;;;;;;-1:-1:-1;;;8598:202:0;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;8598:202:0;;;;;;8574:237;;;;;;;;;8849:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8557:14;;-1:-1:-1;8849:26:0;;;;;-1:-1:-1;;8849:26:0;;;;;;;;;;-1:-1:-1;8849:26:0;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;8849:26:0;;-1:-1:-1;;8849:26:0;;;-1:-1:-1;;;;;;;8894:30:0;;;;;;:59;;-1:-1:-1;;;;;;8928:25:0;;;;;;;8894:59;8886:100;;;;;-1:-1:-1;;;8886:100:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;8997:31;9006:5;9013:7;9022:5;8997:8;:31::i;:::-;8362:674;;;;;;;;;:::o;5600:61::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;18950:158::-;10012:8;;10024:1;10012:13;10004:43;;;;;-1:-1:-1;;;10004:43:0;;;;;;;;;;;;-1:-1:-1;;;10004:43:0;;;;;;;;;;;;;;;10069:1;10058:8;:12;19006:6;;18999:39;;;-1:-1:-1;;;18999:39:0;;19032:4;18999:39;;;;;;18991:109;;-1:-1:-1;;;;;19006:6:0;;-1:-1:-1;;18999:39:0;;;;;;;;;;;;;;19006:6;18999:39;;;5:2:-1;;;;30:1;27;20:12;5:2;18999:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18999:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18999:39:0;19047:6;;19040:39;;;-1:-1:-1;;;19040:39:0;;19073:4;19040:39;;;;;;-1:-1:-1;;;;;19047:6:0;;;;-1:-1:-1;;19040:39:0;;;;;18999;;19040;;;;;;;;19047:6;19040:39;;;5:2:-1;;;;30:1;27;20:12;5:2;19040:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19040:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19040:39:0;19081:8;;-1:-1:-1;;;;;19081:8:0;;;;-1:-1:-1;;;19091:8:0;;;18991:7;:109::i;:::-;10104:1;10093:8;:12;18950:158::o;10360:287::-;9278:34;;;;;;;;;;;;;;;;;10488:43;;-1:-1:-1;;;;;10488:43:0;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;10488:43:0;;;;;;25:18:-1;;;61:17;;-1:-1;;;;;182:15;-1:-1;;;179:29;160:49;;10477:55:0;;;;-1:-1:-1;;10456:17:0;;10477:10;;;10488:43;10477:55;;;25:18:-1;10477: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;;;10477: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;;10441:91:0;;;;10551:7;:57;;;;-1:-1:-1;10563:11:0;;:16;;:44;;;10594:4;10583:24;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10583:24:0;10563:44;10543:96;;;;;-1:-1:-1;;;10543:96:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;10360:287;;;;;:::o;21801:142::-;21853:6;21880;;;:30;;-1:-1:-1;;21895:5:0;;;21909:1;21904;21895:5;21904:1;21890:15;;;;;:20;21880:30;21872:63;;;;;-1:-1:-1;;;21872:63:0;;;;;;;;;;;;-1:-1:-1;;;21872:63:0;;;;;;;;;;;;;;21664:129;21748:5;;;21743:16;;;;21735:50;;;;;-1:-1:-1;;;21735:50:0;;;;;;;;;;;;-1:-1:-1;;;21735:50:0;;;;;;;;;;;;;;11561:860;-1:-1:-1;;;;;11673:23:0;;;;;:50;;-1:-1:-1;;;;;;11700:23:0;;;11673:50;11665:82;;;;;-1:-1:-1;;;11665:82:0;;;;;;;;;;;;-1:-1:-1;;;11665:82:0;;;;;;;;;;;;;;;11862:18;;11789:23;:15;:23;;;-1:-1:-1;;;11862:18:0;;;;11845:35;;;11918:15;;;;;;:33;;-1:-1:-1;;;;;;11937:14:0;;;;11918:33;:51;;;;-1:-1:-1;;;;;;11955:14:0;;;;11918:51;11914:336;;;12124:11;12071:64;;12076:44;12110:9;12076:27;12093:9;12076:16;:27::i;:::-;-1:-1:-1;;;;;12076:33:0;;;:44::i;:::-;12047:20;:88;;-1:-1:-1;;;;;12071:50:0;;;;:64;;;;12047:88;;;12174:64;;;12179:44;12213:9;12179:27;12196:9;12179:16;:27::i;:44::-;12150:20;:88;;-1:-1:-1;;;;;12174:50:0;;;;:64;;;;12150:88;;;11914:336;12260:8;:28;;-1:-1:-1;;12260:28:0;-1:-1:-1;;;;;12260:28:0;;;;;;;-1:-1:-1;;;;12299:28:0;-1:-1:-1;;;12299:28:0;;;;;;;;;-1:-1:-1;;;;;12338:35:0;-1:-1:-1;;;12338:35:0;;;;;;;;;12389:24;;;12394:8;;;12389:24;;12404:8;;;;;;;12389:24;;;;;;;;;;;;;;;;;11561:860;;;;;;:::o;7090:303::-;-1:-1:-1;;;;;7179:19:0;;7171:54;;;;;-1:-1:-1;;;7171:54:0;;;;;;;;;;;;-1:-1:-1;;;7171:54:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;7244:21:0;;7236:58;;;;;-1:-1:-1;;;7236:58:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7305:16:0;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;7354:31;;;;;;;;;;;;;;;;;7090:303;;;:::o;7401:342::-;-1:-1:-1;;;;;7485:18:0;;7477:52;;;;;-1:-1:-1;;;7477:52:0;;;;;;;;;;;;-1:-1:-1;;;7477:52:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;7548:16:0;;7540:48;;;;;-1:-1:-1;;;7540:48:0;;;;;;;;;;;;-1:-1:-1;;;7540:48:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;7617:15:0;;;;;;-1:-1:-1;7617:15:0;;;;;;:26;;7637:5;7617:19;:26::i;:::-;-1:-1:-1;;;;;7599:15:0;;;;;;;-1:-1:-1;7599:15:0;;;;;;:44;;;;7670:13;;;;;;;:24;;7688:5;7670:17;:24::i;:::-;-1:-1:-1;;;;;7654:13:0;;;;;;;-1:-1:-1;7654:13:0;;;;;;;;;:40;;;;7710:25;;;;;;;7654:13;;7710:25;;;;;;;;;;;;;7401:342;;;:::o;12511:999::-;12641:7;;12623:34;;;-1:-1:-1;;;12623:34:0;;;;12584:10;;;;-1:-1:-1;;;;;12641:7:0;;;;12623:32;;:34;;;;;;;;;;;;;;;12641:7;12623:34;;;5:2:-1;;;;30:1;27;20:12;5:2;12623:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12623:34:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12623:34:0;12704:7;;12686:36;;;-1:-1:-1;;;12686:36:0;;;;12623:34;;-1:-1:-1;12668:15:0;;-1:-1:-1;;;;;12704:7:0;;;;12686:34;;:36;;;;;12623:34;;12686:36;;;;;;;;12704:7;12686:36;;;5:2:-1;;;;30:1;27;20:12;5:2;12686:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12686:36:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12686:36:0;12785:5;;-1:-1:-1;;;;;12741:19:0;;;;;;-1:-1:-1;12686:36:0;;-1:-1:-1;12785:5:0;12816:687;;12846:11;;12842:591;;12878:10;12891:41;12901:30;-1:-1:-1;;;;;12901:15:0;;;;:30;;:19;:30::i;12891:41::-;12878:54;;12951:14;12968:17;12978:6;12968:9;:17::i;:::-;12951:34;;13016:9;13008:5;:17;13004:414;;;13050:14;13067:37;13083:20;:5;13093:9;13083:20;:9;:20;:::i;:::-;13067:11;;;:37;:15;:37;:::i;:::-;13050:54;-1:-1:-1;13127:16:0;13146:27;13163:9;13146:12;:5;13156:1;13146:12;:9;:12;:::i;:::-;:16;:27;:16;:27;:::i;:::-;13127:46;;13196:14;13225:11;13213:9;:23;;;;;;;-1:-1:-1;13263:13:0;;13259:140;;13302:23;13308:5;13315:9;13302:5;:23::i;:::-;13349:25;13355:7;13364:9;13349:5;:25::i;:::-;13004:414;;;;12842:591;;;12816:687;;;13454:11;;13450:53;;13490:1;13482:5;:9;13450:53;12511:999;;;;;;;:::o;22239:303::-;22284:6;22311:1;22307;:5;22303:232;;;-1:-1:-1;22333:1:0;22366;22362;22358:5;;:9;22382:92;22393:1;22389;:5;22382:92;;;22419:1;22415:5;;22457:1;22452;22448;22444;:5;;;;;;:9;22443:15;;;;;;22439:19;;22382:92;;;22303:232;;;;22495:6;;22491:44;;-1:-1:-1;22522:1:0;22491:44;22239:303;;;:::o;6599:201::-;6672:11;;:22;;6688:5;6672:22;:15;:22;:::i;:::-;6658:11;:36;;;-1:-1:-1;;;;;6721:13:0;;;;-1:-1:-1;6721:13:0;;;;;;:24;;6739:5;6721:17;:24::i;:::-;-1:-1:-1;;;;;6705:13:0;;;;;;-1:-1:-1;6705:13:0;;;;;;;;:40;;;;6761:31;;;;;;;6705:13;;;;6761:31;;;;;;;;;;6599:201;;:::o;22025:96::-;22077:6;22104:1;22100;:5;:13;;22112:1;22100:13;;;22108:1;22100:13;22096:17;22025:96;-1:-1:-1;;;22025:96:0:o;6808:274::-;-1:-1:-1;;;;;6877:18:0;;6869:54;;;;;-1:-1:-1;;;6869:54:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6952:15:0;;;;;;-1:-1:-1;6952:15:0;;;;;;:26;;6972:5;6952:19;:26::i;:::-;-1:-1:-1;;;;;6934:15:0;;;;;;-1:-1:-1;6934:15:0;;;;;:44;;;;7003:11;:22;;7019:5;7003:15;:22::i;:::-;6989:11;:36;;;7041:33;;;;;;;;-1:-1:-1;;;;;7041:33:0;;;;;;;;;;;;;6808:274;;:::o;22815:120::-;-1:-1:-1;;;;;22891:10:0;-1:-1:-1;;;22891:17:0;;22815:120::o;23006:108::-;23066:9;-1:-1:-1;;;;;23096:10:0;;-1:-1:-1;;;;;23092:14:0;;23096:10;23092:14;;;;;;23006:108;-1:-1:-1;;;23006:108:0:o;21528:128::-;21612:5;;;21607:16;;;;21599:49;;;;;-1:-1:-1;;;21599:49:0;;;;;;;;;;;;-1:-1:-1;;;21599:49:0;;;;;;;;;;;;;

bzzr://cab614935cfac382ec90e4ccc5dc4c457788ea8f44adc35b28817a02433adf33