Code for 0x1012…569b

Since block 21857366

Verified contract

// File: contracts/interfaces/IUniswapV2Pair.sol

pragma solidity >=0.5.0;

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

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

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

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

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

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

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

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

    function initialize(address, address) external;
}

// File: contracts/interfaces/IUniswapV2ERC20.sol

pragma solidity >=0.5.0;

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

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

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

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

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

// File: contracts/libraries/SafeMath.sol

pragma solidity =0.5.16;

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

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

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

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

// File: contracts/UniswapV2ERC20.sol

pragma solidity =0.5.16;



contract UniswapV2ERC20 is IUniswapV2ERC20 {
    using SafeMath for uint;

    string public constant name = 'Uniswap V2';
    string public constant symbol = 'UNI-V2';
    uint8 public constant decimals = 18;
    uint  public totalSupply;
    mapping(address => uint) public balanceOf;
    mapping(address => mapping(address => uint)) public allowance;

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

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

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

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

    function _burn(address from, uint value) internal {
        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, 'UniswapV2: 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, 'UniswapV2: INVALID_SIGNATURE');
        _approve(owner, spender, value);
    }
}

// File: contracts/libraries/Math.sol

pragma solidity =0.5.16;

// a library for performing various math operations

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

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

// File: contracts/libraries/UQ112x112.sol

pragma solidity =0.5.16;

// a library for handling binary fixed point numbers (https://en.wikipedia.org/wiki/Q_(number_format))

// range: [0, 2**112 - 1]
// resolution: 1 / 2**112

library UQ112x112 {
    uint224 constant Q112 = 2**112;

    // encode a uint112 as a UQ112x112
    function encode(uint112 y) internal pure returns (uint224 z) {
        z = uint224(y) * Q112; // never overflows
    }

    // divide a UQ112x112 by a uint112, returning a UQ112x112
    function uqdiv(uint224 x, uint112 y) internal pure returns (uint224 z) {
        z = x / uint224(y);
    }
}

// File: contracts/interfaces/IERC20.sol

pragma solidity >=0.5.0;

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

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

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

// File: contracts/interfaces/IUniswapV2Factory.sol

pragma solidity >=0.5.0;

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

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

// File: contracts/interfaces/IUniswapV2Callee.sol

pragma solidity >=0.5.0;

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

// File: contracts/UniswapV2Pair.sol

pragma solidity =0.5.16;








contract UniswapV2Pair is IUniswapV2Pair, UniswapV2ERC20 {
    using SafeMath  for uint;
    using UQ112x112 for uint224;

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

    address public factory;
    address public 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, 'UniswapV2: 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))), 'UniswapV2: 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, 'UniswapV2: 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), 'UniswapV2: OVERFLOW');
        uint32 blockTimestamp = uint32(block.timestamp % 2**32);
        uint32 timeElapsed = blockTimestamp - blockTimestampLast; // overflow is desired
        if (timeElapsed > 0 && _reserve0 != 0 && _reserve1 != 0) {
            // * never overflows, and + overflow is desired
            price0CumulativeLast += uint(UQ112x112.encode(_reserve1).uqdiv(_reserve0)) * timeElapsed;
            price1CumulativeLast += uint(UQ112x112.encode(_reserve0).uqdiv(_reserve1)) * timeElapsed;
        }
        reserve0 = uint112(balance0);
        reserve1 = uint112(balance1);
        blockTimestampLast = blockTimestamp;
        emit Sync(reserve0, reserve1);
    }

    // if fee is on, mint liquidity equivalent to 1/6th of the growth in sqrt(k)
    function _mintFee(uint112 _reserve0, uint112 _reserve1) private returns (bool feeOn) {
        address feeTo = IUniswapV2Factory(factory).feeTo();
        feeOn = feeTo != address(0);
        uint _kLast = kLast; // gas savings
        if (feeOn) {
            if (_kLast != 0) {
                uint rootK = Math.sqrt(uint(_reserve0).mul(_reserve1));
                uint rootKLast = Math.sqrt(_kLast);
                if (rootK > rootKLast) {
                    uint numerator = totalSupply.mul(rootK.sub(rootKLast));
                    uint denominator = rootK.mul(5).add(rootKLast);
                    uint liquidity = numerator / denominator;
                    if (liquidity > 0) _mint(feeTo, liquidity);
                }
            }
        } 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, 'UniswapV2: 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, 'UniswapV2: 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, 'UniswapV2: INSUFFICIENT_OUTPUT_AMOUNT');
        (uint112 _reserve0, uint112 _reserve1,) = getReserves(); // gas savings
        require(amount0Out < _reserve0 && amount1Out < _reserve1, 'UniswapV2: 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, 'UniswapV2: INVALID_TO');
        if (amount0Out > 0) _safeTransfer(_token0, to, amount0Out); // optimistically transfer tokens
        if (amount1Out > 0) _safeTransfer(_token1, to, amount1Out); // optimistically transfer tokens
        if (data.length > 0) IUniswapV2Callee(to).uniswapV2Call(msg.sender, amount0Out, amount1Out, data);
        balance0 = IERC20(_token0).balanceOf(address(this));
        balance1 = IERC20(_token1).balanceOf(address(this));
        }
        uint amount0In = balance0 > _reserve0 - amount0Out ? balance0 - (_reserve0 - amount0Out) : 0;
        uint amount1In = balance1 > _reserve1 - amount1Out ? balance1 - (_reserve1 - amount1Out) : 0;
        require(amount0In > 0 || amount1In > 0, 'UniswapV2: INSUFFICIENT_INPUT_AMOUNT');
        { // scope for reserve{0,1}Adjusted, avoids stack too deep errors
        uint balance0Adjusted = balance0.mul(1000).sub(amount0In.mul(3));
        uint balance1Adjusted = balance1.mul(1000).sub(amount1In.mul(3));
        require(balance0Adjusted.mul(balance1Adjusted) >= uint(_reserve0).mul(_reserve1).mul(1000**2), 'UniswapV2: K');
        }

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

    // force balances to match reserves
    function skim(address to) external lock {
        address _token0 = token0; // gas savings
        address _token1 = token1; // gas savings
        _safeTransfer(_token0, to, IERC20(_token0).balanceOf(address(this)).sub(reserve0));
        _safeTransfer(_token1, to, IERC20(_token1).balanceOf(address(this)).sub(reserve1));
    }

    // force reserves to match balances
    function sync() external lock {
        _update(IERC20(token0).balanceOf(address(this)), IERC20(token1).balanceOf(address(this)), reserve0, reserve1);
    }
}

Contract sourced from Etherscan. Solidity version v0.5.16+commit.9c3226ce.

Panoramix decompilation

# Palkeoramix decompiler. 

const name = 'Uniswap V2'
const decimals = 18
const symbol = 'UNI-V2'
const PERMIT_TYPEHASH = 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
const MINIMUM_LIQUIDITY = 1000

def storage:
  totalSupply is uint256 at storage 0
  balanceOf is mapping of uint256 at storage 1
  allowance is mapping of uint256 at storage 2
  DOMAIN_SEPARATOR is uint256 at storage 3
  nonces is mapping of uint256 at storage 4
  factoryAddress is address at storage 5
  token0Address is address at storage 6
  token1Address is address at storage 7
  stor8 is uint32 at storage 8 offset 224
  stor8 is uint128 at storage 8
  stor8 is uint128 at storage 8 offset 112
  price0CumulativeLast is uint256 at storage 9
  price1CumulativeLast is uint256 at storage 10
  kLast is uint256 at storage 11
  stor12 is uint256 at storage 12

def token0() payable: 
  return token0Address

def totalSupply() payable: 
  return totalSupply

def DOMAIN_SEPARATOR() payable: 
  return DOMAIN_SEPARATOR

def price0CumulativeLast() payable: 
  return price0CumulativeLast

def price1CumulativeLast() payable: 
  return price1CumulativeLast

def balanceOf(address account) payable: 
  require calldata.size - 4 >= 32
  return balanceOf[account]

def kLast() payable: 
  return kLast

def nonces(address _param1) payable: 
  require calldata.size - 4 >= 32
  return nonces[_param1]

def factory() payable: 
  return factoryAddress

def token1() payable: 
  return token1Address

def allowance(address owner, address spender) payable: 
  require calldata.size - 4 >= 64
  return allowance[owner][spender]

#
#  Regular functions
#

def _fallback(?) payable: # default function
  revert

def getReserves() payable: 
  return Mask(112, 0, stor8.field_0), Mask(112, 0, stor8.field_0), uint32(stor8.field_224)

def initialize(address _token0, address _token1) payable: 
  require calldata.size - 4 >= 64
  if factoryAddress != caller:
      revert with 0, 'UniswapV2: FORBIDDEN'
  token0Address = _token0
  token1Address = _token1

def approve(address spender, uint256 amount) payable: 
  require calldata.size - 4 >= 64
  allowance[caller][address(spender)] = amount
  log Approval(
        address owner=amount,
        address spender=caller,
        uint256 value=spender)
  return 1

def transfer(address recipient, uint256 amount) payable: 
  require calldata.size - 4 >= 64
  if balanceOf[caller] - amount > balanceOf[caller]:
      revert with 0, 'ds-math-sub-underflow'
  balanceOf[caller] -= amount
  if balanceOf[recipient] + amount < balanceOf[recipient]:
      revert with 0, 'ds-math-add-overflow'
  balanceOf[address(recipient)] = balanceOf[recipient] + amount
  log Transfer(
        address from=amount,
        address to=caller,
        uint256 value=recipient)
  return 1

def permit(address owner, address spender, uint256 value, uint256 deadline, uint8 v, bytes32 r, bytes32 s) payable: 
  require calldata.size - 4 >= 224
  if deadline < block.timestamp:
      revert with 0, 'UniswapV2: EXPIRED'
  nonces[address(owner)]++
  signer = erecover(sha3(0, DOMAIN_SEPARATOR, sha3(0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9, address(owner), address(spender), value, nonces[address(owner)], deadline)), v << 248, r, s) # precompiled
  if not erecover.result:
      revert with ext_call.return_data[0 len return_data.size]
  if not address(signer):
      revert with 0, 'UniswapV2: INVALID_SIGNATURE'
  if address(signer) != owner:
      revert with 0, 'UniswapV2: INVALID_SIGNATURE'
  allowance[address(owner)][address(spender)] = value
  log Approval(
        address owner=value,
        address spender=owner,
        uint256 value=spender)

def transferFrom(address sender, address recipient, uint256 amount) payable: 
  require calldata.size - 4 >= 96
  if allowance[address(sender)][caller] != -1:
      if allowance[address(sender)][caller] - amount > allowance[address(sender)][caller]:
          revert with 0, 'ds-math-sub-underflow'
      allowance[address(sender)][caller] -= amount
  if balanceOf[address(sender)] - amount > balanceOf[address(sender)]:
      revert with 0, 'ds-math-sub-underflow'
  balanceOf[address(sender)] -= amount
  if balanceOf[recipient] + amount < balanceOf[recipient]:
      revert with 0, 'ds-math-add-overflow'
  balanceOf[address(recipient)] = balanceOf[recipient] + amount
  log Transfer(
        address from=amount,
        address to=sender,
        uint256 value=recipient)
  return 1

