Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

// SPDX-License-Identifier: GPL-3.0
pragma solidity =0.5.16;

import './ISharkyPair.sol';
import './SharkyERC20.sol';
import './Math.sol';
import './UQ112x112.sol';
import './IERC20.sol';
import './ISharkyFactory.sol';
import './ISharkyCallee.sol';

contract SharkyPair is ISharkyPair, SharkyERC20 {
    using SafeMath  for uint;
    using UQ112x112 for uint224;

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

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

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

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

    uint private unlocked = 1;
    modifier lock() {
        require(unlocked == 1, 'Sharky: 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))), 'Sharky: 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, 'Sharky: 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), 'Sharky: 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 8/25 of the growth in sqrt(k)
    function _mintFee(uint112 _reserve0, uint112 _reserve1) private returns (bool feeOn) {
        address feeTo = ISharkyFactory(factory).feeTo();
        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)).mul(8);
                    uint denominator = rootK.mul(17).add(rootKLast.mul(8));
                    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, 'Sharky: 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, 'Sharky: 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, 'Sharky: INSUFFICIENT_OUTPUT_AMOUNT');
        (uint112 _reserve0, uint112 _reserve1,) = getReserves(); // gas savings
        require(amount0Out < _reserve0 && amount1Out < _reserve1, 'Sharky: 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, 'Sharky: 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) ISharkyCallee(to).sharkyCall(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, 'Sharky: INSUFFICIENT_INPUT_AMOUNT');
        { // scope for reserve{0,1}Adjusted, avoids stack too deep errors
        uint balance0Adjusted = (balance0.mul(10000).sub(amount0In.mul(25)));
        uint balance1Adjusted = (balance1.mul(10000).sub(amount1In.mul(25)));
        require(balance0Adjusted.mul(balance1Adjusted) >= uint(_reserve0).mul(_reserve1).mul(10000**2), 'Sharky: 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);
    }
}

// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.5.0;

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

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

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

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

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

    function transferFrom(
        address from,
        address to,
        uint256 value
    ) external returns (bool);
}

// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.5.0;

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

// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.5.0;

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

    function name() external pure returns (string memory);

    function symbol() external pure returns (string memory);

    function decimals() external pure returns (uint8);

    function totalSupply() external view returns (uint256);

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

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

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

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

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

    function DOMAIN_SEPARATOR() external view returns (bytes32);

    function PERMIT_TYPEHASH() external pure returns (bytes32);

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

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

// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.5.0;

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

    function feeTo() external view returns (address);

    function feeToSetter() external view returns (address);

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

    function allPairs(uint256) external view returns (address pair);

    function allPairsLength() external view returns (uint256);

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

    function setFeeTo(address) external;

    function setFeeToSetter(address) external;

    function INIT_CODE_PAIR_HASH() external view returns (bytes32);
}

// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.5.0;

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

    function name() external pure returns (string memory);

    function symbol() external pure returns (string memory);

    function decimals() external pure returns (uint8);

    function totalSupply() external view returns (uint256);

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

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

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

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

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

    function DOMAIN_SEPARATOR() external view returns (bytes32);

    function PERMIT_TYPEHASH() external pure returns (bytes32);

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

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

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

    function MINIMUM_LIQUIDITY() external pure returns (uint256);

    function factory() external view returns (address);

    function token0() external view returns (address);

    function token1() external view returns (address);

    function getReserves()
        external
        view
        returns (
            uint112 reserve0,
            uint112 reserve1,
            uint32 blockTimestampLast
        );

    function price0CumulativeLast() external view returns (uint256);

    function price1CumulativeLast() external view returns (uint256);

    function kLast() external view returns (uint256);

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

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

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

    function skim(address to) external;

    function sync() external;

    function initialize(address, address) external;
}

// SPDX-License-Identifier: GPL-3.0
pragma solidity =0.5.16;

// a library for performing various math operations

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

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

// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.5.0 <0.7.0;

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

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

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

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

// SPDX-License-Identifier: GPL-3.0
pragma solidity =0.5.16;

import "./ISharkyERC20.sol";
import "./SafeMath.sol";

contract SharkyERC20 is ISharkyERC20 {
    using SafeMath for uint256;

    string public constant name = "Sharky LPs";
    string public constant symbol = "Sharky-LP";
    uint8 public constant decimals = 18;
    uint256 public totalSupply;
    mapping(address => uint256) public balanceOf;
    mapping(address => mapping(address => uint256)) public allowance;

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

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

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

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

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

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

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

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

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

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

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

// SPDX-License-Identifier: GPL-3.0
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);
    }
}

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

0x608060405234801561001057600080fd5b50600436106101b95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a7146105da578063d505accf146105e2578063dd62ed3e14610640578063fff6cae91461067b576101b9565b8063ba9a7a5614610597578063bc25cf771461059f578063c45a0155146105d2576101b9565b80637ecebe00116100d35780637ecebe00146104d757806389afcb441461050a57806395d89b4114610556578063a9059cbb1461055e576101b9565b80636a6278421461046957806370a082311461049c5780637464fc3d146104cf576101b9565b806323b872dd116101665780633644e515116101405780633644e51514610416578063485cc9551461041e5780635909c0d5146104595780635a3d549314610461576101b9565b806323b872dd146103ad57806330adf81f146103f0578063313ce567146103f8576101b9565b8063095ea7b311610197578063095ea7b3146103155780630dfe16811461036257806318160ddd14610393576101b9565b8063022c0d9f146101be57806306fdde03146102595780630902f1ac146102d6575b600080fd5b610257600480360360808110156101d457600080fd5b81359160208101359173ffffffffffffffffffffffffffffffffffffffff604083013516919081019060808101606082013564010000000081111561021857600080fd5b82018360208201111561022a57600080fd5b8035906020019184600183028401116401000000008311171561024c57600080fd5b509092509050610683565b005b610261610d6e565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561029b578181015183820152602001610283565b50505050905090810190601f1680156102c85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102de610da7565b604080516dffffffffffffffffffffffffffff948516815292909316602083015263ffffffff168183015290519081900360600190f35b61034e6004803603604081101561032b57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610dfc565b604080519115158252519081900360200190f35b61036a610e13565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b61039b610e2f565b60408051918252519081900360200190f35b61034e600480360360608110156103c357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060400135610e35565b61039b610f14565b610400610f38565b6040805160ff9092168252519081900360200190f35b61039b610f3d565b6102576004803603604081101561043457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516610f43565b61039b61101c565b61039b611022565b61039b6004803603602081101561047f57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611028565b61039b600480360360208110156104b257600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166113e2565b61039b6113f4565b61039b600480360360208110156104ed57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166113fa565b61053d6004803603602081101561052057600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661140c565b6040805192835260208301919091528051918290030190f35b6102616118a9565b61034e6004803603604081101561057457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356118e2565b61039b6118ef565b610257600480360360208110156105b557600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166118f5565b61036a611aeb565b61036a611b07565b610257600480360360e08110156105f857600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135611b23565b61039b6004803603604081101561065657600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516611def565b610257611e0c565b600c546001146106f457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f536861726b793a204c4f434b4544000000000000000000000000000000000000604482015290519081900360640190fd5b6000600c55841515806107075750600084115b61075c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180612b5b6022913960400191505060405180910390fd5b600080610767610da7565b5091509150816dffffffffffffffffffffffffffff168710801561079a5750806dffffffffffffffffffffffffffff1686105b61080557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f536861726b793a20494e53554646494349454e545f4c49515549444954590000604482015290519081900360640190fd5b600654600754600091829173ffffffffffffffffffffffffffffffffffffffff91821691908116908916821480159061086a57508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b6108d557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f536861726b793a20494e56414c49445f544f0000000000000000000000000000604482015290519081900360640190fd5b8a156108e6576108e6828a8d611ff2565b89156108f7576108f7818a8c611ff2565b86156109d9578873ffffffffffffffffffffffffffffffffffffffff1663926c4f5b338d8d8c8c6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b1580156109c057600080fd5b505af11580156109d4573d6000803e3d6000fd5b505050505b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8416916370a08231916024808301926020929190829003018186803b158015610a4557600080fd5b505afa158015610a59573d6000803e3d6000fd5b505050506040513d6020811015610a6f57600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191955073ffffffffffffffffffffffffffffffffffffffff8316916370a0823191602480820192602092909190829003018186803b158015610ae157600080fd5b505afa158015610af5573d6000803e3d6000fd5b505050506040513d6020811015610b0b57600080fd5b5051925060009150506dffffffffffffffffffffffffffff85168a90038311610b35576000610b4b565b89856dffffffffffffffffffffffffffff160383035b9050600089856dffffffffffffffffffffffffffff16038311610b6f576000610b85565b89856dffffffffffffffffffffffffffff160383035b90506000821180610b965750600081115b610beb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612b7d6021913960400191505060405180910390fd5b6000610c1f610c0184601963ffffffff6121ff16565b610c138761271063ffffffff6121ff16565b9063ffffffff61228516565b90506000610c37610c0184601963ffffffff6121ff16565b9050610c706305f5e100610c646dffffffffffffffffffffffffffff8b8116908b1663ffffffff6121ff16565b9063ffffffff6121ff16565b610c80838363ffffffff6121ff16565b1015610ced57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f536861726b793a204b0000000000000000000000000000000000000000000000604482015290519081900360640190fd5b5050610cfb848488886122f7565b60408051838152602081018390528082018d9052606081018c9052905173ffffffffffffffffffffffffffffffffffffffff8b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600c55505050505050505050565b6040518060400160405280600a81526020017f536861726b79204c50730000000000000000000000000000000000000000000081525081565b6008546dffffffffffffffffffffffffffff808216926e0100000000000000000000000000008304909116917c0100000000000000000000000000000000000000000000000000000000900463ffffffff1690565b6000610e093384846125b3565b5060015b92915050565b60065473ffffffffffffffffffffffffffffffffffffffff1681565b60005481565b73ffffffffffffffffffffffffffffffffffffffff831660009081526002602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff14610eff5773ffffffffffffffffffffffffffffffffffffffff84166000908152600260209081526040808320338452909152902054610ecd908363ffffffff61228516565b73ffffffffffffffffffffffffffffffffffffffff851660009081526002602090815260408083203384529091529020555b610f0a848484612622565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60035481565b60055473ffffffffffffffffffffffffffffffffffffffff163314610fc957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f536861726b793a20464f5242494444454e000000000000000000000000000000604482015290519081900360640190fd5b6006805473ffffffffffffffffffffffffffffffffffffffff9384167fffffffffffffffffffffffff00000000000000000000000000000000000000009182161790915560078054929093169116179055565b60095481565b600a5481565b6000600c5460011461109b57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f536861726b793a204c4f434b4544000000000000000000000000000000000000604482015290519081900360640190fd5b6000600c819055806110ab610da7565b50600654604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905193955091935060009273ffffffffffffffffffffffffffffffffffffffff909116916370a08231916024808301926020929190829003018186803b15801561112557600080fd5b505afa158015611139573d6000803e3d6000fd5b505050506040513d602081101561114f57600080fd5b5051600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905192935060009273ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b1580156111c857600080fd5b505afa1580156111dc573d6000803e3d6000fd5b505050506040513d60208110156111f257600080fd5b505190506000611218836dffffffffffffffffffffffffffff871663ffffffff61228516565b9050600061123c836dffffffffffffffffffffffffffff871663ffffffff61228516565b9050600061124a8787612703565b60005490915080611287576112736103e8610c1361126e878763ffffffff6121ff16565b6128a4565b985061128260006103e86128f6565b6112e4565b6112e16dffffffffffffffffffffffffffff89166112ab868463ffffffff6121ff16565b816112b257fe5b046dffffffffffffffffffffffffffff89166112d4868563ffffffff6121ff16565b816112db57fe5b046129a6565b98505b6000891161133d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180612bc36025913960400191505060405180910390fd5b6113478a8a6128f6565b61135386868a8a6122f7565b811561139557600854611391906dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041663ffffffff6121ff16565b600b555b6040805185815260208101859052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600c5550949695505050505050565b60016020526000908152604090205481565b600b5481565b60046020526000908152604090205481565b600080600c5460011461148057604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f536861726b793a204c4f434b4544000000000000000000000000000000000000604482015290519081900360640190fd5b6000600c81905580611490610da7565b50600654600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905194965092945073ffffffffffffffffffffffffffffffffffffffff9182169391169160009184916370a08231916024808301926020929190829003018186803b15801561151257600080fd5b505afa158015611526573d6000803e3d6000fd5b505050506040513d602081101561153c57600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191925060009173ffffffffffffffffffffffffffffffffffffffff8516916370a08231916024808301926020929190829003018186803b1580156115b057600080fd5b505afa1580156115c4573d6000803e3d6000fd5b505050506040513d60208110156115da57600080fd5b5051306000908152600160205260408120549192506115f98888612703565b60005490915080611610848763ffffffff6121ff16565b8161161757fe5b049a508061162b848663ffffffff6121ff16565b8161163257fe5b04995060008b118015611645575060008a115b61169a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180612b9e6025913960400191505060405180910390fd5b6116a430846129be565b6116af878d8d611ff2565b6116ba868d8c611ff2565b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8916916370a08231916024808301926020929190829003018186803b15801561172657600080fd5b505afa15801561173a573d6000803e3d6000fd5b505050506040513d602081101561175057600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191965073ffffffffffffffffffffffffffffffffffffffff8816916370a0823191602480820192602092909190829003018186803b1580156117c257600080fd5b505afa1580156117d6573d6000803e3d6000fd5b505050506040513d60208110156117ec57600080fd5b505193506117fc85858b8b6122f7565b811561183e5760085461183a906dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041663ffffffff6121ff16565b600b555b604080518c8152602081018c9052815173ffffffffffffffffffffffffffffffffffffffff8f169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a35050505050505050506001600c81905550915091565b6040518060400160405280600981526020017f536861726b792d4c50000000000000000000000000000000000000000000000081525081565b6000610e09338484612622565b6103e881565b600c5460011461196657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f536861726b793a204c4f434b4544000000000000000000000000000000000000604482015290519081900360640190fd5b6000600c55600654600754600854604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff9485169490931692611a429285928792611a3d926dffffffffffffffffffffffffffff169185916370a0823191602480820192602092909190829003018186803b158015611a0557600080fd5b505afa158015611a19573d6000803e3d6000fd5b505050506040513d6020811015611a2f57600080fd5b50519063ffffffff61228516565b611ff2565b600854604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051611ae19284928792611a3d926e01000000000000000000000000000090046dffffffffffffffffffffffffffff169173ffffffffffffffffffffffffffffffffffffffff8616916370a0823191602480820192602092909190829003018186803b158015611a0557600080fd5b50506001600c5550565b60055473ffffffffffffffffffffffffffffffffffffffff1681565b60075473ffffffffffffffffffffffffffffffffffffffff1681565b42841015611b9257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f536861726b793a20455850495245440000000000000000000000000000000000604482015290519081900360640190fd5b60035473ffffffffffffffffffffffffffffffffffffffff80891660008181526004602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e0850182528051908301207f19010000000000000000000000000000000000000000000000000000000000006101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e2808201937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081019281900390910190855afa158015611cf3573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff811615801590611d6e57508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b611dd957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f536861726b793a20494e56414c49445f5349474e415455524500000000000000604482015290519081900360640190fd5b611de48989896125b3565b505050505050505050565b600260209081526000928352604080842090915290825290205481565b600c54600114611e7d57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f536861726b793a204c4f434b4544000000000000000000000000000000000000604482015290519081900360640190fd5b6000600c55600654604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051611feb9273ffffffffffffffffffffffffffffffffffffffff16916370a08231916024808301926020929190829003018186803b158015611ef457600080fd5b505afa158015611f08573d6000803e3d6000fd5b505050506040513d6020811015611f1e57600080fd5b5051600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b158015611f9157600080fd5b505afa158015611fa5573d6000803e3d6000fd5b505050506040513d6020811015611fbb57600080fd5b50516008546dffffffffffffffffffffffffffff808216916e0100000000000000000000000000009004166122f7565b6001600c55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e743235362900000000000000602091820152815173ffffffffffffffffffffffffffffffffffffffff85811660248301526044808301869052845180840390910181526064909201845291810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001781529251815160009460609489169392918291908083835b602083106120f857805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016120bb565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d806000811461215a576040519150601f19603f3d011682016040523d82523d6000602084013e61215f565b606091505b509150915081801561218d57508051158061218d575080806020019051602081101561218a57600080fd5b50515b6121f857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601760248201527f536861726b793a205452414e534645525f4641494c4544000000000000000000604482015290519081900360640190fd5b5050505050565b600081158061221a5750508082028282828161221757fe5b04145b610e0d57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b80820382811115610e0d57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f64732d6d6174682d7375622d756e646572666c6f770000000000000000000000604482015290519081900360640190fd5b6dffffffffffffffffffffffffffff841180159061232357506dffffffffffffffffffffffffffff8311155b61238e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f536861726b793a204f564552464c4f5700000000000000000000000000000000604482015290519081900360640190fd5b60085463ffffffff428116917c0100000000000000000000000000000000000000000000000000000000900481168203908116158015906123de57506dffffffffffffffffffffffffffff841615155b80156123f957506dffffffffffffffffffffffffffff831615155b156124a9578063ffffffff1661243c8561241286612a83565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff169063ffffffff612aa716565b600980547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905563ffffffff811661247c8461241287612a83565b600a80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff92909216929092020190555b600880547fffffffffffffffffffffffffffffffffffff0000000000000000000000000000166dffffffffffffffffffffffffffff888116919091177fffffffff0000000000000000000000000000ffffffffffffffffffffffffffff166e0100000000000000000000000000008883168102919091177bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167c010000000000000000000000000000000000000000000000000000000063ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a1505050505050565b73ffffffffffffffffffffffffffffffffffffffff808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260016020526040902054612658908263ffffffff61228516565b73ffffffffffffffffffffffffffffffffffffffff808516600090815260016020526040808220939093559084168152205461269a908263ffffffff612ae816565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b15801561276e57600080fd5b505afa158015612782573d6000803e3d6000fd5b505050506040513d602081101561279857600080fd5b5051600b5473ffffffffffffffffffffffffffffffffffffffff821615801594509192509061289057801561288b5760006127ef61126e6dffffffffffffffffffffffffffff88811690881663ffffffff6121ff16565b905060006127fc836128a4565b90508082111561288857600061282f6008610c64612820868663ffffffff61228516565b6000549063ffffffff6121ff16565b9050600061286461284784600863ffffffff6121ff16565b61285886601163ffffffff6121ff16565b9063ffffffff612ae816565b9050600081838161287157fe5b04905080156128845761288487826128f6565b5050505b50505b61289c565b801561289c576000600b555b505092915050565b600060038211156128e7575080600160028204015b818110156128e1578091506002818285816128d057fe5b0401816128d957fe5b0490506128b9565b506128f1565b81156128f1575060015b919050565b600054612909908263ffffffff612ae816565b600090815573ffffffffffffffffffffffffffffffffffffffff8316815260016020526040902054612941908263ffffffff612ae816565b73ffffffffffffffffffffffffffffffffffffffff831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b60008183106129b557816129b7565b825b9392505050565b73ffffffffffffffffffffffffffffffffffffffff82166000908152600160205260409020546129f4908263ffffffff61228516565b73ffffffffffffffffffffffffffffffffffffffff831660009081526001602052604081209190915554612a2e908263ffffffff61228516565b600090815560408051838152905173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b6dffffffffffffffffffffffffffff166e0100000000000000000000000000000290565b60006dffffffffffffffffffffffffffff82167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff841681612ae057fe5b049392505050565b80820182811015610e0d57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000604482015290519081900360640190fdfe536861726b793a20494e53554646494349454e545f4f55545055545f414d4f554e54536861726b793a20494e53554646494349454e545f494e5055545f414d4f554e54536861726b793a20494e53554646494349454e545f4c49515549444954595f4255524e4544536861726b793a20494e53554646494349454e545f4c49515549444954595f4d494e544544a265627a7a72315820b2ed783b36fc4402bc3ba5b108c647d6aed3c397e21e6925cbf6bc59d4856c3b64736f6c63430005100032

