refactor: CFG complications and cluster shuffle rework - #151
Open
EmperorOrokuSaki wants to merge 1 commit into
Open
refactor: CFG complications and cluster shuffle rework#151EmperorOrokuSaki wants to merge 1 commit into
EmperorOrokuSaki wants to merge 1 commit into
Conversation
Contributor
Decompile Diff AnalysisStatistics (50 iterations)
Full Diff Output─── Storage ───
@@ -1,16 +1,11 @@
- uint256 public constant tokenContract = 0;
- uint256 public constant expectedAmount = 0;
- uint256 public constant unresolved_3d2691bc = 256;
- uint256 public constant unresolved_8677ab23 = 0;
-
- uint256 public unresolved_8bd03d0a;
- uint256 public executionDeadline;
- uint256 public bondAmount;
- bool public unresolved_308657d7;
- uint256 public totalBondsDeposited;
- uint256 public unresolved_d415b3f9;
- uint256 public currentRewardAmount;
- address public unresolved_1aa7c0ec;
+ bool public unresolved_52039ac2;
+ bytes32 store_h;
+ bool public unresolved_5141aed0;
+ address public unresolved_aa2d7c7c;
+ uint256 public unresolved_04f1040a;
+ uint256 public unresolved_46286b7b;
+ uint256 store_f;
+ uint256 store_d;
error InvalidRLPList();
─── Function withdraw (0x3ccfd60b → 0x9dda3432) ───
@@ -1,40 +1,40 @@
- /// @custom:selector 0x3ccfd60b
- /// @custom:signature withdraw() public payable
- function withdraw() public payable {
+ /// @custom:selector 0x9dda3432
+ /// @custom:signature Unresolved_9dda3432() public payable
+ function Unresolved_9dda3432() public payable {
require(msg.value);
require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
- require(!(bytes1(unresolved_308657d7 >> 0x08)), CustomError_618bbdd5());
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_618bbdd5());
require(msg.sender - 0, CustomError_618bbdd5());
var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
- require(executionDeadline, CustomError_9cbc1de1());
- require(!(block.timestamp > executionDeadline), CustomError_9cbc1de1());
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
- unresolved_1aa7c0ec = uint96(unresolved_1aa7c0ec);
- bondAmount = 0;
- executionDeadline = 0;
- require(unresolved_8bd03d0a > (unresolved_8bd03d0a + unresolved_d415b3f9));
+ unresolved_aa2d7c7c = uint96(unresolved_aa2d7c7c);
+ store_d = 0;
+ unresolved_5141aed0 = 0;
+ require(unresolved_04f1040a > (unresolved_04f1040a + store_f));
var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
var_b = 0x11;
- unresolved_308657d7 = uint248(unresolved_308657d7);
- unresolved_8bd03d0a = 0;
- currentRewardAmount = 0;
- require(!unresolved_8bd03d0a + unresolved_d415b3f9);
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ unresolved_04f1040a = 0;
+ unresolved_46286b7b = 0;
+ require(!unresolved_04f1040a + store_f);
var_c = 0xa9059cbb00000000000000000000000000000000000000000000000000000000;
address var_d = msg.sender;
- uint256 var_e = unresolved_8bd03d0a + unresolved_d415b3f9;
+ uint256 var_e = unresolved_04f1040a + store_f;
(bool success, bytes memory ret0) = address(0).Unresolved_a9059cbb(var_d); // call
require(!0, CustomError_045c4b02());
var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
require(0x20 > ret0.length);
require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
var_b = 0x41;
uint256 var_f = var_f + 0x20;
require(((var_f + 0x20) - var_f) < 0x20);
require(var_f.length - var_f.length, CustomError_045c4b02());
require(!var_f.length, CustomError_045c4b02());
var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
var_a = 0x53cd7f7900000000000000000000000000000000000000000000000000000000;
var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
}
─── Function fund (0xa65e2cfd → 0x87ac55aa) ───
@@ -1,41 +1,255 @@
- /// @custom:selector 0xa65e2cfd
- /// @custom:signature fund(uint256 arg0, uint256 arg1) public payable
+ /// @custom:selector 0x87ac55aa
+ /// @custom:signature Unresolved_87ac55aa(uint256 arg0, uint256 arg1) public payable returns (address)
/// @param arg0 ["uint256", "bytes32", "int256"]
/// @param arg1 ["uint256", "bytes32", "int256"]
- function fund(uint256 arg0, uint256 arg1) public payable {
+ function Unresolved_87ac55aa(uint256 arg0, uint256 arg1) public payable returns (address) {
+ require(0x1465cb67 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ require(0xaa2d7c7c == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ address var_b = address(unresolved_aa2d7c7c);
+ return address(unresolved_aa2d7c7c);
+ require(0x6369a3a7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x6b018713 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2));
+ return !(!bytes1(unresolved_52039ac2));
+ require(0x115cff6f == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_5141aed0;
+ return unresolved_5141aed0;
+ require(0x9dda3432 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ unresolved_aa2d7c7c = uint96(unresolved_aa2d7c7c);
+ store_d = 0;
+ unresolved_5141aed0 = 0;
+ require(unresolved_04f1040a > (unresolved_04f1040a + store_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ unresolved_04f1040a = 0;
+ unresolved_46286b7b = 0;
+ require(!unresolved_04f1040a + store_f);
+ var_b = 0xa9059cbb00000000000000000000000000000000000000000000000000000000;
+ address var_d = msg.sender;
+ uint256 var_e = unresolved_04f1040a + store_f;
+ (bool success, bytes memory ret0) = address(0).Unresolved_a9059cbb(var_d); // call
+ require(!0, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ uint256 var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0x53cd7f7900000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x6f798a70 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0x0100;
+ return 0x0100;
+ require(0xa09db4c1 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x46286b7b == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_46286b7b;
+ return unresolved_46286b7b;
+ require(0xa48cab59 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_d;
+ return store_d;
+ require(0x1379f9fb == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = 0x01 | (uint248(unresolved_52039ac2));
+ require(0x68c16fbf == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x04f1040a == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_04f1040a;
+ return unresolved_04f1040a;
+ require(0x58169394 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_24793289());
+ require(unresolved_5141aed0, CustomError_24793289());
+ require(block.timestamp > unresolved_5141aed0, CustomError_24793289());
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_24793289());
+ require(bytes1(unresolved_52039ac2), CustomError_24793289());
+ var_a = 0x2479328900000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_253ef1d2());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_253ef1d2());
+ var_a = 0x253ef1d200000000000000000000000000000000000000000000000000000000;
+ require((unresolved_46286b7b >> 0x01) > arg0, CustomError_e92c469f());
+ var_a = 0xe92c469f00000000000000000000000000000000000000000000000000000000;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ uint256 var_g = arg0;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_aa2d7c7c = (uint96(unresolved_aa2d7c7c)) | msg.sender;
+ require(block.timestamp > (block.timestamp + 0x012c), CustomError_045c4b02());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_5141aed0 = block.timestamp + 0x012c;
+ store_d = arg0;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(unresolved_46286b7b > (unresolved_46286b7b + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_46286b7b = unresolved_46286b7b + store_d;
+ require(store_h > (store_h + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ store_h = store_h + store_d;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ if (unresolved_5141aed0) {
+ }
+ require(0x87ac55aa == (msg.data[0] >> 0xe0));
+ require(0x5141aed0 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(0x4fa9e4e7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_f;
+ return store_f;
+ require(0x87a216d5 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40);
+ require(arg0 > 0xffffffffffffffff);
+ require(((msg.data.length - arg0) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc) < 0xa0);
+ require(arg0 + (arg0) > 0xffffffffffffffff);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_ded7c80c());
+ require(msg.sender == (address(unresolved_aa2d7c7c)), CustomError_ded7c80c());
+ require(!(msg.sender == (address(unresolved_aa2d7c7c))), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ require(arg1 > block.number, CustomError_58968cf0());
+ var_a = 0x58968cf000000000000000000000000000000000000000000000000000000000;
+ require((block.number - arg1) > block.number, CustomError_c42a0185());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require((block.number - arg1) > 0x0100, CustomError_c42a0185());
+ var_a = 0xc42a018500000000000000000000000000000000000000000000000000000000;
+ require(!blockhash(arg1), CustomError_31aed5c2());
+ require(arg0 + (arg0) > 0xffffffffffffffff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ require(((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) > 0xffffffffffffffff) | ((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) < var_f), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f));
+ var_b = (arg0 + (arg0));
+ var_h = msg.data[36:36];
+ uint256 var_i = 0;
+ require(keccak256(var_h) - blockhash(arg1), CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xc000000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xf800000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(0 < (arg0 + (arg0))), CustomError_31aed5c2());
+ require((bytes1(((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09) > 0xff, CustomError_31aed5c2());
+ require((0x01 + (bytes1((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09))) > 0xff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(0 > (0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(!(block.chainid == 0xa5bd), CustomError_31aed5c2());
+ require(block.chainid == 0xa5bd, CustomError_31aed5c2());
+ require(0 < 0x03, CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0x31aed5c200000000000000000000000000000000000000000000000000000000;
+ if (0 < 0x08) {
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ if (!block.chainid == 0xa5bd) {
+ if (block.chainid == 0xa5bd) {
+ require(!(block.chainid == 0xa5bd), CustomError_c0098bd9());
+ }
+ require(block.chainid == 0xa5bd, CustomError_c0098bd9());
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xc0098bd900000000000000000000000000000000000000000000000000000000;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xff28378700000000000000000000000000000000000000000000000000000000;
+ var_a = 0xbfc9f0d300000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_ded7c80c());
+ require(!(!block.timestamp > unresolved_5141aed0), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x52039ac2 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2 >> 0x08));
+ return !(!bytes1(unresolved_52039ac2 >> 0x08));
+ require(0xfc9b9546 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_h;
+ return store_h;
require(msg.value);
require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40, CustomError_618bbdd5());
require(msg.sender - 0, CustomError_618bbdd5());
var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
- require(bytes1(unresolved_308657d7 >> 0x08), CustomError_5adf6387());
+ require(bytes1(unresolved_52039ac2 >> 0x08), CustomError_5adf6387());
var_a = 0x5adf638700000000000000000000000000000000000000000000000000000000;
- require(!arg0);
- require(!arg1);
- currentRewardAmount = arg0;
- unresolved_d415b3f9 = arg0;
- unresolved_8bd03d0a = arg1;
- require(unresolved_d415b3f9 > (unresolved_d415b3f9 + unresolved_8bd03d0a));
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x11;
- var_c = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
- address var_d = msg.sender;
- address var_e = address(this);
- uint256 var_f = unresolved_d415b3f9 + unresolved_8bd03d0a;
- (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
- require(!0, CustomError_045c4b02());
- unresolved_308657d7 = (uint248(unresolved_308657d7)) | 0x0100;
- var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
- require(0x20 > ret0.length);
- require(((var_g + 0x20) > 0xffffffffffffffff) | ((var_g + 0x20) < var_g));
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x41;
- uint256 var_g = var_g + 0x20;
- require(((var_g + 0x20) - var_g) < 0x20);
- require(var_g.length - var_g.length, CustomError_045c4b02());
- require(!var_g.length, CustomError_045c4b02());
- var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
- unresolved_308657d7 = (uint248(unresolved_308657d7)) | 0x0100;
+ require(!arg0, CustomError_932ca0a3());
+ require(!arg1, CustomError_932ca0a3());
var_a = 0x932ca0a300000000000000000000000000000000000000000000000000000000;
var_a = 0xea1083a700000000000000000000000000000000000000000000000000000000;
}
─── Function requestCancellation (0x81972d00 → 0x1379f9fb) ───
@@ -1,10 +1,10 @@
- /// @custom:selector 0x81972d00
- /// @custom:signature requestCancellation() public payable
- function requestCancellation() public payable {
+ /// @custom:selector 0x1379f9fb
+ /// @custom:signature Unresolved_1379f9fb() public payable
+ function Unresolved_1379f9fb() public payable {
require(msg.value);
require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
require(msg.sender - 0, CustomError_618bbdd5());
var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
- unresolved_308657d7 = 0x01 | (uint248(unresolved_308657d7));
+ unresolved_52039ac2 = 0x01 | (uint248(unresolved_52039ac2));
}
─── Function Unresolved_ede7f6a3 (0xede7f6a3 → 0x87a216d5) ───
@@ -1,77 +1,271 @@
- /// @custom:selector 0xede7f6a3
- /// @custom:signature Unresolved_ede7f6a3(uint256 arg0, uint256 arg1) public view
+
+ /// @custom:selector 0x87a216d5
+ /// @custom:signature Unresolved_87a216d5(uint256 arg0, uint256 arg1) public payable returns (address)
/// @param arg0 ["uint256", "bytes32", "int256"]
/// @param arg1 ["uint256", "bytes32", "int256"]
- function Unresolved_ede7f6a3(uint256 arg0, uint256 arg1) public view {
+ function Unresolved_87a216d5(uint256 arg0, uint256 arg1) public payable returns (address) {
+ require(0x1465cb67 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ require(0xaa2d7c7c == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ address var_b = address(unresolved_aa2d7c7c);
+ return address(unresolved_aa2d7c7c);
+ require(0x6369a3a7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x6b018713 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2));
+ return !(!bytes1(unresolved_52039ac2));
+ require(0x115cff6f == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_5141aed0;
+ return unresolved_5141aed0;
+ require(0x9dda3432 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ unresolved_aa2d7c7c = uint96(unresolved_aa2d7c7c);
+ store_d = 0;
+ unresolved_5141aed0 = 0;
+ require(unresolved_04f1040a > (unresolved_04f1040a + store_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ unresolved_04f1040a = 0;
+ unresolved_46286b7b = 0;
+ require(!unresolved_04f1040a + store_f);
+ var_b = 0xa9059cbb00000000000000000000000000000000000000000000000000000000;
+ address var_d = msg.sender;
+ uint256 var_e = unresolved_04f1040a + store_f;
+ (bool success, bytes memory ret0) = address(0).Unresolved_a9059cbb(var_d); // call
+ require(!0, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ uint256 var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0x53cd7f7900000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x6f798a70 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0x0100;
+ return 0x0100;
+ require(0xa09db4c1 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x46286b7b == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_46286b7b;
+ return unresolved_46286b7b;
+ require(0xa48cab59 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_d;
+ return store_d;
+ require(0x1379f9fb == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = 0x01 | (uint248(unresolved_52039ac2));
+ require(0x68c16fbf == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x04f1040a == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_04f1040a;
+ return unresolved_04f1040a;
+ require(0x58169394 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_24793289());
+ require(unresolved_5141aed0, CustomError_24793289());
+ require(block.timestamp > unresolved_5141aed0, CustomError_24793289());
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_24793289());
+ require(bytes1(unresolved_52039ac2), CustomError_24793289());
+ var_a = 0x2479328900000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_253ef1d2());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_253ef1d2());
+ var_a = 0x253ef1d200000000000000000000000000000000000000000000000000000000;
+ require((unresolved_46286b7b >> 0x01) > arg0, CustomError_e92c469f());
+ var_a = 0xe92c469f00000000000000000000000000000000000000000000000000000000;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ uint256 var_g = arg0;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_aa2d7c7c = (uint96(unresolved_aa2d7c7c)) | msg.sender;
+ require(block.timestamp > (block.timestamp + 0x012c), CustomError_045c4b02());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_5141aed0 = block.timestamp + 0x012c;
+ store_d = arg0;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(unresolved_46286b7b > (unresolved_46286b7b + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_46286b7b = unresolved_46286b7b + store_d;
+ require(store_h > (store_h + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ store_h = store_h + store_d;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ if (unresolved_5141aed0) {
+ }
+ require(0x87ac55aa == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40, CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(bytes1(unresolved_52039ac2 >> 0x08), CustomError_5adf6387());
+ var_a = 0x5adf638700000000000000000000000000000000000000000000000000000000;
+ require(!arg0);
+ require(!arg1);
+ unresolved_46286b7b = arg0;
+ store_f = arg0;
+ unresolved_04f1040a = arg1;
+ require(store_f > (store_f + unresolved_04f1040a));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ var_g = store_f + unresolved_04f1040a;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_52039ac2 = (uint248(unresolved_52039ac2)) | 0x0100;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ if (0x20 > ret0.length) {
+ }
+ var_a = 0x932ca0a300000000000000000000000000000000000000000000000000000000;
+ var_a = 0xea1083a700000000000000000000000000000000000000000000000000000000;
+ require(0x5141aed0 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(0x4fa9e4e7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_f;
+ return store_f;
+ require(0x87a216d5 == (msg.data[0] >> 0xe0));
+ require(0x52039ac2 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2 >> 0x08));
+ return !(!bytes1(unresolved_52039ac2 >> 0x08));
+ require(0xfc9b9546 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_h;
+ return store_h;
require(msg.value);
require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40);
require(arg0 > 0xffffffffffffffff);
require(((msg.data.length - arg0) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc) < 0xa0);
require(arg0 + (arg0) > 0xffffffffffffffff);
- require(!(bytes1(unresolved_308657d7 >> 0x08)), CustomError_ded7c80c());
- require(msg.sender == (address(unresolved_1aa7c0ec)), CustomError_ded7c80c());
- require(!(msg.sender == (address(unresolved_1aa7c0ec))), CustomError_ded7c80c());
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_ded7c80c());
+ require(msg.sender == (address(unresolved_aa2d7c7c)), CustomError_ded7c80c());
+ require(!(msg.sender == (address(unresolved_aa2d7c7c))), CustomError_ded7c80c());
var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
require(arg1 > block.number, CustomError_58968cf0());
var_a = 0x58968cf000000000000000000000000000000000000000000000000000000000;
require((block.number - arg1) > block.number, CustomError_c42a0185());
var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x11;
+ var_c = 0x11;
require((block.number - arg1) > 0x0100, CustomError_c42a0185());
var_a = 0xc42a018500000000000000000000000000000000000000000000000000000000;
require(!blockhash(arg1), CustomError_31aed5c2());
require(arg0 + (arg0) > 0xffffffffffffffff, CustomError_31aed5c2());
var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x41;
- require(((var_c + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) > 0xffffffffffffffff) | ((var_c + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) < var_c), CustomError_31aed5c2());
+ var_c = 0x41;
+ require(((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) > 0xffffffffffffffff) | ((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) < var_f), CustomError_31aed5c2());
var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x41;
- uint256 var_c = var_c + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f));
- uint256 var_d = (arg0 + (arg0));
- var_e = msg.data[36:36];
- uint256 var_f = 0;
- require(keccak256(var_e) - blockhash(arg1), CustomError_31aed5c2());
+ var_c = 0x41;
+ var_f = var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f));
+ var_b = (arg0 + (arg0));
+ var_h = msg.data[36:36];
+ uint256 var_i = 0;
+ require(keccak256(var_h) - blockhash(arg1), CustomError_31aed5c2());
require(!(arg0 + (arg0)), CustomError_31aed5c2());
require(bytes1(0x20 + (arg0 + (arg0))) < 0xc000000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
require(!(arg0 + (arg0)), CustomError_31aed5c2());
require(bytes1(0x20 + (arg0 + (arg0))) < 0xf800000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
require(!(0 < (arg0 + (arg0))), CustomError_31aed5c2());
require((bytes1(((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09) > 0xff, CustomError_31aed5c2());
require((0x01 + (bytes1((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09))) > 0xff, CustomError_31aed5c2());
var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x11;
+ var_c = 0x11;
require(0 > (0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))), CustomError_31aed5c2());
var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x11;
+ var_c = 0x11;
require(!(block.chainid == 0xa5bd), CustomError_31aed5c2());
require(block.chainid == 0xa5bd, CustomError_31aed5c2());
require(0 < 0x03, CustomError_31aed5c2());
require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x32;
+ var_c = 0x32;
var_a = 0x31aed5c200000000000000000000000000000000000000000000000000000000;
if (0 < 0x08) {
}
var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x11;
+ var_c = 0x11;
var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x32;
+ var_c = 0x32;
if (!block.chainid == 0xa5bd) {
if (block.chainid == 0xa5bd) {
require(!(block.chainid == 0xa5bd), CustomError_c0098bd9());
}
require(block.chainid == 0xa5bd, CustomError_c0098bd9());
}
var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x32;
+ var_c = 0x32;
var_a = 0xc0098bd900000000000000000000000000000000000000000000000000000000;
var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x32;
+ var_c = 0x32;
var_a = 0xff28378700000000000000000000000000000000000000000000000000000000;
var_a = 0xbfc9f0d300000000000000000000000000000000000000000000000000000000;
- require(executionDeadline, CustomError_ded7c80c());
- require(!(!block.timestamp > executionDeadline), CustomError_ded7c80c());
+ require(unresolved_5141aed0, CustomError_ded7c80c());
+ require(!(!block.timestamp > unresolved_5141aed0), CustomError_ded7c80c());
var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
}
─── Function resume (0x046f7da2 → 0x1465cb67) ───
@@ -1,10 +1,10 @@
- /// @custom:selector 0x046f7da2
- /// @custom:signature resume() public payable
- function resume() public payable {
+ /// @custom:selector 0x1465cb67
+ /// @custom:signature Unresolved_1465cb67() public payable
+ function Unresolved_1465cb67() public payable {
require(msg.value);
require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
require(msg.sender - 0, CustomError_618bbdd5());
var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
- unresolved_308657d7 = uint248(unresolved_308657d7);
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
}
─── Function bond (0x9940686e → 0x58169394) ───
@@ -1,54 +1,54 @@
- /// @custom:selector 0x9940686e
- /// @custom:signature bond(uint256 arg0) public payable
+ /// @custom:selector 0x58169394
+ /// @custom:signature Unresolved_58169394(uint256 arg0) public payable
/// @param arg0 ["uint256", "bytes32", "int256"]
- function bond(uint256 arg0) public payable {
+ function Unresolved_58169394(uint256 arg0) public payable {
require(msg.value);
- require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_253ef1d2());
- require(executionDeadline, CustomError_253ef1d2());
- require(block.timestamp > executionDeadline, CustomError_253ef1d2());
- require(!(bytes1(unresolved_308657d7 >> 0x08)), CustomError_253ef1d2());
- require(bytes1(unresolved_308657d7), CustomError_253ef1d2());
- require(executionDeadline, CustomError_253ef1d2());
- require(!(block.timestamp > executionDeadline), CustomError_253ef1d2());
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_24793289());
+ require(unresolved_5141aed0, CustomError_24793289());
+ require(block.timestamp > unresolved_5141aed0, CustomError_24793289());
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_24793289());
+ require(bytes1(unresolved_52039ac2), CustomError_24793289());
+ var_a = 0x2479328900000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_253ef1d2());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_253ef1d2());
var_a = 0x253ef1d200000000000000000000000000000000000000000000000000000000;
- require((currentRewardAmount >> 0x01) > arg0, CustomError_e92c469f());
+ require((unresolved_46286b7b >> 0x01) > arg0, CustomError_e92c469f());
var_a = 0xe92c469f00000000000000000000000000000000000000000000000000000000;
var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
address var_c = msg.sender;
address var_d = address(this);
uint256 var_e = arg0;
(bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_c); // call
require(!0, CustomError_045c4b02());
- unresolved_1aa7c0ec = (uint96(unresolved_1aa7c0ec)) | msg.sender;
+ unresolved_aa2d7c7c = (uint96(unresolved_aa2d7c7c)) | msg.sender;
require(block.timestamp > (block.timestamp + 0x012c), CustomError_045c4b02());
var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
var_f = 0x11;
- executionDeadline = block.timestamp + 0x012c;
- bondAmount = arg0;
+ unresolved_5141aed0 = block.timestamp + 0x012c;
+ store_d = arg0;
var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
require(0x20 > ret0.length);
require(((var_g + 0x20) > 0xffffffffffffffff) | ((var_g + 0x20) < var_g));
var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
var_f = 0x41;
uint256 var_g = var_g + 0x20;
require(((var_g + 0x20) - var_g) < 0x20);
require(var_g.length - var_g.length, CustomError_045c4b02());
require(!var_g.length, CustomError_045c4b02());
var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
- var_a = 0x2479328900000000000000000000000000000000000000000000000000000000;
var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
- require(currentRewardAmount > (currentRewardAmount + bondAmount), CustomError_9cbc1de1());
+ require(unresolved_46286b7b > (unresolved_46286b7b + store_d), CustomError_9cbc1de1());
var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
var_f = 0x11;
- currentRewardAmount = currentRewardAmount + bondAmount;
- require(totalBondsDeposited > (totalBondsDeposited + bondAmount), CustomError_9cbc1de1());
+ unresolved_46286b7b = unresolved_46286b7b + store_d;
+ require(store_h > (store_h + store_d), CustomError_9cbc1de1());
var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
var_f = 0x11;
- totalBondsDeposited = totalBondsDeposited + bondAmount;
- require(executionDeadline, CustomError_9cbc1de1());
- require(!(block.timestamp > executionDeadline), CustomError_9cbc1de1());
+ store_h = store_h + store_d;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
- if (executionDeadline) {
+ if (unresolved_5141aed0) {
}
}
─── Added: Unresolved_115cff6f (0x115cff6f) ───
@@ -1,0 +1,271 @@
+
+ /// @custom:selector 0x115cff6f
+ /// @custom:signature Unresolved_115cff6f(uint256 arg0, uint256 arg1) public payable returns (address)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ /// @param arg1 ["uint256", "bytes32", "int256"]
+ function Unresolved_115cff6f(uint256 arg0, uint256 arg1) public payable returns (address) {
+ require(0x1465cb67 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ require(0xaa2d7c7c == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ address var_b = address(unresolved_aa2d7c7c);
+ return address(unresolved_aa2d7c7c);
+ require(0x6369a3a7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x6b018713 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2));
+ return !(!bytes1(unresolved_52039ac2));
+ require(0x115cff6f == (msg.data[0] >> 0xe0));
+ require(0x9dda3432 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ unresolved_aa2d7c7c = uint96(unresolved_aa2d7c7c);
+ store_d = 0;
+ unresolved_5141aed0 = 0;
+ require(unresolved_04f1040a > (unresolved_04f1040a + store_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ unresolved_04f1040a = 0;
+ unresolved_46286b7b = 0;
+ require(!unresolved_04f1040a + store_f);
+ var_b = 0xa9059cbb00000000000000000000000000000000000000000000000000000000;
+ address var_d = msg.sender;
+ uint256 var_e = unresolved_04f1040a + store_f;
+ (bool success, bytes memory ret0) = address(0).Unresolved_a9059cbb(var_d); // call
+ require(!0, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ uint256 var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0x53cd7f7900000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x6f798a70 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0x0100;
+ return 0x0100;
+ require(0xa09db4c1 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x46286b7b == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_46286b7b;
+ return unresolved_46286b7b;
+ require(0xa48cab59 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_d;
+ return store_d;
+ require(0x1379f9fb == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = 0x01 | (uint248(unresolved_52039ac2));
+ require(0x68c16fbf == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x04f1040a == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_04f1040a;
+ return unresolved_04f1040a;
+ require(0x58169394 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_253ef1d2());
+ require(unresolved_5141aed0, CustomError_253ef1d2());
+ require(block.timestamp > unresolved_5141aed0, CustomError_253ef1d2());
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_253ef1d2());
+ require(bytes1(unresolved_52039ac2), CustomError_253ef1d2());
+ require(unresolved_5141aed0, CustomError_253ef1d2());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_253ef1d2());
+ var_a = 0x253ef1d200000000000000000000000000000000000000000000000000000000;
+ require((unresolved_46286b7b >> 0x01) > arg0, CustomError_e92c469f());
+ var_a = 0xe92c469f00000000000000000000000000000000000000000000000000000000;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ uint256 var_g = arg0;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_aa2d7c7c = (uint96(unresolved_aa2d7c7c)) | msg.sender;
+ require(block.timestamp > (block.timestamp + 0x012c), CustomError_045c4b02());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_5141aed0 = block.timestamp + 0x012c;
+ store_d = arg0;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0x2479328900000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(unresolved_46286b7b > (unresolved_46286b7b + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_46286b7b = unresolved_46286b7b + store_d;
+ require(store_h > (store_h + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ store_h = store_h + store_d;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ if (unresolved_5141aed0) {
+ }
+ require(0x87ac55aa == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40, CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(bytes1(unresolved_52039ac2 >> 0x08), CustomError_5adf6387());
+ var_a = 0x5adf638700000000000000000000000000000000000000000000000000000000;
+ require(!arg0);
+ require(!arg1);
+ unresolved_46286b7b = arg0;
+ store_f = arg0;
+ unresolved_04f1040a = arg1;
+ require(store_f > (store_f + unresolved_04f1040a));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ var_g = store_f + unresolved_04f1040a;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_52039ac2 = (uint248(unresolved_52039ac2)) | 0x0100;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ if (0x20 > ret0.length) {
+ }
+ var_a = 0x932ca0a300000000000000000000000000000000000000000000000000000000;
+ var_a = 0xea1083a700000000000000000000000000000000000000000000000000000000;
+ require(0x5141aed0 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(0x4fa9e4e7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_f;
+ return store_f;
+ require(0x87a216d5 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40);
+ require(arg0 > 0xffffffffffffffff);
+ require(((msg.data.length - arg0) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc) < 0xa0);
+ require(arg0 + (arg0) > 0xffffffffffffffff);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_ded7c80c());
+ require(msg.sender == (address(unresolved_aa2d7c7c)), CustomError_ded7c80c());
+ require(!(msg.sender == (address(unresolved_aa2d7c7c))), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ require(arg1 > block.number, CustomError_58968cf0());
+ var_a = 0x58968cf000000000000000000000000000000000000000000000000000000000;
+ require((block.number - arg1) > block.number, CustomError_c42a0185());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require((block.number - arg1) > 0x0100, CustomError_c42a0185());
+ var_a = 0xc42a018500000000000000000000000000000000000000000000000000000000;
+ require(!blockhash(arg1), CustomError_31aed5c2());
+ require(arg0 + (arg0) > 0xffffffffffffffff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ require(((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) > 0xffffffffffffffff) | ((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) < var_f), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f));
+ var_b = (arg0 + (arg0));
+ var_h = msg.data[36:36];
+ uint256 var_i = 0;
+ require(keccak256(var_h) - blockhash(arg1), CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xc000000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xf800000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(0 < (arg0 + (arg0))), CustomError_31aed5c2());
+ require((bytes1(((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09) > 0xff, CustomError_31aed5c2());
+ require((0x01 + (bytes1((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09))) > 0xff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(0 > (0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(!(block.chainid == 0xa5bd), CustomError_31aed5c2());
+ require(block.chainid == 0xa5bd, CustomError_31aed5c2());
+ require(0 < 0x03, CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0x31aed5c200000000000000000000000000000000000000000000000000000000;
+ if (0 < 0x08) {
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ if (!block.chainid == 0xa5bd) {
+ if (block.chainid == 0xa5bd) {
+ require(!(block.chainid == 0xa5bd), CustomError_c0098bd9());
+ }
+ require(block.chainid == 0xa5bd, CustomError_c0098bd9());
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xc0098bd900000000000000000000000000000000000000000000000000000000;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xff28378700000000000000000000000000000000000000000000000000000000;
+ var_a = 0xbfc9f0d300000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_ded7c80c());
+ require(!(!block.timestamp > unresolved_5141aed0), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x52039ac2 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2 >> 0x08));
+ return !(!bytes1(unresolved_52039ac2 >> 0x08));
+ require(0xfc9b9546 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_h;
+ return store_h;
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_5141aed0;
+ return unresolved_5141aed0;
+ }
─── Added: Unresolved_6f798a70 (0x6f798a70) ───
@@ -1,0 +1,271 @@
+
+ /// @custom:selector 0x6f798a70
+ /// @custom:signature Unresolved_6f798a70(uint256 arg0, uint256 arg1) public payable returns (address)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ /// @param arg1 ["uint256", "bytes32", "int256"]
+ function Unresolved_6f798a70(uint256 arg0, uint256 arg1) public payable returns (address) {
+ require(0x1465cb67 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ require(0xaa2d7c7c == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ address var_b = address(unresolved_aa2d7c7c);
+ return address(unresolved_aa2d7c7c);
+ require(0x6369a3a7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x6b018713 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2));
+ return !(!bytes1(unresolved_52039ac2));
+ require(0x115cff6f == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_5141aed0;
+ return unresolved_5141aed0;
+ require(0x9dda3432 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ unresolved_aa2d7c7c = uint96(unresolved_aa2d7c7c);
+ store_d = 0;
+ unresolved_5141aed0 = 0;
+ require(unresolved_04f1040a > (unresolved_04f1040a + store_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ unresolved_04f1040a = 0;
+ unresolved_46286b7b = 0;
+ require(!unresolved_04f1040a + store_f);
+ var_b = 0xa9059cbb00000000000000000000000000000000000000000000000000000000;
+ address var_d = msg.sender;
+ uint256 var_e = unresolved_04f1040a + store_f;
+ (bool success, bytes memory ret0) = address(0).Unresolved_a9059cbb(var_d); // call
+ require(!0, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ uint256 var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0x53cd7f7900000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x6f798a70 == (msg.data[0] >> 0xe0));
+ require(0xa09db4c1 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x46286b7b == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_46286b7b;
+ return unresolved_46286b7b;
+ require(0xa48cab59 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_d;
+ return store_d;
+ require(0x1379f9fb == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = 0x01 | (uint248(unresolved_52039ac2));
+ require(0x68c16fbf == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x04f1040a == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_04f1040a;
+ return unresolved_04f1040a;
+ require(0x58169394 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_24793289());
+ require(unresolved_5141aed0, CustomError_24793289());
+ require(block.timestamp > unresolved_5141aed0, CustomError_24793289());
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_24793289());
+ require(bytes1(unresolved_52039ac2), CustomError_24793289());
+ var_a = 0x2479328900000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_253ef1d2());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_253ef1d2());
+ var_a = 0x253ef1d200000000000000000000000000000000000000000000000000000000;
+ require((unresolved_46286b7b >> 0x01) > arg0, CustomError_e92c469f());
+ var_a = 0xe92c469f00000000000000000000000000000000000000000000000000000000;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ uint256 var_g = arg0;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_aa2d7c7c = (uint96(unresolved_aa2d7c7c)) | msg.sender;
+ require(block.timestamp > (block.timestamp + 0x012c), CustomError_045c4b02());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_5141aed0 = block.timestamp + 0x012c;
+ store_d = arg0;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(unresolved_46286b7b > (unresolved_46286b7b + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_46286b7b = unresolved_46286b7b + store_d;
+ require(store_h > (store_h + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ store_h = store_h + store_d;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ if (unresolved_5141aed0) {
+ }
+ require(0x87ac55aa == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40, CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(bytes1(unresolved_52039ac2 >> 0x08), CustomError_5adf6387());
+ var_a = 0x5adf638700000000000000000000000000000000000000000000000000000000;
+ require(!arg0);
+ require(!arg1);
+ unresolved_46286b7b = arg0;
+ store_f = arg0;
+ unresolved_04f1040a = arg1;
+ require(store_f > (store_f + unresolved_04f1040a));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ var_g = store_f + unresolved_04f1040a;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_52039ac2 = (uint248(unresolved_52039ac2)) | 0x0100;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ if (0x20 > ret0.length) {
+ }
+ var_a = 0x932ca0a300000000000000000000000000000000000000000000000000000000;
+ var_a = 0xea1083a700000000000000000000000000000000000000000000000000000000;
+ require(0x5141aed0 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(0x4fa9e4e7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_f;
+ return store_f;
+ require(0x87a216d5 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40);
+ require(arg0 > 0xffffffffffffffff);
+ require(((msg.data.length - arg0) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc) < 0xa0);
+ require(arg0 + (arg0) > 0xffffffffffffffff);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_ded7c80c());
+ require(msg.sender == (address(unresolved_aa2d7c7c)), CustomError_ded7c80c());
+ require(!(msg.sender == (address(unresolved_aa2d7c7c))), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ require(arg1 > block.number, CustomError_58968cf0());
+ var_a = 0x58968cf000000000000000000000000000000000000000000000000000000000;
+ require((block.number - arg1) > block.number, CustomError_c42a0185());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require((block.number - arg1) > 0x0100, CustomError_c42a0185());
+ var_a = 0xc42a018500000000000000000000000000000000000000000000000000000000;
+ require(!blockhash(arg1), CustomError_31aed5c2());
+ require(arg0 + (arg0) > 0xffffffffffffffff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ require(((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) > 0xffffffffffffffff) | ((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) < var_f), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f));
+ var_b = (arg0 + (arg0));
+ var_h = msg.data[36:36];
+ uint256 var_i = 0;
+ require(keccak256(var_h) - blockhash(arg1), CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xc000000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xf800000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(0 < (arg0 + (arg0))), CustomError_31aed5c2());
+ require((bytes1(((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09) > 0xff, CustomError_31aed5c2());
+ require((0x01 + (bytes1((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09))) > 0xff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(0 > (0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(!(block.chainid == 0xa5bd), CustomError_31aed5c2());
+ require(block.chainid == 0xa5bd, CustomError_31aed5c2());
+ require(0 < 0x03, CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0x31aed5c200000000000000000000000000000000000000000000000000000000;
+ if (0 < 0x08) {
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ if (!block.chainid == 0xa5bd) {
+ if (block.chainid == 0xa5bd) {
+ require(!(block.chainid == 0xa5bd), CustomError_c0098bd9());
+ }
+ require(block.chainid == 0xa5bd, CustomError_c0098bd9());
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xc0098bd900000000000000000000000000000000000000000000000000000000;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xff28378700000000000000000000000000000000000000000000000000000000;
+ var_a = 0xbfc9f0d300000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_ded7c80c());
+ require(!(!block.timestamp > unresolved_5141aed0), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x52039ac2 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2 >> 0x08));
+ return !(!bytes1(unresolved_52039ac2 >> 0x08));
+ require(0xfc9b9546 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_h;
+ return store_h;
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0x0100;
+ return 0x0100;
+ }
─── Added: Unresolved_6369a3a7 (0x6369a3a7) ───
@@ -1,0 +1,271 @@
+
+ /// @custom:selector 0x6369a3a7
+ /// @custom:signature Unresolved_6369a3a7(uint256 arg0, uint256 arg1) public payable returns (address)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ /// @param arg1 ["uint256", "bytes32", "int256"]
+ function Unresolved_6369a3a7(uint256 arg0, uint256 arg1) public payable returns (address) {
+ require(0x1465cb67 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ require(0xaa2d7c7c == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ address var_b = address(unresolved_aa2d7c7c);
+ return address(unresolved_aa2d7c7c);
+ require(0x6369a3a7 == (msg.data[0] >> 0xe0));
+ require(0x6b018713 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2));
+ return !(!bytes1(unresolved_52039ac2));
+ require(0x115cff6f == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_5141aed0;
+ return unresolved_5141aed0;
+ require(0x9dda3432 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ unresolved_aa2d7c7c = uint96(unresolved_aa2d7c7c);
+ store_d = 0;
+ unresolved_5141aed0 = 0;
+ require(unresolved_04f1040a > (unresolved_04f1040a + store_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ unresolved_04f1040a = 0;
+ unresolved_46286b7b = 0;
+ require(!unresolved_04f1040a + store_f);
+ var_b = 0xa9059cbb00000000000000000000000000000000000000000000000000000000;
+ address var_d = msg.sender;
+ uint256 var_e = unresolved_04f1040a + store_f;
+ (bool success, bytes memory ret0) = address(0).Unresolved_a9059cbb(var_d); // call
+ require(!0, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ uint256 var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0x53cd7f7900000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x6f798a70 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0x0100;
+ return 0x0100;
+ require(0xa09db4c1 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x46286b7b == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_46286b7b;
+ return unresolved_46286b7b;
+ require(0xa48cab59 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_d;
+ return store_d;
+ require(0x1379f9fb == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = 0x01 | (uint248(unresolved_52039ac2));
+ require(0x68c16fbf == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x04f1040a == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_04f1040a;
+ return unresolved_04f1040a;
+ require(0x58169394 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_24793289());
+ require(unresolved_5141aed0, CustomError_24793289());
+ require(block.timestamp > unresolved_5141aed0, CustomError_24793289());
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_24793289());
+ require(bytes1(unresolved_52039ac2), CustomError_24793289());
+ var_a = 0x2479328900000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_253ef1d2());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_253ef1d2());
+ var_a = 0x253ef1d200000000000000000000000000000000000000000000000000000000;
+ require((unresolved_46286b7b >> 0x01) > arg0, CustomError_e92c469f());
+ var_a = 0xe92c469f00000000000000000000000000000000000000000000000000000000;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ uint256 var_g = arg0;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_aa2d7c7c = (uint96(unresolved_aa2d7c7c)) | msg.sender;
+ require(block.timestamp > (block.timestamp + 0x012c), CustomError_045c4b02());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_5141aed0 = block.timestamp + 0x012c;
+ store_d = arg0;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(unresolved_46286b7b > (unresolved_46286b7b + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_46286b7b = unresolved_46286b7b + store_d;
+ require(store_h > (store_h + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ store_h = store_h + store_d;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ if (unresolved_5141aed0) {
+ }
+ require(0x87ac55aa == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40, CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(bytes1(unresolved_52039ac2 >> 0x08), CustomError_5adf6387());
+ var_a = 0x5adf638700000000000000000000000000000000000000000000000000000000;
+ require(!arg0);
+ require(!arg1);
+ unresolved_46286b7b = arg0;
+ store_f = arg0;
+ unresolved_04f1040a = arg1;
+ require(store_f > (store_f + unresolved_04f1040a));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ var_g = store_f + unresolved_04f1040a;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_52039ac2 = (uint248(unresolved_52039ac2)) | 0x0100;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ if (0x20 > ret0.length) {
+ }
+ var_a = 0x932ca0a300000000000000000000000000000000000000000000000000000000;
+ var_a = 0xea1083a700000000000000000000000000000000000000000000000000000000;
+ require(0x5141aed0 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(0x4fa9e4e7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_f;
+ return store_f;
+ require(0x87a216d5 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40);
+ require(arg0 > 0xffffffffffffffff);
+ require(((msg.data.length - arg0) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc) < 0xa0);
+ require(arg0 + (arg0) > 0xffffffffffffffff);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_ded7c80c());
+ require(msg.sender == (address(unresolved_aa2d7c7c)), CustomError_ded7c80c());
+ require(!(msg.sender == (address(unresolved_aa2d7c7c))), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ require(arg1 > block.number, CustomError_58968cf0());
+ var_a = 0x58968cf000000000000000000000000000000000000000000000000000000000;
+ require((block.number - arg1) > block.number, CustomError_c42a0185());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require((block.number - arg1) > 0x0100, CustomError_c42a0185());
+ var_a = 0xc42a018500000000000000000000000000000000000000000000000000000000;
+ require(!blockhash(arg1), CustomError_31aed5c2());
+ require(arg0 + (arg0) > 0xffffffffffffffff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ require(((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) > 0xffffffffffffffff) | ((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) < var_f), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f));
+ var_b = (arg0 + (arg0));
+ var_h = msg.data[36:36];
+ uint256 var_i = 0;
+ require(keccak256(var_h) - blockhash(arg1), CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xc000000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xf800000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(0 < (arg0 + (arg0))), CustomError_31aed5c2());
+ require((bytes1(((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09) > 0xff, CustomError_31aed5c2());
+ require((0x01 + (bytes1((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09))) > 0xff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(0 > (0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(!(block.chainid == 0xa5bd), CustomError_31aed5c2());
+ require(block.chainid == 0xa5bd, CustomError_31aed5c2());
+ require(0 < 0x03, CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0x31aed5c200000000000000000000000000000000000000000000000000000000;
+ if (0 < 0x08) {
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ if (!block.chainid == 0xa5bd) {
+ if (block.chainid == 0xa5bd) {
+ require(!(block.chainid == 0xa5bd), CustomError_c0098bd9());
+ }
+ require(block.chainid == 0xa5bd, CustomError_c0098bd9());
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xc0098bd900000000000000000000000000000000000000000000000000000000;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xff28378700000000000000000000000000000000000000000000000000000000;
+ var_a = 0xbfc9f0d300000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_ded7c80c());
+ require(!(!block.timestamp > unresolved_5141aed0), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x52039ac2 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2 >> 0x08));
+ return !(!bytes1(unresolved_52039ac2 >> 0x08));
+ require(0xfc9b9546 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_h;
+ return store_h;
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ }
─── Added: Unresolved_6b018713 (0x6b018713) ───
@@ -1,0 +1,271 @@
+
+ /// @custom:selector 0x6b018713
+ /// @custom:signature Unresolved_6b018713(uint256 arg0, uint256 arg1) public payable returns (address)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ /// @param arg1 ["uint256", "bytes32", "int256"]
+ function Unresolved_6b018713(uint256 arg0, uint256 arg1) public payable returns (address) {
+ require(0x1465cb67 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ require(0xaa2d7c7c == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ address var_b = address(unresolved_aa2d7c7c);
+ return address(unresolved_aa2d7c7c);
+ require(0x6369a3a7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x6b018713 == (msg.data[0] >> 0xe0));
+ require(0x115cff6f == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_5141aed0;
+ return unresolved_5141aed0;
+ require(0x9dda3432 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ unresolved_aa2d7c7c = uint96(unresolved_aa2d7c7c);
+ store_d = 0;
+ unresolved_5141aed0 = 0;
+ require(unresolved_04f1040a > (unresolved_04f1040a + store_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ unresolved_04f1040a = 0;
+ unresolved_46286b7b = 0;
+ require(!unresolved_04f1040a + store_f);
+ var_b = 0xa9059cbb00000000000000000000000000000000000000000000000000000000;
+ address var_d = msg.sender;
+ uint256 var_e = unresolved_04f1040a + store_f;
+ (bool success, bytes memory ret0) = address(0).Unresolved_a9059cbb(var_d); // call
+ require(!0, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ uint256 var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0x53cd7f7900000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x6f798a70 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0x0100;
+ return 0x0100;
+ require(0xa09db4c1 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x46286b7b == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_46286b7b;
+ return unresolved_46286b7b;
+ require(0xa48cab59 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_d;
+ return store_d;
+ require(0x1379f9fb == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = 0x01 | (uint248(unresolved_52039ac2));
+ require(0x68c16fbf == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x04f1040a == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_04f1040a;
+ return unresolved_04f1040a;
+ require(0x58169394 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_24793289());
+ require(unresolved_5141aed0, CustomError_24793289());
+ require(block.timestamp > unresolved_5141aed0, CustomError_24793289());
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_24793289());
+ require(bytes1(unresolved_52039ac2), CustomError_24793289());
+ var_a = 0x2479328900000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_253ef1d2());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_253ef1d2());
+ var_a = 0x253ef1d200000000000000000000000000000000000000000000000000000000;
+ require((unresolved_46286b7b >> 0x01) > arg0, CustomError_e92c469f());
+ var_a = 0xe92c469f00000000000000000000000000000000000000000000000000000000;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ uint256 var_g = arg0;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_aa2d7c7c = (uint96(unresolved_aa2d7c7c)) | msg.sender;
+ require(block.timestamp > (block.timestamp + 0x012c), CustomError_045c4b02());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_5141aed0 = block.timestamp + 0x012c;
+ store_d = arg0;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(unresolved_46286b7b > (unresolved_46286b7b + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_46286b7b = unresolved_46286b7b + store_d;
+ require(store_h > (store_h + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ store_h = store_h + store_d;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ if (unresolved_5141aed0) {
+ }
+ require(0x87ac55aa == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40, CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(bytes1(unresolved_52039ac2 >> 0x08), CustomError_5adf6387());
+ var_a = 0x5adf638700000000000000000000000000000000000000000000000000000000;
+ require(!arg0);
+ require(!arg1);
+ unresolved_46286b7b = arg0;
+ store_f = arg0;
+ unresolved_04f1040a = arg1;
+ require(store_f > (store_f + unresolved_04f1040a));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ var_g = store_f + unresolved_04f1040a;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_52039ac2 = (uint248(unresolved_52039ac2)) | 0x0100;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ if (0x20 > ret0.length) {
+ }
+ var_a = 0x932ca0a300000000000000000000000000000000000000000000000000000000;
+ var_a = 0xea1083a700000000000000000000000000000000000000000000000000000000;
+ require(0x5141aed0 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(0x4fa9e4e7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_f;
+ return store_f;
+ require(0x87a216d5 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40);
+ require(arg0 > 0xffffffffffffffff);
+ require(((msg.data.length - arg0) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc) < 0xa0);
+ require(arg0 + (arg0) > 0xffffffffffffffff);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_ded7c80c());
+ require(msg.sender == (address(unresolved_aa2d7c7c)), CustomError_ded7c80c());
+ require(!(msg.sender == (address(unresolved_aa2d7c7c))), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ require(arg1 > block.number, CustomError_58968cf0());
+ var_a = 0x58968cf000000000000000000000000000000000000000000000000000000000;
+ require((block.number - arg1) > block.number, CustomError_c42a0185());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require((block.number - arg1) > 0x0100, CustomError_c42a0185());
+ var_a = 0xc42a018500000000000000000000000000000000000000000000000000000000;
+ require(!blockhash(arg1), CustomError_31aed5c2());
+ require(arg0 + (arg0) > 0xffffffffffffffff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ require(((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) > 0xffffffffffffffff) | ((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) < var_f), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f));
+ var_b = (arg0 + (arg0));
+ var_h = msg.data[36:36];
+ uint256 var_i = 0;
+ require(keccak256(var_h) - blockhash(arg1), CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xc000000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xf800000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(0 < (arg0 + (arg0))), CustomError_31aed5c2());
+ require((bytes1(((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09) > 0xff, CustomError_31aed5c2());
+ require((0x01 + (bytes1((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09))) > 0xff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(0 > (0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(!(block.chainid == 0xa5bd), CustomError_31aed5c2());
+ require(block.chainid == 0xa5bd, CustomError_31aed5c2());
+ require(0 < 0x03, CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0x31aed5c200000000000000000000000000000000000000000000000000000000;
+ if (0 < 0x08) {
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ if (!block.chainid == 0xa5bd) {
+ if (block.chainid == 0xa5bd) {
+ require(!(block.chainid == 0xa5bd), CustomError_c0098bd9());
+ }
+ require(block.chainid == 0xa5bd, CustomError_c0098bd9());
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xc0098bd900000000000000000000000000000000000000000000000000000000;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xff28378700000000000000000000000000000000000000000000000000000000;
+ var_a = 0xbfc9f0d300000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_ded7c80c());
+ require(!(!block.timestamp > unresolved_5141aed0), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x52039ac2 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2 >> 0x08));
+ return !(!bytes1(unresolved_52039ac2 >> 0x08));
+ require(0xfc9b9546 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_h;
+ return store_h;
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2));
+ return !(!bytes1(unresolved_52039ac2));
+ }
─── Added: Unresolved_a48cab59 (0xa48cab59) ───
@@ -1,0 +1,271 @@
+
+ /// @custom:selector 0xa48cab59
+ /// @custom:signature Unresolved_a48cab59(uint256 arg0, uint256 arg1) public payable returns (address)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ /// @param arg1 ["uint256", "bytes32", "int256"]
+ function Unresolved_a48cab59(uint256 arg0, uint256 arg1) public payable returns (address) {
+ require(0x1465cb67 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ require(0xaa2d7c7c == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ address var_b = address(unresolved_aa2d7c7c);
+ return address(unresolved_aa2d7c7c);
+ require(0x6369a3a7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x6b018713 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2));
+ return !(!bytes1(unresolved_52039ac2));
+ require(0x115cff6f == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_5141aed0;
+ return unresolved_5141aed0;
+ require(0x9dda3432 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ unresolved_aa2d7c7c = uint96(unresolved_aa2d7c7c);
+ store_d = 0;
+ unresolved_5141aed0 = 0;
+ require(unresolved_04f1040a > (unresolved_04f1040a + store_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ unresolved_04f1040a = 0;
+ unresolved_46286b7b = 0;
+ require(!unresolved_04f1040a + store_f);
+ var_b = 0xa9059cbb00000000000000000000000000000000000000000000000000000000;
+ address var_d = msg.sender;
+ uint256 var_e = unresolved_04f1040a + store_f;
+ (bool success, bytes memory ret0) = address(0).Unresolved_a9059cbb(var_d); // call
+ require(!0, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ uint256 var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0x53cd7f7900000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x6f798a70 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0x0100;
+ return 0x0100;
+ require(0xa09db4c1 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x46286b7b == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_46286b7b;
+ return unresolved_46286b7b;
+ require(0xa48cab59 == (msg.data[0] >> 0xe0));
+ require(0x1379f9fb == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = 0x01 | (uint248(unresolved_52039ac2));
+ require(0x68c16fbf == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x04f1040a == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_04f1040a;
+ return unresolved_04f1040a;
+ require(0x58169394 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_253ef1d2());
+ require(unresolved_5141aed0, CustomError_253ef1d2());
+ require(block.timestamp > unresolved_5141aed0, CustomError_253ef1d2());
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_253ef1d2());
+ require(bytes1(unresolved_52039ac2), CustomError_253ef1d2());
+ require(unresolved_5141aed0, CustomError_253ef1d2());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_253ef1d2());
+ var_a = 0x253ef1d200000000000000000000000000000000000000000000000000000000;
+ require((unresolved_46286b7b >> 0x01) > arg0, CustomError_e92c469f());
+ var_a = 0xe92c469f00000000000000000000000000000000000000000000000000000000;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ uint256 var_g = arg0;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_aa2d7c7c = (uint96(unresolved_aa2d7c7c)) | msg.sender;
+ require(block.timestamp > (block.timestamp + 0x012c), CustomError_045c4b02());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_5141aed0 = block.timestamp + 0x012c;
+ store_d = arg0;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0x2479328900000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(unresolved_46286b7b > (unresolved_46286b7b + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_46286b7b = unresolved_46286b7b + store_d;
+ require(store_h > (store_h + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ store_h = store_h + store_d;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ if (unresolved_5141aed0) {
+ }
+ require(0x87ac55aa == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40, CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(bytes1(unresolved_52039ac2 >> 0x08), CustomError_5adf6387());
+ var_a = 0x5adf638700000000000000000000000000000000000000000000000000000000;
+ require(!arg0);
+ require(!arg1);
+ unresolved_46286b7b = arg0;
+ store_f = arg0;
+ unresolved_04f1040a = arg1;
+ require(store_f > (store_f + unresolved_04f1040a));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ var_g = store_f + unresolved_04f1040a;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_52039ac2 = (uint248(unresolved_52039ac2)) | 0x0100;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ if (0x20 > ret0.length) {
+ }
+ var_a = 0x932ca0a300000000000000000000000000000000000000000000000000000000;
+ var_a = 0xea1083a700000000000000000000000000000000000000000000000000000000;
+ require(0x5141aed0 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(0x4fa9e4e7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_f;
+ return store_f;
+ require(0x87a216d5 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40);
+ require(arg0 > 0xffffffffffffffff);
+ require(((msg.data.length - arg0) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc) < 0xa0);
+ require(arg0 + (arg0) > 0xffffffffffffffff);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_ded7c80c());
+ require(msg.sender == (address(unresolved_aa2d7c7c)), CustomError_ded7c80c());
+ require(!(msg.sender == (address(unresolved_aa2d7c7c))), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ require(arg1 > block.number, CustomError_58968cf0());
+ var_a = 0x58968cf000000000000000000000000000000000000000000000000000000000;
+ require((block.number - arg1) > block.number, CustomError_c42a0185());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require((block.number - arg1) > 0x0100, CustomError_c42a0185());
+ var_a = 0xc42a018500000000000000000000000000000000000000000000000000000000;
+ require(!blockhash(arg1), CustomError_31aed5c2());
+ require(arg0 + (arg0) > 0xffffffffffffffff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ require(((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) > 0xffffffffffffffff) | ((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) < var_f), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f));
+ var_b = (arg0 + (arg0));
+ var_h = msg.data[36:36];
+ uint256 var_i = 0;
+ require(keccak256(var_h) - blockhash(arg1), CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xc000000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xf800000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(0 < (arg0 + (arg0))), CustomError_31aed5c2());
+ require((bytes1(((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09) > 0xff, CustomError_31aed5c2());
+ require((0x01 + (bytes1((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09))) > 0xff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(0 > (0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(!(block.chainid == 0xa5bd), CustomError_31aed5c2());
+ require(block.chainid == 0xa5bd, CustomError_31aed5c2());
+ require(0 < 0x03, CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0x31aed5c200000000000000000000000000000000000000000000000000000000;
+ if (0 < 0x08) {
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ if (!block.chainid == 0xa5bd) {
+ if (block.chainid == 0xa5bd) {
+ require(!(block.chainid == 0xa5bd), CustomError_c0098bd9());
+ }
+ require(block.chainid == 0xa5bd, CustomError_c0098bd9());
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xc0098bd900000000000000000000000000000000000000000000000000000000;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xff28378700000000000000000000000000000000000000000000000000000000;
+ var_a = 0xbfc9f0d300000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_ded7c80c());
+ require(!(!block.timestamp > unresolved_5141aed0), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x52039ac2 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2 >> 0x08));
+ return !(!bytes1(unresolved_52039ac2 >> 0x08));
+ require(0xfc9b9546 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_h;
+ return store_h;
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_d;
+ return store_d;
+ }
─── Added: Unresolved_a09db4c1 (0xa09db4c1) ───
@@ -1,0 +1,271 @@
+
+ /// @custom:selector 0xa09db4c1
+ /// @custom:signature Unresolved_a09db4c1(uint256 arg0, uint256 arg1) public payable returns (address)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ /// @param arg1 ["uint256", "bytes32", "int256"]
+ function Unresolved_a09db4c1(uint256 arg0, uint256 arg1) public payable returns (address) {
+ require(0x1465cb67 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ require(0xaa2d7c7c == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ address var_b = address(unresolved_aa2d7c7c);
+ return address(unresolved_aa2d7c7c);
+ require(0x6369a3a7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x6b018713 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2));
+ return !(!bytes1(unresolved_52039ac2));
+ require(0x115cff6f == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_5141aed0;
+ return unresolved_5141aed0;
+ require(0x9dda3432 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ unresolved_aa2d7c7c = uint96(unresolved_aa2d7c7c);
+ store_d = 0;
+ unresolved_5141aed0 = 0;
+ require(unresolved_04f1040a > (unresolved_04f1040a + store_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ unresolved_04f1040a = 0;
+ unresolved_46286b7b = 0;
+ require(!unresolved_04f1040a + store_f);
+ var_b = 0xa9059cbb00000000000000000000000000000000000000000000000000000000;
+ address var_d = msg.sender;
+ uint256 var_e = unresolved_04f1040a + store_f;
+ (bool success, bytes memory ret0) = address(0).Unresolved_a9059cbb(var_d); // call
+ require(!0, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ uint256 var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0x53cd7f7900000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x6f798a70 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0x0100;
+ return 0x0100;
+ require(0xa09db4c1 == (msg.data[0] >> 0xe0));
+ require(0x46286b7b == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_46286b7b;
+ return unresolved_46286b7b;
+ require(0xa48cab59 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_d;
+ return store_d;
+ require(0x1379f9fb == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = 0x01 | (uint248(unresolved_52039ac2));
+ require(0x68c16fbf == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x04f1040a == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_04f1040a;
+ return unresolved_04f1040a;
+ require(0x58169394 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_24793289());
+ require(unresolved_5141aed0, CustomError_24793289());
+ require(block.timestamp > unresolved_5141aed0, CustomError_24793289());
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_24793289());
+ require(bytes1(unresolved_52039ac2), CustomError_24793289());
+ var_a = 0x2479328900000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_253ef1d2());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_253ef1d2());
+ var_a = 0x253ef1d200000000000000000000000000000000000000000000000000000000;
+ require((unresolved_46286b7b >> 0x01) > arg0, CustomError_e92c469f());
+ var_a = 0xe92c469f00000000000000000000000000000000000000000000000000000000;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ uint256 var_g = arg0;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_aa2d7c7c = (uint96(unresolved_aa2d7c7c)) | msg.sender;
+ require(block.timestamp > (block.timestamp + 0x012c), CustomError_045c4b02());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_5141aed0 = block.timestamp + 0x012c;
+ store_d = arg0;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(unresolved_46286b7b > (unresolved_46286b7b + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_46286b7b = unresolved_46286b7b + store_d;
+ require(store_h > (store_h + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ store_h = store_h + store_d;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ if (unresolved_5141aed0) {
+ }
+ require(0x87ac55aa == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40, CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(bytes1(unresolved_52039ac2 >> 0x08), CustomError_5adf6387());
+ var_a = 0x5adf638700000000000000000000000000000000000000000000000000000000;
+ require(!arg0);
+ require(!arg1);
+ unresolved_46286b7b = arg0;
+ store_f = arg0;
+ unresolved_04f1040a = arg1;
+ require(store_f > (store_f + unresolved_04f1040a));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ var_g = store_f + unresolved_04f1040a;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_52039ac2 = (uint248(unresolved_52039ac2)) | 0x0100;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ if (0x20 > ret0.length) {
+ }
+ var_a = 0x932ca0a300000000000000000000000000000000000000000000000000000000;
+ var_a = 0xea1083a700000000000000000000000000000000000000000000000000000000;
+ require(0x5141aed0 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(0x4fa9e4e7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_f;
+ return store_f;
+ require(0x87a216d5 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40);
+ require(arg0 > 0xffffffffffffffff);
+ require(((msg.data.length - arg0) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc) < 0xa0);
+ require(arg0 + (arg0) > 0xffffffffffffffff);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_ded7c80c());
+ require(msg.sender == (address(unresolved_aa2d7c7c)), CustomError_ded7c80c());
+ require(!(msg.sender == (address(unresolved_aa2d7c7c))), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ require(arg1 > block.number, CustomError_58968cf0());
+ var_a = 0x58968cf000000000000000000000000000000000000000000000000000000000;
+ require((block.number - arg1) > block.number, CustomError_c42a0185());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require((block.number - arg1) > 0x0100, CustomError_c42a0185());
+ var_a = 0xc42a018500000000000000000000000000000000000000000000000000000000;
+ require(!blockhash(arg1), CustomError_31aed5c2());
+ require(arg0 + (arg0) > 0xffffffffffffffff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ require(((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) > 0xffffffffffffffff) | ((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) < var_f), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f));
+ var_b = (arg0 + (arg0));
+ var_h = msg.data[36:36];
+ uint256 var_i = 0;
+ require(keccak256(var_h) - blockhash(arg1), CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xc000000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xf800000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(0 < (arg0 + (arg0))), CustomError_31aed5c2());
+ require((bytes1(((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09) > 0xff, CustomError_31aed5c2());
+ require((0x01 + (bytes1((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09))) > 0xff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(0 > (0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(!(block.chainid == 0xa5bd), CustomError_31aed5c2());
+ require(block.chainid == 0xa5bd, CustomError_31aed5c2());
+ require(0 < 0x03, CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0x31aed5c200000000000000000000000000000000000000000000000000000000;
+ if (0 < 0x08) {
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ if (!block.chainid == 0xa5bd) {
+ if (block.chainid == 0xa5bd) {
+ require(!(block.chainid == 0xa5bd), CustomError_c0098bd9());
+ }
+ require(block.chainid == 0xa5bd, CustomError_c0098bd9());
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xc0098bd900000000000000000000000000000000000000000000000000000000;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xff28378700000000000000000000000000000000000000000000000000000000;
+ var_a = 0xbfc9f0d300000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_ded7c80c());
+ require(!(!block.timestamp > unresolved_5141aed0), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x52039ac2 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2 >> 0x08));
+ return !(!bytes1(unresolved_52039ac2 >> 0x08));
+ require(0xfc9b9546 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_h;
+ return store_h;
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ }
─── Added: Unresolved_4fa9e4e7 (0x4fa9e4e7) ───
@@ -1,0 +1,270 @@
+ /// @custom:selector 0x4fa9e4e7
+ /// @custom:signature Unresolved_4fa9e4e7(uint256 arg0, uint256 arg1) public payable returns (address)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ /// @param arg1 ["uint256", "bytes32", "int256"]
+ function Unresolved_4fa9e4e7(uint256 arg0, uint256 arg1) public payable returns (address) {
+ require(0x1465cb67 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ require(0xaa2d7c7c == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ address var_b = address(unresolved_aa2d7c7c);
+ return address(unresolved_aa2d7c7c);
+ require(0x6369a3a7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x6b018713 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2));
+ return !(!bytes1(unresolved_52039ac2));
+ require(0x115cff6f == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_5141aed0;
+ return unresolved_5141aed0;
+ require(0x9dda3432 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ unresolved_aa2d7c7c = uint96(unresolved_aa2d7c7c);
+ store_d = 0;
+ unresolved_5141aed0 = 0;
+ require(unresolved_04f1040a > (unresolved_04f1040a + store_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ unresolved_04f1040a = 0;
+ unresolved_46286b7b = 0;
+ require(!unresolved_04f1040a + store_f);
+ var_b = 0xa9059cbb00000000000000000000000000000000000000000000000000000000;
+ address var_d = msg.sender;
+ uint256 var_e = unresolved_04f1040a + store_f;
+ (bool success, bytes memory ret0) = address(0).Unresolved_a9059cbb(var_d); // call
+ require(!0, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ uint256 var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0x53cd7f7900000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x6f798a70 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0x0100;
+ return 0x0100;
+ require(0xa09db4c1 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x46286b7b == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_46286b7b;
+ return unresolved_46286b7b;
+ require(0xa48cab59 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_d;
+ return store_d;
+ require(0x1379f9fb == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = 0x01 | (uint248(unresolved_52039ac2));
+ require(0x68c16fbf == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x04f1040a == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_04f1040a;
+ return unresolved_04f1040a;
+ require(0x58169394 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_24793289());
+ require(unresolved_5141aed0, CustomError_24793289());
+ require(block.timestamp > unresolved_5141aed0, CustomError_24793289());
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_24793289());
+ require(bytes1(unresolved_52039ac2), CustomError_24793289());
+ var_a = 0x2479328900000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_253ef1d2());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_253ef1d2());
+ var_a = 0x253ef1d200000000000000000000000000000000000000000000000000000000;
+ require((unresolved_46286b7b >> 0x01) > arg0, CustomError_e92c469f());
+ var_a = 0xe92c469f00000000000000000000000000000000000000000000000000000000;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ uint256 var_g = arg0;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_aa2d7c7c = (uint96(unresolved_aa2d7c7c)) | msg.sender;
+ require(block.timestamp > (block.timestamp + 0x012c), CustomError_045c4b02());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_5141aed0 = block.timestamp + 0x012c;
+ store_d = arg0;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(unresolved_46286b7b > (unresolved_46286b7b + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_46286b7b = unresolved_46286b7b + store_d;
+ require(store_h > (store_h + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ store_h = store_h + store_d;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ if (unresolved_5141aed0) {
+ }
+ require(0x87ac55aa == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40, CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(bytes1(unresolved_52039ac2 >> 0x08), CustomError_5adf6387());
+ var_a = 0x5adf638700000000000000000000000000000000000000000000000000000000;
+ require(!arg0);
+ require(!arg1);
+ unresolved_46286b7b = arg0;
+ store_f = arg0;
+ unresolved_04f1040a = arg1;
+ require(store_f > (store_f + unresolved_04f1040a));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ var_g = store_f + unresolved_04f1040a;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_52039ac2 = (uint248(unresolved_52039ac2)) | 0x0100;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ if (0x20 > ret0.length) {
+ }
+ var_a = 0x932ca0a300000000000000000000000000000000000000000000000000000000;
+ var_a = 0xea1083a700000000000000000000000000000000000000000000000000000000;
+ require(0x5141aed0 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(0x4fa9e4e7 == (msg.data[0] >> 0xe0));
+ require(0x87a216d5 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40);
+ require(arg0 > 0xffffffffffffffff);
+ require(((msg.data.length - arg0) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc) < 0xa0);
+ require(arg0 + (arg0) > 0xffffffffffffffff);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_ded7c80c());
+ require(msg.sender == (address(unresolved_aa2d7c7c)), CustomError_ded7c80c());
+ require(!(msg.sender == (address(unresolved_aa2d7c7c))), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ require(arg1 > block.number, CustomError_58968cf0());
+ var_a = 0x58968cf000000000000000000000000000000000000000000000000000000000;
+ require((block.number - arg1) > block.number, CustomError_c42a0185());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require((block.number - arg1) > 0x0100, CustomError_c42a0185());
+ var_a = 0xc42a018500000000000000000000000000000000000000000000000000000000;
+ require(!blockhash(arg1), CustomError_31aed5c2());
+ require(arg0 + (arg0) > 0xffffffffffffffff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ require(((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) > 0xffffffffffffffff) | ((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) < var_f), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f));
+ var_b = (arg0 + (arg0));
+ var_h = msg.data[36:36];
+ uint256 var_i = 0;
+ require(keccak256(var_h) - blockhash(arg1), CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xc000000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xf800000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(0 < (arg0 + (arg0))), CustomError_31aed5c2());
+ require((bytes1(((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09) > 0xff, CustomError_31aed5c2());
+ require((0x01 + (bytes1((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09))) > 0xff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(0 > (0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(!(block.chainid == 0xa5bd), CustomError_31aed5c2());
+ require(block.chainid == 0xa5bd, CustomError_31aed5c2());
+ require(0 < 0x03, CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0x31aed5c200000000000000000000000000000000000000000000000000000000;
+ if (0 < 0x08) {
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ if (!block.chainid == 0xa5bd) {
+ if (block.chainid == 0xa5bd) {
+ require(!(block.chainid == 0xa5bd), CustomError_c0098bd9());
+ }
+ require(block.chainid == 0xa5bd, CustomError_c0098bd9());
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xc0098bd900000000000000000000000000000000000000000000000000000000;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xff28378700000000000000000000000000000000000000000000000000000000;
+ var_a = 0xbfc9f0d300000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_ded7c80c());
+ require(!(!block.timestamp > unresolved_5141aed0), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x52039ac2 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2 >> 0x08));
+ return !(!bytes1(unresolved_52039ac2 >> 0x08));
+ require(0xfc9b9546 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_h;
+ return store_h;
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_f;
+ return store_f;
+ }
─── Added: Unresolved_fc9b9546 (0xfc9b9546) ───
@@ -1,0 +1,271 @@
+
+ /// @custom:selector 0xfc9b9546
+ /// @custom:signature Unresolved_fc9b9546(uint256 arg0, uint256 arg1) public payable returns (address)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ /// @param arg1 ["uint256", "bytes32", "int256"]
+ function Unresolved_fc9b9546(uint256 arg0, uint256 arg1) public payable returns (address) {
+ require(0x1465cb67 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ require(0xaa2d7c7c == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ address var_b = address(unresolved_aa2d7c7c);
+ return address(unresolved_aa2d7c7c);
+ require(0x6369a3a7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x6b018713 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2));
+ return !(!bytes1(unresolved_52039ac2));
+ require(0x115cff6f == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_5141aed0;
+ return unresolved_5141aed0;
+ require(0x9dda3432 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ unresolved_aa2d7c7c = uint96(unresolved_aa2d7c7c);
+ store_d = 0;
+ unresolved_5141aed0 = 0;
+ require(unresolved_04f1040a > (unresolved_04f1040a + store_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ unresolved_04f1040a = 0;
+ unresolved_46286b7b = 0;
+ require(!unresolved_04f1040a + store_f);
+ var_b = 0xa9059cbb00000000000000000000000000000000000000000000000000000000;
+ address var_d = msg.sender;
+ uint256 var_e = unresolved_04f1040a + store_f;
+ (bool success, bytes memory ret0) = address(0).Unresolved_a9059cbb(var_d); // call
+ require(!0, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ uint256 var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0x53cd7f7900000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x6f798a70 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0x0100;
+ return 0x0100;
+ require(0xa09db4c1 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x46286b7b == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_46286b7b;
+ return unresolved_46286b7b;
+ require(0xa48cab59 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_d;
+ return store_d;
+ require(0x1379f9fb == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = 0x01 | (uint248(unresolved_52039ac2));
+ require(0x68c16fbf == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x04f1040a == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_04f1040a;
+ return unresolved_04f1040a;
+ require(0x58169394 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_24793289());
+ require(unresolved_5141aed0, CustomError_24793289());
+ require(block.timestamp > unresolved_5141aed0, CustomError_24793289());
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_24793289());
+ require(bytes1(unresolved_52039ac2), CustomError_24793289());
+ var_a = 0x2479328900000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_253ef1d2());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_253ef1d2());
+ var_a = 0x253ef1d200000000000000000000000000000000000000000000000000000000;
+ require((unresolved_46286b7b >> 0x01) > arg0, CustomError_e92c469f());
+ var_a = 0xe92c469f00000000000000000000000000000000000000000000000000000000;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ uint256 var_g = arg0;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_aa2d7c7c = (uint96(unresolved_aa2d7c7c)) | msg.sender;
+ require(block.timestamp > (block.timestamp + 0x012c), CustomError_045c4b02());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_5141aed0 = block.timestamp + 0x012c;
+ store_d = arg0;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(unresolved_46286b7b > (unresolved_46286b7b + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_46286b7b = unresolved_46286b7b + store_d;
+ require(store_h > (store_h + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ store_h = store_h + store_d;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ if (unresolved_5141aed0) {
+ }
+ require(0x87ac55aa == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40, CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(bytes1(unresolved_52039ac2 >> 0x08), CustomError_5adf6387());
+ var_a = 0x5adf638700000000000000000000000000000000000000000000000000000000;
+ require(!arg0);
+ require(!arg1);
+ unresolved_46286b7b = arg0;
+ store_f = arg0;
+ unresolved_04f1040a = arg1;
+ require(store_f > (store_f + unresolved_04f1040a));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ var_g = store_f + unresolved_04f1040a;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_52039ac2 = (uint248(unresolved_52039ac2)) | 0x0100;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ if (0x20 > ret0.length) {
+ }
+ var_a = 0x932ca0a300000000000000000000000000000000000000000000000000000000;
+ var_a = 0xea1083a700000000000000000000000000000000000000000000000000000000;
+ require(0x5141aed0 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(0x4fa9e4e7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_f;
+ return store_f;
+ require(0x87a216d5 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40);
+ require(arg0 > 0xffffffffffffffff);
+ require(((msg.data.length - arg0) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc) < 0xa0);
+ require(arg0 + (arg0) > 0xffffffffffffffff);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_ded7c80c());
+ require(msg.sender == (address(unresolved_aa2d7c7c)), CustomError_ded7c80c());
+ require(!(msg.sender == (address(unresolved_aa2d7c7c))), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ require(arg1 > block.number, CustomError_58968cf0());
+ var_a = 0x58968cf000000000000000000000000000000000000000000000000000000000;
+ require((block.number - arg1) > block.number, CustomError_c42a0185());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require((block.number - arg1) > 0x0100, CustomError_c42a0185());
+ var_a = 0xc42a018500000000000000000000000000000000000000000000000000000000;
+ require(!blockhash(arg1), CustomError_31aed5c2());
+ require(arg0 + (arg0) > 0xffffffffffffffff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ require(((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) > 0xffffffffffffffff) | ((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) < var_f), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f));
+ var_b = (arg0 + (arg0));
+ var_h = msg.data[36:36];
+ uint256 var_i = 0;
+ require(keccak256(var_h) - blockhash(arg1), CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xc000000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xf800000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(0 < (arg0 + (arg0))), CustomError_31aed5c2());
+ require((bytes1(((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09) > 0xff, CustomError_31aed5c2());
+ require((0x01 + (bytes1((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09))) > 0xff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(0 > (0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(!(block.chainid == 0xa5bd), CustomError_31aed5c2());
+ require(block.chainid == 0xa5bd, CustomError_31aed5c2());
+ require(0 < 0x03, CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0x31aed5c200000000000000000000000000000000000000000000000000000000;
+ if (0 < 0x08) {
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ if (!block.chainid == 0xa5bd) {
+ if (block.chainid == 0xa5bd) {
+ require(!(block.chainid == 0xa5bd), CustomError_c0098bd9());
+ }
+ require(block.chainid == 0xa5bd, CustomError_c0098bd9());
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xc0098bd900000000000000000000000000000000000000000000000000000000;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xff28378700000000000000000000000000000000000000000000000000000000;
+ var_a = 0xbfc9f0d300000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_ded7c80c());
+ require(!(!block.timestamp > unresolved_5141aed0), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x52039ac2 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2 >> 0x08));
+ return !(!bytes1(unresolved_52039ac2 >> 0x08));
+ require(0xfc9b9546 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_h;
+ return store_h;
+ }
─── Added: Unresolved_68c16fbf (0x68c16fbf) ───
@@ -1,0 +1,271 @@
+
+ /// @custom:selector 0x68c16fbf
+ /// @custom:signature Unresolved_68c16fbf(uint256 arg0, uint256 arg1) public payable returns (address)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ /// @param arg1 ["uint256", "bytes32", "int256"]
+ function Unresolved_68c16fbf(uint256 arg0, uint256 arg1) public payable returns (address) {
+ require(0x1465cb67 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ require(0xaa2d7c7c == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ address var_b = address(unresolved_aa2d7c7c);
+ return address(unresolved_aa2d7c7c);
+ require(0x6369a3a7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x6b018713 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2));
+ return !(!bytes1(unresolved_52039ac2));
+ require(0x115cff6f == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_5141aed0;
+ return unresolved_5141aed0;
+ require(0x9dda3432 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ unresolved_aa2d7c7c = uint96(unresolved_aa2d7c7c);
+ store_d = 0;
+ unresolved_5141aed0 = 0;
+ require(unresolved_04f1040a > (unresolved_04f1040a + store_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_52039ac2 = uint248(unresolved_52039ac2);
+ unresolved_04f1040a = 0;
+ unresolved_46286b7b = 0;
+ require(!unresolved_04f1040a + store_f);
+ var_b = 0xa9059cbb00000000000000000000000000000000000000000000000000000000;
+ address var_d = msg.sender;
+ uint256 var_e = unresolved_04f1040a + store_f;
+ (bool success, bytes memory ret0) = address(0).Unresolved_a9059cbb(var_d); // call
+ require(!0, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ uint256 var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0x53cd7f7900000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x6f798a70 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0x0100;
+ return 0x0100;
+ require(0xa09db4c1 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ require(0x46286b7b == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_46286b7b;
+ return unresolved_46286b7b;
+ require(0xa48cab59 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_d;
+ return store_d;
+ require(0x1379f9fb == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ unresolved_52039ac2 = 0x01 | (uint248(unresolved_52039ac2));
+ require(0x68c16fbf == (msg.data[0] >> 0xe0));
+ require(0x04f1040a == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = unresolved_04f1040a;
+ return unresolved_04f1040a;
+ require(0x58169394 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_24793289());
+ require(unresolved_5141aed0, CustomError_24793289());
+ require(block.timestamp > unresolved_5141aed0, CustomError_24793289());
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_24793289());
+ require(bytes1(unresolved_52039ac2), CustomError_24793289());
+ var_a = 0x2479328900000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_253ef1d2());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_253ef1d2());
+ var_a = 0x253ef1d200000000000000000000000000000000000000000000000000000000;
+ require((unresolved_46286b7b >> 0x01) > arg0, CustomError_e92c469f());
+ var_a = 0xe92c469f00000000000000000000000000000000000000000000000000000000;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ uint256 var_g = arg0;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_aa2d7c7c = (uint96(unresolved_aa2d7c7c)) | msg.sender;
+ require(block.timestamp > (block.timestamp + 0x012c), CustomError_045c4b02());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_5141aed0 = block.timestamp + 0x012c;
+ store_d = arg0;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ require(0x20 > ret0.length);
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + 0x20;
+ require(((var_f + 0x20) - var_f) < 0x20);
+ require(var_f.length - var_f.length, CustomError_045c4b02());
+ require(!var_f.length, CustomError_045c4b02());
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(unresolved_46286b7b > (unresolved_46286b7b + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ unresolved_46286b7b = unresolved_46286b7b + store_d;
+ require(store_h > (store_h + store_d), CustomError_9cbc1de1());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ store_h = store_h + store_d;
+ require(unresolved_5141aed0, CustomError_9cbc1de1());
+ require(!(block.timestamp > unresolved_5141aed0), CustomError_9cbc1de1());
+ var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
+ if (unresolved_5141aed0) {
+ }
+ require(0x87ac55aa == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40, CustomError_618bbdd5());
+ require(msg.sender - 0, CustomError_618bbdd5());
+ var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
+ require(bytes1(unresolved_52039ac2 >> 0x08), CustomError_5adf6387());
+ var_a = 0x5adf638700000000000000000000000000000000000000000000000000000000;
+ require(!arg0);
+ require(!arg1);
+ unresolved_46286b7b = arg0;
+ store_f = arg0;
+ unresolved_04f1040a = arg1;
+ require(store_f > (store_f + unresolved_04f1040a));
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ var_d = msg.sender;
+ var_e = address(this);
+ var_g = store_f + unresolved_04f1040a;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
+ require(!0, CustomError_045c4b02());
+ unresolved_52039ac2 = (uint248(unresolved_52039ac2)) | 0x0100;
+ var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+ if (0x20 > ret0.length) {
+ }
+ var_a = 0x932ca0a300000000000000000000000000000000000000000000000000000000;
+ var_a = 0xea1083a700000000000000000000000000000000000000000000000000000000;
+ require(0x5141aed0 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ require(0x4fa9e4e7 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_f;
+ return store_f;
+ require(0x87a216d5 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40);
+ require(arg0 > 0xffffffffffffffff);
+ require(((msg.data.length - arg0) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc) < 0xa0);
+ require(arg0 + (arg0) > 0xffffffffffffffff);
+ require(!(bytes1(unresolved_52039ac2 >> 0x08)), CustomError_ded7c80c());
+ require(msg.sender == (address(unresolved_aa2d7c7c)), CustomError_ded7c80c());
+ require(!(msg.sender == (address(unresolved_aa2d7c7c))), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ require(arg1 > block.number, CustomError_58968cf0());
+ var_a = 0x58968cf000000000000000000000000000000000000000000000000000000000;
+ require((block.number - arg1) > block.number, CustomError_c42a0185());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require((block.number - arg1) > 0x0100, CustomError_c42a0185());
+ var_a = 0xc42a018500000000000000000000000000000000000000000000000000000000;
+ require(!blockhash(arg1), CustomError_31aed5c2());
+ require(arg0 + (arg0) > 0xffffffffffffffff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ require(((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) > 0xffffffffffffffff) | ((var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) < var_f), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x41;
+ var_f = var_f + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f));
+ var_b = (arg0 + (arg0));
+ var_h = msg.data[36:36];
+ uint256 var_i = 0;
+ require(keccak256(var_h) - blockhash(arg1), CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xc000000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(arg0 + (arg0)), CustomError_31aed5c2());
+ require(bytes1(0x20 + (arg0 + (arg0))) < 0xf800000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
+ require(!(0 < (arg0 + (arg0))), CustomError_31aed5c2());
+ require((bytes1(((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09) > 0xff, CustomError_31aed5c2());
+ require((0x01 + (bytes1((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09))) > 0xff, CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(0 > (0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ require(!(block.chainid == 0xa5bd), CustomError_31aed5c2());
+ require(block.chainid == 0xa5bd, CustomError_31aed5c2());
+ require(0 < 0x03, CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0x31aed5c200000000000000000000000000000000000000000000000000000000;
+ if (0 < 0x08) {
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x11;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ if (!block.chainid == 0xa5bd) {
+ if (block.chainid == 0xa5bd) {
+ require(!(block.chainid == 0xa5bd), CustomError_c0098bd9());
+ }
+ require(block.chainid == 0xa5bd, CustomError_c0098bd9());
+ }
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xc0098bd900000000000000000000000000000000000000000000000000000000;
+ var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ var_c = 0x32;
+ var_a = 0xff28378700000000000000000000000000000000000000000000000000000000;
+ var_a = 0xbfc9f0d300000000000000000000000000000000000000000000000000000000;
+ require(unresolved_5141aed0, CustomError_ded7c80c());
+ require(!(!block.timestamp > unresolved_5141aed0), CustomError_ded7c80c());
+ var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(0x52039ac2 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = !(!bytes1(unresolved_52039ac2 >> 0x08));
+ return !(!bytes1(unresolved_52039ac2 >> 0x08));
+ require(0xfc9b9546 == (msg.data[0] >> 0xe0));
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = store_h;
+ return store_h;
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_b = 0;
+ return 0;
+ }
Commit d230df0 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.