def sync() payable: 
  if stor12 != 1:
      revert with 0, 'UniswapV2: LOCKED'
  stor12 = 0
  require ext_code.size(token0Address)
  static call token0Address.balanceOf(address account) with:
          gas gas_remaining wei
         args this.address
  if not ext_call.success:
      revert with ext_call.return_data[0 len return_data.size]
  require return_data.size >= 32
  require ext_code.size(token1Address)
  static call token1Address.balanceOf(address account) with:
          gas gas_remaining wei
         args this.address
  if not ext_call.success:
      revert with ext_call.return_data[0 len return_data.size]
  require return_data.size >= 32
  if ext_call.return_data[0] > LOCK8605463013():
      revert with 0, 'UniswapV2: OVERFLOW'
  if ext_call.return_data[0] > LOCK8605463013():
      revert with 0, 'UniswapV2: OVERFLOW'
  if uint32(uint32(block.timestamp) - uint32(stor8.field_224)):
      if Mask(112, 0, stor8.field_0):
          if Mask(112, 0, stor8.field_112):
              require Mask(112, 0, stor8.field_0)
              price0CumulativeLast += Mask(224, 0, Mask(112, 0, Mask(112, 0, stor8.field_112)) << 112 / Mask(112, 0, stor8.field_0)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
              require Mask(112, 0, stor8.field_112)
              price1CumulativeLast += Mask(224, 0, Mask(112, 0, stor8.field_0) / Mask(112, 0, stor8.field_112)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
  Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
  Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
  uint32(stor8.field_224) = uint32(block.timestamp)
  log Sync(
        uint112 reserve0=ext_call.return_data[0] << 144,
        uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
  stor12 = 1

def skim(address to) payable: 
  require calldata.size - 4 >= 32
  if stor12 != 1:
      revert with 0, 'UniswapV2: LOCKED'
  stor12 = 0
  require ext_code.size(token0Address)
  static call token0Address.balanceOf(address account) with:
          gas gas_remaining wei
         args this.address
  if not ext_call.success:
      revert with ext_call.return_data[0 len return_data.size]
  require return_data.size >= 32
  if ext_call.return_data[0] - Mask(112, 0, stor8.field_0) > ext_call.return_data[0]:
      revert with 0, 'ds-math-sub-underflow'
  mem[260 len 64] = transfer(address recipient, uint256 amount), address(to) << 64, 0, Mask(224, 32, ext_call.return_data[0] - Mask(112, 0, stor8.field_0)) >> 32
  call token0Address with:
       gas gas_remaining wei
      args Mask(224, 32, ext_call.return_data[0] - Mask(112, 0, stor8.field_0)) << 224, mem[324 len 4]
  if not return_data.size:
      require not ext_call.success
      revert with 0, 'UniswapV2: TRANSFER_FAILED'
  mem[292 len return_data.size] = ext_call.return_data[0 len return_data.size]
  if not ext_call.success:
      revert with 0, 'UniswapV2: TRANSFER_FAILED'
  if return_data.size:
      require return_data.size >= 32
      if not mem[292]:
          revert with 0, 'UniswapV2: TRANSFER_FAILED'
  require ext_code.size(token1Address)
  static call token1Address.balanceOf(address account) with:
          gas gas_remaining wei
         args this.address
  if not ext_call.success:
      revert with ext_call.return_data[0 len return_data.size]
  require return_data.size >= 32
  if ext_call.return_data[0] - Mask(112, 0, stor8.field_112) > ext_call.return_data[0]:
      revert with 0, 'ds-math-sub-underflow'
  mem[ceil32(return_data.size) + 425 len 64] = 0, address(to), Mask(224, 32, ext_call.return_data[0] - Mask(112, 0, stor8.field_112)) >> 32
  call token1Address with:
       gas gas_remaining wei
      args ext_call.return_data[0] - Mask(112, 0, stor8.field_112), Mask(224, 32, address(to), Mask(224, 32, ext_call.return_data[0] - Mask(112, 0, stor8.field_112)) >> 32) >> 32, mem[ceil32(return_data.size) + 489 len 4]
  if not return_data.size:
      require not ext_call.success
      revert with 0, 'UniswapV2: TRANSFER_FAILED'
  mem[ceil32(return_data.size) + 457 len return_data.size] = ext_call.return_data[0 len return_data.size]
  if not ext_call.success:
      revert with 0, 'UniswapV2: TRANSFER_FAILED'
  if return_data.size:
      require return_data.size >= 32
      if not mem[ceil32(return_data.size) + 457]:
          revert with 0, 'UniswapV2: TRANSFER_FAILED'
  stor12 = 1

def swap(uint256 amount0Out, uint256 amount1Out, address to, bytes data) payable: 
  require calldata.size - 4 >= 128
  require data <= unknown10000000()
  require data + 36 <= calldata.size
  require data.length <= unknown10000000() and data + data.length + 36 <= calldata.size
  if stor12 != 1:
      revert with 0, 'UniswapV2: LOCKED'
  stor12 = 0
  if amount0Out:
      if amount0Out >= Mask(112, 0, stor8.field_0):
          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                      32,
                      33,
                      0x54556e697377617056323a20494e53554646494349454e545f4c49515549444954,
                      mem[197 len 31]
      if amount1Out >= Mask(112, 0, stor8.field_112):
          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                      32,
                      33,
                      0x54556e697377617056323a20494e53554646494349454e545f4c49515549444954,
                      mem[197 len 31]
      if token0Address == to:
          revert with 0, 'UniswapV2: INVALID_TO'
      if to == token1Address:
          revert with 0, 'UniswapV2: INVALID_TO'
      if not amount0Out:
          if not amount1Out:
              if not data.length:
                  require ext_code.size(token0Address)
                  static call token0Address.balanceOf(address account) with:
                          gas gas_remaining wei
                         args this.address
                  if not ext_call.success:
                      revert with ext_call.return_data[0 len return_data.size]
                  require return_data.size >= 32
                  require ext_code.size(token1Address)
                  static call token1Address.balanceOf(address account) with:
                          gas gas_remaining wei
                         args this.address
                  if not ext_call.success:
                      revert with ext_call.return_data[0 len return_data.size]
                  require return_data.size >= 32
                  if ext_call.return_data[0] <= Mask(112, 0, stor8.field_0) - amount0Out:
                      if ext_call.return_data[0] <= Mask(112, 0, stor8.field_112) - amount1Out:
                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                      32,
                                      36,
                                      0x54556e697377617056323a20494e53554646494349454e545f494e5055545f414d4f554e,
                                      mem[200 len 28]
                      if ext_call.return_data[0] - Mask(112, 0, stor8.field_112) + amount1Out <= 0:
                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                      32,
                                      36,
                                      0x54556e697377617056323a20494e53554646494349454e545f494e5055545f414d4f554e,
                                      mem[200 len 28]
                      if 1000 * ext_call.return_data[0] / 1000 != ext_call.return_data[0]:
                          revert with 0, 'ds-math-mul-overflow'
                      if 1000 * ext_call.return_data[0] > 1000 * ext_call.return_data[0]:
                          revert with 0, 'ds-math-sub-underflow'
                  else:
                      if ext_call.return_data[0] <= Mask(112, 0, stor8.field_112) - amount1Out:
                          if ext_call.return_data[0] - Mask(112, 0, stor8.field_0) + amount0Out <= 0:
                              revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                          32,
                                          36,
                                          0x54556e697377617056323a20494e53554646494349454e545f494e5055545f414d4f554e,
                                          mem[200 len 28]
                      else:
                          if ext_call.return_data[0] - Mask(112, 0, stor8.field_0) + amount0Out <= 0:
                              if ext_call.return_data[0] - Mask(112, 0, stor8.field_112) + amount1Out <= 0:
                                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                              32,
                                              36,
                                              0x54556e697377617056323a20494e53554646494349454e545f494e5055545f414d4f554e,
                                              mem[200 len 28]
                      if (3 * ext_call.return_data[0]) - (3 * Mask(112, 0, stor8.field_0)) + (3 * amount0Out) / 3 != ext_call.return_data[0] - Mask(112, 0, stor8.field_0) + amount0Out:
                          revert with 0, 'ds-math-mul-overflow'
                      if 1000 * ext_call.return_data[0] / 1000 != ext_call.return_data[0]:
                          revert with 0, 'ds-math-mul-overflow'
                      if (997 * ext_call.return_data[0]) + (3 * Mask(112, 0, stor8.field_0)) - (3 * amount0Out) > 1000 * ext_call.return_data[0]:
                          revert with 0, 'ds-math-sub-underflow'
              else:
                  mem[260 len data.length] = data[all]
                  mem[data.length + 260] = 0
                  require ext_code.size(to)
                  call to.uniswapV2Call(address sender, uint256 amount0, uint256 amount1, bytes data) with:
                       gas gas_remaining wei
                      args 0, uint32(caller), amount0Out, amount1Out, 128, data.length, data[all], mem[data.length + 260 len ceil32(data.length) - data.length]
                  if not ext_call.success:
                      revert with ext_call.return_data[0 len return_data.size]
                  require ext_code.size(token0Address)
                  static call token0Address.balanceOf(address account) with:
                          gas gas_remaining wei
                         args this.address
                  if not ext_call.success:
                      revert with ext_call.return_data[0 len return_data.size]
                  require return_data.size >= 32
                  require ext_code.size(token1Address)
                  static call token1Address.balanceOf(address account) with:
                          gas gas_remaining wei
                         args this.address
                  if not ext_call.success:
                      revert with ext_call.return_data[0 len return_data.size]
                  require return_data.size >= 32
                  if ext_call.return_data[0] <= Mask(112, 0, stor8.field_0) - amount0Out:
                      if ext_call.return_data[0] <= Mask(112, 0, stor8.field_112) - amount1Out:
                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 'TUniswapV2: INSUFFICIENT_INPUT_AMOUN'
                      if ext_call.return_data[0] - Mask(112, 0, stor8.field_112) + amount1Out <= 0:
                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 'TUniswapV2: INSUFFICIENT_INPUT_AMOUN'
                      if 1000 * ext_call.return_data[0] / 1000 != ext_call.return_data[0]:
                          revert with 0, 'ds-math-mul-overflow'
                  else:
                      if ext_call.return_data[0] <= Mask(112, 0, stor8.field_112) - amount1Out:
                          if ext_call.return_data[0] - Mask(112, 0, stor8.field_0) + amount0Out <= 0:
                              revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 'TUniswapV2: INSUFFICIENT_INPUT_AMOUN'
                          if (3 * ext_call.return_data[0]) - (3 * Mask(112, 0, stor8.field_0)) + (3 * amount0Out) / 3 != ext_call.return_data[0] - Mask(112, 0, stor8.field_0) + amount0Out:
                              revert with 0, 'ds-math-mul-overflow'
                          if 1000 * ext_call.return_data[0] / 1000 != ext_call.return_data[0]:
                              revert with 0, 'ds-math-mul-overflow'
                          if (997 * ext_call.return_data[0]) + (3 * Mask(112, 0, stor8.field_0)) - (3 * amount0Out) > 1000 * ext_call.return_data[0]:
                              revert with 0, 'ds-math-sub-underflow'
                      else:
                          if ext_call.return_data[0] - Mask(112, 0, stor8.field_0) + amount0Out > 0:
                              if (3 * ext_call.return_data[0]) - (3 * Mask(112, 0, stor8.field_0)) + (3 * amount0Out) / 3 != ext_call.return_data[0] - Mask(112, 0, stor8.field_0) + amount0Out:
                                  revert with 0, 'ds-math-mul-overflow'
                              if 1000 * ext_call.return_data[0] / 1000 != ext_call.return_data[0]:
                                  revert with 0, 'ds-math-mul-overflow'
                              if (997 * ext_call.return_data[0]) + (3 * Mask(112, 0, stor8.field_0)) - (3 * amount0Out) > 1000 * ext_call.return_data[0]:
                                  revert with 0, 'ds-math-sub-underflow'
                          else:
                              if ext_call.return_data[0] - Mask(112, 0, stor8.field_112) + amount1Out <= 0:
                                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 'TUniswapV2: INSUFFICIENT_INPUT_AMOUN'
                              if (3 * ext_call.return_data[0]) - (3 * Mask(112, 0, stor8.field_0)) + (3 * amount0Out) / 3 != ext_call.return_data[0] - Mask(112, 0, stor8.field_0) + amount0Out:
                                  revert with 0, 'ds-math-mul-overflow'
                              if 1000 * ext_call.return_data[0] / 1000 != ext_call.return_data[0]:
                                  revert with 0, 'ds-math-mul-overflow'
  else:
      if amount1Out <= 0:
          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                      32,
                      37,
                      0xfe556e697377617056323a20494e53554646494349454e545f4f55545055545f414d4f554e,
                      mem[201 len 27]
      if amount0Out >= Mask(112, 0, stor8.field_0):
          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                      32,
                      33,
                      0x54556e697377617056323a20494e53554646494349454e545f4c49515549444954,
                      mem[197 len 31]
      if amount1Out >= Mask(112, 0, stor8.field_112):
          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                      32,
                      33,
                      0x54556e697377617056323a20494e53554646494349454e545f4c49515549444954,
                      mem[197 len 31]
      if token0Address == to:
          revert with 0, 'UniswapV2: INVALID_TO'
      if to == token1Address:
          revert with 0, 'UniswapV2: INVALID_TO'
      if not amount0Out:
          if not amount1Out:
              if not data.length:
                  require ext_code.size(token0Address)
                  static call token0Address.balanceOf(address account) with:
                          gas gas_remaining wei
                         args this.address
                  if not ext_call.success:
                      revert with ext_call.return_data[0 len return_data.size]
                  require return_data.size >= 32
                  require ext_code.size(token1Address)
                  static call token1Address.balanceOf(address account) with:
                          gas gas_remaining wei
                         args this.address
                  if not ext_call.success:
                      revert with ext_call.return_data[0 len return_data.size]
                  require return_data.size >= 32
                  if ext_call.return_data[0] <= Mask(112, 0, stor8.field_0) - amount0Out:
                      if ext_call.return_data[0] <= Mask(112, 0, stor8.field_112) - amount1Out:
                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                      32,
                                      36,
                                      0x54556e697377617056323a20494e53554646494349454e545f494e5055545f414d4f554e,
                                      mem[200 len 28]
                      if ext_call.return_data[0] - Mask(112, 0, stor8.field_112) + amount1Out <= 0:
                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                      32,
                                      36,
                                      0x54556e697377617056323a20494e53554646494349454e545f494e5055545f414d4f554e,
                                      mem[200 len 28]
                      if 1000 * ext_call.return_data[0] / 1000 != ext_call.return_data[0]:
                          revert with 0, 'ds-math-mul-overflow'
                      if 1000 * ext_call.return_data[0] > 1000 * ext_call.return_data[0]:
                          revert with 0, 'ds-math-sub-underflow'
                  else:
                      if ext_call.return_data[0] <= Mask(112, 0, stor8.field_112) - amount1Out:
                          if ext_call.return_data[0] - Mask(112, 0, stor8.field_0) + amount0Out <= 0:
                              revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                          32,
                                          36,
                                          0x54556e697377617056323a20494e53554646494349454e545f494e5055545f414d4f554e,
                                          mem[200 len 28]
                      else:
                          if ext_call.return_data[0] - Mask(112, 0, stor8.field_0) + amount0Out <= 0:
                              if ext_call.return_data[0] - Mask(112, 0, stor8.field_112) + amount1Out <= 0:
                                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                              32,
                                              36,
                                              0x54556e697377617056323a20494e53554646494349454e545f494e5055545f414d4f554e,
                                              mem[200 len 28]
                      if (3 * ext_call.return_data[0]) - (3 * Mask(112, 0, stor8.field_0)) + (3 * amount0Out) / 3 != ext_call.return_data[0] - Mask(112, 0, stor8.field_0) + amount0Out:
                          revert with 0, 'ds-math-mul-overflow'
                      if 1000 * ext_call.return_data[0] / 1000 != ext_call.return_data[0]:
                          revert with 0, 'ds-math-mul-overflow'
                      if (997 * ext_call.return_data[0]) + (3 * Mask(112, 0, stor8.field_0)) - (3 * amount0Out) > 1000 * ext_call.return_data[0]:
                          revert with 0, 'ds-math-sub-underflow'
              else:
                  mem[260 len data.length] = data[all]
                  mem[data.length + 260] = 0
                  require ext_code.size(to)
                  call to.uniswapV2Call(address sender, uint256 amount0, uint256 amount1, bytes data) with:
                       gas gas_remaining wei
                      args 0, uint32(caller), amount0Out, amount1Out, 128, data.length, data[all], mem[data.length + 260 len ceil32(data.length) - data.length]
                  if not ext_call.success:
                      revert with ext_call.return_data[0 len return_data.size]
                  require ext_code.size(token0Address)
                  static call token0Address.balanceOf(address account) with:
                          gas gas_remaining wei
                         args this.address
                  if not ext_call.success:
                      revert with ext_call.return_data[0 len return_data.size]
                  require return_data.size >= 32
                  require ext_code.size(token1Address)
                  static call token1Address.balanceOf(address account) with:
                          gas gas_remaining wei
                         args this.address
                  if not ext_call.success:
                      revert with ext_call.return_data[0 len return_data.size]
                  require return_data.size >= 32
                  if ext_call.return_data[0] <= Mask(112, 0, stor8.field_0) - amount0Out:
                      if ext_call.return_data[0] <= Mask(112, 0, stor8.field_112) - amount1Out:
                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 'TUniswapV2: INSUFFICIENT_INPUT_AMOUN'
                      if ext_call.return_data[0] - Mask(112, 0, stor8.field_112) + amount1Out <= 0:
                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 'TUniswapV2: INSUFFICIENT_INPUT_AMOUN'
                  else:
                      if ext_call.return_data[0] > Mask(112, 0, stor8.field_112) - amount1Out:
                          if ext_call.return_data[0] - Mask(112, 0, stor8.field_0) + amount0Out <= 0:
                              if ext_call.return_data[0] - Mask(112, 0, stor8.field_112) + amount1Out <= 0:
                                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 'TUniswapV2: INSUFFICIENT_INPUT_AMOUN'
                      else:
                          if ext_call.return_data[0] - Mask(112, 0, stor8.field_0) + amount0Out <= 0:
                              revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 'TUniswapV2: INSUFFICIENT_INPUT_AMOUN'
                      if (3 * ext_call.return_data[0]) - (3 * Mask(112, 0, stor8.field_0)) + (3 * amount0Out) / 3 != ext_call.return_data[0] - Mask(112, 0, stor8.field_0) + amount0Out:
                          revert with 0, 'ds-math-mul-overflow'
                  if 1000 * ext_call.return_data[0] / 1000 != ext_call.return_data[0]:
                      revert with 0, 'ds-math-mul-overflow'
  ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)

def burn(address to) payable: 
  require calldata.size - 4 >= 32
  if stor12 != 1:
      revert with 0, 'UniswapV2: LOCKED'
  stor12 = 0
  require ext_code.size(token0Address)
  static call token0Address.balanceOf(address account) with:
          gas gas_remaining wei
         args this.address
  if not ext_call.success:
      revert with ext_call.return_data[0 len return_data.size]
  require return_data.size >= 32
  require ext_code.size(token1Address)
  static call token1Address.balanceOf(address account) with:
          gas gas_remaining wei
         args this.address
  if not ext_call.success:
      revert with ext_call.return_data[0 len return_data.size]
  require return_data.size >= 32
  require ext_code.size(factoryAddress)
  static call factoryAddress.feeTo() with:
          gas gas_remaining wei
  if not ext_call.success:
      revert with ext_call.return_data[0 len return_data.size]
  require return_data.size >= 32
  if not ext_call.return_data[12 len 20]:
      if kLast:
          kLast = 0
      if not ext_call.return_data[0]:
          require totalSupply
          if not ext_call.return_data[0]:
              require totalSupply
              if 0 / totalSupply <= 0:
                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                              32,
                              40,
                              0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                              mem[204 len 24]
          else:
              require ext_call.return_data[0]
              if balanceOf[this.address] * ext_call.return_data[0] / ext_call.return_data[0] != balanceOf[this.address]:
                  revert with 0, 'ds-math-mul-overflow'
              require totalSupply
              if 0 / totalSupply <= 0:
                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                              32,
                              40,
                              0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                              mem[204 len 24]
              if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                              32,
                              40,
                              0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                              mem[204 len 24]
      else:
          require ext_call.return_data[0]
          if balanceOf[this.address] * ext_call.return_data[0] / ext_call.return_data[0] != balanceOf[this.address]:
              revert with 0, 'ds-math-mul-overflow'
          require totalSupply
          if not ext_call.return_data[0]:
              require totalSupply
              if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                              32,
                              40,
                              0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                              mem[204 len 24]
              if 0 / totalSupply <= 0:
                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                              32,
                              40,
                              0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                              mem[204 len 24]
          else:
              require ext_call.return_data[0]
              if balanceOf[this.address] * ext_call.return_data[0] / ext_call.return_data[0] != balanceOf[this.address]:
                  revert with 0, 'ds-math-mul-overflow'
              require totalSupply
              if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                              32,
                              40,
                              0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                              mem[204 len 24]
              if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                              32,
                              40,
                              0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                              mem[204 len 24]
      if balanceOf[address(this.address)] - balanceOf[this.address] > balanceOf[address(this.address)]:
          revert with 0, 'ds-math-sub-underflow'
      balanceOf[address(this.address)] -= balanceOf[this.address]
      if totalSupply - balanceOf[this.address] > totalSupply:
          revert with 0, 'ds-math-sub-underflow'
      totalSupply -= balanceOf[this.address]
      log Transfer(
            address from=balanceOf[this.address],
            address to=this.address,
            uint256 value=0)
  else:
      if not kLast:
          if not ext_call.return_data[0]:
              require totalSupply
              if not ext_call.return_data[0]:
                  require totalSupply
                  if 0 / totalSupply <= 0:
                      revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                  32,
                                  40,
                                  0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                  mem[204 len 24]
              else:
                  require ext_call.return_data[0]
                  if balanceOf[this.address] * ext_call.return_data[0] / ext_call.return_data[0] != balanceOf[this.address]:
                      revert with 0, 'ds-math-mul-overflow'
                  require totalSupply
                  if 0 / totalSupply <= 0:
                      revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                  32,
                                  40,
                                  0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                  mem[204 len 24]
                  if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                      revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                  32,
                                  40,
                                  0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                  mem[204 len 24]
          else:
              require ext_call.return_data[0]
              if balanceOf[this.address] * ext_call.return_data[0] / ext_call.return_data[0] != balanceOf[this.address]:
                  revert with 0, 'ds-math-mul-overflow'
              require totalSupply
              if not ext_call.return_data[0]:
                  require totalSupply
                  if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                      revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                  32,
                                  40,
                                  0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                  mem[204 len 24]
                  if 0 / totalSupply <= 0:
                      revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                  32,
                                  40,
                                  0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                  mem[204 len 24]
              else:
                  require ext_call.return_data[0]
                  if balanceOf[this.address] * ext_call.return_data[0] / ext_call.return_data[0] != balanceOf[this.address]:
                      revert with 0, 'ds-math-mul-overflow'
                  require totalSupply
                  if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                      revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                  32,
                                  40,
                                  0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                  mem[204 len 24]
                  if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                      revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                  32,
                                  40,
                                  0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                  mem[204 len 24]
          if balanceOf[address(this.address)] - balanceOf[this.address] > balanceOf[address(this.address)]:
              revert with 0, 'ds-math-sub-underflow'
          balanceOf[address(this.address)] -= balanceOf[this.address]
          if totalSupply - balanceOf[this.address] > totalSupply:
              revert with 0, 'ds-math-sub-underflow'
          totalSupply -= balanceOf[this.address]
          log Transfer(
                address from=balanceOf[this.address],
                address to=this.address,
                uint256 value=0)
      else:
          if not Mask(112, 0, stor8.field_112):
              if kLast <= 3:
                  if not ext_call.return_data[0]:
                      require totalSupply
                      if not ext_call.return_data[0]:
                          require totalSupply
                          if 0 / totalSupply <= 0:
                              revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                          32,
                                          40,
                                          0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                          mem[204 len 24]
                      else:
                          require ext_call.return_data[0]
                          if balanceOf[this.address] * ext_call.return_data[0] / ext_call.return_data[0] != balanceOf[this.address]:
                              revert with 0, 'ds-math-mul-overflow'
                          require totalSupply
                          if 0 / totalSupply <= 0:
                              revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                          32,
                                          40,
                                          0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                          mem[204 len 24]
                          if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                              revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                          32,
                                          40,
                                          0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                          mem[204 len 24]
                  else:
                      require ext_call.return_data[0]
                      if balanceOf[this.address] * ext_call.return_data[0] / ext_call.return_data[0] != balanceOf[this.address]:
                          revert with 0, 'ds-math-mul-overflow'
                      require totalSupply
                      if not ext_call.return_data[0]:
                          require totalSupply
                          if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                              revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                          32,
                                          40,
                                          0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                          mem[204 len 24]
                          if 0 / totalSupply <= 0:
                              revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                          32,
                                          40,
                                          0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                          mem[204 len 24]
                      else:
                          require ext_call.return_data[0]
                          if balanceOf[this.address] * ext_call.return_data[0] / ext_call.return_data[0] != balanceOf[this.address]:
                              revert with 0, 'ds-math-mul-overflow'
                          require totalSupply
                          if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                              revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                          32,
                                          40,
                                          0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                          mem[204 len 24]
                          if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                              revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                          32,
                                          40,
                                          0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                          mem[204 len 24]
                  if balanceOf[address(this.address)] - balanceOf[this.address] > balanceOf[address(this.address)]:
                      revert with 0, 'ds-math-sub-underflow'
                  balanceOf[address(this.address)] -= balanceOf[this.address]
                  if totalSupply - balanceOf[this.address] > totalSupply:
                      revert with 0, 'ds-math-sub-underflow'
                  totalSupply -= balanceOf[this.address]
                  log Transfer(
                        address from=balanceOf[this.address],
                        address to=this.address,
                        uint256 value=0)
          else:
              require Mask(112, 0, stor8.field_112)
              if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
                  revert with 0, 'ds-math-mul-overflow'
              if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) <= 3:
                  if not Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112):
                      if kLast <= 3:
                          if not ext_call.return_data[0]:
                              require totalSupply
                              if not ext_call.return_data[0]:
                                  require totalSupply
                                  if 0 / totalSupply <= 0:
                                      revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                  32,
                                                  40,
                                                  0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                                  mem[204 len 24]
                              else:
                                  require ext_call.return_data[0]
                                  if balanceOf[this.address] * ext_call.return_data[0] / ext_call.return_data[0] != balanceOf[this.address]:
                                      revert with 0, 'ds-math-mul-overflow'
                                  require totalSupply
                                  if 0 / totalSupply <= 0:
                                      revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                  32,
                                                  40,
                                                  0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                                  mem[204 len 24]
                                  if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                                      revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                  32,
                                                  40,
                                                  0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                                  mem[204 len 24]
                          else:
                              require ext_call.return_data[0]
                              if balanceOf[this.address] * ext_call.return_data[0] / ext_call.return_data[0] != balanceOf[this.address]:
                                  revert with 0, 'ds-math-mul-overflow'
                              require totalSupply
                              if not ext_call.return_data[0]:
                                  require totalSupply
                                  if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                                      revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                  32,
                                                  40,
                                                  0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                                  mem[204 len 24]
                                  if 0 / totalSupply <= 0:
                                      revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                  32,
                                                  40,
                                                  0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                                  mem[204 len 24]
                              else:
                                  require ext_call.return_data[0]
                                  if balanceOf[this.address] * ext_call.return_data[0] / ext_call.return_data[0] != balanceOf[this.address]:
                                      revert with 0, 'ds-math-mul-overflow'
                                  require totalSupply
                                  if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                                      revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                  32,
                                                  40,
                                                  0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                                  mem[204 len 24]
                                  if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                                      revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                  32,
                                                  40,
                                                  0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                                  mem[204 len 24]
                          if balanceOf[address(this.address)] - balanceOf[this.address] > balanceOf[address(this.address)]:
                              revert with 0, 'ds-math-sub-underflow'
                          balanceOf[address(this.address)] -= balanceOf[this.address]
                          if totalSupply - balanceOf[this.address] > totalSupply:
                              revert with 0, 'ds-math-sub-underflow'
                          totalSupply -= balanceOf[this.address]
                          log Transfer(
                                address from=balanceOf[this.address],
                                address to=this.address,
                                uint256 value=0)
                  else:
                      if kLast <= 3:
                          if not kLast:
                              if totalSupply != totalSupply:
                                  revert with 0, 'ds-math-mul-overflow'
                              if not totalSupply / 5:
                                  if ext_call.return_data[0]:
                                      require ext_call.return_data[0]
                              else:
                                  if totalSupply + (totalSupply / 5) < totalSupply:
                                      revert with 0, 'ds-math-add-overflow'
                                  totalSupply += totalSupply / 5
                                  if balanceOf[ext_call.return_data[12 len 20]] + (totalSupply / 5) < balanceOf[ext_call.return_data[12 len 20]]:
                                      revert with 0, 'ds-math-add-overflow'
                                  balanceOf[address(ext_call.return_data[0])] = balanceOf[ext_call.return_data[12 len 20]] + (totalSupply / 5)
                                  log Transfer(
                                        address from=(totalSupply / 5),
                                        address to=0,
                                        uint256 value=address(ext_call.return_data[0]))
                          else:
                              if not ext_call.return_data[0]:
                                  require totalSupply
                                  if not ext_call.return_data[0]:
                                      require totalSupply
                                      if 0 / totalSupply <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                                      mem[204 len 24]
                                  else:
                                      require ext_call.return_data[0]
                                      if balanceOf[this.address] * ext_call.return_data[0] / ext_call.return_data[0] != balanceOf[this.address]:
                                          revert with 0, 'ds-math-mul-overflow'
                                      require totalSupply
                                      if 0 / totalSupply <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                                      mem[204 len 24]
                                      if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                                      mem[204 len 24]
                              else:
                                  require ext_call.return_data[0]
                                  if balanceOf[this.address] * ext_call.return_data[0] / ext_call.return_data[0] != balanceOf[this.address]:
                                      revert with 0, 'ds-math-mul-overflow'
                                  require totalSupply
                                  if not ext_call.return_data[0]:
                                      require totalSupply
                                      if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                                      mem[204 len 24]
                                      if 0 / totalSupply <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                                      mem[204 len 24]
                                  else:
                                      require ext_call.return_data[0]
                                      if balanceOf[this.address] * ext_call.return_data[0] / ext_call.return_data[0] != balanceOf[this.address]:
                                          revert with 0, 'ds-math-mul-overflow'
                                      require totalSupply
                                      if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                                      mem[204 len 24]
                                      if balanceOf[this.address] * ext_call.return_data[0] / totalSupply <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x59556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e45,
                                                      mem[204 len 24]
                              if balanceOf[address(this.address)] - balanceOf[this.address] > balanceOf[address(this.address)]:
                                  revert with 0, 'ds-math-sub-underflow'
                              balanceOf[address(this.address)] -= balanceOf[this.address]
                              if totalSupply - balanceOf[this.address] > totalSupply:
                                  revert with 0, 'ds-math-sub-underflow'
                              totalSupply -= balanceOf[this.address]
                              log Transfer(
                                    address from=balanceOf[this.address],
                                    address to=this.address,
                                    uint256 value=0)
  ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)

