Skip to content

refactor: CFG complications and cluster shuffle rework - #151

Open
EmperorOrokuSaki wants to merge 1 commit into
masterfrom
feat/codex_goal
Open

refactor: CFG complications and cluster shuffle rework#151
EmperorOrokuSaki wants to merge 1 commit into
masterfrom
feat/codex_goal

Conversation

@EmperorOrokuSaki

Copy link
Copy Markdown
Member

No description provided.

@github-actions

Copy link
Copy Markdown
Contributor

Decompile Diff Analysis

Statistics (50 iterations)

  • Total: 49 hunks, -112 removed, +2953 added
  • Items: 17 total, 16 with changes
  • Selectors: 20 remapped
Metric Min Avg Max
Hunks 33 43.2 55
Lines removed 75 108.8 148
Lines added 76 2621.3 5259
Lines unchanged 117 156.2 190
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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant