0xd569d3cce55b71a8a3f3c418c329a66e5f714431

DECOMPILED SOLIDITY (Heimdall) VERIFY

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

/// @title            Decompiled Contract
/// @author           Jonathan Becker <jonathan@jbecker.dev>
/// @custom:version   heimdall-rs v0.9.2
///
/// @notice           This contract was decompiled using the heimdall-rs decompiler.
///                     It was generated directly by tracing the EVM opcodes from this contract.
///                     As a result, it may not compile or even be valid solidity code.
///                     Despite this, it should be obvious what each function does. Overall
///                     logic should have been preserved throughout decompiling.
///
/// @custom:github    You can find the open-source decompiler here:
///                       https://heimdall.rs

contract DecompiledContract {
    uint256 public constant projects = 886906240315223428723846225640217687034047976472;
    uint256 public constant terminalDirectory = 404125184388096613834317554577815568058512947782;
    uint256 public constant ticketBooth = 1359782084088244323845891364510001917051077467132;
    uint256 public constant prices = 966681270789130906686088073823486002771863812656;
    uint256 public constant fundingCycles = 1398874405134950177540309694573464627453311938094;
    uint256 public constant modStore = 1061263746943790911645333642730747393433154632376;
    uint256 public constant operatorStore = 977824982514081918400255191123162870415899692466;
    
    address public governance;
    address public pendingGovernance;
    mapping(bytes32 => bytes32) storage_map_k;
    uint256 public fee;
    mapping(bytes32 => bytes32) storage_map_h;
    mapping(bytes32 => bytes32) storage_map_a;
    mapping(bytes32 => bytes32) storage_map_g;
    mapping(bytes32 => bytes32) storage_map_e;
    bytes32 store_i;
    mapping(bytes32 => bytes32) storage_map_j;
    mapping(bytes32 => bytes32) storage_map_c;
    
    error PRBMath__MulDivOverflow(uint256, uint256);
    event DistributeToPayoutMod(uint256, uint256, (bool,uint16,uint48,address,address,uint56), uint256, address);
    event AppointGovernance(address);
    event AcceptGovernance(address);
    event Event_00172ddf();
    event AddToBalance(uint256, uint256, address);
    event PrintPreminedTickets(uint256, address, uint256, uint256, string, address);
    event Pay(uint256, uint256, address, uint256, string, address);
    event AllowMigration(address);
    event Migrate(uint256, address, uint256, address);
    
    /// @custom:selector    0x9cc7f708
    /// @custom:signature   balanceOf(uint256 arg0) public view returns (uint256)
    /// @param              arg0 ["uint256", "bytes32", "int256"]
    function balanceOf(uint256 arg0) public view returns (uint256) {
        uint256 var_b = arg0;
        return storage_map_a[var_b];
    }
    
    /// @custom:selector    0x308a20ad
    /// @custom:signature   allowMigration(address arg0) public
    /// @param              arg0 ["address", "uint160", "bytes20", "int160"]
    function allowMigration(address arg0) public {
        require(arg0 == (address(arg0)));
        require(msg.sender == (address(governance)), "TerminalV1: UNAUTHORIZED");
        require(address(arg0), "TerminalV1::allowMigration: NO_OP");
        require(!(address(this) == (address(arg0))), "TerminalV1::allowMigration: NO_OP");
        address var_e = address(arg0);
        storage_map_c[var_e] = 0x01 | (uint248(storage_map_c[var_e]));
        emit AllowMigration(address(arg0));
    }
    
    /// @custom:selector    0xe2c673a5
    /// @custom:signature   appointGovernance(address arg0) public
    /// @param              arg0 ["address", "uint160", "bytes20", "int160"]
    function appointGovernance(address arg0) public {
        require(arg0 == (address(arg0)));
        require(msg.sender == (address(governance)), "TerminalV1: UNAUTHORIZED");
        require(address(arg0), "TerminalV1::appointGovernance: NO_OP");
        require(!(address(governance) == (address(arg0))), "TerminalV1::appointGovernance: NO_OP");
        pendingGovernance = (address(arg0)) | (uint96(pendingGovernance));
        emit AppointGovernance(address(arg0));
    }
    
    /// @custom:selector    0x8955ba17
    /// @custom:signature   Unresolved_8955ba17(uint256 arg0, uint256 arg1, uint16 arg2, uint48 arg3, address arg4, uint256 arg5, uint256 arg6) public pure
    /// @param              arg0 ["uint256", "bytes32", "int256"]
    /// @param              arg1 ["uint256", "bytes32", "int256"]
    /// @param              arg2 ["uint16", "bytes2", "int16"]
    /// @param              arg3 ["uint48", "bytes6", "int48"]
    /// @param              arg4 ["address", "uint160", "bytes20", "int160"]
    /// @param              arg10 ["uint256", "bytes32", "int256"]
    /// @param              arg11 ["uint256", "bytes32", "int256"]
    function Unresolved_8955ba17(uint256 arg0, uint256 arg1, uint16 arg2, uint48 arg3, address arg4, uint256 arg5, uint256 arg6) public pure {
        require(!(msg.data.length - 0x24) < 0xc0);
        require(!(msg.data.length - 0xe4) < 0x60);
        require(!arg10 > 0xffffffffffffffff);
        require(!(arg10) > 0xffffffffffffffff);
        require(!((var_c + (uint248((0x20 + (arg10 << 0x05)) + 0x1f))) < var_c) | ((var_c + (uint248((0x20 + (arg10 << 0x05)) + 0x1f))) > 0xffffffffffffffff));
        uint256 var_c = var_c + (uint248((0x20 + (arg10 << 0x05)) + 0x1f));
        require(!0 < (arg10));
        require(!((var_c + 0xc0) < var_c) | ((var_c + 0xc0) > 0xffffffffffffffff));
        require((0x20 + (arg10)) == (0x20 + (arg10)));
        require((0x20 + (0x20 + (arg10))) == (uint16(0x20 + (0x20 + (arg10)))));
        require((0x40 + (0x20 + (arg10))) == (uint48(0x40 + (0x20 + (arg10)))));
        require((0x60 + (0x20 + (arg10))) == (address(0x60 + (0x20 + (arg10)))));
        require(!arg11 > 0xffffffffffffffff);
    }
    
    /// @custom:selector    0x9dda3f91
    /// @custom:signature   canPrintPreminedTickets(uint256 arg0) public returns (bool)
    /// @param              arg0 ["uint256", "bytes32", "int256"]
    function canPrintPreminedTickets(uint256 arg0) public returns (bool) {
        uint256 var_a = arg0;
        uint256 var_d = arg0;
        require(address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).code.length);
        (bool success, bytes memory ret0) = address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).Unresolved_75b0d9cd(var_d); // staticcall
        uint256 var_e = var_e + (uint248(ret0.length + 0x1f));
        require(!((var_e + ret0.length) - var_e) < 0x20);
        require(!var_e.length == storage_map_e[var_a]);
        var_a = arg0;
        require(storage_map_e[var_a] < 0);
        return !(storage_map_e[var_a] < 0);
        var_a = arg0;
        return !(!storage_map_e[var_a] == storage_map_e[var_a]);
        require(!var_e.length == storage_map_e[var_a]);
        var_a = arg0;
        return !(!storage_map_e[var_a] == storage_map_e[var_a]);
        return !(!var_e.length == storage_map_e[var_a]);
    }
    
    /// @custom:selector    0x02c8986f
    /// @custom:signature   Unresolved_02c8986f(uint256 arg0, address arg1, uint256 arg2, uint256 arg3) public payable returns (uint256)
    /// @param              arg0 ["uint256", "bytes32", "int256"]
    /// @param              arg1 ["address", "uint160", "bytes20", "int160"]
    /// @param              arg2 ["uint256", "bytes32", "int256"]
    /// @param              arg3 ["uint256", "bytes32", "int256"]
    function Unresolved_02c8986f(uint256 arg0, address arg1, uint256 arg2, uint256 arg3) public payable returns (uint256) {
        require(arg1 == (address(arg1)));
        require(!arg2 > 0xffffffffffffffff);
        require(!(arg2) > 0xffffffffffffffff);
        require(arg3 == arg3);
        require(msg.value > 0);
        require(address(arg1));
        uint256 var_e = arg0;
        require(address(0xf507b2a1dd7439201eb07f11e1d62afb29216e2e).code.length);
        (bool success, bytes memory ret0) = address(0xf507b2a1dd7439201eb07f11e1d62afb29216e2e).Unresolved_43a266c2(var_e); // staticcall
        var_a = var_a + (uint248(ret0.length + 0x1f));
        require(!((var_a + ret0.length) - var_a) < 0x0200);
        require(!((var_a + 0x0200) < var_a) | ((var_a + 0x0200) > 0xffffffffffffffff));
        var_a = var_a + 0x0200;
        require(var_u == (address(var_u)));
        require(0 == (var_am));
        require(address(0xf507b2a1dd7439201eb07f11e1d62afb29216e2e).code.length);
        (bool success, bytes memory ret0) = address(0xf507b2a1dd7439201eb07f11e1d62afb29216e2e).BASE_WEIGHT(); // staticcall
        var_a = var_a + (uint248(ret0.length + 0x1f));
        require(!(((var_a + ret0.length) - var_a) < 0x20), CustomError_d31b3402());
        require(((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) < 0x0de0b6b3a7640000, CustomError_d31b3402());
        require(((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)), CustomError_773cc18c());
        require(0 == (var_am), CustomError_773cc18c());
        require(!(0xc8 < 0), CustomError_773cc18c());
        require(!(0 == ((((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) - (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > (msg.value * var_a.length)))) | ((msg.value * var_a.length) - ((msg.value * var_a.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff) * 0xc8) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) - (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > (msg.value * var_a.length)))) | ((msg.value * var_a.length) - ((msg.value * var_a.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff) * 0xc8) - ((((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) - (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > (msg.value * var_a.length)))) | ((msg.value * var_a.length) - ((msg.value * var_a.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff) * 0xc8) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) - (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > (msg.value * var_a.length)))) | ((msg.value * var_a.length) - ((msg.value * var_a.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff) * 0xc8)))), CustomError_773cc18c());
        require((((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) - (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > (msg.value * var_a.length)))) | ((msg.value * var_a.length) - ((msg.value * var_a.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff) * 0xc8) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) - (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > (msg.value * var_a.length)))) | ((msg.value * var_a.length) - ((msg.value * var_a.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff) * 0xc8) - ((((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) - (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > (msg.value * var_a.length)))) | ((msg.value * var_a.length) - ((msg.value * var_a.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff) * 0xc8) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) - (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > (msg.value * var_a.length)))) | ((msg.value * var_a.length) - ((msg.value * var_a.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff) * 0xc8)) < 0xc8, CustomError_773cc18c());
        require(0xc8, "TerminalV1::printTickets: INT_LIMIT_REACHED");
        uint256 var_f = arg0;
        require(!(storage_map_g[var_f] > ~(msg.value)), "TerminalV1::printTickets: INT_LIMIT_REACHED");
        var_f = arg0;
        storage_map_g[var_f] = storage_map_g[var_f] + msg.value;
        require(!(((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) - (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > (msg.value * var_a.length)))) | ((msg.value * var_a.length) - ((msg.value * var_a.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff) * 0xc8) / 0xc8), "TerminalV1::printTickets: INT_LIMIT_REACHED");
        require(var_l, "TerminalV1::printTickets: INT_LIMIT_REACHED");
        var_f = arg0;
        require(storage_map_g[var_f] < 0, "TerminalV1::printTickets: INT_LIMIT_REACHED");
        require(storage_map_g[var_f] < 0, "TerminalV1::printTickets: INT_LIMIT_REACHED");
        var_f = arg0;
        require(!((!storage_map_g[var_f] < 0) & ((((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) - (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > (msg.value * var_a.length)))) | ((msg.value * var_a.length) - ((msg.value * var_a.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff) * 0xc8) / 0xc8) > (0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff - storage_map_g[var_f]))), "TerminalV1::printTickets: INT_LIMIT_REACHED");
        var_f = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
        require(!((storage_map_g[var_f] < 0) & ((((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) - (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > (msg.value * var_a.length)))) | ((msg.value * var_a.length) - ((msg.value * var_a.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff) * 0xc8) / 0xc8) < (0x8000000000000000000000000000000000000000000000000000000000000000 - storage_map_g[var_f]))), "TerminalV1::printTickets: INT_LIMIT_REACHED");
        var_f = arg0;
        require(!(storage_map_g[var_f] > (~((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) - (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > (msg.value * var_a.length)))) | ((msg.value * var_a.length) - ((msg.value * var_a.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff)))), "TerminalV1::printTickets: INT_LIMIT_REACHED");
        var_f = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
        require(!(storage_map_g[var_f] + ((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) - (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > (msg.value * var_a.length)))) | ((msg.value * var_a.length) - ((msg.value * var_a.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff)) > 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff), "TerminalV1::printTickets: INT_LIMIT_REACHED");
        var_ap = address(arg1);
        require(address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).code.length);
        (bool success, bytes memory ret0) = address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).{ value: 0 ether }Unresolved_e0826c89(var_ap); // call
        require(!(0 > var_a.length), "TerminalV1::printTickets: INT_LIMIT_REACHED");
        emit Pay(var_ay, arg0, address(arg1), msg.value, 0x60, address(msg.sender), var_a.length);
        return var_a.length;
        emit Pay(var_ay, arg0, address(arg1), var_a.length, 0x60, address(msg.sender), var_a.length);
        return var_a.length;
        require(!((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) - (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > (msg.value * var_a.length)))) | ((msg.value * var_a.length) - ((msg.value * var_a.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff)), "TerminalV1::printTickets: INT_LIMIT_REACHED");
        var_f = arg0;
        require(storage_map_g[var_f] > 0, "TerminalV1::printTickets: INT_LIMIT_REACHED");
        require(storage_map_g[var_f] > 0, "TerminalV1::printTickets: INT_LIMIT_REACHED");
        var_f = arg0;
        require(!((!((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) - (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > (msg.value * var_a.length)))) | ((msg.value * var_a.length) - ((msg.value * var_a.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff)) < 0) & (storage_map_g[var_f] < (0x8000000000000000000000000000000000000000000000000000000000000000 + ((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) - (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > (msg.value * var_a.length)))) | ((msg.value * var_a.length) - ((msg.value * var_a.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff))))), "TerminalV1::printTickets: INT_LIMIT_REACHED");
        var_f = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
        require(!(((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) - (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > (msg.value * var_a.length)))) | ((msg.value * var_a.length) - ((msg.value * var_a.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff) < 0) & (storage_map_g[var_f] > (0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + ((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (msg.value * var_a.length) - (((msg.value * var_a.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (msg.value * var_a.length)) - (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > (msg.value * var_a.length)))) | ((msg.value * var_a.length) - ((msg.value * var_a.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((msg.value * var_a.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff))))), "TerminalV1::printTickets: INT_LIMIT_REACHED");
        var_f = arg0;
        require(!storage_map_g[var_f] == 0x8000000000000000000000000000000000000000000000000000000000000000);
    }
    
    /// @custom:selector    0xddfd414a
    /// @custom:signature   currentOverflowOf(uint256 arg0) public returns (uint256)
    /// @param              arg0 ["uint256", "bytes32", "int256"]
    function currentOverflowOf(uint256 arg0) public returns (uint256) {
        uint256 var_b = arg0;
        require(address(0xf507b2a1dd7439201eb07f11e1d62afb29216e2e).code.length);
        (bool success, bytes memory ret0) = address(0xf507b2a1dd7439201eb07f11e1d62afb29216e2e).Unresolved_43a266c2(var_b); // staticcall
        uint256 var_c = var_c + (uint248(ret0.length + 0x1f));
        require(!((var_c + ret0.length) - var_c) < 0x0200);
        require(!((var_c + 0x0200) < var_c) | ((var_c + 0x0200) > 0xffffffffffffffff));
        var_c = var_c + 0x0200;
        require(var_s == (address(var_s)));
        require(var_c.length);
        return 0;
        var_al = var_am;
        require(address(0xa9537cc42555564206d4e57c0eb6943d56e83a30).code.length);
        (bool success, bytes memory ret0) = address(0xa9537cc42555564206d4e57c0eb6943d56e83a30).Unresolved_9fa93723(var_al); // staticcall
        var_c = var_c + (uint248(ret0.length + 0x1f));
        require(!(((var_c + ret0.length) - var_c) < 0x20), CustomError_773cc18c());
        require(!(var_an < (var_ao)), CustomError_773cc18c());
        require(!(var_an - (var_ao)), CustomError_773cc18c());
        require(!(0 == (((var_an - (var_ao) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (var_an - (var_ao) * 0x0de0b6b3a7640000) - (((var_an - (var_ao) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (var_an - (var_ao) * 0x0de0b6b3a7640000)))), CustomError_773cc18c());
        require(((var_an - (var_ao) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (var_an - (var_ao) * 0x0de0b6b3a7640000) - (((var_an - (var_ao) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (var_an - (var_ao) * 0x0de0b6b3a7640000)) < var_c.length, CustomError_773cc18c());
        require(var_c.length);
        var_d = var_h;
        require(storage_map_h[var_d] < ((var_an - (var_ao) * 0x0de0b6b3a7640000) / var_c.length));
        return 0;
        require(!storage_map_h[var_d] < ((var_an - (var_ao) * 0x0de0b6b3a7640000) / var_c.length));
        var_d = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
        return storage_map_h[var_d] - ((var_an - (var_ao) * 0x0de0b6b3a7640000) / var_c.length);
    }
    
    /// @custom:selector    0x8a19e355
    /// @custom:signature   addToBalance(uint256 arg0) public payable
    /// @param              arg0 ["uint256", "bytes32", "int256"]
    function addToBalance(uint256 arg0) public payable {
        require(msg.value > 0, "TerminalV1::addToBalance: BAD_AMOUNT");
        uint256 var_a = arg0;
        require(!(storage_map_e[var_a] > ~(msg.value)), "TerminalV1::addToBalance: BAD_AMOUNT");
        var_a = arg0;
        storage_map_e[var_a] = storage_map_e[var_a] + msg.value;
        emit AddToBalance(arg0, msg.value, msg.sender);
    }
    
    /// @custom:selector    0x3015a5b5
    /// @custom:signature   Unresolved_3015a5b5(address arg0) public pure
    /// @param              arg0 ["address", "uint160", "bytes20", "int160"]
    function Unresolved_3015a5b5(address arg0) public pure {
        require(arg0 == (address(arg0)));
    }
    
    /// @custom:selector    0x405b84fa
    /// @custom:signature   migrate(uint256 arg0, address arg1) public
    /// @param              arg0 ["uint256", "bytes32", "int256"]
    /// @param              arg1 ["address", "uint160", "bytes20", "int160"]
    function migrate(uint256 arg0, address arg1) public {
        require(arg1 == (address(arg1)));
        uint256 var_b = arg0;
        require(address(0x9b5a4053ffbb11ca9cd858aaee43cc95ab435418).code.length);
        (bool success, bytes memory ret0) = address(0x9b5a4053ffbb11ca9cd858aaee43cc95ab435418).Unresolved_6352211e(var_b); // staticcall
        uint256 var_c = var_c + (uint248(ret0.length + 0x1f));
        require(!((var_c + ret0.length) - var_c) < 0x20);
        require(var_c.length == (address(var_c.length)));
        require(address(var_c.length) == msg.sender);
        address var_e = msg.sender;
        require(address(0xab47304d987390e27ce3bc0fa4fe31e3a98b0db2).code.length);
        (bool success, bytes memory ret0) = address(0xab47304d987390e27ce3bc0fa4fe31e3a98b0db2).Unresolved_c161c93f(var_e); // staticcall
        var_c = var_c + (uint248(ret0.length + 0x1f));
        require(!(((var_c + ret0.length) - var_c) < 0x20), "Operatable: UNAUTHORIZED");
        require(var_c.length == var_c.length, "Operatable: UNAUTHORIZED");
        require(var_c.length, "Operatable: UNAUTHORIZED");
        require(!(store_i == 0x02), "ReentrancyGuard: reentrant call");
        store_i = 0x02;
        var_f = arg0;
        require(address(0x46c9999a2edcd5aa177ed7e8af90c68b7d75ba46).code.length);
        (bool success, bytes memory ret0) = address(0x46c9999a2edcd5aa177ed7e8af90c68b7d75ba46).Unresolved_4fe0eced(var_f); // staticcall
        var_c = var_c + (uint248(ret0.length + 0x1f));
        require(!(((var_c + ret0.length) - var_c) < 0x20), "TerminalV1::migrate: UNAUTHORIZED");
        require(var_c.length == (address(var_c.length)), "TerminalV1::migrate: UNAUTHORIZED");
        require(address(var_c.length) == address(this), "TerminalV1::migrate: UNAUTHORIZED");
        address var_m = address(arg1);
        require(bytes1(storage_map_j[var_m]));
        var_g = arg0;
        require(address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).code.length);
        (bool success, bytes memory ret0) = address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).Unresolved_75b0d9cd(var_g); // staticcall
        var_c = var_c + (uint248(ret0.length + 0x1f));
        require(!((var_c + ret0.length) - var_c) < 0x20);
        var_m = arg0;
        require(storage_map_j[var_m] == var_c.length);
        var_m = arg0;
        storage_map_j[var_m] = 0;
        require(!storage_map_j[var_m]);
        uint256 var_h = arg0;
        require(address(arg1).code.length);
        (bool success, bytes memory ret0) = address(arg1).{ value: storage_map_j[var_m] }Unresolved_8a19e355(var_h); // call
        var_h = arg0;
        require(address(0x46c9999a2edcd5aa177ed7e8af90c68b7d75ba46).code.length);
        (bool success, bytes memory ret0) = address(0x46c9999a2edcd5aa177ed7e8af90c68b7d75ba46).{ value: storage_map_j[var_m] ether }Unresolved_9fc9ea47(var_h); // call
        emit Migrate(arg0, address(arg1), storage_map_j[var_m], msg.sender);
        store_i = 0x01;
        var_h = arg0;
        require(address(0xf507b2a1dd7439201eb07f11e1d62afb29216e2e).code.length);
        (bool success, bytes memory ret0) = address(0xf507b2a1dd7439201eb07f11e1d62afb29216e2e).currentOf(var_h); // staticcall
        var_c = var_c + (uint248(ret0.length + 0x1f));
        require(!((var_c + ret0.length) - var_c) < 0x0200);
        require(!((var_c + 0x0200) < var_c) | ((var_c + 0x0200) > 0xffffffffffffffff));
        var_c = var_c + 0x0200;
        require(var_ad == (address(var_ad)));
        require(var_c.length);
        uint256 var_aw = arg0;
        require(address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).code.length);
        (bool success, bytes memory ret0) = address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).Unresolved_75b0d9cd(var_aw); // staticcall
        var_c = var_c + (uint248(ret0.length + 0x1f));
        if (!((var_c + ret0.length) - var_c) < 0x20) {
            var_m = arg0;
            if (!storage_map_j[var_m] < 0) {
                require(!(((var_c + ret0.length) - var_c) < 0x20), CustomError_773cc18c());
                var_m = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
                require(!(storage_map_j[var_m] < 0), CustomError_773cc18c());
                var_m = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
                require(!(storage_map_j[var_m] == 0x8000000000000000000000000000000000000000000000000000000000000000), CustomError_773cc18c());
                require(!(var_c.length > (~(0 - storage_map_j[var_m]))), CustomError_773cc18c());
            }
            require(!(0xc8 == (bytes1(var_au >> 0x08))), CustomError_773cc18c());
            require(var_c.length + (0 - storage_map_j[var_m]), CustomError_773cc18c());
        }
        require(!(0xc8 < (bytes1(var_au >> 0x08))), CustomError_773cc18c());
        var_m = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
        require(!(0 == ((((var_c.length + (0 - storage_map_j[var_m])) * 0xc8) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((var_c.length + (0 - storage_map_j[var_m])) * 0xc8) - ((((var_c.length + (0 - storage_map_j[var_m])) * 0xc8) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((var_c.length + (0 - storage_map_j[var_m])) * 0xc8)))), CustomError_773cc18c());
        require(0xc8 - (bytes1(var_au >> 0x08)), CustomError_773cc18c());
        var_m = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
        require((((var_c.length + (0 - storage_map_j[var_m])) * 0xc8) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((var_c.length + (0 - storage_map_j[var_m])) * 0xc8) - ((((var_c.length + (0 - storage_map_j[var_m])) * 0xc8) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((var_c.length + (0 - storage_map_j[var_m])) * 0xc8)) < (0xc8 - (bytes1(var_ax >> 0x08))), CustomError_773cc18c());
    }
    
    /// @custom:selector    0x2e9d3b8f
    /// @custom:signature   claimableOverflowOf(address arg0, uint256 arg1, uint256 arg2) public returns (uint256)
    /// @param              arg0 ["address", "uint160", "bytes20", "int160"]
    /// @param              arg1 ["uint256", "bytes32", "int256"]
    /// @param              arg2 ["uint256", "bytes32", "int256"]
    function claimableOverflowOf(address arg0, uint256 arg1, uint256 arg2) public returns (uint256) {
        require(arg0 == (address(arg0)));
        address var_b = address(arg0);
        require(address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).code.length);
        (bool success, bytes memory ret0) = address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).Unresolved_00fdd58e(var_b); // staticcall
        uint256 var_d = var_d + (uint248(ret0.length + 0x1f));
        require(!(((var_d + ret0.length) - var_d) < 0x20), "TerminalV1::claimableOverflow: INSUFFICIENT_TICKETS");
        require(!(var_d.length < arg2), "TerminalV1::claimableOverflow: INSUFFICIENT_TICKETS");
        var_c = arg1;
        require(address(0xf507b2a1dd7439201eb07f11e1d62afb29216e2e).code.length);
        (bool success, bytes memory ret0) = address(0xf507b2a1dd7439201eb07f11e1d62afb29216e2e).Unresolved_43a266c2(var_c); // staticcall
        var_d = var_d + (uint248(ret0.length + 0x1f));
        require(!((var_d + ret0.length) - var_d) < 0x0200);
        require(!((var_d + 0x0200) < var_d) | ((var_d + 0x0200) > 0xffffffffffffffff));
        var_d = var_d + 0x0200;
        require(var_x == (address(var_x)));
        require(var_d.length);
        return 0;
        var_aq = var_ar;
        require(address(0xa9537cc42555564206d4e57c0eb6943d56e83a30).code.length);
        (bool success, bytes memory ret0) = address(0xa9537cc42555564206d4e57c0eb6943d56e83a30).Unresolved_9fa93723(var_aq); // staticcall
        var_d = var_d + (uint248(ret0.length + 0x1f));
        require(!(((var_d + ret0.length) - var_d) < 0x20), CustomError_773cc18c());
        require(!(var_as < (var_at)), CustomError_773cc18c());
        require(!(var_as - (var_at)), CustomError_773cc18c());
        require(!(0 == (((var_as - (var_at) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (var_as - (var_at) * 0x0de0b6b3a7640000) - (((var_as - (var_at) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (var_as - (var_at) * 0x0de0b6b3a7640000)))), CustomError_773cc18c());
        require(((var_as - (var_at) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (var_as - (var_at) * 0x0de0b6b3a7640000) - (((var_as - (var_at) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (var_as - (var_at) * 0x0de0b6b3a7640000)) < var_d.length, CustomError_773cc18c());
        require(var_d.length);
        var_i = var_m;
        require(storage_map_k[var_i] < ((var_as - (var_at) * 0x0de0b6b3a7640000) / var_d.length));
        require(0);
        var_av = arg1;
        require(address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).code.length);
        (bool success, bytes memory ret0) = address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).Unresolved_75b0d9cd(var_av); // staticcall
        return 0;
        require(!storage_map_k[var_i] < ((var_as - (var_at) * 0x0de0b6b3a7640000) / var_d.length));
    }
    
    /// @custom:selector    0x238efcbc
    /// @custom:signature   acceptGovernance() public
    function acceptGovernance() public {
        require(msg.sender == (address(pendingGovernance)), "TerminalV1::acceptGovernance: UNAUTHORIZED");
        governance = (address(pendingGovernance)) | (uint96(governance));
        emit AcceptGovernance(address(pendingGovernance));
    }
    
    /// @custom:selector    0xaf82d3be
    /// @custom:signature   printReservedTickets(uint256 arg0) public returns (uint256)
    /// @param              arg0 ["uint256", "bytes32", "int256"]
    function printReservedTickets(uint256 arg0) public returns (uint256) {
        uint256 var_b = arg0;
        require(address(0xf507b2a1dd7439201eb07f11e1d62afb29216e2e).code.length);
        (bool success, bytes memory ret0) = address(0xf507b2a1dd7439201eb07f11e1d62afb29216e2e).Unresolved_43a266c2(var_b); // staticcall
        uint256 var_c = var_c + (uint248(ret0.length + 0x1f));
        require(!((var_c + ret0.length) - var_c) < 0x0200);
        require(!((var_c + 0x0200) < var_c) | ((var_c + 0x0200) > 0xffffffffffffffff));
        var_c = var_c + 0x0200;
        require(var_s == (address(var_s)));
        require(var_c.length);
        return 0;
        uint256 var_al = arg0;
        require(address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).code.length);
        (bool success, bytes memory ret0) = address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).Unresolved_75b0d9cd(var_al); // staticcall
        var_c = var_c + (uint248(ret0.length + 0x1f));
        require(!(((var_c + ret0.length) - var_c) < 0x20), CustomError_773cc18c());
        uint256 var_d = arg0;
        require(!(storage_map_h[var_d] < 0), CustomError_773cc18c());
        require(!(storage_map_h[var_d] == 0x8000000000000000000000000000000000000000000000000000000000000000), CustomError_773cc18c());
        var_d = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
        require(!(var_c.length > (~(0 - storage_map_h[var_d]))), CustomError_773cc18c());
        var_d = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
        require(var_c.length + (0 - storage_map_h[var_d]), CustomError_773cc18c());
        require(0, CustomError_773cc18c());
        return 0;
        require(!(0xc8 == (bytes1(var_aj >> 0x08))), CustomError_773cc18c());
        require(var_c.length + (0 - storage_map_h[var_d]), CustomError_773cc18c());
        return var_c.length + (0 - storage_map_h[var_d]);
        require(!(0xc8 < (bytes1(var_aj >> 0x08))), CustomError_773cc18c());
        var_d = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
        require(!(0 == ((((var_c.length + (0 - storage_map_h[var_d])) * 0xc8) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((var_c.length + (0 - storage_map_h[var_d])) * 0xc8) - ((((var_c.length + (0 - storage_map_h[var_d])) * 0xc8) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((var_c.length + (0 - storage_map_h[var_d])) * 0xc8)))), CustomError_773cc18c());
        require(0xc8 - (bytes1(var_aj >> 0x08)), CustomError_773cc18c());
        var_d = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
        require((((var_c.length + (0 - storage_map_h[var_d])) * 0xc8) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((var_c.length + (0 - storage_map_h[var_d])) * 0xc8) - ((((var_c.length + (0 - storage_map_h[var_d])) * 0xc8) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((var_c.length + (0 - storage_map_h[var_d])) * 0xc8)) < (0xc8 - (bytes1(var_ao >> 0x08))), CustomError_773cc18c());
    }
    
    /// @custom:selector    0x08014ddc
    /// @custom:signature   tap(uint256 arg0, uint256 arg1, uint256 arg2, uint256 arg3) public returns (uint256)
    /// @param              arg0 ["uint256", "bytes32", "int256"]
    /// @param              arg1 ["uint256", "bytes32", "int256"]
    /// @param              arg2 ["uint256", "bytes32", "int256"]
    /// @param              arg3 ["uint256", "bytes32", "int256"]
    function tap(uint256 arg0, uint256 arg1, uint256 arg2, uint256 arg3) public returns (uint256) {
        require(!(store_i == 0x02), "ReentrancyGuard: reentrant call");
        store_i = 0x02;
        uint256 var_b = arg0;
        require(address(0xf507b2a1dd7439201eb07f11e1d62afb29216e2e).code.length);
        (bool success, bytes memory ret0) = address(0xf507b2a1dd7439201eb07f11e1d62afb29216e2e).{ value: 0 ether }Unresolved_1ee2c9bf(var_b); // call
        uint256 var_e = var_e + (uint248(ret0.length + 0x1f));
        require(!((var_e + ret0.length) - var_e) < 0x0200);
        require(!((var_e + 0x0200) < var_e) | ((var_e + 0x0200) > 0xffffffffffffffff));
        var_e = var_e + 0x0200;
        require(var_u == (address(var_u)));
        require(var_e.length);
        store_i = 0x01;
        return 0;
        require(arg2 == (var_an));
        var_ao = var_ad;
        require(address(0xa9537cc42555564206d4e57c0eb6943d56e83a30).code.length);
        (bool success, bytes memory ret0) = address(0xa9537cc42555564206d4e57c0eb6943d56e83a30).Unresolved_9fa93723(var_ao); // staticcall
        var_e = var_e + (uint248(ret0.length + 0x1f));
        require(!(((var_e + ret0.length) - var_e) < 0x20), CustomError_773cc18c());
        require(!(0 == (((arg1 * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (arg1 * 0x0de0b6b3a7640000) - (((arg1 * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (arg1 * 0x0de0b6b3a7640000)))), CustomError_773cc18c());
        require(((arg1 * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (arg1 * 0x0de0b6b3a7640000) - (((arg1 * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (arg1 * 0x0de0b6b3a7640000)) < var_e.length, CustomError_773cc18c());
        require(var_e.length, "TerminalV1::tap: INADEQUATE");
        require(!(arg3 > ((arg1 * 0x0de0b6b3a7640000) / var_e.length)), "TerminalV1::tap: INADEQUATE");
        var_f = var_j;
        require(!(((arg1 * 0x0de0b6b3a7640000) / var_e.length) > storage_map_g[var_f]), "TerminalV1::tap: INSUFFICIENT_FUNDS");
        require(!storage_map_g[var_f] < ((arg1 * 0x0de0b6b3a7640000) / var_e.length));
        uint256 var_f = arg0;
        storage_map_g[var_f] = storage_map_g[var_f] - ((arg1 * 0x0de0b6b3a7640000) / var_e.length);
        var_aq = var_j;
        require(address(0x9b5a4053ffbb11ca9cd858aaee43cc95ab435418).code.length);
        (bool success, bytes memory ret0) = address(0x9b5a4053ffbb11ca9cd858aaee43cc95ab435418).Unresolved_6352211e(var_aq); // staticcall
        var_e = var_e + (uint248(ret0.length + 0x1f));
        require(!((var_e + ret0.length) - var_e) < 0x20);
        require(var_e.length == (address(var_e.length)));
        var_ar = arg0;
        require(address(0x9b5a4053ffbb11ca9cd858aaee43cc95ab435418).code.length);
        (bool success, bytes memory ret0) = address(0x9b5a4053ffbb11ca9cd858aaee43cc95ab435418).{ value: 0 ether }Unresolved_49491987(var_ar); // call
        var_e = var_e + (uint248(ret0.length + 0x1f));
        require(!((var_e + ret0.length) - var_e) < 0x20);
        require(var_aw > 0);
        require(!((arg1 * 0x0de0b6b3a7640000) / var_e.length) < 0);
        uint256 var_bb = var_j;
        require(address(0xb9e4b658298c7a36bdf4c2832042a5d6700c3ab8).code.length);
        (bool success, bytes memory ret0) = address(0xb9e4b658298c7a36bdf4c2832042a5d6700c3ab8).Unresolved_7559aaaa(var_bb); // staticcall
        var_e = var_e + (uint248(ret0.length + 0x1f));
        require(!((var_e + ret0.length) - var_e) < 0x20);
        require(!var_e.length > 0xffffffffffffffff);
        require((var_e + ret0.length) > ((var_e + var_e.length) + 0x1f));
        require(!(var_bd) > 0xffffffffffffffff);
        require(!((var_e + (uint248((0x20 + (var_be << 0x05)) + 0x1f))) < var_e) | ((var_e + (uint248((0x20 + (var_be << 0x05)) + 0x1f))) > 0xffffffffffffffff));
        var_e = var_e + (uint248((0x20 + (var_be << 0x05)) + 0x1f));
        require(!(var_e + ret0.length) < (0x20 + ((var_e + var_e.length) + (var_be * 0xc0))));
        require(!0 < (var_bd));
        require(!((var_e + ret0.length) - (0x20 + (var_e + var_e.length))) < 0xc0);
        require(!((var_e + 0xc0) < var_e) | ((var_e + 0xc0) > 0xffffffffffffffff));
        var_e = var_e + 0xc0;
        require(var_bg == (var_bg));
        require(var_bi == (uint16(var_bi)));
        require(var_bk == (uint48(var_bk)));
        require(var_bm == (address(var_bm)));
        require(!(0 == var_e.length), CustomError_773cc18c());
        require(!(0 == (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn))) - (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)))))), CustomError_773cc18c());
        require(((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn))) - (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)))) < 0x2710, CustomError_773cc18c());
        require(!(((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) - ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0x2710) / 0x10) | (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn))) - (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)))) - (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0x2710) > ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)))) * 0x1000000000000000000000000000000000000000000000000000000000000000)) * 0xbc01a36e2eb1c432ca57a786c226809d495182a9930be0ded288ce703afb7e91);
        require(!address(var_bq));
        var_bo = var_j;
        var_bp = uint56(var_br);
        uint256 var_bs = address(var_bt);
        require(address(var_bq).code.length);
        (bool success, bytes memory ret0) = address(var_bq).{ value: (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) - ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0x2710) / 0x10) | (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn))) - (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)))) - (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0x2710) > ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)))) * 0x1000000000000000000000000000000000000000000000000000000000000000)) * 0xbc01a36e2eb1c432ca57a786c226809d495182a9930be0ded288ce703afb7e91 }Unresolved_ec695ef7(var_bo, var_bp, var_bs); // call
        require(!(((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) < (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) - ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0x2710) / 0x10) | (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn))) - (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)))) - (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0x2710) > ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)))) * 0x1000000000000000000000000000000000000000000000000000000000000000) * 0xbc01a36e2eb1c432ca57a786c226809d495182a9930be0ded288ce703afb7e91));
        emit DistributeToPayoutMod(var_cc, var_cd, !(!var_ce), uint16(var_cf), uint48(var_cg), address(var_ch), address(var_ci), uint56(var_cj), (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_ck)) - ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_ck)) % 0x2710) / 0x10) | (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_ck)) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_ck))) - (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_ck)) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_ck)))) - (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_ck)) % 0x2710) > ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_ck)))) * 0x1000000000000000000000000000000000000000000000000000000000000000)) * 0xbc01a36e2eb1c432ca57a786c226809d495182a9930be0ded288ce703afb7e91, address(msg.sender));
        require(!0 == 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff);
        require(!uint56(var_br));
        var_bo = uint56(var_br);
        require(address(0x46c9999a2edcd5aa177ed7e8af90c68b7d75ba46).code.length);
        (bool success, bytes memory ret0) = address(0x46c9999a2edcd5aa177ed7e8af90c68b7d75ba46).terminalOf(var_bo); // staticcall
        var_e = var_e + (uint248(ret0.length + 0x1f));
        require(!((var_e + ret0.length) - var_e) < 0x20);
        require(!(address(this).balance < (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) - ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0x2710) / 0x10) | (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn))) - (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)))) - (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0x2710) > ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)))) * 0x1000000000000000000000000000000000000000000000000000000000000000) * 0xbc01a36e2eb1c432ca57a786c226809d495182a9930be0ded288ce703afb7e91)), "Address: insufficient balance");
        (bool success, bytes memory ret0) = address(var_cl).transfer(((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) - ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0x2710) / 0x10) | (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn))) - (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)))) - (((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)) % 0x2710) > ((((arg1 * 0x0de0b6b3a7640000) / var_e.length) - 0) * (uint16(var_bn)))) * 0x1000000000000000000000000000000000000000000000000000000000000000) * 0xbc01a36e2eb1c432ca57a786c226809d495182a9930be0ded288ce703afb7e91);
        require(ret0.length == 0, "Address: unable to send value, recipient may have reverted");
        if (0x2710) {
            require(0x2710);
        }
        require(!0xc8 > (~(var_af)));
    }
    
    /// @custom:selector    0xad243d18
    /// @custom:signature   Unresolved_ad243d18(address arg0, uint256 arg1, uint256 arg2, uint48 arg3, address arg4, uint256 arg5, uint256 arg6) public pure
    /// @param              arg0 ["address", "uint160", "bytes20", "int160"]
    /// @param              arg1 ["uint256", "bytes32", "int256"]
    /// @param              arg2 ["uint256", "bytes32", "int256"]
    /// @param              arg3 ["uint48", "bytes6", "int48"]
    /// @param              arg4 ["address", "uint160", "bytes20", "int160"]
    /// @param              arg12 ["uint256", "bytes32", "int256"]
    /// @param              arg13 ["uint256", "bytes32", "int256"]
    function Unresolved_ad243d18(address arg0, uint256 arg1, uint256 arg2, uint48 arg3, address arg4, uint256 arg5, uint256 arg6) public pure {
        require(arg0 == (address(arg0)));
        require(!arg2 > 0xffffffffffffffff);
        require(!(arg2) > 0xffffffffffffffff);
        require(!(msg.data.length - 0x64) < 0xc0);
        require(!(msg.data.length - 0x0124) < 0x60);
        require(!arg12 > 0xffffffffffffffff);
        require(!(arg12) > 0xffffffffffffffff);
        require(!((var_c + (uint248((0x20 + (arg12 << 0x05)) + 0x1f))) < var_c) | ((var_c + (uint248((0x20 + (arg12 << 0x05)) + 0x1f))) > 0xffffffffffffffff));
        uint256 var_c = var_c + (uint248((0x20 + (arg12 << 0x05)) + 0x1f));
        require(!0 < (arg12));
        require(!((var_c + 0xc0) < var_c) | ((var_c + 0xc0) > 0xffffffffffffffff));
        require((0x20 + (arg12)) == (0x20 + (arg12)));
        require((0x20 + (0x20 + (arg12))) == (uint16(0x20 + (0x20 + (arg12)))));
        require((0x40 + (0x20 + (arg12))) == (uint48(0x40 + (0x20 + (arg12)))));
        require((0x60 + (0x20 + (arg12))) == (address(0x60 + (0x20 + (arg12)))));
        require(!arg13 > 0xffffffffffffffff);
    }
    
    /// @custom:selector    0xb9f11091
    /// @custom:signature   migrationIsAllowed(address arg0) public view returns (bool)
    /// @param              arg0 ["address", "uint160", "bytes20", "int160"]
    function migrationIsAllowed(address arg0) public view returns (bool) {
        require(arg0 == (address(arg0)));
        address var_b = arg0;
        return !(!bytes1(storage_map_a[var_b]));
    }
    
    /// @custom:selector    0x2be5c650
    /// @custom:signature   Unresolved_2be5c650(uint256 arg0, uint256 arg1, uint256 arg2, address arg3, uint256 arg4, uint256 arg5) public
    /// @param              arg0 ["uint256", "bytes32", "int256"]
    /// @param              arg1 ["uint256", "bytes32", "int256"]
    /// @param              arg2 ["uint256", "bytes32", "int256"]
    /// @param              arg3 ["address", "uint160", "bytes20", "int160"]
    /// @param              arg4 ["uint256", "bytes32", "int256"]
    /// @param              arg5 ["uint256", "bytes32", "int256"]
    function Unresolved_2be5c650(uint256 arg0, uint256 arg1, uint256 arg2, address arg3, uint256 arg4, uint256 arg5) public {
        require(arg3 == (address(arg3)));
        require(!arg4 > 0xffffffffffffffff);
        require(!(arg4) > 0xffffffffffffffff);
        require(!((var_c + (uint248(((arg4 + 0x1f) + 0x20) + 0x1f))) < var_c) | ((var_c + (uint248(((arg4 + 0x1f) + 0x20) + 0x1f))) > 0xffffffffffffffff));
        require(arg5 == arg5);
        uint256 var_g = arg0;
        require(address(0x9b5a4053ffbb11ca9cd858aaee43cc95ab435418).code.length);
        (bool success, bytes memory ret0) = address(0x9b5a4053ffbb11ca9cd858aaee43cc95ab435418).Unresolved_6352211e(var_g); // staticcall
        var_c = var_c + (uint248(ret0.length + 0x1f));
        require(!((var_c + ret0.length) - var_c) < 0x20);
        require(var_c.length == (address(var_c.length)));
        require(address(var_c.length) == msg.sender);
        address var_i = msg.sender;
        require(address(0xab47304d987390e27ce3bc0fa4fe31e3a98b0db2).code.length);
        (bool success, bytes memory ret0) = address(0xab47304d987390e27ce3bc0fa4fe31e3a98b0db2).Unresolved_c161c93f(var_i); // staticcall
        var_c = var_c + (uint248(ret0.length + 0x1f));
        require(!(((var_c + ret0.length) - var_c) < 0x20), "Operatable: UNAUTHORIZED");
        require(var_c.length == var_c.length, "Operatable: UNAUTHORIZED");
        require(var_c.length, "Operatable: UNAUTHORIZED");
        require(address(arg3));
        require(address(0xf507b2a1dd7439201eb07f11e1d62afb29216e2e).code.length);
        (bool success, bytes memory ret0) = address(0xf507b2a1dd7439201eb07f11e1d62afb29216e2e).BASE_WEIGHT(); // staticcall
        var_c = var_c + (uint248(ret0.length + 0x1f));
        require(!((var_c + ret0.length) - var_c) < 0x20);
        var_k = arg2;
        require(address(0xa9537cc42555564206d4e57c0eb6943d56e83a30).code.length);
        (bool success, bytes memory ret0) = address(0xa9537cc42555564206d4e57c0eb6943d56e83a30).Unresolved_9fa93723(var_k); // staticcall
        var_c = var_c + (uint248(ret0.length + 0x1f));
        require(!(((var_c + ret0.length) - var_c) < 0x20), CustomError_773cc18c());
        require(!(0 == (((arg1 * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (arg1 * 0x0de0b6b3a7640000) - (((arg1 * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (arg1 * 0x0de0b6b3a7640000)))), CustomError_773cc18c());
        require(((arg1 * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (arg1 * 0x0de0b6b3a7640000) - (((arg1 * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (arg1 * 0x0de0b6b3a7640000)) < var_c.length, CustomError_773cc18c());
        require(var_c.length, CustomError_d31b3402());
        require(((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) - (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length)) < 0x0de0b6b3a7640000, CustomError_d31b3402());
        require(((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) - (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length)));
        uint256 var_a = arg0;
        var_l = arg0;
        require(address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).code.length);
        (bool success, bytes memory ret0) = address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).Unresolved_75b0d9cd(var_l); // staticcall
        var_c = var_c + (uint248(ret0.length + 0x1f));
        require(!(((var_c + ret0.length) - var_c) < 0x20), "TerminalV1::printTickets: ALREADY_ACTIVE");
        require(!(var_c.length == storage_map_e[var_a]), "TerminalV1::printTickets: ALREADY_ACTIVE");
        var_a = arg0;
        require(!(!storage_map_e[var_a] < 0), "TerminalV1::printTickets: ALREADY_ACTIVE");
        require(!(storage_map_e[var_a] < 0), "TerminalV1::printTickets: ALREADY_ACTIVE");
        var_a = arg0;
        require(storage_map_e[var_a] < 0);
        require(storage_map_e[var_a] < 0);
        var_a = arg0;
        require(!(!storage_map_e[var_a] < 0) & ((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) - (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length)) - (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) > (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length)))) | ((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) - ((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff) > (0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff - storage_map_e[var_a])));
        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
        require(!(storage_map_e[var_a] < 0) & ((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) - (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length)) - (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) > (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length)))) | ((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) - ((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff) < (0x8000000000000000000000000000000000000000000000000000000000000000 - storage_map_e[var_a])));
        var_a = arg0;
        storage_map_e[var_a] = storage_map_e[var_a] + ((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) - (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length)) - (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) > (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length)))) | ((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) - ((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff));
        require(!storage_map_e[var_a] > (~((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) - (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length)) - (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) > (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length)))) | ((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) - ((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff))));
        var_a = arg0;
        storage_map_e[var_a] = storage_map_e[var_a] + ((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) - (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length)) - (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) > (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length)))) | ((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) - ((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff));
        var_p = address(arg3);
        require(address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).code.length);
        (bool success, bytes memory ret0) = address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).{ value: 0 ether }Unresolved_e0826c89(var_p); // call
        require(!(0 > var_c.length), "TerminalV1::printTickets: INT_LIMIT_REACHED");
        emit PrintPreminedTickets(arg0, address(arg3), arg1, arg2, 0x80, address(msg.sender), var_c.length);
        emit PrintPreminedTickets(arg0, address(arg3), arg1, arg2, 0x80, address(msg.sender), var_c.length);
        var_a = arg0;
        require(!(storage_map_e[var_a] > (~((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) - (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length)) - (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) > (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length)))) | ((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) - ((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff)))), "TerminalV1::printTickets: INT_LIMIT_REACHED");
        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
        require(!(storage_map_e[var_a] + ((0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669 * ((0x400000000000000000000000000000000000000000000000000000000000 * (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) - (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length)) - (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) > (((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length)))) | ((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) - ((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) / 0x040000))) + (((((arg1 * 0x0de0b6b3a7640000) / var_c.length) * var_c.length) % 0x0de0b6b3a7640000) > 0x06f05b59d3b1ffff)) > 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff), "TerminalV1::printTickets: INT_LIMIT_REACHED");
        require(!(var_c.length == storage_map_e[var_a]), "TerminalV1::printTickets: ALREADY_ACTIVE");
        require(var_c.length == storage_map_e[var_a], "TerminalV1::printTickets: ALREADY_ACTIVE");
        var_l = arg0;
        require(address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).code.length);
        (bool success, bytes memory ret0) = address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).totalSupplyOf(var_l); // staticcall
    }
    
    /// @custom:selector    0x69fe0e2d
    /// @custom:signature   setFee(uint256 arg0) public
    /// @param              arg0 ["uint256", "bytes32", "int256"]
    function setFee(uint256 arg0) public {
        require(msg.sender == (address(governance)), "TerminalV1: UNAUTHORIZED");
        require(!(arg0 > 0xc8), "TerminalV1::setFee: BAD_FEE");
        fee = arg0;
        emit Event_00172ddf(arg0);
    }
    
    /// @custom:selector    0x92ad35f3
    /// @custom:signature   reservedTicketBalanceOf(uint256 arg0, uint256 arg1) public returns (uint256)
    /// @param              arg0 ["uint256", "bytes32", "int256"]
    /// @param              arg1 ["uint256", "bytes32", "int256"]
    function reservedTicketBalanceOf(uint256 arg0, uint256 arg1) public returns (uint256) {
        uint256 var_a = arg0;
        uint256 var_d = arg0;
        require(address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).code.length);
        (bool success, bytes memory ret0) = address(0xee2ebccb7cdb34a8a822b589f9e8427c24351bfc).Unresolved_75b0d9cd(var_d); // staticcall
        uint256 var_e = var_e + (uint248(ret0.length + 0x1f));
        require(!(((var_e + ret0.length) - var_e) < 0x20), CustomError_773cc18c());
        require(!(storage_map_e[var_a] < 0), CustomError_773cc18c());
        require(!(storage_map_e[var_a] == 0x8000000000000000000000000000000000000000000000000000000000000000), CustomError_773cc18c());
        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
        require(!(var_e.length > (~(0 - storage_map_e[var_a]))), CustomError_773cc18c());
        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
        require(var_e.length + (0 - storage_map_e[var_a]), CustomError_773cc18c());
        return 0;
        require(!(0xc8 == arg1), CustomError_773cc18c());
        return var_e.length + (0 - storage_map_e[var_a]);
        require(!(0xc8 < arg1), CustomError_773cc18c());
        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
        require(!(0 == ((((var_e.length + (0 - storage_map_e[var_a])) * 0xc8) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((var_e.length + (0 - storage_map_e[var_a])) * 0xc8) - ((((var_e.length + (0 - storage_map_e[var_a])) * 0xc8) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((var_e.length + (0 - storage_map_e[var_a])) * 0xc8)))), CustomError_773cc18c());
        require(0xc8 - arg1, CustomError_773cc18c());
        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
        require((((var_e.length + (0 - storage_map_e[var_a])) * 0xc8) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((var_e.length + (0 - storage_map_e[var_a])) * 0xc8) - ((((var_e.length + (0 - storage_map_e[var_a])) * 0xc8) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((var_e.length + (0 - storage_map_e[var_a])) * 0xc8)) < (0xc8 - arg1), CustomError_773cc18c());
    }
}