def mint(address to) payable: 
  require calldata.size - 4 >= 32
  if stor12 != 1:
      revert with 0, 'UniswapV2: LOCKED'
  stor12 = 0
  require ext_code.size(token0Address)
  static call token0Address.balanceOf(address account) with:
          gas gas_remaining wei
         args this.address
  if not ext_call.success:
      revert with ext_call.return_data[0 len return_data.size]
  require return_data.size >= 32
  require ext_code.size(token1Address)
  static call token1Address.balanceOf(address account) with:
          gas gas_remaining wei
         args this.address
  if not ext_call.success:
      revert with ext_call.return_data[0 len return_data.size]
  require return_data.size >= 32
  if ext_call.return_data[0] - Mask(112, 0, stor8.field_0) > ext_call.return_data[0]:
      revert with 0, 'ds-math-sub-underflow'
  if ext_call.return_data[0] - Mask(112, 0, stor8.field_112) > ext_call.return_data[0]:
      revert with 0, 'ds-math-sub-underflow'
  require ext_code.size(factoryAddress)
  static call factoryAddress.feeTo() with:
          gas gas_remaining wei
  if not ext_call.success:
      revert with ext_call.return_data[0 len return_data.size]
  require return_data.size >= 32
  if ext_call.return_data[12 len 20]:
      if kLast:
          if not Mask(112, 0, stor8.field_112):
              if kLast <= 3:
                  if not totalSupply:
                      if ext_call.return_data[0] - Mask(112, 0, stor8.field_112):
                          require ext_call.return_data[0] - Mask(112, 0, stor8.field_112)
                          if (ext_call.return_data[0] * ext_call.return_data[0]) - (Mask(112, 0, stor8.field_112) * ext_call.return_data[0]) - (ext_call.return_data[0] * Mask(112, 0, stor8.field_0)) + (Mask(112, 0, stor8.field_112) * Mask(112, 0, stor8.field_0)) / ext_call.return_data[0] - Mask(112, 0, stor8.field_112) != ext_call.return_data[0] - Mask(112, 0, stor8.field_0):
                              revert with 0, 'ds-math-mul-overflow'
                          if (ext_call.return_data[0] * ext_call.return_data[0]) - (Mask(112, 0, stor8.field_112) * ext_call.return_data[0]) - (ext_call.return_data[0] * Mask(112, 0, stor8.field_0)) + (Mask(112, 0, stor8.field_112) * Mask(112, 0, stor8.field_0)) > 3:
                              ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)
                      revert with 0, 'ds-math-sub-underflow'
                  require totalSupply
                  if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / totalSupply != ext_call.return_data[0] - Mask(112, 0, stor8.field_0):
                      revert with 0, 'ds-math-mul-overflow'
                  require Mask(112, 0, stor8.field_0)
                  if kLast:
                      if not totalSupply:
                          require Mask(112, 0, stor8.field_112)
                          if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) < 0 / Mask(112, 0, stor8.field_112):
                              if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) <= 0:
                                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                              32,
                                              40,
                                              0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                              mem[204 len 24]
                              if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < totalSupply:
                                  revert with 0, 'ds-math-add-overflow'
                              totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                              if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < balanceOf[address(to)]:
                                  revert with 0, 'ds-math-add-overflow'
                              balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                              log Transfer(
                                    address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)),
                                    address to=0,
                                    uint256 value=to)
                          else:
                              if 0 / Mask(112, 0, stor8.field_112) <= 0:
                                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                              32,
                                              40,
                                              0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                              mem[204 len 24]
                              if totalSupply + (0 / Mask(112, 0, stor8.field_112)) < totalSupply:
                                  revert with 0, 'ds-math-add-overflow'
                              totalSupply += 0 / Mask(112, 0, stor8.field_112)
                              if balanceOf[address(to)] + (0 / Mask(112, 0, stor8.field_112)) < balanceOf[address(to)]:
                                  revert with 0, 'ds-math-add-overflow'
                              balanceOf[address(to)] += 0 / Mask(112, 0, stor8.field_112)
                              log Transfer(
                                    address from=(0 / Mask(112, 0, stor8.field_112)),
                                    address to=0,
                                    uint256 value=to)
                          if ext_call.return_data[0] > LOCK8605463013():
                              revert with 0, 'UniswapV2: OVERFLOW'
                      else:
                          require totalSupply
                          if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / totalSupply != ext_call.return_data[0] - Mask(112, 0, stor8.field_112):
                              revert with 0, 'ds-math-mul-overflow'
                          require Mask(112, 0, stor8.field_112)
                          if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) < (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112):
                              if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) <= 0:
                                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                              32,
                                              40,
                                              0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                              mem[204 len 24]
                              if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < totalSupply:
                                  revert with 0, 'ds-math-add-overflow'
                              totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                              if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < balanceOf[address(to)]:
                                  revert with 0, 'ds-math-add-overflow'
                              balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                              log Transfer(
                                    address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)),
                                    address to=0,
                                    uint256 value=to)
                          else:
                              if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112) <= 0:
                                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                              32,
                                              40,
                                              0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                              mem[204 len 24]
                              if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)) < totalSupply:
                                  revert with 0, 'ds-math-add-overflow'
                              totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)
                              if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)) < balanceOf[address(to)]:
                                  revert with 0, 'ds-math-add-overflow'
                              balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)
                              log Transfer(
                                    address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)),
                                    address to=0,
                                    uint256 value=to)
                      if ext_call.return_data[0] > LOCK8605463013():
                          revert with 0, 'UniswapV2: OVERFLOW'
                  else:
                      if not totalSupply:
                          require Mask(112, 0, stor8.field_112)
                          if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) < 0 / Mask(112, 0, stor8.field_112):
                              if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) <= 0:
                                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                              32,
                                              40,
                                              0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                              mem[204 len 24]
                              if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < totalSupply:
                                  revert with 0, 'ds-math-add-overflow'
                              totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                              if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < balanceOf[address(to)]:
                                  revert with 0, 'ds-math-add-overflow'
                              balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                              log Transfer(
                                    address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)),
                                    address to=0,
                                    uint256 value=to)
                          else:
                              if 0 / Mask(112, 0, stor8.field_112) <= 0:
                                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                              32,
                                              40,
                                              0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                              mem[204 len 24]
                              if totalSupply + (0 / Mask(112, 0, stor8.field_112)) < totalSupply:
                                  revert with 0, 'ds-math-add-overflow'
                              totalSupply += 0 / Mask(112, 0, stor8.field_112)
                              if balanceOf[address(to)] + (0 / Mask(112, 0, stor8.field_112)) < balanceOf[address(to)]:
                                  revert with 0, 'ds-math-add-overflow'
                              balanceOf[address(to)] += 0 / Mask(112, 0, stor8.field_112)
                              log Transfer(
                                    address from=(0 / Mask(112, 0, stor8.field_112)),
                                    address to=0,
                                    uint256 value=to)
                          if ext_call.return_data[0] > LOCK8605463013():
                              revert with 0, 'UniswapV2: OVERFLOW'
                          if ext_call.return_data[0] > LOCK8605463013():
                              revert with 0, 'UniswapV2: OVERFLOW'
                          if uint32(uint32(block.timestamp) - uint32(stor8.field_224)):
                      else:
                          require totalSupply
                          if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / totalSupply != ext_call.return_data[0] - Mask(112, 0, stor8.field_112):
                              revert with 0, 'ds-math-mul-overflow'
                          require Mask(112, 0, stor8.field_112)
                          if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) < (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112):
                              if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) <= 0:
                                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                              32,
                                              40,
                                              0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                              mem[204 len 24]
                              if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < totalSupply:
                                  revert with 0, 'ds-math-add-overflow'
                              totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                              if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < balanceOf[address(to)]:
                                  revert with 0, 'ds-math-add-overflow'
                              balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                              log Transfer(
                                    address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)),
                                    address to=0,
                                    uint256 value=to)
                          else:
                              if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112) <= 0:
                                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                              32,
                                              40,
                                              0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                              mem[204 len 24]
                              if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)) < totalSupply:
                                  revert with 0, 'ds-math-add-overflow'
                              totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)
                              if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)) < balanceOf[address(to)]:
                                  revert with 0, 'ds-math-add-overflow'
                              balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)
                              log Transfer(
                                    address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)),
                                    address to=0,
                                    uint256 value=to)
                          if ext_call.return_data[0] > LOCK8605463013():
                              revert with 0, 'UniswapV2: OVERFLOW'
                          if ext_call.return_data[0] > LOCK8605463013():
                              revert with 0, 'UniswapV2: OVERFLOW'
          else:
              require Mask(112, 0, stor8.field_112)
              if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
                  revert with 0, 'ds-math-mul-overflow'
              if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) <= 3:
                  if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112):
                      if kLast <= 3:
                          if not kLast:
                              if totalSupply != totalSupply:
                                  revert with 0, 'ds-math-mul-overflow'
                              if not totalSupply / 5:
                                  if totalSupply:
                                      require totalSupply
                                      if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / totalSupply != ext_call.return_data[0] - Mask(112, 0, stor8.field_0):
                                          revert with 0, 'ds-math-mul-overflow'
                                      require Mask(112, 0, stor8.field_0)
                                  else:
                                      if ext_call.return_data[0] - Mask(112, 0, stor8.field_112):
                                          require ext_call.return_data[0] - Mask(112, 0, stor8.field_112)
                                          if (ext_call.return_data[0] * ext_call.return_data[0]) - (Mask(112, 0, stor8.field_112) * ext_call.return_data[0]) - (ext_call.return_data[0] * Mask(112, 0, stor8.field_0)) + (Mask(112, 0, stor8.field_112) * Mask(112, 0, stor8.field_0)) / ext_call.return_data[0] - Mask(112, 0, stor8.field_112) != ext_call.return_data[0] - Mask(112, 0, stor8.field_0):
                                              revert with 0, 'ds-math-mul-overflow'
                                          if (ext_call.return_data[0] * ext_call.return_data[0]) - (Mask(112, 0, stor8.field_112) * ext_call.return_data[0]) - (ext_call.return_data[0] * Mask(112, 0, stor8.field_0)) + (Mask(112, 0, stor8.field_112) * Mask(112, 0, stor8.field_0)) <= 3:
                              else:
                                  if totalSupply + (totalSupply / 5) < totalSupply:
                                      revert with 0, 'ds-math-add-overflow'
                                  totalSupply += totalSupply / 5
                                  if balanceOf[ext_call.return_data[12 len 20]] + (totalSupply / 5) < balanceOf[ext_call.return_data[12 len 20]]:
                                      revert with 0, 'ds-math-add-overflow'
                                  balanceOf[address(ext_call.return_data[0])] = balanceOf[ext_call.return_data[12 len 20]] + (totalSupply / 5)
                                  log Transfer(
                                        address from=(totalSupply / 5),
                                        address to=0,
                                        uint256 value=address(ext_call.return_data[0]))
                          else:
                              if not totalSupply:
                                  if ext_call.return_data[0] - Mask(112, 0, stor8.field_112):
                                      require ext_call.return_data[0] - Mask(112, 0, stor8.field_112)
                                      if (ext_call.return_data[0] * ext_call.return_data[0]) - (Mask(112, 0, stor8.field_112) * ext_call.return_data[0]) - (ext_call.return_data[0] * Mask(112, 0, stor8.field_0)) + (Mask(112, 0, stor8.field_112) * Mask(112, 0, stor8.field_0)) / ext_call.return_data[0] - Mask(112, 0, stor8.field_112) != ext_call.return_data[0] - Mask(112, 0, stor8.field_0):
                                          revert with 0, 'ds-math-mul-overflow'
                                      if (ext_call.return_data[0] * ext_call.return_data[0]) - (Mask(112, 0, stor8.field_112) * ext_call.return_data[0]) - (ext_call.return_data[0] * Mask(112, 0, stor8.field_0)) + (Mask(112, 0, stor8.field_112) * Mask(112, 0, stor8.field_0)) > 3:
                                          ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)
                                  revert with 0, 'ds-math-sub-underflow'
                              require totalSupply
                              if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / totalSupply != ext_call.return_data[0] - Mask(112, 0, stor8.field_0):
                                  revert with 0, 'ds-math-mul-overflow'
                              require Mask(112, 0, stor8.field_0)
                              if not totalSupply:
                                  require Mask(112, 0, stor8.field_112)
                                  if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) < 0 / Mask(112, 0, stor8.field_112):
                                      if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                                      mem[204 len 24]
                                      if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < totalSupply:
                                          revert with 0, 'ds-math-add-overflow'
                                      totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                                      if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < balanceOf[address(to)]:
                                          revert with 0, 'ds-math-add-overflow'
                                      balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                                      log Transfer(
                                            address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)),
                                            address to=0,
                                            uint256 value=to)
                                  else:
                                      if 0 / Mask(112, 0, stor8.field_112) <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                                      mem[204 len 24]
                                      if totalSupply + (0 / Mask(112, 0, stor8.field_112)) < totalSupply:
                                          revert with 0, 'ds-math-add-overflow'
                                      totalSupply += 0 / Mask(112, 0, stor8.field_112)
                                      if balanceOf[address(to)] + (0 / Mask(112, 0, stor8.field_112)) < balanceOf[address(to)]:
                                          revert with 0, 'ds-math-add-overflow'
                                      balanceOf[address(to)] += 0 / Mask(112, 0, stor8.field_112)
                                      log Transfer(
                                            address from=(0 / Mask(112, 0, stor8.field_112)),
                                            address to=0,
                                            uint256 value=to)
                              else:
                                  require totalSupply
                                  if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / totalSupply != ext_call.return_data[0] - Mask(112, 0, stor8.field_112):
                                      revert with 0, 'ds-math-mul-overflow'
                                  require Mask(112, 0, stor8.field_112)
                                  if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) < (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112):
                                      if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                                      mem[204 len 24]
                                      if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < totalSupply:
                                          revert with 0, 'ds-math-add-overflow'
                                      totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                                      if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < balanceOf[address(to)]:
                                          revert with 0, 'ds-math-add-overflow'
                                      balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                                      log Transfer(
                                            address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)),
                                            address to=0,
                                            uint256 value=to)
                                  else:
                                      if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112) <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                                      mem[204 len 24]
                                      if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)) < totalSupply:
                                          revert with 0, 'ds-math-add-overflow'
                                      totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)
                                      if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)) < balanceOf[address(to)]:
                                          revert with 0, 'ds-math-add-overflow'
                                      balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)
                                      log Transfer(
                                            address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)),
                                            address to=0,
                                            uint256 value=to)
                  else:
                      if kLast <= 3:
                          if not totalSupply:
                              if ext_call.return_data[0] - Mask(112, 0, stor8.field_112):
                                  require ext_call.return_data[0] - Mask(112, 0, stor8.field_112)
                                  if (ext_call.return_data[0] * ext_call.return_data[0]) - (Mask(112, 0, stor8.field_112) * ext_call.return_data[0]) - (ext_call.return_data[0] * Mask(112, 0, stor8.field_0)) + (Mask(112, 0, stor8.field_112) * Mask(112, 0, stor8.field_0)) / ext_call.return_data[0] - Mask(112, 0, stor8.field_112) != ext_call.return_data[0] - Mask(112, 0, stor8.field_0):
                                      revert with 0, 'ds-math-mul-overflow'
                                  if (ext_call.return_data[0] * ext_call.return_data[0]) - (Mask(112, 0, stor8.field_112) * ext_call.return_data[0]) - (ext_call.return_data[0] * Mask(112, 0, stor8.field_0)) + (Mask(112, 0, stor8.field_112) * Mask(112, 0, stor8.field_0)) > 3:
                                      ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)
                              revert with 0, 'ds-math-sub-underflow'
                          require totalSupply
                          if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / totalSupply != ext_call.return_data[0] - Mask(112, 0, stor8.field_0):
                              revert with 0, 'ds-math-mul-overflow'
                          require Mask(112, 0, stor8.field_0)
                          if not kLast:
                              if not totalSupply:
                                  require Mask(112, 0, stor8.field_112)
                                  if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) < 0 / Mask(112, 0, stor8.field_112):
                                      if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                                      mem[204 len 24]
                                      if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < totalSupply:
                                          revert with 0, 'ds-math-add-overflow'
                                      totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                                      if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < balanceOf[address(to)]:
                                          revert with 0, 'ds-math-add-overflow'
                                      balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                                      log Transfer(
                                            address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)),
                                            address to=0,
                                            uint256 value=to)
                                  else:
                                      if 0 / Mask(112, 0, stor8.field_112) <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                                      mem[204 len 24]
                                      if totalSupply + (0 / Mask(112, 0, stor8.field_112)) < totalSupply:
                                          revert with 0, 'ds-math-add-overflow'
                                      totalSupply += 0 / Mask(112, 0, stor8.field_112)
                                      if balanceOf[address(to)] + (0 / Mask(112, 0, stor8.field_112)) < balanceOf[address(to)]:
                                          revert with 0, 'ds-math-add-overflow'
                                      balanceOf[address(to)] += 0 / Mask(112, 0, stor8.field_112)
                                      log Transfer(
                                            address from=(0 / Mask(112, 0, stor8.field_112)),
                                            address to=0,
                                            uint256 value=to)
                                  if ext_call.return_data[0] > LOCK8605463013():
                                      revert with 0, 'UniswapV2: OVERFLOW'
                                  if ext_call.return_data[0] > LOCK8605463013():
                                      revert with 0, 'UniswapV2: OVERFLOW'
                              else:
                                  require totalSupply
                                  if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / totalSupply != ext_call.return_data[0] - Mask(112, 0, stor8.field_112):
                                      revert with 0, 'ds-math-mul-overflow'
                                  require Mask(112, 0, stor8.field_112)
                                  if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) < (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112):
                                      if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                                      mem[204 len 24]
                                      if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < totalSupply:
                                          revert with 0, 'ds-math-add-overflow'
                                      totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                                      if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < balanceOf[address(to)]:
                                          revert with 0, 'ds-math-add-overflow'
                                      balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                                      log Transfer(
                                            address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)),
                                            address to=0,
                                            uint256 value=to)
                                  else:
                                      if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112) <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                                      mem[204 len 24]
                                      if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)) < totalSupply:
                                          revert with 0, 'ds-math-add-overflow'
                                      totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)
                                      if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)) < balanceOf[address(to)]:
                                          revert with 0, 'ds-math-add-overflow'
                                      balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)
                                      log Transfer(
                                            address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)),
                                            address to=0,
                                            uint256 value=to)
                          else:
                              if not totalSupply:
                                  require Mask(112, 0, stor8.field_112)
                                  if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) < 0 / Mask(112, 0, stor8.field_112):
                                      if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                                      mem[204 len 24]
                                      if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < totalSupply:
                                          revert with 0, 'ds-math-add-overflow'
                                      totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                                      if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < balanceOf[address(to)]:
                                          revert with 0, 'ds-math-add-overflow'
                                      balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                                      log Transfer(
                                            address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)),
                                            address to=0,
                                            uint256 value=to)
                                  else:
                                      if 0 / Mask(112, 0, stor8.field_112) <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                                      mem[204 len 24]
                                      if totalSupply + (0 / Mask(112, 0, stor8.field_112)) < totalSupply:
                                          revert with 0, 'ds-math-add-overflow'
                                      totalSupply += 0 / Mask(112, 0, stor8.field_112)
                                      if balanceOf[address(to)] + (0 / Mask(112, 0, stor8.field_112)) < balanceOf[address(to)]:
                                          revert with 0, 'ds-math-add-overflow'
                                      balanceOf[address(to)] += 0 / Mask(112, 0, stor8.field_112)
                                      log Transfer(
                                            address from=(0 / Mask(112, 0, stor8.field_112)),
                                            address to=0,
                                            uint256 value=to)
                                  if ext_call.return_data[0] > LOCK8605463013():
                                      revert with 0, 'UniswapV2: OVERFLOW'
                              else:
                                  require totalSupply
                                  if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / totalSupply != ext_call.return_data[0] - Mask(112, 0, stor8.field_112):
                                      revert with 0, 'ds-math-mul-overflow'
                                  require Mask(112, 0, stor8.field_112)
                                  if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) < (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112):
                                      if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                                      mem[204 len 24]
                                      if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < totalSupply:
                                          revert with 0, 'ds-math-add-overflow'
                                      totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                                      if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < balanceOf[address(to)]:
                                          revert with 0, 'ds-math-add-overflow'
                                      balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                                      log Transfer(
                                            address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)),
                                            address to=0,
                                            uint256 value=to)
                                  else:
                                      if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112) <= 0:
                                          revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                                      32,
                                                      40,
                                                      0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                                      mem[204 len 24]
                                      if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)) < totalSupply:
                                          revert with 0, 'ds-math-add-overflow'
                                      totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)
                                      if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)) < balanceOf[address(to)]:
                                          revert with 0, 'ds-math-add-overflow'
                                      balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)
                                      log Transfer(
                                            address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)),
                                            address to=0,
                                            uint256 value=to)
      else:
          if not totalSupply:
              if ext_call.return_data[0] - Mask(112, 0, stor8.field_112):
                  require ext_call.return_data[0] - Mask(112, 0, stor8.field_112)
                  if (ext_call.return_data[0] * ext_call.return_data[0]) - (Mask(112, 0, stor8.field_112) * ext_call.return_data[0]) - (ext_call.return_data[0] * Mask(112, 0, stor8.field_0)) + (Mask(112, 0, stor8.field_112) * Mask(112, 0, stor8.field_0)) / ext_call.return_data[0] - Mask(112, 0, stor8.field_112) != ext_call.return_data[0] - Mask(112, 0, stor8.field_0):
                      revert with 0, 'ds-math-mul-overflow'
                  if (ext_call.return_data[0] * ext_call.return_data[0]) - (Mask(112, 0, stor8.field_112) * ext_call.return_data[0]) - (ext_call.return_data[0] * Mask(112, 0, stor8.field_0)) + (Mask(112, 0, stor8.field_112) * Mask(112, 0, stor8.field_0)) > 3:
                      ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)
              revert with 0, 'ds-math-sub-underflow'
          require totalSupply
          if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / totalSupply != ext_call.return_data[0] - Mask(112, 0, stor8.field_0):
              revert with 0, 'ds-math-mul-overflow'
          require Mask(112, 0, stor8.field_0)
          if not totalSupply:
              require Mask(112, 0, stor8.field_112)
              if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) < 0 / Mask(112, 0, stor8.field_112):
                  if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) <= 0:
                      revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                  32,
                                  40,
                                  0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                  mem[204 len 24]
                  if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < totalSupply:
                      revert with 0, 'ds-math-add-overflow'
                  totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                  if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < balanceOf[address(to)]:
                      revert with 0, 'ds-math-add-overflow'
                  balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                  log Transfer(
                        address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)),
                        address to=0,
                        uint256 value=to)
                  if ext_call.return_data[0] > LOCK8605463013():
                      revert with 0, 'UniswapV2: OVERFLOW'
                  if ext_call.return_data[0] > LOCK8605463013():
                      revert with 0, 'UniswapV2: OVERFLOW'
                  if uint32(uint32(block.timestamp) - uint32(stor8.field_224)):
                      if Mask(112, 0, stor8.field_0):
                          if Mask(112, 0, stor8.field_112):
                              require Mask(112, 0, stor8.field_0)
                              price0CumulativeLast += Mask(224, 0, Mask(112, 0, Mask(112, 0, stor8.field_112)) << 112 / Mask(112, 0, stor8.field_0)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
                              require Mask(112, 0, stor8.field_112)
                              price1CumulativeLast += Mask(224, 0, Mask(112, 0, stor8.field_0) / Mask(112, 0, stor8.field_112)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
                              Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
                              Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
                              uint32(stor8.field_224) = uint32(block.timestamp)
                              log Sync(
                                    uint112 reserve0=ext_call.return_data[0] << 144,
                                    uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
                              ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)
                  Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
                  Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
                  uint32(stor8.field_224) = uint32(block.timestamp)
                  log Sync(
                        uint112 reserve0=ext_call.return_data[0] << 144,
                        uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
                  if address(ext_call.return_data[0]):
                      if not Mask(112, 0, stor8.field_112):
                          kLast = 0
                      else:
                          require Mask(112, 0, stor8.field_112)
                          if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
                              revert with 0, 'ds-math-mul-overflow'
                          kLast = Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112)
                  log Mint(
                        address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                        uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                        uint256 mintTokens=caller)
                  stor12 = 1
                  return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0))
              if 0 / Mask(112, 0, stor8.field_112) <= 0:
                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                              32,
                              40,
                              0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                              mem[204 len 24]
              if totalSupply + (0 / Mask(112, 0, stor8.field_112)) < totalSupply:
                  revert with 0, 'ds-math-add-overflow'
              totalSupply += 0 / Mask(112, 0, stor8.field_112)
              if balanceOf[address(to)] + (0 / Mask(112, 0, stor8.field_112)) < balanceOf[address(to)]:
                  revert with 0, 'ds-math-add-overflow'
              balanceOf[address(to)] += 0 / Mask(112, 0, stor8.field_112)
              log Transfer(
                    address from=(0 / Mask(112, 0, stor8.field_112)),
                    address to=0,
                    uint256 value=to)
              if ext_call.return_data[0] > LOCK8605463013():
                  revert with 0, 'UniswapV2: OVERFLOW'
              if ext_call.return_data[0] > LOCK8605463013():
                  revert with 0, 'UniswapV2: OVERFLOW'
              if uint32(uint32(block.timestamp) - uint32(stor8.field_224)):
                  if Mask(112, 0, stor8.field_0):
                      if Mask(112, 0, stor8.field_112):
                          require Mask(112, 0, stor8.field_0)
                          price0CumulativeLast += Mask(224, 0, Mask(112, 0, Mask(112, 0, stor8.field_112)) << 112 / Mask(112, 0, stor8.field_0)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
                          require Mask(112, 0, stor8.field_112)
                          price1CumulativeLast += Mask(224, 0, Mask(112, 0, stor8.field_0) / Mask(112, 0, stor8.field_112)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
                          Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
                          Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
                          uint32(stor8.field_224) = uint32(block.timestamp)
                          log Sync(
                                uint112 reserve0=ext_call.return_data[0] << 144,
                                uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
                          ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)
              Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
              Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
              uint32(stor8.field_224) = uint32(block.timestamp)
              log Sync(
                    uint112 reserve0=ext_call.return_data[0] << 144,
                    uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
              if address(ext_call.return_data[0]):
                  if not Mask(112, 0, stor8.field_112):
                      kLast = 0
                  else:
                      require Mask(112, 0, stor8.field_112)
                      if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
                          revert with 0, 'ds-math-mul-overflow'
                      kLast = Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112)
              log Mint(
                    address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                    uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                    uint256 mintTokens=caller)
              stor12 = 1
              return (0 / Mask(112, 0, stor8.field_112))
          require totalSupply
          if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / totalSupply != ext_call.return_data[0] - Mask(112, 0, stor8.field_112):
              revert with 0, 'ds-math-mul-overflow'
          require Mask(112, 0, stor8.field_112)
          if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) < (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112):
              if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) <= 0:
                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                              32,
                              40,
                              0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                              mem[204 len 24]
              if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < totalSupply:
                  revert with 0, 'ds-math-add-overflow'
              totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
              if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < balanceOf[address(to)]:
                  revert with 0, 'ds-math-add-overflow'
              balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
              log Transfer(
                    address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)),
                    address to=0,
                    uint256 value=to)
              if ext_call.return_data[0] > LOCK8605463013():
                  revert with 0, 'UniswapV2: OVERFLOW'
              if ext_call.return_data[0] > LOCK8605463013():
                  revert with 0, 'UniswapV2: OVERFLOW'
              if not uint32(uint32(block.timestamp) - uint32(stor8.field_224)):
                  Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
                  Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
                  uint32(stor8.field_224) = uint32(block.timestamp)
                  log Sync(
                        uint112 reserve0=ext_call.return_data[0] << 144,
                        uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
                  if address(ext_call.return_data[0]):
                      if not Mask(112, 0, stor8.field_112):
                          kLast = 0
                      else:
                          require Mask(112, 0, stor8.field_112)
                          if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
                              revert with 0, 'ds-math-mul-overflow'
                          kLast = Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112)
                  log Mint(
                        address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                        uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                        uint256 mintTokens=caller)
                  stor12 = 1
                  return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0))
              if not Mask(112, 0, stor8.field_0):
                  Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
                  Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
                  uint32(stor8.field_224) = uint32(block.timestamp)
                  log Sync(
                        uint112 reserve0=ext_call.return_data[0] << 144,
                        uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
                  if address(ext_call.return_data[0]):
                      if not Mask(112, 0, stor8.field_112):
                          kLast = 0
                      else:
                          require Mask(112, 0, stor8.field_112)
                          if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
                              revert with 0, 'ds-math-mul-overflow'
                          kLast = Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112)
                  log Mint(
                        address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                        uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                        uint256 mintTokens=caller)
                  stor12 = 1
                  return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0))
              if Mask(112, 0, stor8.field_112):
                  require Mask(112, 0, stor8.field_0)
                  price0CumulativeLast += Mask(224, 0, Mask(112, 0, Mask(112, 0, stor8.field_112)) << 112 / Mask(112, 0, stor8.field_0)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
                  require Mask(112, 0, stor8.field_112)
                  ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)
              Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
              Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
              uint32(stor8.field_224) = uint32(block.timestamp)
              log Sync(
                    uint112 reserve0=ext_call.return_data[0] << 144,
                    uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
              if not address(ext_call.return_data[0]):
                  log Mint(
                        address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                        uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                        uint256 mintTokens=caller)
                  stor12 = 1
                  return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0))
              if not Mask(112, 0, stor8.field_112):
                  kLast = 0
                  log Mint(
                        address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                        uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                        uint256 mintTokens=caller)
                  stor12 = 1
                  return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0))
          else:
              if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112) <= 0:
                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                              32,
                              40,
                              0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                              mem[204 len 24]
              if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)) < totalSupply:
                  revert with 0, 'ds-math-add-overflow'
              totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)
              if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)) < balanceOf[address(to)]:
                  revert with 0, 'ds-math-add-overflow'
              balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)
              log Transfer(
                    address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)),
                    address to=0,
                    uint256 value=to)
              if ext_call.return_data[0] > LOCK8605463013():
                  revert with 0, 'UniswapV2: OVERFLOW'
              if ext_call.return_data[0] > LOCK8605463013():
                  revert with 0, 'UniswapV2: OVERFLOW'
              if not uint32(uint32(block.timestamp) - uint32(stor8.field_224)):
                  Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
                  Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
                  uint32(stor8.field_224) = uint32(block.timestamp)
                  log Sync(
                        uint112 reserve0=ext_call.return_data[0] << 144,
                        uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
                  if address(ext_call.return_data[0]):
                      if not Mask(112, 0, stor8.field_112):
                          kLast = 0
                      else:
                          require Mask(112, 0, stor8.field_112)
                          if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
                              revert with 0, 'ds-math-mul-overflow'
                          kLast = Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112)
                  log Mint(
                        address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                        uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                        uint256 mintTokens=caller)
                  stor12 = 1
                  return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112))
              if not Mask(112, 0, stor8.field_0):
                  Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
                  Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
                  uint32(stor8.field_224) = uint32(block.timestamp)
                  log Sync(
                        uint112 reserve0=ext_call.return_data[0] << 144,
                        uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
                  if address(ext_call.return_data[0]):
                      if not Mask(112, 0, stor8.field_112):
                          kLast = 0
                      else:
                          require Mask(112, 0, stor8.field_112)
                          if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
                              revert with 0, 'ds-math-mul-overflow'
                          kLast = Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112)
                  log Mint(
                        address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                        uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                        uint256 mintTokens=caller)
                  stor12 = 1
                  return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112))
              if Mask(112, 0, stor8.field_112):
                  require Mask(112, 0, stor8.field_0)
                  price0CumulativeLast += Mask(224, 0, Mask(112, 0, Mask(112, 0, stor8.field_112)) << 112 / Mask(112, 0, stor8.field_0)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
                  require Mask(112, 0, stor8.field_112)
                  ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)
              Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
              Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
              uint32(stor8.field_224) = uint32(block.timestamp)
              log Sync(
                    uint112 reserve0=ext_call.return_data[0] << 144,
                    uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
              if not address(ext_call.return_data[0]):
                  log Mint(
                        address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                        uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                        uint256 mintTokens=caller)
                  stor12 = 1
                  return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112))
              if not Mask(112, 0, stor8.field_112):
                  kLast = 0
                  log Mint(
                        address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                        uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                        uint256 mintTokens=caller)
                  stor12 = 1
                  return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112))
          ('bool', ('type', 112, ('field', 112, ('stor', ('name', 'stor8', 8)))))
          require Mask(112, 0, stor8.field_112)
          if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
              revert with 0, 'ds-math-mul-overflow'
          kLast = Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112)
          log Mint(
                address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                uint256 mintTokens=caller)
          stor12 = 1
  else:
      if not kLast:
          if not totalSupply:
              if ext_call.return_data[0] - Mask(112, 0, stor8.field_112):
                  require ext_call.return_data[0] - Mask(112, 0, stor8.field_112)
                  if (ext_call.return_data[0] * ext_call.return_data[0]) - (Mask(112, 0, stor8.field_112) * ext_call.return_data[0]) - (ext_call.return_data[0] * Mask(112, 0, stor8.field_0)) + (Mask(112, 0, stor8.field_112) * Mask(112, 0, stor8.field_0)) / ext_call.return_data[0] - Mask(112, 0, stor8.field_112) != ext_call.return_data[0] - Mask(112, 0, stor8.field_0):
                      revert with 0, 'ds-math-mul-overflow'
                  if (ext_call.return_data[0] * ext_call.return_data[0]) - (Mask(112, 0, stor8.field_112) * ext_call.return_data[0]) - (ext_call.return_data[0] * Mask(112, 0, stor8.field_0)) + (Mask(112, 0, stor8.field_112) * Mask(112, 0, stor8.field_0)) > 3:
                      ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)
              revert with 0, 'ds-math-sub-underflow'
          require totalSupply
          if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / totalSupply != ext_call.return_data[0] - Mask(112, 0, stor8.field_0):
              revert with 0, 'ds-math-mul-overflow'
          require Mask(112, 0, stor8.field_0)
          if not totalSupply:
              require Mask(112, 0, stor8.field_112)
              if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) < 0 / Mask(112, 0, stor8.field_112):
                  if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) <= 0:
                      revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                                  32,
                                  40,
                                  0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                                  mem[204 len 24]
                  if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < totalSupply:
                      revert with 0, 'ds-math-add-overflow'
                  totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                  if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < balanceOf[address(to)]:
                      revert with 0, 'ds-math-add-overflow'
                  balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
                  log Transfer(
                        address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)),
                        address to=0,
                        uint256 value=to)
                  if ext_call.return_data[0] > LOCK8605463013():
                      revert with 0, 'UniswapV2: OVERFLOW'
                  if ext_call.return_data[0] > LOCK8605463013():
                      revert with 0, 'UniswapV2: OVERFLOW'
                  if uint32(uint32(block.timestamp) - uint32(stor8.field_224)):
                      if Mask(112, 0, stor8.field_0):
                          if Mask(112, 0, stor8.field_112):
                              require Mask(112, 0, stor8.field_0)
                              price0CumulativeLast += Mask(224, 0, Mask(112, 0, Mask(112, 0, stor8.field_112)) << 112 / Mask(112, 0, stor8.field_0)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
                              require Mask(112, 0, stor8.field_112)
                              price1CumulativeLast += Mask(224, 0, Mask(112, 0, stor8.field_0) / Mask(112, 0, stor8.field_112)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
                              Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
                              Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
                              uint32(stor8.field_224) = uint32(block.timestamp)
                              log Sync(
                                    uint112 reserve0=ext_call.return_data[0] << 144,
                                    uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
                              ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)
                  Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
                  Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
                  uint32(stor8.field_224) = uint32(block.timestamp)
                  log Sync(
                        uint112 reserve0=ext_call.return_data[0] << 144,
                        uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
                  if address(ext_call.return_data[0]):
                      if not Mask(112, 0, stor8.field_112):
                          kLast = 0
                      else:
                          require Mask(112, 0, stor8.field_112)
                          if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
                              revert with 0, 'ds-math-mul-overflow'
                          kLast = Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112)
                  log Mint(
                        address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                        uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                        uint256 mintTokens=caller)
                  stor12 = 1
                  return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0))
              if 0 / Mask(112, 0, stor8.field_112) <= 0:
                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                              32,
                              40,
                              0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                              mem[204 len 24]
              if totalSupply + (0 / Mask(112, 0, stor8.field_112)) < totalSupply:
                  revert with 0, 'ds-math-add-overflow'
              totalSupply += 0 / Mask(112, 0, stor8.field_112)
              if balanceOf[address(to)] + (0 / Mask(112, 0, stor8.field_112)) < balanceOf[address(to)]:
                  revert with 0, 'ds-math-add-overflow'
              balanceOf[address(to)] += 0 / Mask(112, 0, stor8.field_112)
              log Transfer(
                    address from=(0 / Mask(112, 0, stor8.field_112)),
                    address to=0,
                    uint256 value=to)
              if ext_call.return_data[0] > LOCK8605463013():
                  revert with 0, 'UniswapV2: OVERFLOW'
              if ext_call.return_data[0] > LOCK8605463013():
                  revert with 0, 'UniswapV2: OVERFLOW'
              if uint32(uint32(block.timestamp) - uint32(stor8.field_224)):
                  if Mask(112, 0, stor8.field_0):
                      if Mask(112, 0, stor8.field_112):
                          require Mask(112, 0, stor8.field_0)
                          price0CumulativeLast += Mask(224, 0, Mask(112, 0, Mask(112, 0, stor8.field_112)) << 112 / Mask(112, 0, stor8.field_0)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
                          require Mask(112, 0, stor8.field_112)
                          price1CumulativeLast += Mask(224, 0, Mask(112, 0, stor8.field_0) / Mask(112, 0, stor8.field_112)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
                          Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
                          Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
                          uint32(stor8.field_224) = uint32(block.timestamp)
                          log Sync(
                                uint112 reserve0=ext_call.return_data[0] << 144,
                                uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
                          ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)
              Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
              Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
              uint32(stor8.field_224) = uint32(block.timestamp)
              log Sync(
                    uint112 reserve0=ext_call.return_data[0] << 144,
                    uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
              if address(ext_call.return_data[0]):
                  if not Mask(112, 0, stor8.field_112):
                      kLast = 0
                  else:
                      require Mask(112, 0, stor8.field_112)
                      if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
                          revert with 0, 'ds-math-mul-overflow'
                      kLast = Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112)
              log Mint(
                    address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                    uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                    uint256 mintTokens=caller)
              stor12 = 1
              return (0 / Mask(112, 0, stor8.field_112))
          require totalSupply
          if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / totalSupply != ext_call.return_data[0] - Mask(112, 0, stor8.field_112):
              revert with 0, 'ds-math-mul-overflow'
          require Mask(112, 0, stor8.field_112)
          if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) < (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112):
              if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) <= 0:
                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                              32,
                              40,
                              0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                              mem[204 len 24]
              if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < totalSupply:
                  revert with 0, 'ds-math-add-overflow'
              totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
              if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < balanceOf[address(to)]:
                  revert with 0, 'ds-math-add-overflow'
              balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
              log Transfer(
                    address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)),
                    address to=0,
                    uint256 value=to)
              if ext_call.return_data[0] > LOCK8605463013():
                  revert with 0, 'UniswapV2: OVERFLOW'
              if ext_call.return_data[0] > LOCK8605463013():
                  revert with 0, 'UniswapV2: OVERFLOW'
              if uint32(uint32(block.timestamp) - uint32(stor8.field_224)):
                  if Mask(112, 0, stor8.field_0):
                      if Mask(112, 0, stor8.field_112):
                          require Mask(112, 0, stor8.field_0)
                          price0CumulativeLast += Mask(224, 0, Mask(112, 0, Mask(112, 0, stor8.field_112)) << 112 / Mask(112, 0, stor8.field_0)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
                          require Mask(112, 0, stor8.field_112)
                          price1CumulativeLast += Mask(224, 0, Mask(112, 0, stor8.field_0) / Mask(112, 0, stor8.field_112)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
                          ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)
              Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
              Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
              uint32(stor8.field_224) = uint32(block.timestamp)
              log Sync(
                    uint112 reserve0=ext_call.return_data[0] << 144,
                    uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
              if address(ext_call.return_data[0]):
                  if not Mask(112, 0, stor8.field_112):
                      kLast = 0
                  else:
                      require Mask(112, 0, stor8.field_112)
                      if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
                          revert with 0, 'ds-math-mul-overflow'
                      kLast = Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112)
              log Mint(
                    address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                    uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                    uint256 mintTokens=caller)
              stor12 = 1
              return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0))
          if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112) <= 0:
              revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                          32,
                          40,
                          0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                          mem[204 len 24]
          if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)) < totalSupply:
              revert with 0, 'ds-math-add-overflow'
          totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)
          if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)) < balanceOf[address(to)]:
              revert with 0, 'ds-math-add-overflow'
          balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)
          log Transfer(
                address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)),
                address to=0,
                uint256 value=to)
          if ext_call.return_data[0] > LOCK8605463013():
              revert with 0, 'UniswapV2: OVERFLOW'
          if ext_call.return_data[0] > LOCK8605463013():
              revert with 0, 'UniswapV2: OVERFLOW'
          if uint32(uint32(block.timestamp) - uint32(stor8.field_224)):
              if Mask(112, 0, stor8.field_0):
                  if Mask(112, 0, stor8.field_112):
                      require Mask(112, 0, stor8.field_0)
                      price0CumulativeLast += Mask(224, 0, Mask(112, 0, Mask(112, 0, stor8.field_112)) << 112 / Mask(112, 0, stor8.field_0)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
                      require Mask(112, 0, stor8.field_112)
                      price1CumulativeLast += Mask(224, 0, Mask(112, 0, stor8.field_0) / Mask(112, 0, stor8.field_112)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
                      ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)
          Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
          Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
          uint32(stor8.field_224) = uint32(block.timestamp)
          log Sync(
                uint112 reserve0=ext_call.return_data[0] << 144,
                uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
          if address(ext_call.return_data[0]):
              if not Mask(112, 0, stor8.field_112):
                  kLast = 0
              else:
                  require Mask(112, 0, stor8.field_112)
                  if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
                      revert with 0, 'ds-math-mul-overflow'
                  kLast = Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112)
          log Mint(
                address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                uint256 mintTokens=caller)
          stor12 = 1
          return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112))
      kLast = 0
      if not totalSupply:
          if ext_call.return_data[0] - Mask(112, 0, stor8.field_112):
              require ext_call.return_data[0] - Mask(112, 0, stor8.field_112)
              if (ext_call.return_data[0] * ext_call.return_data[0]) - (Mask(112, 0, stor8.field_112) * ext_call.return_data[0]) - (ext_call.return_data[0] * Mask(112, 0, stor8.field_0)) + (Mask(112, 0, stor8.field_112) * Mask(112, 0, stor8.field_0)) / ext_call.return_data[0] - Mask(112, 0, stor8.field_112) != ext_call.return_data[0] - Mask(112, 0, stor8.field_0):
                  revert with 0, 'ds-math-mul-overflow'
              if (ext_call.return_data[0] * ext_call.return_data[0]) - (Mask(112, 0, stor8.field_112) * ext_call.return_data[0]) - (ext_call.return_data[0] * Mask(112, 0, stor8.field_0)) + (Mask(112, 0, stor8.field_112) * Mask(112, 0, stor8.field_0)) > 3:
                  ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)
          revert with 0, 'ds-math-sub-underflow'
      require totalSupply
      if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / totalSupply != ext_call.return_data[0] - Mask(112, 0, stor8.field_0):
          revert with 0, 'ds-math-mul-overflow'
      require Mask(112, 0, stor8.field_0)
      if not totalSupply:
          require Mask(112, 0, stor8.field_112)
          if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) < 0 / Mask(112, 0, stor8.field_112):
              if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) <= 0:
                  revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                              32,
                              40,
                              0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                              mem[204 len 24]
              if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < totalSupply:
                  revert with 0, 'ds-math-add-overflow'
              totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
              if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < balanceOf[address(to)]:
                  revert with 0, 'ds-math-add-overflow'
              balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
              log Transfer(
                    address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)),
                    address to=0,
                    uint256 value=to)
              if ext_call.return_data[0] > LOCK8605463013():
                  revert with 0, 'UniswapV2: OVERFLOW'
              if ext_call.return_data[0] > LOCK8605463013():
                  revert with 0, 'UniswapV2: OVERFLOW'
              if uint32(uint32(block.timestamp) - uint32(stor8.field_224)):
                  if Mask(112, 0, stor8.field_0):
                      if Mask(112, 0, stor8.field_112):
                          require Mask(112, 0, stor8.field_0)
                          price0CumulativeLast += Mask(224, 0, Mask(112, 0, Mask(112, 0, stor8.field_112)) << 112 / Mask(112, 0, stor8.field_0)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
                          require Mask(112, 0, stor8.field_112)
                          price1CumulativeLast += Mask(224, 0, Mask(112, 0, stor8.field_0) / Mask(112, 0, stor8.field_112)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
                          Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
                          Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
                          uint32(stor8.field_224) = uint32(block.timestamp)
                          log Sync(
                                uint112 reserve0=ext_call.return_data[0] << 144,
                                uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
                          ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)
              Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
              Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
              uint32(stor8.field_224) = uint32(block.timestamp)
              log Sync(
                    uint112 reserve0=ext_call.return_data[0] << 144,
                    uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
              if address(ext_call.return_data[0]):
                  if not Mask(112, 0, stor8.field_112):
                      kLast = 0
                  else:
                      require Mask(112, 0, stor8.field_112)
                      if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
                          revert with 0, 'ds-math-mul-overflow'
                      kLast = Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112)
              log Mint(
                    address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                    uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                    uint256 mintTokens=caller)
              stor12 = 1
              return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0))
          if 0 / Mask(112, 0, stor8.field_112) <= 0:
              revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                          32,
                          40,
                          0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                          mem[204 len 24]
          if totalSupply + (0 / Mask(112, 0, stor8.field_112)) < totalSupply:
              revert with 0, 'ds-math-add-overflow'
          totalSupply += 0 / Mask(112, 0, stor8.field_112)
          if balanceOf[address(to)] + (0 / Mask(112, 0, stor8.field_112)) < balanceOf[address(to)]:
              revert with 0, 'ds-math-add-overflow'
          balanceOf[address(to)] += 0 / Mask(112, 0, stor8.field_112)
          log Transfer(
                address from=(0 / Mask(112, 0, stor8.field_112)),
                address to=0,
                uint256 value=to)
          if ext_call.return_data[0] > LOCK8605463013():
              revert with 0, 'UniswapV2: OVERFLOW'
          if ext_call.return_data[0] > LOCK8605463013():
              revert with 0, 'UniswapV2: OVERFLOW'
          if uint32(uint32(block.timestamp) - uint32(stor8.field_224)):
              if Mask(112, 0, stor8.field_0):
                  if Mask(112, 0, stor8.field_112):
                      require Mask(112, 0, stor8.field_0)
                      price0CumulativeLast += Mask(224, 0, Mask(112, 0, Mask(112, 0, stor8.field_112)) << 112 / Mask(112, 0, stor8.field_0)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
                      require Mask(112, 0, stor8.field_112)
                      price1CumulativeLast += Mask(224, 0, Mask(112, 0, stor8.field_0) / Mask(112, 0, stor8.field_112)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
                      Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
                      Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
                      uint32(stor8.field_224) = uint32(block.timestamp)
                      log Sync(
                            uint112 reserve0=ext_call.return_data[0] << 144,
                            uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
                      ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)
          Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
          Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
          uint32(stor8.field_224) = uint32(block.timestamp)
          log Sync(
                uint112 reserve0=ext_call.return_data[0] << 144,
                uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
          if address(ext_call.return_data[0]):
              if not Mask(112, 0, stor8.field_112):
                  kLast = 0
              else:
                  require Mask(112, 0, stor8.field_112)
                  if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
                      revert with 0, 'ds-math-mul-overflow'
                  kLast = Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112)
          log Mint(
                address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                uint256 mintTokens=caller)
          stor12 = 1
          return (0 / Mask(112, 0, stor8.field_112))
      require totalSupply
      if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / totalSupply != ext_call.return_data[0] - Mask(112, 0, stor8.field_112):
          revert with 0, 'ds-math-mul-overflow'
      require Mask(112, 0, stor8.field_112)
      if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) < (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112):
          if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0) <= 0:
              revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                          32,
                          40,
                          0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                          mem[204 len 24]
          if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < totalSupply:
              revert with 0, 'ds-math-add-overflow'
          totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
          if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)) < balanceOf[address(to)]:
              revert with 0, 'ds-math-add-overflow'
          balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)
          log Transfer(
                address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0)),
                address to=0,
                uint256 value=to)
          if ext_call.return_data[0] > LOCK8605463013():
              revert with 0, 'UniswapV2: OVERFLOW'
          if ext_call.return_data[0] > LOCK8605463013():
              revert with 0, 'UniswapV2: OVERFLOW'
          if not uint32(uint32(block.timestamp) - uint32(stor8.field_224)):
              Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
              Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
              uint32(stor8.field_224) = uint32(block.timestamp)
              log Sync(
                    uint112 reserve0=ext_call.return_data[0] << 144,
                    uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
              if address(ext_call.return_data[0]):
                  if not Mask(112, 0, stor8.field_112):
                      kLast = 0
                  else:
                      require Mask(112, 0, stor8.field_112)
                      if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
                          revert with 0, 'ds-math-mul-overflow'
                      kLast = Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112)
              log Mint(
                    address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                    uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                    uint256 mintTokens=caller)
              stor12 = 1
              return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0))
          if not Mask(112, 0, stor8.field_0):
              Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
              Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
              uint32(stor8.field_224) = uint32(block.timestamp)
              log Sync(
                    uint112 reserve0=ext_call.return_data[0] << 144,
                    uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
              if address(ext_call.return_data[0]):
                  if not Mask(112, 0, stor8.field_112):
                      kLast = 0
                  else:
                      require Mask(112, 0, stor8.field_112)
                      if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
                          revert with 0, 'ds-math-mul-overflow'
                      kLast = Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112)
              log Mint(
                    address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                    uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                    uint256 mintTokens=caller)
              stor12 = 1
              return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0))
          if Mask(112, 0, stor8.field_112):
              require Mask(112, 0, stor8.field_0)
              price0CumulativeLast += Mask(224, 0, Mask(112, 0, Mask(112, 0, stor8.field_112)) << 112 / Mask(112, 0, stor8.field_0)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
              require Mask(112, 0, stor8.field_112)
              ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)
          Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
          Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
          uint32(stor8.field_224) = uint32(block.timestamp)
          log Sync(
                uint112 reserve0=ext_call.return_data[0] << 144,
                uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
          if not address(ext_call.return_data[0]):
              log Mint(
                    address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                    uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                    uint256 mintTokens=caller)
              stor12 = 1
              return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0))
          if not Mask(112, 0, stor8.field_112):
              kLast = 0
              log Mint(
                    address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                    uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                    uint256 mintTokens=caller)
              stor12 = 1
              return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_0) * totalSupply) / Mask(112, 0, stor8.field_0))
      else:
          if (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112) <= 0:
              revert with 0x8c379a000000000000000000000000000000000000000000000000000000000, 
                          32,
                          40,
                          0x44556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e5445,
                          mem[204 len 24]
          if totalSupply + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)) < totalSupply:
              revert with 0, 'ds-math-add-overflow'
          totalSupply += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)
          if balanceOf[address(to)] + ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)) < balanceOf[address(to)]:
              revert with 0, 'ds-math-add-overflow'
          balanceOf[address(to)] += (ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)
          log Transfer(
                address from=((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112)),
                address to=0,
                uint256 value=to)
          if ext_call.return_data[0] > LOCK8605463013():
              revert with 0, 'UniswapV2: OVERFLOW'
          if ext_call.return_data[0] > LOCK8605463013():
              revert with 0, 'UniswapV2: OVERFLOW'
          if not uint32(uint32(block.timestamp) - uint32(stor8.field_224)):
              Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
              Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
              uint32(stor8.field_224) = uint32(block.timestamp)
              log Sync(
                    uint112 reserve0=ext_call.return_data[0] << 144,
                    uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
              if address(ext_call.return_data[0]):
                  if not Mask(112, 0, stor8.field_112):
                      kLast = 0
                  else:
                      require Mask(112, 0, stor8.field_112)
                      if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
                          revert with 0, 'ds-math-mul-overflow'
                      kLast = Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112)
              log Mint(
                    address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                    uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                    uint256 mintTokens=caller)
              stor12 = 1
              return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112))
          if not Mask(112, 0, stor8.field_0):
              Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
              Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
              uint32(stor8.field_224) = uint32(block.timestamp)
              log Sync(
                    uint112 reserve0=ext_call.return_data[0] << 144,
                    uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
              if address(ext_call.return_data[0]):
                  if not Mask(112, 0, stor8.field_112):
                      kLast = 0
                  else:
                      require Mask(112, 0, stor8.field_112)
                      if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
                          revert with 0, 'ds-math-mul-overflow'
                      kLast = Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112)
              log Mint(
                    address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                    uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                    uint256 mintTokens=caller)
              stor12 = 1
              return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112))
          if Mask(112, 0, stor8.field_112):
              require Mask(112, 0, stor8.field_0)
              price0CumulativeLast += Mask(224, 0, Mask(112, 0, Mask(112, 0, stor8.field_112)) << 112 / Mask(112, 0, stor8.field_0)) * uint32(uint32(block.timestamp) - uint32(stor8.field_224))
              require Mask(112, 0, stor8.field_112)
              ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)
          Mask(112, 0, stor8.field_0) = Mask(112, 0, ext_call.return_data[0])
          Mask(112, 0, stor8.field_112) = Mask(112, 0, ext_call.return_data[0])
          uint32(stor8.field_224) = uint32(block.timestamp)
          log Sync(
                uint112 reserve0=ext_call.return_data[0] << 144,
                uint112 reserve1=Mask(112, 0, ext_call.return_data[0]))
          if not address(ext_call.return_data[0]):
              log Mint(
                    address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                    uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                    uint256 mintTokens=caller)
              stor12 = 1
              return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112))
          if not Mask(112, 0, stor8.field_112):
              kLast = 0
              log Mint(
                    address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
                    uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
                    uint256 mintTokens=caller)
              stor12 = 1
              return ((ext_call.return_data[0] * totalSupply) - (Mask(112, 0, stor8.field_112) * totalSupply) / Mask(112, 0, stor8.field_112))
      ('bool', ('type', 112, ('field', 112, ('stor', ('name', 'stor8', 8)))))
      require Mask(112, 0, stor8.field_112)
      if Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112) / Mask(112, 0, stor8.field_112) != Mask(112, 0, stor8.field_0):
          revert with 0, 'ds-math-mul-overflow'
      kLast = Mask(112, 0, stor8.field_0) * Mask(112, 0, stor8.field_112)
      log Mint(
            address minter=ext_call.return_data[0] - Mask(112, 0, stor8.field_0),
            uint256 mintAmount=ext_call.return_data[0] - Mask(112, 0, stor8.field_112),
            uint256 mintTokens=caller)
      stor12 = 1
  ...  # Decompilation aborted, sorry: ("decompilation didn't finish",)