@keep-network/tbtc-v2 1.7.0 → 1.7.1

package/export/artifacts/contracts/bridge/RedemptionWatchtower.sol/RedemptionWatchtower.json

@@ -845,15 +845,15 @@
   "evm": {
     "bytecode": {
       "functionDebugData": {
-        "@_35576": {
+        "@_35549": {
           "entryPoint": null,
-          "id": 35576,
+          "id": 35549,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@_disableInitializers_12137": {
+        "@_disableInitializers_12146": {
           "entryPoint": 34,
-          "id": 12137,
+          "id": 12146,
           "parameterSlots": 0,
           "returnSlots": 0
         },
@@ -1230,243 +1230,243 @@
     },
     "deployedBytecode": {
       "functionDebugData": {
-        "@REQUIRED_OBJECTIONS_COUNT_35419": {
+        "@REQUIRED_OBJECTIONS_COUNT_35392": {
           "entryPoint": null,
-          "id": 35419,
+          "id": 35392,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@__Ownable_init_11882": {
+        "@__Ownable_init_11891": {
           "entryPoint": 8050,
-          "id": 11882,
+          "id": 11891,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@__Ownable_init_unchained_11893": {
+        "@__Ownable_init_unchained_11902": {
           "entryPoint": null,
-          "id": 11893,
+          "id": 11902,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@_addGuardian_35783": {
+        "@_addGuardian_35756": {
           "entryPoint": 7751,
-          "id": 35783,
+          "id": 35756,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@_checkOwner_11924": {
+        "@_checkOwner_11933": {
           "entryPoint": 7661,
-          "id": 11924,
+          "id": 11933,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@_msgSender_14070": {
+        "@_msgSender_14079": {
           "entryPoint": null,
-          "id": 14070,
+          "id": 14079,
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@_redemptionDelay_36050": {
+        "@_redemptionDelay_36023": {
           "entryPoint": 7382,
-          "id": 36050,
+          "id": 36023,
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "@_transferOwnership_11981": {
+        "@_transferOwnership_11990": {
           "entryPoint": 7955,
-          "id": 11981,
+          "id": 11990,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@addGuardian_35758": {
+        "@addGuardian_35731": {
           "entryPoint": 4126,
-          "id": 35758,
+          "id": 35731,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@bank_35466": {
+        "@bank_35439": {
           "entryPoint": null,
-          "id": 35466,
+          "id": 35439,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@bridge_35444": {
+        "@bridge_35417": {
           "entryPoint": null,
-          "id": 35444,
+          "id": 35417,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@defaultDelay_35469": {
+        "@defaultDelay_35442": {
           "entryPoint": null,
-          "id": 35469,
+          "id": 35442,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@disableWatchtower_35745": {
+        "@disableWatchtower_35718": {
           "entryPoint": 4495,
-          "id": 35745,
+          "id": 35718,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@enableWatchtower_35698": {
+        "@enableWatchtower_35671": {
           "entryPoint": 3281,
-          "id": 35698,
+          "id": 35671,
           "parameterSlots": 3,
           "returnSlots": 0
         },
-        "@getRedemptionDelay_36086": {
+        "@getRedemptionDelay_36059": {
           "entryPoint": 1372,
-          "id": 36086,
+          "id": 36059,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@getRedemptionKey_35300": {
+        "@getRedemptionKey_35273": {
           "entryPoint": 7932,
-          "id": 35300,
+          "id": 35273,
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "@initialize_35629": {
+        "@initialize_35602": {
           "entryPoint": 6538,
-          "id": 35629,
+          "id": 35602,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@isBanned_35429": {
+        "@isBanned_35402": {
           "entryPoint": null,
-          "id": 35429,
+          "id": 35402,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@isContract_13777": {
+        "@isContract_13786": {
           "entryPoint": null,
-          "id": 13777,
+          "id": 13786,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@isGuardian_35424": {
+        "@isGuardian_35397": {
           "entryPoint": null,
-          "id": 35424,
+          "id": 35397,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@isSafeRedemption_36226": {
+        "@isSafeRedemption_36199": {
           "entryPoint": 3719,
-          "id": 36226,
+          "id": 36199,
           "parameterSlots": 5,
           "returnSlots": 1
         },
-        "@levelOneDelay_35472": {
+        "@levelOneDelay_35445": {
           "entryPoint": null,
-          "id": 35472,
+          "id": 35445,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@levelTwoDelay_35475": {
+        "@levelTwoDelay_35448": {
           "entryPoint": null,
-          "id": 35475,
+          "id": 35448,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@manager_35456": {
+        "@manager_35429": {
           "entryPoint": null,
-          "id": 35456,
+          "id": 35429,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@objections_35440": {
+        "@objections_35413": {
           "entryPoint": null,
-          "id": 35440,
+          "id": 35413,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@owner_11910": {
+        "@owner_11919": {
           "entryPoint": null,
-          "id": 11910,
+          "id": 11919,
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@raiseObjection_35999": {
+        "@raiseObjection_35972": {
           "entryPoint": 4899,
-          "id": 35999,
+          "id": 35972,
           "parameterSlots": 3,
           "returnSlots": 0
         },
-        "@removeGuardian_35808": {
+        "@removeGuardian_35781": {
           "entryPoint": 3921,
-          "id": 35808,
+          "id": 35781,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@renounceOwnership_11938": {
+        "@renounceOwnership_11947": {
           "entryPoint": 4106,
-          "id": 11938,
+          "id": 11947,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@transferOwnership_11961": {
+        "@transferOwnership_11970": {
           "entryPoint": 7241,
-          "id": 11961,
+          "id": 11970,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@unban_36252": {
+        "@unban_36225": {
           "entryPoint": 4228,
-          "id": 36252,
+          "id": 36225,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@updateWatchtowerParameters_36177": {
+        "@updateWatchtowerParameters_36150": {
           "entryPoint": 2305,
-          "id": 36177,
+          "id": 36150,
           "parameterSlots": 7,
           "returnSlots": 0
         },
-        "@vetoFreezePeriod_35462": {
+        "@vetoFreezePeriod_35435": {
           "entryPoint": null,
-          "id": 35462,
+          "id": 35435,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@vetoPenaltyFeeDivisor_35459": {
+        "@vetoPenaltyFeeDivisor_35432": {
           "entryPoint": null,
-          "id": 35459,
+          "id": 35432,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@vetoProposals_35435": {
+        "@vetoProposals_35408": {
           "entryPoint": null,
-          "id": 35435,
+          "id": 35408,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@waivedAmountLimit_35478": {
+        "@waivedAmountLimit_35451": {
           "entryPoint": null,
-          "id": 35478,
+          "id": 35451,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@watchtowerDisabledAt_35453": {
+        "@watchtowerDisabledAt_35426": {
           "entryPoint": null,
-          "id": 35453,
+          "id": 35426,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@watchtowerEnabledAt_35447": {
+        "@watchtowerEnabledAt_35420": {
           "entryPoint": null,
-          "id": 35447,
+          "id": 35420,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@watchtowerLifetime_35450": {
+        "@watchtowerLifetime_35423": {
           "entryPoint": null,
-          "id": 35450,
+          "id": 35423,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@withdrawVetoedFunds_36328": {
+        "@withdrawVetoedFunds_36301": {
           "entryPoint": 1638,
-          "id": 36328,
+          "id": 36301,
           "parameterSlots": 1,
           "returnSlots": 0
         },
@@ -1506,19 +1506,19 @@
           "parameterSlots": 2,
           "returnSlots": 5
         },
-        "abi_decode_tuple_t_contract$_Bank_$24894t_contract$_IRelay_$32772t_contract$_IWalletRegistry_$5849t_contract$_ReimbursementPool_$8814_fromMemory": {
+        "abi_decode_tuple_t_contract$_Bank_$24867t_contract$_IRelay_$32745t_contract$_IWalletRegistry_$5858t_contract$_ReimbursementPool_$8823_fromMemory": {
           "entryPoint": 9463,
           "id": null,
           "parameterSlots": 2,
           "returnSlots": 4
         },
-        "abi_decode_tuple_t_contract$_Bridge_$27211": {
+        "abi_decode_tuple_t_contract$_Bridge_$27184": {
           "entryPoint": null,
           "id": null,
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "abi_decode_tuple_t_struct$_RedemptionRequest_$34263_memory_ptr_fromMemory": {
+        "abi_decode_tuple_t_struct$_RedemptionRequest_$34236_memory_ptr_fromMemory": {
           "entryPoint": 9012,
           "id": null,
           "parameterSlots": 2,
@@ -1584,13 +1584,13 @@
           "parameterSlots": 4,
           "returnSlots": 1
         },
-        "abi_encode_tuple_t_contract$_Bank_$24894__to_t_address__fromStack_reversed": {
+        "abi_encode_tuple_t_contract$_Bank_$24867__to_t_address__fromStack_reversed": {
           "entryPoint": null,
           "id": null,
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "abi_encode_tuple_t_contract$_Bridge_$27211__to_t_address__fromStack_reversed": {
+        "abi_encode_tuple_t_contract$_Bridge_$27184__to_t_address__fromStack_reversed": {
           "entryPoint": null,
           "id": null,
           "parameterSlots": 2,
@@ -5450,7 +5450,7 @@
                     }
                   ]
                 },
-                "name": "abi_encode_tuple_t_contract$_Bank_$24894__to_t_address__fromStack_reversed",
+                "name": "abi_encode_tuple_t_contract$_Bank_$24867__to_t_address__fromStack_reversed",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -6080,7 +6080,7 @@
                     }
                   ]
                 },
-                "name": "abi_decode_tuple_t_contract$_Bridge_$27211",
+                "name": "abi_decode_tuple_t_contract$_Bridge_$27184",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -6190,7 +6190,7 @@
                     }
                   ]
                 },
-                "name": "abi_encode_tuple_t_contract$_Bridge_$27211__to_t_address__fromStack_reversed",
+                "name": "abi_encode_tuple_t_contract$_Bridge_$27184__to_t_address__fromStack_reversed",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -7510,7 +7510,7 @@
                     }
                   ]
                 },
-                "name": "abi_decode_tuple_t_struct$_RedemptionRequest_$34263_memory_ptr_fromMemory",
+                "name": "abi_decode_tuple_t_struct$_RedemptionRequest_$34236_memory_ptr_fromMemory",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -14890,7 +14890,7 @@
                     }
                   ]
                 },
-                "name": "abi_decode_tuple_t_contract$_Bank_$24894t_contract$_IRelay_$32772t_contract$_IWalletRegistry_$5849t_contract$_ReimbursementPool_$8814_fromMemory",
+                "name": "abi_decode_tuple_t_contract$_Bank_$24867t_contract$_IRelay_$32745t_contract$_IWalletRegistry_$5858t_contract$_ReimbursementPool_$8823_fromMemory",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -16079,7 +16079,7 @@
               }
             ]
           },
-          "contents": "{\n    { }\n    function abi_encode_tuple_t_uint32__to_t_uint32__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffff))\n    }\n    function abi_encode_tuple_t_uint64__to_t_uint64__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffff))\n    }\n    function validator_revert_address(value)\n    {\n        if iszero(eq(value, and(value, 0xffffffffffffffffffffffffffffffffffffffff))) { revert(0, 0) }\n    }\n    function abi_decode_tuple_t_address(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_address(value)\n        value0 := value\n    }\n    function abi_encode_tuple_t_bool__to_t_bool__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, iszero(iszero(value0)))\n    }\n    function abi_decode_tuple_t_uint256(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        value0 := calldataload(headStart)\n    }\n    function validator_revert_uint32(value)\n    {\n        if iszero(eq(value, and(value, 0xffffffff))) { revert(0, 0) }\n    }\n    function validator_revert_uint64(value)\n    {\n        if iszero(eq(value, and(value, 0xffffffffffffffff))) { revert(0, 0) }\n    }\n    function abi_decode_tuple_t_uint32t_uint64t_uint32t_uint32t_uint32t_uint32t_uint64(headStart, dataEnd) -> value0, value1, value2, value3, value4, value5, value6\n    {\n        if slt(sub(dataEnd, headStart), 224) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_uint32(value)\n        value0 := value\n        let value_1 := calldataload(add(headStart, 32))\n        validator_revert_uint64(value_1)\n        value1 := value_1\n        let value_2 := calldataload(add(headStart, 64))\n        validator_revert_uint32(value_2)\n        value2 := value_2\n        let value_3 := calldataload(add(headStart, 96))\n        validator_revert_uint32(value_3)\n        value3 := value_3\n        let value_4 := calldataload(add(headStart, 128))\n        validator_revert_uint32(value_4)\n        value4 := value_4\n        let value_5 := calldataload(add(headStart, 160))\n        validator_revert_uint32(value_5)\n        value5 := value_5\n        let value_6 := calldataload(add(headStart, 192))\n        validator_revert_uint64(value_6)\n        value6 := value_6\n    }\n    function abi_decode_tuple_t_addresst_array$_t_address_$dyn_calldata_ptr(headStart, dataEnd) -> value0, value1, value2\n    {\n        if slt(sub(dataEnd, headStart), 64) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_address(value)\n        value0 := value\n        let offset := calldataload(add(headStart, 32))\n        let _1 := 0xffffffffffffffff\n        if gt(offset, _1) { revert(0, 0) }\n        let _2 := add(headStart, offset)\n        if iszero(slt(add(_2, 0x1f), dataEnd)) { revert(0, 0) }\n        let length := calldataload(_2)\n        if gt(length, _1) { revert(0, 0) }\n        if gt(add(add(_2, shl(5, length)), 32), dataEnd) { revert(0, 0) }\n        value1 := add(_2, 32)\n        value2 := length\n    }\n    function abi_encode_tuple_t_address__to_t_address__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function abi_decode_bytes20(offset) -> value\n    {\n        value := calldataload(offset)\n        if iszero(eq(value, and(value, not(0xffffffffffffffffffffffff)))) { revert(0, 0) }\n    }\n    function abi_decode_bytes_calldata(offset, end) -> arrayPos, length\n    {\n        if iszero(slt(add(offset, 0x1f), end)) { revert(0, 0) }\n        length := calldataload(offset)\n        if gt(length, 0xffffffffffffffff) { revert(0, 0) }\n        arrayPos := add(offset, 0x20)\n        if gt(add(add(offset, length), 0x20), end) { revert(0, 0) }\n    }\n    function abi_decode_tuple_t_bytes20t_bytes_calldata_ptrt_addresst_address(headStart, dataEnd) -> value0, value1, value2, value3, value4\n    {\n        if slt(sub(dataEnd, headStart), 128) { revert(0, 0) }\n        value0 := abi_decode_bytes20(headStart)\n        let offset := calldataload(add(headStart, 32))\n        if gt(offset, 0xffffffffffffffff) { revert(0, 0) }\n        let value1_1, value2_1 := abi_decode_bytes_calldata(add(headStart, offset), dataEnd)\n        value1 := value1_1\n        value2 := value2_1\n        let value := calldataload(add(headStart, 64))\n        validator_revert_address(value)\n        value3 := value\n        let value_1 := calldataload(add(headStart, 96))\n        validator_revert_address(value_1)\n        value4 := value_1\n    }\n    function abi_encode_tuple_t_contract$_Bank_$24894__to_t_address__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function abi_encode_tuple_t_uint8__to_t_uint8__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xff))\n    }\n    function abi_decode_tuple_t_bytes20t_bytes_calldata_ptr(headStart, dataEnd) -> value0, value1, value2\n    {\n        if slt(sub(dataEnd, headStart), 64) { revert(0, 0) }\n        value0 := abi_decode_bytes20(headStart)\n        let offset := calldataload(add(headStart, 32))\n        if gt(offset, 0xffffffffffffffff) { revert(0, 0) }\n        let value1_1, value2_1 := abi_decode_bytes_calldata(add(headStart, offset), dataEnd)\n        value1 := value1_1\n        value2 := value2_1\n    }\n    function abi_decode_tuple_t_contract$_Bridge_$27211(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_address(value)\n        value0 := value\n    }\n    function abi_encode_tuple_t_contract$_Bridge_$27211__to_t_address__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function abi_encode_tuple_t_address_t_uint64_t_uint32_t_uint8__to_t_address_t_uint64_t_uint32_t_uint8__fromStack_reversed(headStart, value3, value2, value1, value0) -> tail\n    {\n        tail := add(headStart, 128)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n        mstore(add(headStart, 32), and(value1, 0xffffffffffffffff))\n        mstore(add(headStart, 64), and(value2, 0xffffffff))\n        mstore(add(headStart, 96), and(value3, 0xff))\n    }\n    function abi_encode_tuple_t_uint256__to_t_uint256__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, value0)\n    }\n    function abi_decode_uint64_fromMemory(offset) -> value\n    {\n        value := mload(offset)\n        validator_revert_uint64(value)\n    }\n    function abi_decode_uint32_fromMemory(offset) -> value\n    {\n        value := mload(offset)\n        validator_revert_uint32(value)\n    }\n    function abi_decode_tuple_t_struct$_RedemptionRequest_$34263_memory_ptr_fromMemory(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 160) { revert(0, 0) }\n        let memPtr := mload(64)\n        let newFreePtr := add(memPtr, 160)\n        if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr))\n        {\n            mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n            mstore(4, 0x41)\n            revert(0, 0x24)\n        }\n        mstore(64, newFreePtr)\n        let value := mload(headStart)\n        validator_revert_address(value)\n        mstore(memPtr, value)\n        let value_1 := mload(add(headStart, 32))\n        validator_revert_uint64(value_1)\n        mstore(add(memPtr, 32), value_1)\n        mstore(add(memPtr, 64), abi_decode_uint64_fromMemory(add(headStart, 64)))\n        mstore(add(memPtr, 96), abi_decode_uint64_fromMemory(add(headStart, 96)))\n        mstore(add(memPtr, 128), abi_decode_uint32_fromMemory(add(headStart, 128)))\n        value0 := memPtr\n    }\n    function abi_encode_tuple_t_stringliteral_2d577e4512a7bb2d032a9af46ccb0287ef4433c136a47c34118d2f6afcb2634c__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 33)\n        mstore(add(headStart, 64), \"Redemption request does not exis\")\n        mstore(add(headStart, 96), \"t\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_3964bd109ceb535a619afa525465dd8c58ade930b7ce4a6dbf16100d11ccfee4__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 29)\n        mstore(add(headStart, 64), \"Redemption veto not finalized\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_03cdf77124c357afd77f67d53b929c2457aa011da5836a382f5a1dad73b3de81__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 26)\n        mstore(add(headStart, 64), \"Caller is not the redeemer\")\n        tail := add(headStart, 96)\n    }\n    function panic_error_0x11()\n    {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x11)\n        revert(0, 0x24)\n    }\n    function checked_add_t_uint32(x, y) -> sum\n    {\n        let _1 := 0xffffffff\n        sum := add(and(x, _1), and(y, _1))\n        if gt(sum, _1) { panic_error_0x11() }\n    }\n    function abi_encode_tuple_t_stringliteral_ae47557613f7b4e092d2e935e5777bba50ced9619f0e22126eaeba8afe648bb0__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 25)\n        mstore(add(headStart, 64), \"Freeze period not expired\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_4b4cc99522fdcee4d97d6d2d3cbabeb353d40433850bd46ba29c08dbfba843f9__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 20)\n        mstore(add(headStart, 64), \"No funds to withdraw\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_address_t_uint64__to_t_address_t_uint256__fromStack_reversed(headStart, value1, value0) -> tail\n    {\n        tail := add(headStart, 64)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n        mstore(add(headStart, 32), and(value1, 0xffffffffffffffff))\n    }\n    function abi_encode_tuple_t_stringliteral_e3b610ba2d5c357e4a6c8d1edb96679276744ffc20d5a78366a670cceca256c5__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 32)\n        mstore(add(headStart, 64), \"Caller is not watchtower manager\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_858a2f3be08b2dc4a2952ca47a80455cac5caedd15c3522fd1de945f2a0d0fc2__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 48)\n        mstore(add(headStart, 64), \"New lifetime must not be lesser \")\n        mstore(add(headStart, 96), \"than current one\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_cbf60e38484b9c0dd22f0461d76d015b1be3e5a1bb8238102b21f8dbef1f80cb__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 53)\n        mstore(add(headStart, 64), \"Redemption veto penalty fee must\")\n        mstore(add(headStart, 96), \" be in range [0%, 5%]\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_747cd32a1dedb82d463c6aae874ed5f42e419dba8be9d4e0a5f98e27f692640b__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 66)\n        mstore(add(headStart, 64), \"Redemption level-two delay must \")\n        mstore(add(headStart, 96), \"not be lesser than level-one del\")\n        mstore(add(headStart, 128), \"ay\")\n        tail := add(headStart, 160)\n    }\n    function abi_encode_tuple_t_stringliteral_3692450227e5828ad004560bba13706d0c2784934e777639b03a2994a41542c1__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 64)\n        mstore(add(headStart, 64), \"Redemption level-one delay must \")\n        mstore(add(headStart, 96), \"not be lesser than default delay\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_uint32_t_uint64_t_uint32_t_uint32_t_uint32_t_uint32_t_uint64__to_t_uint32_t_uint64_t_uint32_t_uint32_t_uint32_t_uint32_t_uint64__fromStack_reversed(headStart, value6, value5, value4, value3, value2, value1, value0) -> tail\n    {\n        tail := add(headStart, 224)\n        let _1 := 0xffffffff\n        mstore(headStart, and(value0, _1))\n        let _2 := 0xffffffffffffffff\n        mstore(add(headStart, 32), and(value1, _2))\n        mstore(add(headStart, 64), and(value2, _1))\n        mstore(add(headStart, 96), and(value3, _1))\n        mstore(add(headStart, 128), and(value4, _1))\n        mstore(add(headStart, 160), and(value5, _1))\n        mstore(add(headStart, 192), and(value6, _2))\n    }\n    function abi_encode_tuple_t_stringliteral_a90d35c8a2e1f06c1b8fa6b076b5547e898ed404fa741816122bac048d61a28b__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 15)\n        mstore(add(headStart, 64), \"Already enabled\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_58bd9b02744452e579cbcaaa2e52bf7bb52275d5c742c3628a839aadc767caa1__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 31)\n        mstore(add(headStart, 64), \"Manager address must not be 0x0\")\n        tail := add(headStart, 96)\n    }\n    function panic_error_0x32()\n    {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x32)\n        revert(0, 0x24)\n    }\n    function increment_t_uint256(value) -> ret\n    {\n        if eq(value, not(0)) { panic_error_0x11() }\n        ret := add(value, 1)\n    }\n    function abi_encode_tuple_t_uint32_t_address__to_t_uint32_t_address__fromStack_reversed(headStart, value1, value0) -> tail\n    {\n        tail := add(headStart, 64)\n        mstore(headStart, and(value0, 0xffffffff))\n        mstore(add(headStart, 32), and(value1, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function abi_encode_tuple_t_stringliteral_373319a1ba54d9373ada1dd04b457cb7cb7848b7111c12f27501ffd666ec5153__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 23)\n        mstore(add(headStart, 64), \"Guardian does not exist\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_733f1be7b933dfd6dc8533d35fa078c9d94e9cf7a89a7b2fa7dd3bb749e701c9__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 22)\n        mstore(add(headStart, 64), \"Redeemer is not banned\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_4ad108922536a0ec3ffaa5aba014bad53e3029e7dc06d079862b532f13d6ad28__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 11)\n        mstore(add(headStart, 64), \"Not enabled\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_89aeb76e24bd262c987bbcdf267313af12db2b675a48c95fa6cc8c9bbbd9763f__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 16)\n        mstore(add(headStart, 64), \"Already disabled\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_829cf79adf4f63cb2161ea2df5caf80971276406aabf51ef357ac5bd98a9bbaf__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 31)\n        mstore(add(headStart, 64), \"Watchtower lifetime not expired\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_3dcaad62b6c51ed66ea57cdf8ddbf7610eca830280c0fe933251c0e5cc9ff856__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 22)\n        mstore(add(headStart, 64), \"Caller is not guardian\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_e5d566bc56358a19e67c6a723021f677ad5ec9b39d1d89387459050979aa0529__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 33)\n        mstore(add(headStart, 64), \"Redemption request already vetoe\")\n        mstore(add(headStart, 96), \"d\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_packed_t_uint256_t_address__to_t_uint256_t_address__nonPadded_inplace_fromStack_reversed(pos, value1, value0) -> end\n    {\n        mstore(pos, value0)\n        mstore(add(pos, 32), and(shl(96, value1), not(0xffffffffffffffffffffffff)))\n        end := add(pos, 52)\n    }\n    function abi_encode_tuple_t_stringliteral_0abbc3443d6cff7634ebb39daf25c7cc23a3b5fce6692b878edfcc8e8735b482__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 25)\n        mstore(add(headStart, 64), \"Guardian already objected\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_0f1864f5c8165bde5b2ee691fa1841fad4e95f98c668f4c7db66bb3d47f264fa__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 36)\n        mstore(add(headStart, 64), \"Redemption veto delay period exp\")\n        mstore(add(headStart, 96), \"ired\")\n        tail := add(headStart, 128)\n    }\n    function increment_t_uint8(value) -> ret\n    {\n        let value_1 := and(value, 0xff)\n        if eq(value_1, 0xff) { panic_error_0x11() }\n        ret := add(value_1, 1)\n    }\n    function checked_div_t_uint64(x, y) -> r\n    {\n        let _1 := 0xffffffffffffffff\n        let y_1 := and(y, _1)\n        if iszero(y_1)\n        {\n            mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n            mstore(4, 0x12)\n            revert(0, 0x24)\n        }\n        r := div(and(x, _1), y_1)\n    }\n    function checked_sub_t_uint64(x, y) -> diff\n    {\n        let _1 := 0xffffffffffffffff\n        diff := sub(and(x, _1), and(y, _1))\n        if gt(diff, _1) { panic_error_0x11() }\n    }\n    function abi_encode_tuple_t_bytes20_t_bytes_calldata_ptr__to_t_bytes20_t_bytes_memory_ptr__fromStack_reversed(headStart, value2, value1, value0) -> tail\n    {\n        mstore(headStart, and(value0, not(0xffffffffffffffffffffffff)))\n        mstore(add(headStart, 32), 64)\n        mstore(add(headStart, 64), value2)\n        calldatacopy(add(headStart, 96), value1, value2)\n        mstore(add(add(headStart, value2), 96), 0)\n        tail := add(add(headStart, and(add(value2, 31), not(31))), 96)\n    }\n    function abi_encode_tuple_t_uint64__to_t_uint256__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffff))\n    }\n    function abi_encode_tuple_t_stringliteral_7a2a4e26842155ea933fe6eb6e3137eb5a296dcdf55721c552be7b4c3cc23759__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 46)\n        mstore(add(headStart, 64), \"Initializable: contract is alrea\")\n        mstore(add(headStart, 96), \"dy initialized\")\n        tail := add(headStart, 128)\n    }\n    function abi_decode_tuple_t_contract$_Bank_$24894t_contract$_IRelay_$32772t_contract$_IWalletRegistry_$5849t_contract$_ReimbursementPool_$8814_fromMemory(headStart, dataEnd) -> value0, value1, value2, value3\n    {\n        if slt(sub(dataEnd, headStart), 128) { revert(0, 0) }\n        let value := mload(headStart)\n        validator_revert_address(value)\n        value0 := value\n        let value_1 := mload(add(headStart, 32))\n        validator_revert_address(value_1)\n        value1 := value_1\n        let value_2 := mload(add(headStart, 64))\n        validator_revert_address(value_2)\n        value2 := value_2\n        let value_3 := mload(add(headStart, 96))\n        validator_revert_address(value_3)\n        value3 := value_3\n    }\n    function abi_encode_tuple_t_rational_1_by_1__to_t_uint8__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xff))\n    }\n    function abi_encode_tuple_t_stringliteral_245f15ff17f551913a7a18385165551503906a406f905ac1c2437281a7cd0cfe__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 38)\n        mstore(add(headStart, 64), \"Ownable: new owner is the zero a\")\n        mstore(add(headStart, 96), \"ddress\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_ab24db224787ce52905200d38571d5cf048dabb19da23f45b452a8d9bf6b65d0__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 35)\n        mstore(add(headStart, 64), \"No delay for given objections co\")\n        mstore(add(headStart, 96), \"unt\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_9924ebdf1add33d25d4ef888e16131f0a5687b0580a36c21b5c301a6c462effe__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 32)\n        mstore(add(headStart, 64), \"Ownable: caller is not the owner\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_a300d5e27b80f466acf1fc0259092cf10bb0c322cf20384c478ef8d873a7addb__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 23)\n        mstore(add(headStart, 64), \"Guardian already exists\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_d688db918bb9dd50354922faa108595679886fe9ff08046ad1ffe30aaea55f8b__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 43)\n        mstore(add(headStart, 64), \"Initializable: contract is not i\")\n        mstore(add(headStart, 96), \"nitializing\")\n        tail := add(headStart, 128)\n    }\n}",
+          "contents": "{\n    { }\n    function abi_encode_tuple_t_uint32__to_t_uint32__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffff))\n    }\n    function abi_encode_tuple_t_uint64__to_t_uint64__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffff))\n    }\n    function validator_revert_address(value)\n    {\n        if iszero(eq(value, and(value, 0xffffffffffffffffffffffffffffffffffffffff))) { revert(0, 0) }\n    }\n    function abi_decode_tuple_t_address(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_address(value)\n        value0 := value\n    }\n    function abi_encode_tuple_t_bool__to_t_bool__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, iszero(iszero(value0)))\n    }\n    function abi_decode_tuple_t_uint256(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        value0 := calldataload(headStart)\n    }\n    function validator_revert_uint32(value)\n    {\n        if iszero(eq(value, and(value, 0xffffffff))) { revert(0, 0) }\n    }\n    function validator_revert_uint64(value)\n    {\n        if iszero(eq(value, and(value, 0xffffffffffffffff))) { revert(0, 0) }\n    }\n    function abi_decode_tuple_t_uint32t_uint64t_uint32t_uint32t_uint32t_uint32t_uint64(headStart, dataEnd) -> value0, value1, value2, value3, value4, value5, value6\n    {\n        if slt(sub(dataEnd, headStart), 224) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_uint32(value)\n        value0 := value\n        let value_1 := calldataload(add(headStart, 32))\n        validator_revert_uint64(value_1)\n        value1 := value_1\n        let value_2 := calldataload(add(headStart, 64))\n        validator_revert_uint32(value_2)\n        value2 := value_2\n        let value_3 := calldataload(add(headStart, 96))\n        validator_revert_uint32(value_3)\n        value3 := value_3\n        let value_4 := calldataload(add(headStart, 128))\n        validator_revert_uint32(value_4)\n        value4 := value_4\n        let value_5 := calldataload(add(headStart, 160))\n        validator_revert_uint32(value_5)\n        value5 := value_5\n        let value_6 := calldataload(add(headStart, 192))\n        validator_revert_uint64(value_6)\n        value6 := value_6\n    }\n    function abi_decode_tuple_t_addresst_array$_t_address_$dyn_calldata_ptr(headStart, dataEnd) -> value0, value1, value2\n    {\n        if slt(sub(dataEnd, headStart), 64) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_address(value)\n        value0 := value\n        let offset := calldataload(add(headStart, 32))\n        let _1 := 0xffffffffffffffff\n        if gt(offset, _1) { revert(0, 0) }\n        let _2 := add(headStart, offset)\n        if iszero(slt(add(_2, 0x1f), dataEnd)) { revert(0, 0) }\n        let length := calldataload(_2)\n        if gt(length, _1) { revert(0, 0) }\n        if gt(add(add(_2, shl(5, length)), 32), dataEnd) { revert(0, 0) }\n        value1 := add(_2, 32)\n        value2 := length\n    }\n    function abi_encode_tuple_t_address__to_t_address__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function abi_decode_bytes20(offset) -> value\n    {\n        value := calldataload(offset)\n        if iszero(eq(value, and(value, not(0xffffffffffffffffffffffff)))) { revert(0, 0) }\n    }\n    function abi_decode_bytes_calldata(offset, end) -> arrayPos, length\n    {\n        if iszero(slt(add(offset, 0x1f), end)) { revert(0, 0) }\n        length := calldataload(offset)\n        if gt(length, 0xffffffffffffffff) { revert(0, 0) }\n        arrayPos := add(offset, 0x20)\n        if gt(add(add(offset, length), 0x20), end) { revert(0, 0) }\n    }\n    function abi_decode_tuple_t_bytes20t_bytes_calldata_ptrt_addresst_address(headStart, dataEnd) -> value0, value1, value2, value3, value4\n    {\n        if slt(sub(dataEnd, headStart), 128) { revert(0, 0) }\n        value0 := abi_decode_bytes20(headStart)\n        let offset := calldataload(add(headStart, 32))\n        if gt(offset, 0xffffffffffffffff) { revert(0, 0) }\n        let value1_1, value2_1 := abi_decode_bytes_calldata(add(headStart, offset), dataEnd)\n        value1 := value1_1\n        value2 := value2_1\n        let value := calldataload(add(headStart, 64))\n        validator_revert_address(value)\n        value3 := value\n        let value_1 := calldataload(add(headStart, 96))\n        validator_revert_address(value_1)\n        value4 := value_1\n    }\n    function abi_encode_tuple_t_contract$_Bank_$24867__to_t_address__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function abi_encode_tuple_t_uint8__to_t_uint8__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xff))\n    }\n    function abi_decode_tuple_t_bytes20t_bytes_calldata_ptr(headStart, dataEnd) -> value0, value1, value2\n    {\n        if slt(sub(dataEnd, headStart), 64) { revert(0, 0) }\n        value0 := abi_decode_bytes20(headStart)\n        let offset := calldataload(add(headStart, 32))\n        if gt(offset, 0xffffffffffffffff) { revert(0, 0) }\n        let value1_1, value2_1 := abi_decode_bytes_calldata(add(headStart, offset), dataEnd)\n        value1 := value1_1\n        value2 := value2_1\n    }\n    function abi_decode_tuple_t_contract$_Bridge_$27184(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_address(value)\n        value0 := value\n    }\n    function abi_encode_tuple_t_contract$_Bridge_$27184__to_t_address__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function abi_encode_tuple_t_address_t_uint64_t_uint32_t_uint8__to_t_address_t_uint64_t_uint32_t_uint8__fromStack_reversed(headStart, value3, value2, value1, value0) -> tail\n    {\n        tail := add(headStart, 128)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n        mstore(add(headStart, 32), and(value1, 0xffffffffffffffff))\n        mstore(add(headStart, 64), and(value2, 0xffffffff))\n        mstore(add(headStart, 96), and(value3, 0xff))\n    }\n    function abi_encode_tuple_t_uint256__to_t_uint256__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, value0)\n    }\n    function abi_decode_uint64_fromMemory(offset) -> value\n    {\n        value := mload(offset)\n        validator_revert_uint64(value)\n    }\n    function abi_decode_uint32_fromMemory(offset) -> value\n    {\n        value := mload(offset)\n        validator_revert_uint32(value)\n    }\n    function abi_decode_tuple_t_struct$_RedemptionRequest_$34236_memory_ptr_fromMemory(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 160) { revert(0, 0) }\n        let memPtr := mload(64)\n        let newFreePtr := add(memPtr, 160)\n        if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr))\n        {\n            mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n            mstore(4, 0x41)\n            revert(0, 0x24)\n        }\n        mstore(64, newFreePtr)\n        let value := mload(headStart)\n        validator_revert_address(value)\n        mstore(memPtr, value)\n        let value_1 := mload(add(headStart, 32))\n        validator_revert_uint64(value_1)\n        mstore(add(memPtr, 32), value_1)\n        mstore(add(memPtr, 64), abi_decode_uint64_fromMemory(add(headStart, 64)))\n        mstore(add(memPtr, 96), abi_decode_uint64_fromMemory(add(headStart, 96)))\n        mstore(add(memPtr, 128), abi_decode_uint32_fromMemory(add(headStart, 128)))\n        value0 := memPtr\n    }\n    function abi_encode_tuple_t_stringliteral_2d577e4512a7bb2d032a9af46ccb0287ef4433c136a47c34118d2f6afcb2634c__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 33)\n        mstore(add(headStart, 64), \"Redemption request does not exis\")\n        mstore(add(headStart, 96), \"t\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_3964bd109ceb535a619afa525465dd8c58ade930b7ce4a6dbf16100d11ccfee4__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 29)\n        mstore(add(headStart, 64), \"Redemption veto not finalized\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_03cdf77124c357afd77f67d53b929c2457aa011da5836a382f5a1dad73b3de81__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 26)\n        mstore(add(headStart, 64), \"Caller is not the redeemer\")\n        tail := add(headStart, 96)\n    }\n    function panic_error_0x11()\n    {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x11)\n        revert(0, 0x24)\n    }\n    function checked_add_t_uint32(x, y) -> sum\n    {\n        let _1 := 0xffffffff\n        sum := add(and(x, _1), and(y, _1))\n        if gt(sum, _1) { panic_error_0x11() }\n    }\n    function abi_encode_tuple_t_stringliteral_ae47557613f7b4e092d2e935e5777bba50ced9619f0e22126eaeba8afe648bb0__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 25)\n        mstore(add(headStart, 64), \"Freeze period not expired\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_4b4cc99522fdcee4d97d6d2d3cbabeb353d40433850bd46ba29c08dbfba843f9__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 20)\n        mstore(add(headStart, 64), \"No funds to withdraw\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_address_t_uint64__to_t_address_t_uint256__fromStack_reversed(headStart, value1, value0) -> tail\n    {\n        tail := add(headStart, 64)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n        mstore(add(headStart, 32), and(value1, 0xffffffffffffffff))\n    }\n    function abi_encode_tuple_t_stringliteral_e3b610ba2d5c357e4a6c8d1edb96679276744ffc20d5a78366a670cceca256c5__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 32)\n        mstore(add(headStart, 64), \"Caller is not watchtower manager\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_858a2f3be08b2dc4a2952ca47a80455cac5caedd15c3522fd1de945f2a0d0fc2__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 48)\n        mstore(add(headStart, 64), \"New lifetime must not be lesser \")\n        mstore(add(headStart, 96), \"than current one\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_cbf60e38484b9c0dd22f0461d76d015b1be3e5a1bb8238102b21f8dbef1f80cb__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 53)\n        mstore(add(headStart, 64), \"Redemption veto penalty fee must\")\n        mstore(add(headStart, 96), \" be in range [0%, 5%]\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_747cd32a1dedb82d463c6aae874ed5f42e419dba8be9d4e0a5f98e27f692640b__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 66)\n        mstore(add(headStart, 64), \"Redemption level-two delay must \")\n        mstore(add(headStart, 96), \"not be lesser than level-one del\")\n        mstore(add(headStart, 128), \"ay\")\n        tail := add(headStart, 160)\n    }\n    function abi_encode_tuple_t_stringliteral_3692450227e5828ad004560bba13706d0c2784934e777639b03a2994a41542c1__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 64)\n        mstore(add(headStart, 64), \"Redemption level-one delay must \")\n        mstore(add(headStart, 96), \"not be lesser than default delay\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_uint32_t_uint64_t_uint32_t_uint32_t_uint32_t_uint32_t_uint64__to_t_uint32_t_uint64_t_uint32_t_uint32_t_uint32_t_uint32_t_uint64__fromStack_reversed(headStart, value6, value5, value4, value3, value2, value1, value0) -> tail\n    {\n        tail := add(headStart, 224)\n        let _1 := 0xffffffff\n        mstore(headStart, and(value0, _1))\n        let _2 := 0xffffffffffffffff\n        mstore(add(headStart, 32), and(value1, _2))\n        mstore(add(headStart, 64), and(value2, _1))\n        mstore(add(headStart, 96), and(value3, _1))\n        mstore(add(headStart, 128), and(value4, _1))\n        mstore(add(headStart, 160), and(value5, _1))\n        mstore(add(headStart, 192), and(value6, _2))\n    }\n    function abi_encode_tuple_t_stringliteral_a90d35c8a2e1f06c1b8fa6b076b5547e898ed404fa741816122bac048d61a28b__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 15)\n        mstore(add(headStart, 64), \"Already enabled\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_58bd9b02744452e579cbcaaa2e52bf7bb52275d5c742c3628a839aadc767caa1__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 31)\n        mstore(add(headStart, 64), \"Manager address must not be 0x0\")\n        tail := add(headStart, 96)\n    }\n    function panic_error_0x32()\n    {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x32)\n        revert(0, 0x24)\n    }\n    function increment_t_uint256(value) -> ret\n    {\n        if eq(value, not(0)) { panic_error_0x11() }\n        ret := add(value, 1)\n    }\n    function abi_encode_tuple_t_uint32_t_address__to_t_uint32_t_address__fromStack_reversed(headStart, value1, value0) -> tail\n    {\n        tail := add(headStart, 64)\n        mstore(headStart, and(value0, 0xffffffff))\n        mstore(add(headStart, 32), and(value1, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function abi_encode_tuple_t_stringliteral_373319a1ba54d9373ada1dd04b457cb7cb7848b7111c12f27501ffd666ec5153__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 23)\n        mstore(add(headStart, 64), \"Guardian does not exist\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_733f1be7b933dfd6dc8533d35fa078c9d94e9cf7a89a7b2fa7dd3bb749e701c9__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 22)\n        mstore(add(headStart, 64), \"Redeemer is not banned\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_4ad108922536a0ec3ffaa5aba014bad53e3029e7dc06d079862b532f13d6ad28__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 11)\n        mstore(add(headStart, 64), \"Not enabled\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_89aeb76e24bd262c987bbcdf267313af12db2b675a48c95fa6cc8c9bbbd9763f__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 16)\n        mstore(add(headStart, 64), \"Already disabled\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_829cf79adf4f63cb2161ea2df5caf80971276406aabf51ef357ac5bd98a9bbaf__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 31)\n        mstore(add(headStart, 64), \"Watchtower lifetime not expired\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_3dcaad62b6c51ed66ea57cdf8ddbf7610eca830280c0fe933251c0e5cc9ff856__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 22)\n        mstore(add(headStart, 64), \"Caller is not guardian\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_e5d566bc56358a19e67c6a723021f677ad5ec9b39d1d89387459050979aa0529__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 33)\n        mstore(add(headStart, 64), \"Redemption request already vetoe\")\n        mstore(add(headStart, 96), \"d\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_packed_t_uint256_t_address__to_t_uint256_t_address__nonPadded_inplace_fromStack_reversed(pos, value1, value0) -> end\n    {\n        mstore(pos, value0)\n        mstore(add(pos, 32), and(shl(96, value1), not(0xffffffffffffffffffffffff)))\n        end := add(pos, 52)\n    }\n    function abi_encode_tuple_t_stringliteral_0abbc3443d6cff7634ebb39daf25c7cc23a3b5fce6692b878edfcc8e8735b482__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 25)\n        mstore(add(headStart, 64), \"Guardian already objected\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_0f1864f5c8165bde5b2ee691fa1841fad4e95f98c668f4c7db66bb3d47f264fa__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 36)\n        mstore(add(headStart, 64), \"Redemption veto delay period exp\")\n        mstore(add(headStart, 96), \"ired\")\n        tail := add(headStart, 128)\n    }\n    function increment_t_uint8(value) -> ret\n    {\n        let value_1 := and(value, 0xff)\n        if eq(value_1, 0xff) { panic_error_0x11() }\n        ret := add(value_1, 1)\n    }\n    function checked_div_t_uint64(x, y) -> r\n    {\n        let _1 := 0xffffffffffffffff\n        let y_1 := and(y, _1)\n        if iszero(y_1)\n        {\n            mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n            mstore(4, 0x12)\n            revert(0, 0x24)\n        }\n        r := div(and(x, _1), y_1)\n    }\n    function checked_sub_t_uint64(x, y) -> diff\n    {\n        let _1 := 0xffffffffffffffff\n        diff := sub(and(x, _1), and(y, _1))\n        if gt(diff, _1) { panic_error_0x11() }\n    }\n    function abi_encode_tuple_t_bytes20_t_bytes_calldata_ptr__to_t_bytes20_t_bytes_memory_ptr__fromStack_reversed(headStart, value2, value1, value0) -> tail\n    {\n        mstore(headStart, and(value0, not(0xffffffffffffffffffffffff)))\n        mstore(add(headStart, 32), 64)\n        mstore(add(headStart, 64), value2)\n        calldatacopy(add(headStart, 96), value1, value2)\n        mstore(add(add(headStart, value2), 96), 0)\n        tail := add(add(headStart, and(add(value2, 31), not(31))), 96)\n    }\n    function abi_encode_tuple_t_uint64__to_t_uint256__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffff))\n    }\n    function abi_encode_tuple_t_stringliteral_7a2a4e26842155ea933fe6eb6e3137eb5a296dcdf55721c552be7b4c3cc23759__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 46)\n        mstore(add(headStart, 64), \"Initializable: contract is alrea\")\n        mstore(add(headStart, 96), \"dy initialized\")\n        tail := add(headStart, 128)\n    }\n    function abi_decode_tuple_t_contract$_Bank_$24867t_contract$_IRelay_$32745t_contract$_IWalletRegistry_$5858t_contract$_ReimbursementPool_$8823_fromMemory(headStart, dataEnd) -> value0, value1, value2, value3\n    {\n        if slt(sub(dataEnd, headStart), 128) { revert(0, 0) }\n        let value := mload(headStart)\n        validator_revert_address(value)\n        value0 := value\n        let value_1 := mload(add(headStart, 32))\n        validator_revert_address(value_1)\n        value1 := value_1\n        let value_2 := mload(add(headStart, 64))\n        validator_revert_address(value_2)\n        value2 := value_2\n        let value_3 := mload(add(headStart, 96))\n        validator_revert_address(value_3)\n        value3 := value_3\n    }\n    function abi_encode_tuple_t_rational_1_by_1__to_t_uint8__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xff))\n    }\n    function abi_encode_tuple_t_stringliteral_245f15ff17f551913a7a18385165551503906a406f905ac1c2437281a7cd0cfe__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 38)\n        mstore(add(headStart, 64), \"Ownable: new owner is the zero a\")\n        mstore(add(headStart, 96), \"ddress\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_ab24db224787ce52905200d38571d5cf048dabb19da23f45b452a8d9bf6b65d0__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 35)\n        mstore(add(headStart, 64), \"No delay for given objections co\")\n        mstore(add(headStart, 96), \"unt\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_9924ebdf1add33d25d4ef888e16131f0a5687b0580a36c21b5c301a6c462effe__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 32)\n        mstore(add(headStart, 64), \"Ownable: caller is not the owner\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_a300d5e27b80f466acf1fc0259092cf10bb0c322cf20384c478ef8d873a7addb__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 23)\n        mstore(add(headStart, 64), \"Guardian already exists\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_d688db918bb9dd50354922faa108595679886fe9ff08046ad1ffe30aaea55f8b__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 43)\n        mstore(add(headStart, 64), \"Initializable: contract is not i\")\n        mstore(add(headStart, 96), \"nitializing\")\n        tail := add(headStart, 128)\n    }\n}",
           "id": 139,
           "language": "Yul",
           "name": "#utility.yul"
@@ -16172,7 +16172,7 @@
   "storageLayout": {
     "storage": [
       {
-        "astId": 11994,
+        "astId": 12003,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "_initialized",
         "offset": 0,
@@ -16180,7 +16180,7 @@
         "type": "t_uint8"
       },
       {
-        "astId": 11997,
+        "astId": 12006,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "_initializing",
         "offset": 1,
@@ -16188,7 +16188,7 @@
         "type": "t_bool"
       },
       {
-        "astId": 14084,
+        "astId": 14093,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "__gap",
         "offset": 0,
@@ -16196,7 +16196,7 @@
         "type": "t_array(t_uint256)50_storage"
       },
       {
-        "astId": 11866,
+        "astId": 11875,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "_owner",
         "offset": 0,
@@ -16204,7 +16204,7 @@
         "type": "t_address"
       },
       {
-        "astId": 11986,
+        "astId": 11995,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "__gap",
         "offset": 0,
@@ -16212,7 +16212,7 @@
         "type": "t_array(t_uint256)49_storage"
       },
       {
-        "astId": 35424,
+        "astId": 35397,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "isGuardian",
         "offset": 0,
@@ -16220,7 +16220,7 @@
         "type": "t_mapping(t_address,t_bool)"
       },
       {
-        "astId": 35429,
+        "astId": 35402,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "isBanned",
         "offset": 0,
@@ -16228,15 +16228,15 @@
         "type": "t_mapping(t_address,t_bool)"
       },
       {
-        "astId": 35435,
+        "astId": 35408,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "vetoProposals",
         "offset": 0,
         "slot": "103",
-        "type": "t_mapping(t_uint256,t_struct(VetoProposal)35415_storage)"
+        "type": "t_mapping(t_uint256,t_struct(VetoProposal)35388_storage)"
       },
       {
-        "astId": 35440,
+        "astId": 35413,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "objections",
         "offset": 0,
@@ -16244,15 +16244,15 @@
         "type": "t_mapping(t_uint256,t_bool)"
       },
       {
-        "astId": 35444,
+        "astId": 35417,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "bridge",
         "offset": 0,
         "slot": "105",
-        "type": "t_contract(Bridge)27211"
+        "type": "t_contract(Bridge)27184"
       },
       {
-        "astId": 35447,
+        "astId": 35420,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "watchtowerEnabledAt",
         "offset": 20,
@@ -16260,7 +16260,7 @@
         "type": "t_uint32"
       },
       {
-        "astId": 35450,
+        "astId": 35423,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "watchtowerLifetime",
         "offset": 24,
@@ -16268,7 +16268,7 @@
         "type": "t_uint32"
       },
       {
-        "astId": 35453,
+        "astId": 35426,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "watchtowerDisabledAt",
         "offset": 28,
@@ -16276,7 +16276,7 @@
         "type": "t_uint32"
       },
       {
-        "astId": 35456,
+        "astId": 35429,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "manager",
         "offset": 0,
@@ -16284,7 +16284,7 @@
         "type": "t_address"
       },
       {
-        "astId": 35459,
+        "astId": 35432,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "vetoPenaltyFeeDivisor",
         "offset": 20,
@@ -16292,7 +16292,7 @@
         "type": "t_uint64"
       },
       {
-        "astId": 35462,
+        "astId": 35435,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "vetoFreezePeriod",
         "offset": 28,
@@ -16300,15 +16300,15 @@
         "type": "t_uint32"
       },
       {
-        "astId": 35466,
+        "astId": 35439,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "bank",
         "offset": 0,
         "slot": "107",
-        "type": "t_contract(Bank)24894"
+        "type": "t_contract(Bank)24867"
       },
       {
-        "astId": 35469,
+        "astId": 35442,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "defaultDelay",
         "offset": 20,
@@ -16316,7 +16316,7 @@
         "type": "t_uint32"
       },
       {
-        "astId": 35472,
+        "astId": 35445,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "levelOneDelay",
         "offset": 24,
@@ -16324,7 +16324,7 @@
         "type": "t_uint32"
       },
       {
-        "astId": 35475,
+        "astId": 35448,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "levelTwoDelay",
         "offset": 28,
@@ -16332,7 +16332,7 @@
         "type": "t_uint32"
       },
       {
-        "astId": 35478,
+        "astId": 35451,
         "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
         "label": "waivedAmountLimit",
         "offset": 0,
@@ -16363,12 +16363,12 @@
         "label": "bool",
         "numberOfBytes": "1"
       },
-      "t_contract(Bank)24894": {
+      "t_contract(Bank)24867": {
         "encoding": "inplace",
         "label": "contract Bank",
         "numberOfBytes": "20"
       },
-      "t_contract(Bridge)27211": {
+      "t_contract(Bridge)27184": {
         "encoding": "inplace",
         "label": "contract Bridge",
         "numberOfBytes": "20"
@@ -16387,19 +16387,19 @@
         "numberOfBytes": "32",
         "value": "t_bool"
       },
-      "t_mapping(t_uint256,t_struct(VetoProposal)35415_storage)": {
+      "t_mapping(t_uint256,t_struct(VetoProposal)35388_storage)": {
         "encoding": "mapping",
         "key": "t_uint256",
         "label": "mapping(uint256 => struct RedemptionWatchtower.VetoProposal)",
         "numberOfBytes": "32",
-        "value": "t_struct(VetoProposal)35415_storage"
+        "value": "t_struct(VetoProposal)35388_storage"
       },
-      "t_struct(VetoProposal)35415_storage": {
+      "t_struct(VetoProposal)35388_storage": {
         "encoding": "inplace",
         "label": "struct RedemptionWatchtower.VetoProposal",
         "members": [
           {
-            "astId": 35408,
+            "astId": 35381,
             "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
             "label": "redeemer",
             "offset": 0,
@@ -16407,7 +16407,7 @@
             "type": "t_address"
           },
           {
-            "astId": 35410,
+            "astId": 35383,
             "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
             "label": "withdrawableAmount",
             "offset": 20,
@@ -16415,7 +16415,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 35412,
+            "astId": 35385,
             "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
             "label": "finalizedAt",
             "offset": 28,
@@ -16423,7 +16423,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 35414,
+            "astId": 35387,
             "contract": "contracts/bridge/RedemptionWatchtower.sol:RedemptionWatchtower",
             "label": "objectionsCount",
             "offset": 0,