250:9469:8:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;250:9469:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7291:1849;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;7291:1849:8;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;7291:1849:8;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;7291:1849:8;;;;;;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;7291:1849:8;;-1:-1:-1;7291:1849:8;-1:-1:-1;7291:1849:8;:::i;:::-;;193:42:7;;;:::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;193:42:7;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1232:227:8;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2281:147:7;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2281:147:7;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;543:21:8;;;:::i;:::-;;;;;;;;;;;;;;;;;;;331:26:7;;;:::i;:::-;;;;;;;;;;;;;;;;2579:331;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2579:331:7;;;;;;;;;;;;;;;;;;:::i;625:108::-;;;:::i;290:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;484:31;;;:::i;2261:203:8:-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2261:203:8;;;;;;;;;;;:::i;887:32::-;;;:::i;925:::-;;;:::i;4416:1216::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4416:1216:8;;;;:::i;363:44:7:-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;363:44:7;;;;:::i;963:17:8:-;;;:::i;739:41:7:-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;739:41:7;;;;:::i;5741:1441:8:-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5741:1441:8;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;241:43:7;;;:::i;2434:139::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2434:139:7;;;;;;;;;:::i;368:46:8:-;;;:::i;9186:329::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9186:329:8;;;;:::i;515:22::-;;;:::i;570:21::-;;;:::i;2916:724:7:-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;2916:724:7;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;413:64::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;413:64:7;;;;;;;;;;;:::i;9561:156:8:-;;;:::i;7291:1849::-;1132:8;;1144:1;1132:13;1124:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1185:1;1174:8;:12;7404:14;;;;:32;;;7435:1;7422:10;:14;7404:32;7396:79;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7486:17;7505;7527:13;:11;:13::i;:::-;7485:55;;;;;7586:9;7573:22;;:10;:22;:48;;;;;7612:9;7599:22;;:10;:22;7573:48;7565:91;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7796:6;;7830;;7667:13;;;;7796:6;;;;;7830;;;;7854:13;;;;;;;:30;;;7877:7;7871:13;;:2;:13;;;;7854:30;7846:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7921:14;;7917:58;;7937:38;7951:7;7960:2;7964:10;7937:13;:38::i;:::-;8023:14;;8019:58;;8039:38;8053:7;8062:2;8066:10;8039:13;:38::i;:::-;8125:15;;8121:91;;8156:2;8142:28;;;8171:10;8183;8195;8207:4;;8142:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;;8142:70:8;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8142:70:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8142:70:8;;;;8121:91;8233:40;;;;;;8267:4;8233:40;;;;;;:25;;;;;;:40;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;8233:40:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8233:40:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8233:40:8;8294;;;;;;8328:4;8294:40;;;;;;8233;;-1:-1:-1;8294:25:8;;;;;;:40;;;;;8233;;8294;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;8294:40:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8294:40:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8294:40:8;;-1:-1:-1;8354:14:8;;-1:-1:-1;;8382:22:8;;;;;;8371:33;;:75;;8445:1;8371:75;;;8431:10;8419:9;:22;;;8407:8;:35;8371:75;8354:92;;8456:14;8496:10;8484:9;:22;;;8473:8;:33;:75;;8547:1;8473:75;;;8533:10;8521:9;:22;;;8509:8;:35;8473:75;8456:92;;8578:1;8566:9;:13;:30;;;;8595:1;8583:9;:13;8566:30;8558:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8718:21;8743:42;8767:17;:9;8781:2;8767:17;:13;:17;:::i;:::-;8743:19;:8;8756:5;8743:19;:12;:19;:::i;:::-;:23;:42;:23;:42;:::i;:::-;8718:68;-1:-1:-1;8796:21:8;8821:42;8845:17;:9;8859:2;8845:17;:13;:17;:::i;8821:42::-;8796:68;-1:-1:-1;8924:44:8;8959:8;8924:30;;:15;;;;:30;;;:19;:30;:::i;:::-;:34;:44;:34;:44;:::i;:::-;8882:38;:16;8903;8882:38;:20;:38;:::i;:::-;:86;;8874:108;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1196:1;;9003:49;9011:8;9021;9031:9;9042;9003:7;:49::i;:::-;9067:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9072:10;;9067:66;;;;;;;;;-1:-1:-1;;1218:1:8;1207:8;:12;-1:-1:-1;;;;;;;;;7291:1849:8:o;193:42:7:-;;;;;;;;;;;;;;;;;;;:::o;1232:227:8:-;1364:8;;;;;;;1394;;;;;;;1434:18;;;;;;1232:227::o;2281:147:7:-;2348:4;2364:36;2373:10;2385:7;2394:5;2364:8;:36::i;:::-;-1:-1:-1;2417:4:7;2281:147;;;;;:::o;543:21:8:-;;;;;;:::o;331:26:7:-;;;;:::o;2579:331::-;2710:15;;;2690:4;2710:15;;;:9;:15;;;;;;;;2726:10;2710:27;;;;;;;;2749:2;2710:42;2706:141;;2798:15;;;;;;;:9;:15;;;;;;;;2814:10;2798:27;;;;;;;;:38;;2830:5;2798:38;:31;:38;:::i;:::-;2768:15;;;;;;;:9;:15;;;;;;;;2784:10;2768:27;;;;;;;:68;2706:141;2856:26;2866:4;2872:2;2876:5;2856:9;:26::i;:::-;-1:-1:-1;2899:4:7;2579:331;;;;;:::o;625:108::-;667:66;625:108;:::o;290:35::-;323:2;290:35;:::o;484:31::-;;;;:::o;2261:203:8:-;2356:7;;;;2342:10;:21;2334:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2415:6;:16;;;;;;;;;;;;;;2441:6;:16;;;;;;;;;;;2261:203::o;887:32::-;;;;:::o;925:::-;;;;:::o;4416:1216::-;4465:14;1132:8;;1144:1;1132:13;1124:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1185:1;1174:8;:12;;;1185:1;4533:13;:11;:13::i;:::-;-1:-1:-1;4594:6:8;;4587:39;;;;;;4620:4;4587:39;;;;;;4491:55;;-1:-1:-1;4491:55:8;;-1:-1:-1;4571:13:8;;4594:6;;;;;4587:24;;:39;;;;;;;;;;;;;;4594:6;4587:39;;;5:2:-1;;;;30:1;27;20:12;5:2;4587:39:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4587:39:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4587:39:8;4659:6;;4652:39;;;;;;4685:4;4652:39;;;;;;4587;;-1:-1:-1;4636:13:8;;4659:6;;;;;4652:24;;:39;;;;;4587;;4652;;;;;;;;4659:6;4652:39;;;5:2:-1;;;;30:1;27;20:12;5:2;4652:39:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4652:39:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4652:39:8;;-1:-1:-1;4701:12:8;4716:23;:8;:23;;;;:12;:23;:::i;:::-;4701:38;-1:-1:-1;4749:12:8;4764:23;:8;:23;;;;:12;:23;:::i;:::-;4749:38;;4798:10;4811:30;4820:9;4831;4811:8;:30::i;:::-;4851:17;4871:11;4798:43;;-1:-1:-1;4974:17:8;4970:347;;5019:54;409:5;5019:31;5029:20;:7;5041;5029:20;:11;:20;:::i;:::-;5019:9;:31::i;:54::-;5007:66;;5086:36;5100:1;409:5;5086;:36::i;:::-;4970:347;;;5220:86;5229:37;;;:25;:7;5241:12;5229:25;:11;:25;:::i;:::-;:37;;;;;;5268;;;:25;:7;5280:12;5268:25;:11;:25;:::i;:::-;:37;;;;;;5220:8;:86::i;:::-;5208:98;;4970:347;5346:1;5334:9;:13;5326:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5399:20;5405:2;5409:9;5399:5;:20::i;:::-;5430:49;5438:8;5448;5458:9;5469;5430:7;:49::i;:::-;5493:5;5489:47;;;5527:8;;5508:28;;5527:8;5513;;;;5527;;;;5508:28;:18;:28;:::i;:::-;5500:5;:36;5489:47;5591:34;;;;;;;;;;;;;;5596:10;;5591:34;;;;;;;;-1:-1:-1;;1218:1:8;1207:8;:12;-1:-1:-1;4416:1216:8;;;-1:-1:-1;;;;;;4416:1216:8:o;363:44:7:-;;;;;;;;;;;;;:::o;963:17:8:-;;;;:::o;739:41:7:-;;;;;;;;;;;;;:::o;5741:1441:8:-;5790:12;5804;1132:8;;1144:1;1132:13;1124:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1185:1;1174:8;:12;;;1185:1;5870:13;:11;:13::i;:::-;-1:-1:-1;5926:6:8;;6006;;6084:40;;;;;;6118:4;6084:40;;;;;;5828:55;;-1:-1:-1;5828:55:8;;-1:-1:-1;5926:6:8;;;;;6006;;;5908:15;;5926:6;;6084:25;;:40;;;;;;;;;;;;;;5926:6;6084:40;;;5:2:-1;;;;30:1;27;20:12;5:2;6084:40:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6084:40:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6084:40:8;6150;;;;;;6184:4;6150:40;;;;;;6084;;-1:-1:-1;6134:13:8;;6150:25;;;;;;:40;;;;;6084;;6150;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;6150:40:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6150:40:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6150:40:8;6235:4;6200:14;6217:24;;;:9;6150:40;6217:24;;;;;6150:40;;-1:-1:-1;6265:30:8;6274:9;6285;6265:8;:30::i;:::-;6305:17;6325:11;6252:43;;-1:-1:-1;6325:11:8;6434:23;:9;6448:8;6434:23;:13;:23;:::i;:::-;:38;;;;;;;-1:-1:-1;6566:12:8;6540:23;:9;6554:8;6540:23;:13;:23;:::i;:::-;:38;;;;;;6530:48;;6654:1;6644:7;:11;:26;;;;;6669:1;6659:7;:11;6644:26;6636:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6722:31;6736:4;6743:9;6722:5;:31::i;:::-;6763:35;6777:7;6786:2;6790:7;6763:13;:35::i;:::-;6808;6822:7;6831:2;6835:7;6808:13;:35::i;:::-;6864:40;;;;;;6898:4;6864:40;;;;;;:25;;;;;;:40;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;6864:40:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6864:40:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6864:40:8;6925;;;;;;6959:4;6925:40;;;;;;6864;;-1:-1:-1;6925:25:8;;;;;;:40;;;;;6864;;6925;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;6925:40:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6925:40:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6925:40:8;;-1:-1:-1;6976:49:8;6984:8;6925:40;7004:9;7015;6976:7;:49::i;:::-;7039:5;7035:47;;;7073:8;;7054:28;;7073:8;7059;;;;7073;;;;7054:28;:18;:28;:::i;:::-;7046:5;:36;7035:47;7137:38;;;;;;;;;;;;;;;;;;7142:10;;7137:38;;;;;;;;;;;1196:1;;;;;;;;;1218;1207:8;:12;;;;5741:1441;;;:::o;241:43:7:-;;;;;;;;;;;;;;;;;;;:::o;2434:139::-;2497:4;2513:32;2523:10;2535:2;2539:5;2513:9;:32::i;368:46:8:-;409:5;368:46;:::o;9186:329::-;1132:8;;1144:1;1132:13;1124:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1185:1;1174:8;:12;9254:6;;9303;;9406:8;;9361:40;;;;;;9395:4;9361:40;;;;;;9254:6;;;;;9303;;;;9334:82;;9254:6;;9357:2;;9361:54;;9406:8;;;9254:6;;9361:25;;:40;;;;;;;;;;;;;;;9254:6;9361:40;;;5:2:-1;;;;30:1;27;20:12;5:2;9361:40:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9361:40:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9361:40:8;;:54;:44;:54;:::i;:::-;9334:13;:82::i;:::-;9498:8;;9453:40;;;;;;9487:4;9453:40;;;;;;9426:82;;9440:7;;9449:2;;9453:54;;9498:8;;;;;;9453:25;;;;;;:40;;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;9426:82:8;-1:-1:-1;;1218:1:8;1207:8;:12;-1:-1:-1;9186:329:8:o;515:22::-;;;;;;:::o;570:21::-;;;;;;:::o;2916:724:7:-;3129:15;3117:8;:27;;3109:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3276:16;;3371:13;;;;3174:14;3371:13;;;:6;:13;;;;;;;;:15;;;;;;;;;3320:77;;667:66;3320:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;3320:77:7;;;;;3310:88;;;;;;3214:198;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;3214:198:7;;;;;;3191:231;;;;;;;;;3459:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3174:14;;3371:15;3459:26;;;;;-1:-1:-1;3459:26:7;;;;;;;;;;3371:15;3459:26;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;3459:26:7;;;;;;-1:-1:-1;;3503:30:7;;;;;;;:59;;;3557:5;3537:25;;:16;:25;;;3503:59;3495:97;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3602:31;3611:5;3618:7;3627:5;3602:8;:31::i;:::-;2916:724;;;;;;;;;:::o;413:64::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;9561:156:8:-;1132:8;;1144:1;1132:13;1124:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1185:1;1174:8;:12;9616:6;;9609:39;;;;;;9642:4;9609:39;;;;;;9601:109;;9616:6;;;9609:24;;:39;;;;;;;;;;;;;;9616:6;9609:39;;;5:2:-1;;;;30:1;27;20:12;5:2;9609:39:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9609:39:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9609:39:8;9657:6;;9650:39;;;;;;9683:4;9650:39;;;;;;9657:6;;;;;9650:24;;:39;;;;;9609;;9650;;;;;;;;9657:6;9650:39;;;5:2:-1;;;;30:1;27;20:12;5:2;9650:39:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9650:39:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9650:39:8;9691:8;;;;;;;9701;;;;9601:7;:109::i;:::-;1218:1;1207:8;:12;9561:156::o;1465:281::-;472:34;;;;;;;;;;;;;;;;;1592:43;;1581:10;1592:43;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;1592:43:8;;;;;;25:18:-1;;;61:17;;1592:43:8;182:15:-1;1592:43:8;179:29:-1;160:49;;1581:55:8;;;;1546:12;;1560:17;;1581:10;;;1592:43;1581:55;;;25:18:-1;1581:55:8;;25:18:-1;36:153;66:2;61:3;58:11;36:153;;176:10;;164:23;;139:12;;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;1581:55:8;;;;;;;;;;;;;;;;;;;;;;;;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;;1545:91:8;;;;1654:7;:57;;;;-1:-1:-1;1666:11:8;;:16;;:44;;;1697:4;1686:24;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1686:24:8;1666:44;1646:93;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1465:281;;;;;:::o;481:149:6:-;539:9;568:6;;;:30;;-1:-1:-1;;583:5:6;;;597:1;592;583:5;592:1;578:15;;;;;:20;568:30;560:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;339:136;431:5;;;426:16;;;;418:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2546:844:8;2657:23;;;;;;:50;;-1:-1:-1;2684:23:8;;;;2657:50;2649:79;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2841:18;;2769:23;:15;:23;;;2841:18;;;;;2824:35;;;2896:15;;;;;;:33;;-1:-1:-1;2915:14:8;;;;;2896:33;:51;;;;-1:-1:-1;2933:14:8;;;;;2896:51;2892:332;;;3100:11;3047:64;;3052:44;3086:9;3052:27;3069:9;3052:16;:27::i;:::-;:33;;;:44;:33;:44;:::i;:::-;3023:20;:88;;3047:50;;;;;:64;;;;3023:88;;;3149:64;;;3154:44;3188:9;3154:27;3171:9;3154:16;:27::i;:44::-;3125:20;:88;;3149:50;;;;;:64;;;;3125:88;;;2892:332;3233:8;:28;;;;;;;;;;;;3271;;;;;;;;;;;;3309:35;;;;;;;;;;;;3359:24;;;3364:8;;;3359:24;;3374:8;;;;;;;3359:24;;;;;;;;;;;;;;;;;2546:844;;;;;;:::o;1821:199:7:-;1934:16;;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;1982:31;;;;;;;;;;;;;;;;;1821:199;;;:::o;2026:249::-;2152:15;;;;;;;:9;:15;;;;;;:26;;2172:5;2152:26;:19;:26;:::i;:::-;2134:15;;;;;;;;:9;:15;;;;;;:44;;;;2204:13;;;;;;;:24;;2222:5;2204:24;:17;:24;:::i;:::-;2188:13;;;;;;;;:9;:13;;;;;;;;;:40;;;;2243:25;;;;;;;2188:13;;2243:25;;;;;;;;;;;;;2026:249;;;:::o;3476:831:8:-;3549:10;3571:13;3602:7;;;;;;;;;;;3587:29;;;:31;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3587:31:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3587:31:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3587:31:8;3679:5;;3636:19;;;;;;;-1:-1:-1;3587:31:8;;-1:-1:-1;3679:5:8;3709:592;;3738:11;;3734:500;;3769:10;3782:41;3792:30;;:15;;;;:30;;;:19;:30;:::i;3782:41::-;3769:54;;3841:14;3858:17;3868:6;3858:9;:17::i;:::-;3841:34;;3905:9;3897:5;:17;3893:327;;;3938:14;3955:44;3997:1;3955:37;3971:20;:5;3981:9;3971:20;:9;:20;:::i;:::-;3955:11;;;:37;:15;:37;:::i;:44::-;3938:61;-1:-1:-1;4021:16:8;4040:35;4058:16;:9;4072:1;4058:16;:13;:16;:::i;:::-;4040:13;:5;4050:2;4040:13;:9;:13;:::i;:::-;:17;:35;:17;:35;:::i;:::-;4021:54;;4097:14;4126:11;4114:9;:23;;;;;;;-1:-1:-1;4163:13:8;;4159:42;;4178:23;4184:5;4191:9;4178:5;:23::i;:::-;3893:327;;;;3734:500;;;3709:592;;;4254:11;;4250:51;;4289:1;4281:5;:9;4250:51;3476:831;;;;;;:::o;352:301:5:-;400:9;429:1;425;:5;421:226;;;-1:-1:-1;450:1:5;485;481;477:5;;:9;500:89;511:1;507;:5;500:89;;;536:1;532:5;;573:1;568;564;560;:5;;;;;;:9;559:15;;;;;;555:19;;500:89;;;421:226;;;;609:6;;605:42;;-1:-1:-1;635:1:5;605:42;352:301;;;:::o;1401:200:7:-;1476:11;;:22;;1492:5;1476:22;:15;:22;:::i;:::-;1462:11;:36;;;1524:13;;;;;:9;:13;;;;;;:24;;1542:5;1524:24;:17;:24;:::i;:::-;1508:13;;;;;;;:9;:13;;;;;;;;:40;;;;1563:31;;;;;;;1508:13;;;;1563:31;;;;;;;;;;1401:200;;:::o;134:103:5:-;192:9;221:1;217;:5;:13;;229:1;217:13;;;225:1;217:13;213:17;134:103;-1:-1:-1;;;134:103:5:o;1607:208:7:-;1688:15;;;;;;;:9;:15;;;;;;:26;;1708:5;1688:26;:19;:26;:::i;:::-;1670:15;;;;;;;:9;:15;;;;;:44;;;;1738:11;:22;;1754:5;1738:22;:15;:22;:::i;:::-;1724:11;:36;;;1775:33;;;;;;;;;;;;;;;;;;;;;;1607:208;;:::o;319:118:9:-;394:10;;267:6;394:17;;319:118::o;505:106::-;565:9;594:10;;;590:14;;;594:10;590:14;;;;;;505:106;-1:-1:-1;;;505:106:9:o;198:135:6:-;290:5;;;285:16;;;;277:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

bzzr://b2ed783b36fc4402bc3ba5b108c647d6aed3c397e21e6925cbf6bc59d4856c3b