Contract

Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT
/**
Pretty much standart, the only thing that slightly change is the _mintFee() function
that lets us to change the portion of fees that go to the feeaddress and to LP providers. (line 100 and 101)
Other things are exactly the same as polyzap an all the other UniswapV2 forks
 */
pragma solidity >= 0.5.16;

import "./libraries/SafeMath.sol";
import "./libraries/UQ112x112.sol";
import "./libraries/Math.sol";
import "./interfaces/IProtofiPair.sol";
import "./interfaces/IProtofiFactory.sol";
import "./interfaces/IProtofiCallee.sol";
import "./interfaces/IERC20.sol";
import "./ProtofiERC20.sol";

contract ProtofiPair is IProtofiPair, ProtofiERC20 {
    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, 'Protofi: 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))), 'Protofi: 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, 'Protofi: 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), 'Protofi: 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/6 of the growth in sqrt(k)
    function _mintFee(uint112 _reserve0, uint112 _reserve1) private returns (bool feeOn) {
        address feeTo = IProtofiFactory(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(IProtofiFactory(factory).feeAmount());
                    uint denominator = rootK.mul(15-IProtofiFactory(factory).feeAmount()).add(rootKLast.mul(IProtofiFactory(factory).feeAmount()));
                    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, 'Protofi: 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, 'Protofi: 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, 'Protofi: INSUFFICIENT_OUTPUT_AMOUNT');
        (uint112 _reserve0, uint112 _reserve1,) = getReserves(); // gas savings
        require(amount0Out < _reserve0 && amount1Out < _reserve1, 'Protofi: 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, 'Protofi: 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) IProtofiCallee(to).pancakeCall(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, 'Protofi: INSUFFICIENT_INPUT_AMOUNT');
        { // scope for reserve{0,1}Adjusted, avoids stack too deep errors
        uint balance0Adjusted = (balance0.mul(10000).sub(amount0In.mul(15))); //Mod for fees
        uint balance1Adjusted = (balance1.mul(10000).sub(amount1In.mul(15))); //Mod for fees
        require(balance0Adjusted.mul(balance1Adjusted) >= uint(_reserve0).mul(_reserve1).mul(10000**2), 'Protofi: 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: MIT
/**
Standard ERC20 LP token.
Near identical to PolyZap.
 */
pragma solidity >= 0.5.16;

import "./interfaces/IProtofiERC20.sol";
import "./libraries/SafeMath.sol";

contract ProtofiERC20 is IProtofiERC20 {
    using SafeMath for uint;

    string public constant name = 'Protofi LPs';
    string public constant symbol = 'Proto-LP';
    uint8 public constant decimals = 18;
    uint  public totalSupply;
    mapping(address => uint) public balanceOf;
    mapping(address => mapping(address => uint)) public allowance;

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

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

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

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

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

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

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

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

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

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

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

// SPDX-License-Identifier: MIT
pragma solidity >= 0.5.6;

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

// SPDX-License-Identifier: MIT
pragma solidity >= 0.5.16;

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

// SPDX-License-Identifier: MIT
pragma solidity >= 0.5.16;

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

// SPDX-License-Identifier: MIT
pragma solidity >= 0.5.16;


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

    function feeTo() external view returns (address);
    function feeToSetter() external view returns (address);
    function feeAmount() external view returns (uint16);

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

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

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

// SPDX-License-Identifier: MIT
pragma solidity >= 0.5.16;

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

// SPDX-License-Identifier: MIT
pragma solidity >= 0.5.16;

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

// SPDX-License-Identifier: MIT
pragma solidity >= 0.5.16;

// a library for performing overflow-safe math, courtesy of DappHub (https://github.com/dapphub/ds-math)
library SafeMath {
    function add(uint x, uint y) internal pure returns (uint z) {
        require((z = x + y) >= x, 'ds-math-add-overflow');
    }

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

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

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

{
  "remappings": [],
  "optimizer": {
    "enabled": true,
    "runs": 999999
  },
  "evmVersion": "istanbul",
  "libraries": {},
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "abi"
      ]
    }
  }
}

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

0x608060405234801561001057600080fd5b50600436106101b95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a7146105da578063d505accf146105e2578063dd62ed3e14610640578063fff6cae91461067b576101b9565b8063ba9a7a5614610597578063bc25cf771461059f578063c45a0155146105d2576101b9565b80637ecebe00116100d35780637ecebe00146104d757806389afcb441461050a57806395d89b4114610556578063a9059cbb1461055e576101b9565b80636a6278421461046957806370a082311461049c5780637464fc3d146104cf576101b9565b806323b872dd116101665780633644e515116101405780633644e51514610416578063485cc9551461041e5780635909c0d5146104595780635a3d549314610461576101b9565b806323b872dd146103ad57806330adf81f146103f0578063313ce567146103f8576101b9565b8063095ea7b311610197578063095ea7b3146103155780630dfe16811461036257806318160ddd14610393576101b9565b8063022c0d9f146101be57806306fdde03146102595780630902f1ac146102d6575b600080fd5b610257600480360360808110156101d457600080fd5b81359160208101359173ffffffffffffffffffffffffffffffffffffffff604083013516919081019060808101606082013564010000000081111561021857600080fd5b82018360208201111561022a57600080fd5b8035906020019184600183028401116401000000008311171561024c57600080fd5b509092509050610683565b005b610261610d6e565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561029b578181015183820152602001610283565b50505050905090810190601f1680156102c85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102de610da7565b604080516dffffffffffffffffffffffffffff948516815292909316602083015263ffffffff168183015290519081900360600190f35b61034e6004803603604081101561032b57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610dfc565b604080519115158252519081900360200190f35b61036a610e13565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b61039b610e2f565b60408051918252519081900360200190f35b61034e600480360360608110156103c357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060400135610e35565b61039b610f14565b610400610f38565b6040805160ff9092168252519081900360200190f35b61039b610f3d565b6102576004803603604081101561043457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516610f43565b61039b61101c565b61039b611022565b61039b6004803603602081101561047f57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611028565b61039b600480360360208110156104b257600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166113e2565b61039b6113f4565b61039b600480360360208110156104ed57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166113fa565b61053d6004803603602081101561052057600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661140c565b6040805192835260208301919091528051918290030190f35b6102616118a9565b61034e6004803603604081101561057457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356118e2565b61039b6118ef565b610257600480360360208110156105b557600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166118f5565b61036a611aeb565b61036a611b07565b610257600480360360e08110156105f857600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135611b23565b61039b6004803603604081101561065657600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516611def565b610257611e0c565b600c546001146106f457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f50726f746f66693a204c4f434b45440000000000000000000000000000000000604482015290519081900360640190fd5b6000600c55841515806107075750600084115b61075c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180612d1d6023913960400191505060405180910390fd5b600080610767610da7565b5091509150816dffffffffffffffffffffffffffff168710801561079a5750806dffffffffffffffffffffffffffff1686105b61080557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f50726f746f66693a20494e53554646494349454e545f4c495155494449545900604482015290519081900360640190fd5b600654600754600091829173ffffffffffffffffffffffffffffffffffffffff91821691908116908916821480159061086a57508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b6108d557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f50726f746f66693a20494e56414c49445f544f00000000000000000000000000604482015290519081900360640190fd5b8a156108e6576108e6828a8d611ff2565b89156108f7576108f7818a8c611ff2565b86156109d9578873ffffffffffffffffffffffffffffffffffffffff166384800812338d8d8c8c6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b1580156109c057600080fd5b505af11580156109d4573d6000803e3d6000fd5b505050505b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8416916370a08231916024808301926020929190829003018186803b158015610a4557600080fd5b505afa158015610a59573d6000803e3d6000fd5b505050506040513d6020811015610a6f57600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191955073ffffffffffffffffffffffffffffffffffffffff8316916370a0823191602480820192602092909190829003018186803b158015610ae157600080fd5b505afa158015610af5573d6000803e3d6000fd5b505050506040513d6020811015610b0b57600080fd5b5051925060009150506dffffffffffffffffffffffffffff85168a90038311610b35576000610b4b565b89856dffffffffffffffffffffffffffff160383035b9050600089856dffffffffffffffffffffffffffff16038311610b6f576000610b85565b89856dffffffffffffffffffffffffffff160383035b90506000821180610b965750600081115b610beb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180612d406022913960400191505060405180910390fd5b6000610c1f610c0184600f63ffffffff6121ff16565b610c138761271063ffffffff6121ff16565b9063ffffffff61228516565b90506000610c37610c0184600f63ffffffff6121ff16565b9050610c706305f5e100610c646dffffffffffffffffffffffffffff8b8116908b1663ffffffff6121ff16565b9063ffffffff6121ff16565b610c80838363ffffffff6121ff16565b1015610ced57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f50726f746f66693a204b00000000000000000000000000000000000000000000604482015290519081900360640190fd5b5050610cfb848488886122f7565b60408051838152602081018390528082018d9052606081018c9052905173ffffffffffffffffffffffffffffffffffffffff8b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600c55505050505050505050565b6040518060400160405280600b81526020017f50726f746f6669204c507300000000000000000000000000000000000000000081525081565b6008546dffffffffffffffffffffffffffff808216926e0100000000000000000000000000008304909116917c0100000000000000000000000000000000000000000000000000000000900463ffffffff1690565b6000610e093384846125b3565b5060015b92915050565b60065473ffffffffffffffffffffffffffffffffffffffff1681565b60005481565b73ffffffffffffffffffffffffffffffffffffffff831660009081526002602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff14610eff5773ffffffffffffffffffffffffffffffffffffffff84166000908152600260209081526040808320338452909152902054610ecd908363ffffffff61228516565b73ffffffffffffffffffffffffffffffffffffffff851660009081526002602090815260408083203384529091529020555b610f0a848484612622565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60035481565b60055473ffffffffffffffffffffffffffffffffffffffff163314610fc957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f50726f746f66693a20464f5242494444454e0000000000000000000000000000604482015290519081900360640190fd5b6006805473ffffffffffffffffffffffffffffffffffffffff9384167fffffffffffffffffffffffff00000000000000000000000000000000000000009182161790915560078054929093169116179055565b60095481565b600a5481565b6000600c5460011461109b57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f50726f746f66693a204c4f434b45440000000000000000000000000000000000604482015290519081900360640190fd5b6000600c819055806110ab610da7565b50600654604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905193955091935060009273ffffffffffffffffffffffffffffffffffffffff909116916370a08231916024808301926020929190829003018186803b15801561112557600080fd5b505afa158015611139573d6000803e3d6000fd5b505050506040513d602081101561114f57600080fd5b5051600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905192935060009273ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b1580156111c857600080fd5b505afa1580156111dc573d6000803e3d6000fd5b505050506040513d60208110156111f257600080fd5b505190506000611218836dffffffffffffffffffffffffffff871663ffffffff61228516565b9050600061123c836dffffffffffffffffffffffffffff871663ffffffff61228516565b9050600061124a8787612703565b60005490915080611287576112736103e8610c1361126e878763ffffffff6121ff16565b612a66565b985061128260006103e8612ab8565b6112e4565b6112e16dffffffffffffffffffffffffffff89166112ab868463ffffffff6121ff16565b816112b257fe5b046dffffffffffffffffffffffffffff89166112d4868563ffffffff6121ff16565b816112db57fe5b04612b68565b98505b6000891161133d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180612d886026913960400191505060405180910390fd5b6113478a8a612ab8565b61135386868a8a6122f7565b811561139557600854611391906dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041663ffffffff6121ff16565b600b555b6040805185815260208101859052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600c5550949695505050505050565b60016020526000908152604090205481565b600b5481565b60046020526000908152604090205481565b600080600c5460011461148057604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f50726f746f66693a204c4f434b45440000000000000000000000000000000000604482015290519081900360640190fd5b6000600c81905580611490610da7565b50600654600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905194965092945073ffffffffffffffffffffffffffffffffffffffff9182169391169160009184916370a08231916024808301926020929190829003018186803b15801561151257600080fd5b505afa158015611526573d6000803e3d6000fd5b505050506040513d602081101561153c57600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191925060009173ffffffffffffffffffffffffffffffffffffffff8516916370a08231916024808301926020929190829003018186803b1580156115b057600080fd5b505afa1580156115c4573d6000803e3d6000fd5b505050506040513d60208110156115da57600080fd5b5051306000908152600160205260408120549192506115f98888612703565b60005490915080611610848763ffffffff6121ff16565b8161161757fe5b049a508061162b848663ffffffff6121ff16565b8161163257fe5b04995060008b118015611645575060008a115b61169a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180612d626026913960400191505060405180910390fd5b6116a43084612b80565b6116af878d8d611ff2565b6116ba868d8c611ff2565b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8916916370a08231916024808301926020929190829003018186803b15801561172657600080fd5b505afa15801561173a573d6000803e3d6000fd5b505050506040513d602081101561175057600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191965073ffffffffffffffffffffffffffffffffffffffff8816916370a0823191602480820192602092909190829003018186803b1580156117c257600080fd5b505afa1580156117d6573d6000803e3d6000fd5b505050506040513d60208110156117ec57600080fd5b505193506117fc85858b8b6122f7565b811561183e5760085461183a906dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041663ffffffff6121ff16565b600b555b604080518c8152602081018c9052815173ffffffffffffffffffffffffffffffffffffffff8f169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a35050505050505050506001600c81905550915091565b6040518060400160405280600881526020017f50726f746f2d4c5000000000000000000000000000000000000000000000000081525081565b6000610e09338484612622565b6103e881565b600c5460011461196657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f50726f746f66693a204c4f434b45440000000000000000000000000000000000604482015290519081900360640190fd5b6000600c55600654600754600854604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff9485169490931692611a429285928792611a3d926dffffffffffffffffffffffffffff169185916370a0823191602480820192602092909190829003018186803b158015611a0557600080fd5b505afa158015611a19573d6000803e3d6000fd5b505050506040513d6020811015611a2f57600080fd5b50519063ffffffff61228516565b611ff2565b600854604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051611ae19284928792611a3d926e01000000000000000000000000000090046dffffffffffffffffffffffffffff169173ffffffffffffffffffffffffffffffffffffffff8616916370a0823191602480820192602092909190829003018186803b158015611a0557600080fd5b50506001600c5550565b60055473ffffffffffffffffffffffffffffffffffffffff1681565b60075473ffffffffffffffffffffffffffffffffffffffff1681565b42841015611b9257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f50726f746f66693a204558504952454400000000000000000000000000000000604482015290519081900360640190fd5b60035473ffffffffffffffffffffffffffffffffffffffff80891660008181526004602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e0850182528051908301207f19010000000000000000000000000000000000000000000000000000000000006101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e2808201937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081019281900390910190855afa158015611cf3573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff811615801590611d6e57508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b611dd957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f50726f746f66693a20494e56414c49445f5349474e4154555245000000000000604482015290519081900360640190fd5b611de48989896125b3565b505050505050505050565b600260209081526000928352604080842090915290825290205481565b600c54600114611e7d57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f50726f746f66693a204c4f434b45440000000000000000000000000000000000604482015290519081900360640190fd5b6000600c55600654604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051611feb9273ffffffffffffffffffffffffffffffffffffffff16916370a08231916024808301926020929190829003018186803b158015611ef457600080fd5b505afa158015611f08573d6000803e3d6000fd5b505050506040513d6020811015611f1e57600080fd5b5051600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b158015611f9157600080fd5b505afa158015611fa5573d6000803e3d6000fd5b505050506040513d6020811015611fbb57600080fd5b50516008546dffffffffffffffffffffffffffff808216916e0100000000000000000000000000009004166122f7565b6001600c55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e743235362900000000000000602091820152815173ffffffffffffffffffffffffffffffffffffffff85811660248301526044808301869052845180840390910181526064909201845291810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001781529251815160009460609489169392918291908083835b602083106120f857805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016120bb565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d806000811461215a576040519150601f19603f3d011682016040523d82523d6000602084013e61215f565b606091505b509150915081801561218d57508051158061218d575080806020019051602081101561218a57600080fd5b50515b6121f857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f50726f746f66693a205452414e534645525f4641494c45440000000000000000604482015290519081900360640190fd5b5050505050565b600081158061221a5750508082028282828161221757fe5b04145b610e0d57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b80820382811115610e0d57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f64732d6d6174682d7375622d756e646572666c6f770000000000000000000000604482015290519081900360640190fd5b6dffffffffffffffffffffffffffff841180159061232357506dffffffffffffffffffffffffffff8311155b61238e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f50726f746f66693a204f564552464c4f57000000000000000000000000000000604482015290519081900360640190fd5b60085463ffffffff428116917c0100000000000000000000000000000000000000000000000000000000900481168203908116158015906123de57506dffffffffffffffffffffffffffff841615155b80156123f957506dffffffffffffffffffffffffffff831615155b156124a9578063ffffffff1661243c8561241286612c45565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff169063ffffffff612c6916565b600980547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905563ffffffff811661247c8461241287612c45565b600a80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff92909216929092020190555b600880547fffffffffffffffffffffffffffffffffffff0000000000000000000000000000166dffffffffffffffffffffffffffff888116919091177fffffffff0000000000000000000000000000ffffffffffffffffffffffffffff166e0100000000000000000000000000008883168102919091177bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167c010000000000000000000000000000000000000000000000000000000063ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a1505050505050565b73ffffffffffffffffffffffffffffffffffffffff808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260016020526040902054612658908263ffffffff61228516565b73ffffffffffffffffffffffffffffffffffffffff808516600090815260016020526040808220939093559084168152205461269a908263ffffffff612caa16565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b15801561276e57600080fd5b505afa158015612782573d6000803e3d6000fd5b505050506040513d602081101561279857600080fd5b5051600b5473ffffffffffffffffffffffffffffffffffffffff8216158015945091925090612a52578015612a4d5760006127ef61126e6dffffffffffffffffffffffffffff88811690881663ffffffff6121ff16565b905060006127fc83612a66565b905080821115612a4a5760006128c5600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166369e154046040518163ffffffff1660e01b815260040160206040518083038186803b15801561287357600080fd5b505afa158015612887573d6000803e3d6000fd5b505050506040513d602081101561289d57600080fd5b505161ffff16610c646128b6868663ffffffff61228516565b6000549063ffffffff6121ff16565b90506000612a26612974600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166369e154046040518163ffffffff1660e01b815260040160206040518083038186803b15801561293757600080fd5b505afa15801561294b573d6000803e3d6000fd5b505050506040513d602081101561296157600080fd5b5051859061ffff1663ffffffff6121ff16565b600554604080517f69e154040000000000000000000000000000000000000000000000000000000081529051612a1a9273ffffffffffffffffffffffffffffffffffffffff16916369e15404916004808301926020929190829003018186803b1580156129e057600080fd5b505afa1580156129f4573d6000803e3d6000fd5b505050506040513d6020811015612a0a57600080fd5b50518790600f0361ffff166121ff565b9063ffffffff612caa16565b90506000818381612a3357fe5b0490508015612a4657612a468782612ab8565b5050505b50505b612a5e565b8015612a5e576000600b555b505092915050565b60006003821115612aa9575080600160028204015b81811015612aa357809150600281828581612a9257fe5b040181612a9b57fe5b049050612a7b565b50612ab3565b8115612ab3575060015b919050565b600054612acb908263ffffffff612caa16565b600090815573ffffffffffffffffffffffffffffffffffffffff8316815260016020526040902054612b03908263ffffffff612caa16565b73ffffffffffffffffffffffffffffffffffffffff831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6000818310612b775781612b79565b825b9392505050565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260016020526040902054612bb6908263ffffffff61228516565b73ffffffffffffffffffffffffffffffffffffffff831660009081526001602052604081209190915554612bf0908263ffffffff61228516565b600090815560408051838152905173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b6dffffffffffffffffffffffffffff166e0100000000000000000000000000000290565b60006dffffffffffffffffffffffffffff82167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff841681612ca257fe5b049392505050565b80820182811015610e0d57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000604482015290519081900360640190fdfe50726f746f66693a20494e53554646494349454e545f4f55545055545f414d4f554e5450726f746f66693a20494e53554646494349454e545f494e5055545f414d4f554e5450726f746f66693a20494e53554646494349454e545f4c49515549444954595f4255524e454450726f746f66693a20494e53554646494349454e545f4c49515549444954595f4d494e544544a265627a7a7231582093fa09b6de61affb382a1bc5bdb78bb566b8600373f276408e129641d60161d764736f6c63430005110032

631:9622:1:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;631:9622:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7788:1886;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;7788:1886:1;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;7788:1886:1;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;7788:1886:1;;;;;;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;7788:1886:1;;-1:-1:-1;7788:1886:1;-1:-1:-1;7788:1886:1;:::i;:::-;;272:43:0;;;:::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;272:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1617:227:1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2270:144:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2270:144:0;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;927:21:1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;410:24:0;;;:::i;:::-;;;;;;;;;;;;;;;;2562:295;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2562:295:0;;;;;;;;;;;;;;;;;;:::i;696:108::-;;;:::i;369:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;555:31;;;:::i;2647:204:1:-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2647:204:1;;;;;;;;;;;:::i;1271:32::-;;;:::i;1309:::-;;;:::i;4911:1217::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4911:1217:1;;;;:::i;440:41:0:-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;440:41:0;;;;:::i;1347:17:1:-;;;:::i;810:38:0:-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;810:38:0;;;;:::i;6237:1442:1:-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6237:1442:1;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;321:42:0;;;:::i;2420:136::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2420:136:0;;;;;;;;;:::i;752:46:1:-;;;:::i;9720:329::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9720:329:1;;;;:::i;899:22::-;;;:::i;954:21::-;;;:::i;2863:658:0:-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;2863:658:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;487:61::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;487:61:0;;;;;;;;;;;:::i;10095:156:1:-;;;:::i;7788:1886::-;1516:8;;1528:1;1516:13;1508:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1570:1;1559:8;:12;7901:14;;;;:32;;;7932:1;7919:10;:14;7901:32;7893:80;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7984:17;8003;8025:13;:11;:13::i;:::-;7983:55;;;;;8084:9;8071:22;;:10;:22;:48;;;;;8110:9;8097:22;;:10;:22;8071:48;8063:92;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8295:6;;8329;;8166:13;;;;8295:6;;;;;8329;;;;8353:13;;;;;;;:30;;;8376:7;8370:13;;:2;:13;;;;8353:30;8345:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8421:14;;8417:58;;8437:38;8451:7;8460:2;8464:10;8437:13;:38::i;:::-;8523:14;;8519:58;;8539:38;8553:7;8562:2;8566:10;8539:13;:38::i;:::-;8625:15;;8621:93;;8657:2;8642:30;;;8673:10;8685;8697;8709:4;;8642:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;;8642:72:1;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8642:72:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8642:72:1;;;;8621:93;8735:40;;;;;;8769:4;8735:40;;;;;;:25;;;;;;:40;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;8735:40:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8735:40:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8735:40:1;8796;;;;;;8830:4;8796:40;;;;;;8735;;-1:-1:-1;8796:25:1;;;;;;:40;;;;;8735;;8796;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;8796:40:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8796:40:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8796:40:1;;-1:-1:-1;8856:14:1;;-1:-1:-1;;8884:22:1;;;;;;8873:33;;:75;;8947:1;8873:75;;;8933:10;8921:9;:22;;;8909:8;:35;8873:75;8856:92;;8958:14;8998:10;8986:9;:22;;;8975:8;:33;:75;;9049:1;8975:75;;;9035:10;9023:9;:22;;;9011:8;:35;8975:75;8958:92;;9080:1;9068:9;:13;:30;;;;9097:1;9085:9;:13;9068:30;9060:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9221:21;9246:42;9270:17;:9;9284:2;9270:17;:13;:17;:::i;:::-;9246:19;:8;9259:5;9246:19;:12;:19;:::i;:::-;:23;:42;:23;:42;:::i;:::-;9221:68;-1:-1:-1;9314:21:1;9339:42;9363:17;:9;9377:2;9363:17;:13;:17;:::i;9339:42::-;9314:68;-1:-1:-1;9457:44:1;9492:8;9457:30;;:15;;;;:30;;;:19;:30;:::i;:::-;:34;:44;:34;:44;:::i;:::-;9415:38;:16;9436;9415:38;:20;:38;:::i;:::-;:86;;9407:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1581:1;;9537:49;9545:8;9555;9565:9;9576;9537:7;:49::i;:::-;9601:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9606:10;;9601:66;;;;;;;;;-1:-1:-1;;1603:1:1;1592:8;:12;-1:-1:-1;;;;;;;;;7788:1886:1:o;272:43:0:-;;;;;;;;;;;;;;;;;;;:::o;1617:227:1:-;1749:8;;;;;;;1779;;;;;;;1819:18;;;;;;1617:227::o;2270:144:0:-;2334:4;2350:36;2359:10;2371:7;2380:5;2350:8;:36::i;:::-;-1:-1:-1;2403:4:0;2270:144;;;;;:::o;927:21:1:-;;;;;;:::o;410:24:0:-;;;;:::o;2562:295::-;2660:15;;;2640:4;2660:15;;;:9;:15;;;;;;;;2676:10;2660:27;;;;;;;;2696:2;2660:39;2656:138;;2745:15;;;;;;;:9;:15;;;;;;;;2761:10;2745:27;;;;;;;;:38;;2777:5;2745:38;:31;:38;:::i;:::-;2715:15;;;;;;;:9;:15;;;;;;;;2731:10;2715:27;;;;;;;:68;2656:138;2803:26;2813:4;2819:2;2823:5;2803:9;:26::i;:::-;-1:-1:-1;2846:4:0;2562:295;;;;;:::o;696:108::-;738:66;696:108;:::o;369:35::-;402:2;369:35;:::o;555:31::-;;;;:::o;2647:204:1:-;2742:7;;;;2728:10;:21;2720:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2802:6;:16;;;;;;;;;;;;;;2828:6;:16;;;;;;;;;;;2647:204::o;1271:32::-;;;;:::o;1309:::-;;;;:::o;4911:1217::-;4960:14;1516:8;;1528:1;1516:13;1508:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1570:1;1559:8;:12;;;1570:1;5028:13;:11;:13::i;:::-;-1:-1:-1;5089:6:1;;5082:39;;;;;;5115:4;5082:39;;;;;;4986:55;;-1:-1:-1;4986:55:1;;-1:-1:-1;5066:13:1;;5089:6;;;;;5082:24;;:39;;;;;;;;;;;;;;5089:6;5082:39;;;5:2:-1;;;;30:1;27;20:12;5:2;5082:39:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5082:39:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5082:39:1;5154:6;;5147:39;;;;;;5180:4;5147:39;;;;;;5082;;-1:-1:-1;5131:13:1;;5154:6;;;;;5147:24;;:39;;;;;5082;;5147;;;;;;;;5154:6;5147:39;;;5:2:-1;;;;30:1;27;20:12;5:2;5147:39:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5147:39:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5147:39:1;;-1:-1:-1;5196:12:1;5211:23;:8;:23;;;;:12;:23;:::i;:::-;5196:38;-1:-1:-1;5244:12:1;5259:23;:8;:23;;;;:12;:23;:::i;:::-;5244:38;;5293:10;5306:30;5315:9;5326;5306:8;:30::i;:::-;5346:17;5366:11;5293:43;;-1:-1:-1;5469:17:1;5465:347;;5514:54;793:5;5514:31;5524:20;:7;5536;5524:20;:11;:20;:::i;:::-;5514:9;:31::i;:54::-;5502:66;;5581:36;5595:1;793:5;5581;:36::i;:::-;5465:347;;;5715:86;5724:37;;;:25;:7;5736:12;5724:25;:11;:25;:::i;:::-;:37;;;;;;5763;;;:25;:7;5775:12;5763:25;:11;:25;:::i;:::-;:37;;;;;;5715:8;:86::i;:::-;5703:98;;5465:347;5841:1;5829:9;:13;5821:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5895:20;5901:2;5905:9;5895:5;:20::i;:::-;5926:49;5934:8;5944;5954:9;5965;5926:7;:49::i;:::-;5989:5;5985:47;;;6023:8;;6004:28;;6023:8;6009;;;;6023;;;;6004:28;:18;:28;:::i;:::-;5996:5;:36;5985:47;6087:34;;;;;;;;;;;;;;6092:10;;6087:34;;;;;;;;-1:-1:-1;;1603:1:1;1592:8;:12;-1:-1:-1;4911:1217:1;;;-1:-1:-1;;;;;;4911:1217:1:o;440:41:0:-;;;;;;;;;;;;;:::o;1347:17:1:-;;;;:::o;810:38:0:-;;;;;;;;;;;;;:::o;6237:1442:1:-;6286:12;6300;1516:8;;1528:1;1516:13;1508:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1570:1;1559:8;:12;;;1570:1;6366:13;:11;:13::i;:::-;-1:-1:-1;6422:6:1;;6502;;6580:40;;;;;;6614:4;6580:40;;;;;;6324:55;;-1:-1:-1;6324:55:1;;-1:-1:-1;6422:6:1;;;;;6502;;;6404:15;;6422:6;;6580:25;;:40;;;;;;;;;;;;;;6422:6;6580:40;;;5:2:-1;;;;30:1;27;20:12;5:2;6580:40:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6580:40:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6580:40:1;6646;;;;;;6680:4;6646:40;;;;;;6580;;-1:-1:-1;6630:13:1;;6646:25;;;;;;:40;;;;;6580;;6646;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;6646:40:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6646:40:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6646:40:1;6731:4;6696:14;6713:24;;;:9;6646:40;6713:24;;;;;6646:40;;-1:-1:-1;6761:30:1;6770:9;6781;6761:8;:30::i;:::-;6801:17;6821:11;6748:43;;-1:-1:-1;6821:11:1;6930:23;:9;6944:8;6930:23;:13;:23;:::i;:::-;:38;;;;;;;-1:-1:-1;7062:12:1;7036:23;:9;7050:8;7036:23;:13;:23;:::i;:::-;:38;;;;;;7026:48;;7150:1;7140:7;:11;:26;;;;;7165:1;7155:7;:11;7140:26;7132:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7219:31;7233:4;7240:9;7219:5;:31::i;:::-;7260:35;7274:7;7283:2;7287:7;7260:13;:35::i;:::-;7305;7319:7;7328:2;7332:7;7305:13;:35::i;:::-;7361:40;;;;;;7395:4;7361:40;;;;;;:25;;;;;;:40;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;7361:40:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7361:40:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7361:40:1;7422;;;;;;7456:4;7422:40;;;;;;7361;;-1:-1:-1;7422:25:1;;;;;;:40;;;;;7361;;7422;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;7422:40:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7422:40:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7422:40:1;;-1:-1:-1;7473:49:1;7481:8;7422:40;7501:9;7512;7473:7;:49::i;:::-;7536:5;7532:47;;;7570:8;;7551:28;;7570:8;7556;;;;7570;;;;7551:28;:18;:28;:::i;:::-;7543:5;:36;7532:47;7634:38;;;;;;;;;;;;;;;;;;7639:10;;7634:38;;;;;;;;;;;1581:1;;;;;;;;;1603;1592:8;:12;;;;6237:1442;;;:::o;321:42:0:-;;;;;;;;;;;;;;;;;;;:::o;2420:136::-;2480:4;2496:32;2506:10;2518:2;2522:5;2496:9;:32::i;752:46:1:-;793:5;752:46;:::o;9720:329::-;1516:8;;1528:1;1516:13;1508:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1570:1;1559:8;:12;9788:6;;9837;;9940:8;;9895:40;;;;;;9929:4;9895:40;;;;;;9788:6;;;;;9837;;;;9868:82;;9788:6;;9891:2;;9895:54;;9940:8;;;9788:6;;9895:25;;:40;;;;;;;;;;;;;;;9788:6;9895:40;;;5:2:-1;;;;30:1;27;20:12;5:2;9895:40:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9895:40:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9895:40:1;;:54;:44;:54;:::i;:::-;9868:13;:82::i;:::-;10032:8;;9987:40;;;;;;10021:4;9987:40;;;;;;9960:82;;9974:7;;9983:2;;9987:54;;10032:8;;;;;;9987:25;;;;;;:40;;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;9960:82:1;-1:-1:-1;;1603:1:1;1592:8;:12;-1:-1:-1;9720:329:1:o;899:22::-;;;;;;:::o;954:21::-;;;;;;:::o;2863:658:0:-;3008:15;2996:8;:27;;2988:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3156:16;;3251:13;;;;3054:14;3251:13;;;:6;:13;;;;;;;;:15;;;;;;;;;3200:77;;738:66;3200:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;3200:77:0;;;;;3190:88;;;;;;3094:198;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;3094:198:0;;;;;;3071:231;;;;;;;;;3339:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3054:14;;3251:15;3339:26;;;;;-1:-1:-1;3339:26:0;;;;;;;;;;3251:15;3339:26;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;3339:26:0;;;;;;-1:-1:-1;;3383:30:0;;;;;;;:59;;;3437:5;3417:25;;:16;:25;;;3383:59;3375:98;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3483:31;3492:5;3499:7;3508:5;3483:8;:31::i;:::-;2863:658;;;;;;;;;:::o;487:61::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;10095:156:1:-;1516:8;;1528:1;1516:13;1508:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1570:1;1559:8;:12;10150:6;;10143:39;;;;;;10176:4;10143:39;;;;;;10135:109;;10150:6;;;10143:24;;:39;;;;;;;;;;;;;;10150:6;10143:39;;;5:2:-1;;;;30:1;27;20:12;5:2;10143:39:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10143:39:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10143:39:1;10191:6;;10184:39;;;;;;10217:4;10184:39;;;;;;10191:6;;;;;10184:24;;:39;;;;;10143;;10184;;;;;;;;10191:6;10184:39;;;5:2:-1;;;;30:1;27;20:12;5:2;10184:39:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10184:39:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10184:39:1;10225:8;;;;;;;10235;;;;10135:7;:109::i;:::-;1603:1;1592:8;:12;10095:156::o;1850:282::-;856:34;;;;;;;;;;;;;;;;;1977:43;;1966:10;1977:43;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;1977:43:1;;;;;;25:18:-1;;;61:17;;1977:43:1;182:15:-1;1977:43:1;179:29:-1;160:49;;1966:55:1;;;;1931:12;;1945:17;;1966:10;;;1977:43;1966:55;;;25:18:-1;1966:55:1;;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;;;1966:55:1;;;;;;;;;;;;;;;;;;;;;;;;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;;1930:91:1;;;;2039:7;:57;;;;-1:-1:-1;2051:11:1;;:16;;:44;;;2082:4;2071:24;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2071:24:1;2051:44;2031:94;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1850:282;;;;;:::o;453:140:8:-;505:6;531;;;:30;;-1:-1:-1;;546:5:8;;;560:1;555;546:5;555:1;541:15;;;;;:20;531:30;523:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;320:127;403:5;;;398:16;;;;390:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2933:845:1;3044:23;;;;;;:50;;-1:-1:-1;3071:23:1;;;;3044:50;3036:80;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3229:18;;3157:23;:15;:23;;;3229:18;;;;;3212:35;;;3284:15;;;;;;:33;;-1:-1:-1;3303:14:1;;;;;3284:33;:51;;;;-1:-1:-1;3321:14:1;;;;;3284:51;3280:332;;;3488:11;3435:64;;3440:44;3474:9;3440:27;3457:9;3440:16;:27::i;:::-;:33;;;:44;:33;:44;:::i;:::-;3411:20;:88;;3435:50;;;;;:64;;;;3411:88;;;3537:64;;;3542:44;3576:9;3542:27;3559:9;3542:16;:27::i;:44::-;3513:20;:88;;3537:50;;;;;:64;;;;3513:88;;;3280:332;3621:8;:28;;;;;;;;;;;;3659;;;;;;;;;;;;3697:35;;;;;;;;;;;;3747:24;;;3752:8;;;3747:24;;3762:8;;;;;;;3747:24;;;;;;;;;;;;;;;;;2933:845;;;;;;:::o;1876:166:0:-;1956:16;;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;2004:31;;;;;;;;;;;;;;;;;1876:166;;;:::o;2048:216::-;2141:15;;;;;;;:9;:15;;;;;;:26;;2161:5;2141:26;:19;:26;:::i;:::-;2123:15;;;;;;;;:9;:15;;;;;;:44;;;;2193:13;;;;;;;:24;;2211:5;2193:24;:17;:24;:::i;:::-;2177:13;;;;;;;;:9;:13;;;;;;;;;:40;;;;2232:25;;;;;;;2177:13;;2232:25;;;;;;;;;;;;;2048:216;;;:::o;3863:939:1:-;3936:10;3958:13;3990:7;;;;;;;;;;;3974:30;;;:32;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3974:32:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3974:32:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3974:32:1;4067:5;;4024:19;;;;;;;-1:-1:-1;3974:32:1;;-1:-1:-1;4067:5:1;4097:699;;4126:11;;4122:607;;4157:10;4170:41;4180:30;;:15;;;;:30;;;:19;:30;:::i;4170:41::-;4157:54;;4229:14;4246:17;4256:6;4246:9;:17::i;:::-;4229:34;;4293:9;4285:5;:17;4281:434;;;4326:14;4343:79;4401:7;;;;;;;;;;;4385:34;;;:36;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4385:36:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4385:36:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4385:36:1;4343:79;;:37;4359:20;:5;4369:9;4359:20;:9;:20;:::i;:::-;4343:11;;;:37;:15;:37;:::i;:79::-;4326:96;;4444:16;4463:107;4518:51;4548:7;;;;;;;;;;;4532:34;;;:36;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4532:36:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4532:36:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4532:36:1;4518:9;;:51;;;:13;:51;:::i;:::-;4492:7;;4476:36;;;;;;;;4463:50;;4492:7;;;4476:34;;:36;;;;;;;;;;;;;;4492:7;4476:36;;;5:2:-1;;;;30:1;27;20:12;5:2;4476:36:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4476:36:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4476:36:1;4463:5;;4473:2;:39;4463:50;;:9;:50::i;:::-;:54;:107;:54;:107;:::i;:::-;4444:126;;4592:14;4621:11;4609:9;:23;;;;;;;-1:-1:-1;4658:13:1;;4654:42;;4673:23;4679:5;4686:9;4673:5;:23::i;:::-;4281:434;;;;4122:607;;;4097:699;;;4749:11;;4745:51;;4784:1;4776:5;:9;4745:51;3863:939;;;;;;:::o;288:292:7:-;333:6;359:1;355;:5;351:223;;;-1:-1:-1;380:1:7;412;408;404:5;;:9;427:89;438:1;434;:5;427:89;;;463:1;459:5;;500:1;495;491;487;:5;;;;;;:9;486:15;;;;;;482:19;;427:89;;;351:223;;;;536:6;;532:42;;-1:-1:-1;562:1:7;532:42;288:292;;;:::o;1462:197:0:-;1534:11;;:22;;1550:5;1534:22;:15;:22;:::i;:::-;1520:11;:36;;;1582:13;;;;;:9;:13;;;;;;:24;;1600:5;1582:24;:17;:24;:::i;:::-;1566:13;;;;;;;:9;:13;;;;;;;;:40;;;;1621:31;;;;;;;1566:13;;;;1621:31;;;;;;;;;;1462:197;;:::o;79:94:7:-;131:6;157:1;153;:5;:13;;165:1;153:13;;;161:1;153:13;149:17;79:94;-1:-1:-1;;;79:94:7:o;1665:205:0:-;1743:15;;;;;;;:9;:15;;;;;;:26;;1763:5;1743:26;:19;:26;:::i;:::-;1725:15;;;;;;;:9;:15;;;;;:44;;;;1793:11;:22;;1809:5;1793:22;:15;:22;:::i;:::-;1779:11;:36;;;1830:33;;;;;;;;;;;;;;;;;;;;;;1665:205;;:::o;317:118:9:-;392:10;;265:6;392:17;;317:118::o;503:106::-;563:9;592:10;;;588:14;;;592:10;588:14;;;;;;503:106;-1:-1:-1;;;503:106:9:o;188:126:8:-;271:5;;;266:16;;;;258:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

bzzr://93fa09b6de61affb382a1bc5bdb78bb566b8600373f276408e129641d60161d7