Analysis Run

[codex:497705] OpenAI Codex v0.77.0 (research preview)
[codex:497705] --------
[codex:497705] workdir: /tmp/codex-multi-can112b8
[codex:497705] model: gpt-5.2-codex
[codex:497705] provider: openai
[codex:497705] approval: never
[codex:497705] sandbox: read-only
[codex:497705] reasoning effort: xhigh
[codex:497705] reasoning summaries: auto
[codex:497705] session id: 019b716c-742e-7092-85a7-f6d0192acb3d
[codex:497705] --------
[codex:497705] user
[codex:497705] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:497705] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:497705] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:497705] 
[codex:497705] Scope rules:
[codex:497705] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:497705] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:497705] 
[codex:497705] Output MUST be valid JSON matching the provided schema.
[codex:497705] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:497705] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:497705] 
[codex:497705] Output constraints (IMPORTANT):
[codex:497705] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:497705] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:497705] mcp startup: no servers
[codex:497705] 
[codex:497705] thinking
[codex:497705] **Preparing to review audit bundle**
[codex:497705] exec
[codex:497705] /bin/bash -lc ls in /tmp/codex-multi-can112b8 succeeded in 5ms:
[codex:497705] AUDIT_BUNDLE.txt
[codex:497705] codex-output-schema.json
[codex:497705] contracts
[codex:497705] exec
[codex:497705] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-can112b8 succeeded in 5ms:
[codex:497705] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:497705] 
[codex:497705] ================================================================================
[codex:497705] FILE: contracts/Contract.sol
[codex:497705] ================================================================================
[codex:497705] // SPDX-License-Identifier: GPL-3.0-or-later
[codex:497705] 
[codex:497705] /**
[codex:497705] 
[codex:497705] Author: CoFiX Core, https://cofix.io
[codex:497705] Commit hash: v0.9.5-1-g7141c43
[codex:497705] Repository: https://github.com/Computable-Finance/CoFiX
[codex:497705] Issues: https://github.com/Computable-Finance/CoFiX/issues
[codex:497705] 
[codex:497705] */
[codex:497705] 
[codex:497705] pragma solidity 0.6.12;
[codex:497705] 
[codex:497705] 
[codex:497705] // 
[codex:497705] 
[codex:497705] thinking
[codex:497705] **Requesting full file for audit**
[codex:497705] exec
[codex:497705] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-can112b8 succeeded in 5ms:
[codex:497705]         require(success, 'TransferHelper: ETH_TRANSFER_FAILED');
[codex:497705]     }
[codex:497705] }
[codex:497705] 
[codex:497705] // 
[codex:497705] /**
[codex:497705]  * @dev Standard math utilities missing in the Solidity language.
[codex:497705]  */
[codex:497705] library Math {
[codex:497705]     /**
[codex:497705]      * @dev Returns the largest of two numbers.
[codex:497705]      */
[codex:497705]     function max(uint256 a, uint256 b) internal pure returns (uint256) {
[codex:497705]         return a >= b ? a : b;
[codex:497705]     }
[codex:497705] 
[codex:497705]     /**
[codex:497705]      * @dev Returns the smallest of two numbers.
[codex:497705]      */
[codex:497705]     function min(uint256 a, uint256 b) internal pure returns (uint256) {
[codex:497705] 
[codex:497705] thinking
[codex:497705] **Reading full AUDIT_BUNDLE.txt**
[codex:497705] exec
[codex:497705] /bin/bash -lc "sed -n '400,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-can112b8 succeeded in 5ms:
[codex:497705]      *
[codex:497705]      * IMPORTANT: Beware that changing an allowance with this method brings the risk
[codex:497705]      * that someone may use both the old and the new allowance by unfortunate
[codex:497705]      * transaction ordering. One possible solution to mitigate this race
[codex:497705]      * condition is to first reduce the spender's allowance to 0 and set the
[codex:497705]      * desired value afterwards:
[codex:497705]      * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
[codex:497705]      *
[codex:497705]      * Emits an {Approval} event.
[codex:497705]      */
[codex:497705]     function approve(address spender, uint256 amount) external returns (bool);
[codex:497705] 
[codex:497705]     /**
[codex:497705]      * @dev Moves `amount` tokens from `sender` to `recipient` using the
[codex:497705]      * allowance mechanism. `amount` is then deducted from the caller's
[codex:497705]      * allowance.
[codex:497705]      *
[codex:497705]      * Returns a boolean value indicating whether the operation succeeded.
[codex:497705]      *
[codex:497705]      * Emits a {Transfer} event.
[codex:497705] 
[codex:497705] 
[codex:497705] thinking
[codex:497705] **Analyzing contract for vulnerabilities**
[codex:497705] 
[codex:497705] I'm carefully examining the single contract for common security issues like reentrancy, access control, and accounting logic. There’s a complex interplay of reward accounting with WETH balances and pending savings, plus reentrancy guards mostly work but exit() lacks them directly. I’m also considering subtle timing effects in reward updates, governance withdrawal limits, and possible reentrancy during ETH transfers, aiming to spot any risks in state or token handling. This is quite detailed!
[codex:497705] thinking
[codex:497705] **Examining reward accounting and edge cases**
[codex:497705] 
[codex:497705] I’m looking into the subtle timing and rounding behaviors in reward calculations, especially how accrued WETH deposits before staking get handled and how saved rewards versus pending savings are tracked. I’m checking potential risks from reentrancy via token hooks, governance permissions, and arithmetic rounding. The logic mostly ensures no lost funds though some dust could accumulate. I’m also double-checking staking for zero address and contract interactions during ETH transfers to find any overlooked edge cases.
[codex:497705] exec
[codex:497705] /bin/bash -lc 'tail -n 20 AUDIT_BUNDLE.txt' in /tmp/codex-multi-can112b8 succeeded in 7ms:
[codex:497705]             lastUpdateRewardsTokenBalance = IWETH(rewardsToken).balanceOf(address(this));
[codex:497705]         }
[codex:497705]         if (account != address(0)) {
[codex:497705]             rewards[account] = earned(account);
[codex:497705]             userRewardPerTokenPaid[account] = rewardPerTokenStored;
[codex:497705]         }
[codex:497705]         _;
[codex:497705]     }
[codex:497705] 
[codex:497705]     /* ========== EVENTS ========== */
[codex:497705] 
[codex:497705]     event RewardAdded(address sender, uint256 reward);
[codex:497705]     event Staked(address indexed user, uint256 amount);
[codex:497705]     event StakedForOther(address indexed user, address indexed other, uint256 amount);
[codex:497705]     event Withdrawn(address indexed user, uint256 amount);
[codex:497705]     event SavingWithdrawn(address indexed to, uint256 amount);
[codex:497705]     event EmergencyWithdraw(address indexed user, uint256 amount);
[codex:497705]     event RewardPaid(address indexed user, uint256 reward);
[codex:497705] }
[codex:497705] 
[codex:497705] 
[codex:497705] thinking
[codex:497705] **Composing output JSON schema**
[codex:497705] codex
[codex:497705] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the provided Solidity scope.","findings":[]}
[codex:497705] tokens used
[codex:497705] 14,766
[codex:497705] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the provided Solidity scope.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-30T22:43:48.166379+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities found in the provided Solidity scope.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities found in the provided Solidity scope.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x018e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0xa694fc3a
00000019: GT
0000001a: PUSH2 0x00d6
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xdf136d65
00000024: GT
00000025: PUSH2 0x007f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xf20ffed7
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf20ffed7
0000003a: EQ
0000003b: PUSH2 0x0436
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf56c7edc
00000045: EQ
00000046: PUSH2 0x0460
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfe72bd01
00000050: EQ
00000051: PUSH2 0x0499
00000054: JUMPI
00000055: PUSH2 0x0195
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xdf136d65
00000060: EQ
00000061: PUSH2 0x03f7
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xdfef9a36
0000006b: EQ
0000006c: PUSH2 0x040c
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xe9fad8ee
00000076: EQ
00000077: PUSH2 0x0421
0000007a: JUMPI
0000007b: PUSH2 0x0195
0000007e: JUMP
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0xcd3daf9d
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xcd3daf9d
00000091: EQ
00000092: PUSH2 0x03b8
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xd1af0c7d
0000009c: EQ
0000009d: PUSH2 0x03cd
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xdb2e21bc
000000a7: EQ
000000a8: PUSH2 0x03e2
000000ab: JUMPI
000000ac: PUSH2 0x0195
000000af: JUMP
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0xa694fc3a
000000b7: EQ
000000b8: PUSH2 0x0346
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0xab033ea9
000000c2: EQ
000000c3: PUSH2 0x0370
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0xb42f8fc3
000000cd: EQ
000000ce: PUSH2 0x03a3
000000d1: JUMPI
000000d2: PUSH2 0x0195
000000d5: JUMP
000000d6: JUMPDEST
000000d7: DUP1
000000d8: PUSH4 0x5aa6e675
000000dd: GT
000000de: PUSH2 0x0138
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x72f702f3
000000e8: GT
000000e9: PUSH2 0x0112
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x72f702f3
000000f3: EQ
000000f4: PUSH2 0x02e9
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x8b876347
000000fe: EQ
000000ff: PUSH2 0x02fe
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xa07e52a2
00000109: EQ
0000010a: PUSH2 0x0331
0000010d: JUMPI
0000010e: PUSH2 0x0195
00000111: JUMP
00000112: JUMPDEST
00000113: DUP1
00000114: PUSH4 0x5aa6e675
00000119: EQ
0000011a: PUSH2 0x0270
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x6a0b91a5
00000124: EQ
00000125: PUSH2 0x02a1
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x70a08231
0000012f: EQ
00000130: PUSH2 0x02b6
00000133: JUMPI
00000134: PUSH2 0x0195
00000137: JUMP
00000138: JUMPDEST
00000139: DUP1
0000013a: PUSH4 0x2e1a7d4d
0000013f: GT
00000140: PUSH2 0x0169
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x2e1a7d4d
0000014a: EQ
0000014b: PUSH2 0x0227
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x3d18b912
00000155: EQ
00000156: PUSH2 0x0253
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x41f894ff
00000160: EQ
00000161: PUSH2 0x0268
00000164: JUMPI
00000165: PUSH2 0x0195
00000168: JUMP
00000169: JUMPDEST
0000016a: DUP1
0000016b: PUSH3 0x8cc262
0000016f: EQ
00000170: PUSH2 0x019a
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0x0700037d
0000017a: EQ
0000017b: PUSH2 0x01df
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0x18160ddd
00000185: EQ
00000186: PUSH2 0x0212
00000189: JUMPI
0000018a: PUSH2 0x0195
0000018d: JUMP
0000018e: JUMPDEST
0000018f: CALLDATASIZE
00000190: PUSH2 0x0195
00000193: JUMPI
00000194: STOP
00000195: JUMPDEST
00000196: PUSH1 0x00
00000198: DUP1
00000199: REVERT
0000019a: JUMPDEST
0000019b: CALLVALUE
0000019c: DUP1
0000019d: ISZERO
0000019e: PUSH2 0x01a6
000001a1: JUMPI
000001a2: PUSH1 0x00
000001a4: DUP1
000001a5: REVERT
000001a6: JUMPDEST
000001a7: POP
000001a8: PUSH2 0x01cd
000001ab: PUSH1 0x04
000001ad: DUP1
000001ae: CALLDATASIZE
000001af: SUB
000001b0: PUSH1 0x20
000001b2: DUP2
000001b3: LT
000001b4: ISZERO
000001b5: PUSH2 0x01bd
000001b8: JUMPI
000001b9: PUSH1 0x00
000001bb: DUP1
000001bc: REVERT
000001bd: JUMPDEST
000001be: POP
000001bf: CALLDATALOAD
000001c0: PUSH1 0x01
000001c2: PUSH1 0x01
000001c4: PUSH1 0xa0
000001c6: SHL
000001c7: SUB
000001c8: AND
000001c9: PUSH2 0x04d2
000001cc: JUMP
000001cd: JUMPDEST
000001ce: PUSH1 0x40
000001d0: DUP1
000001d1: MLOAD
000001d2: SWAP2
000001d3: DUP3
000001d4: MSTORE
000001d5: MLOAD
000001d6: SWAP1
000001d7: DUP2
000001d8: SWAP1
000001d9: SUB
000001da: PUSH1 0x20
000001dc: ADD
000001dd: SWAP1
000001de: RETURN
000001df: JUMPDEST
000001e0: CALLVALUE
000001e1: DUP1
000001e2: ISZERO
000001e3: PUSH2 0x01eb
000001e6: JUMPI
000001e7: PUSH1 0x00
000001e9: DUP1
000001ea: REVERT
000001eb: JUMPDEST
000001ec: POP
000001ed: PUSH2 0x01cd
000001f0: PUSH1 0x04
000001f2: DUP1
000001f3: CALLDATASIZE
000001f4: SUB
000001f5: PUSH1 0x20
000001f7: DUP2
000001f8: LT
000001f9: ISZERO
000001fa: PUSH2 0x0202
000001fd: JUMPI
000001fe: PUSH1 0x00
00000200: DUP1
00000201: REVERT
00000202: JUMPDEST
00000203: POP
00000204: CALLDATALOAD
00000205: PUSH1 0x01
00000207: PUSH1 0x01
00000209: PUSH1 0xa0
0000020b: SHL
0000020c: SUB
0000020d: AND
0000020e: PUSH2 0x0550
00000211: JUMP
00000212: JUMPDEST
00000213: CALLVALUE
00000214: DUP1
00000215: ISZERO
00000216: PUSH2 0x021e
00000219: JUMPI
0000021a: PUSH1 0x00
0000021c: DUP1
0000021d: REVERT
0000021e: JUMPDEST
0000021f: POP
00000220: PUSH2 0x01cd
00000223: PUSH2 0x0562
00000226: JUMP
00000227: JUMPDEST
00000228: CALLVALUE
00000229: DUP1
0000022a: ISZERO
0000022b: PUSH2 0x0233
0000022e: JUMPI
0000022f: PUSH1 0x00
00000231: DUP1
00000232: REVERT
00000233: JUMPDEST
00000234: POP
00000235: PUSH2 0x0251
00000238: PUSH1 0x04
0000023a: DUP1
0000023b: CALLDATASIZE
0000023c: SUB
0000023d: PUSH1 0x20
0000023f: DUP2
00000240: LT
00000241: ISZERO
00000242: PUSH2 0x024a
00000245: JUMPI
00000246: PUSH1 0x00
00000248: DUP1
00000249: REVERT
0000024a: JUMPDEST
0000024b: POP
0000024c: CALLDATALOAD
0000024d: PUSH2 0x0569
00000250: JUMP
00000251: JUMPDEST
00000252: STOP
00000253: JUMPDEST
00000254: CALLVALUE
00000255: DUP1
00000256: ISZERO
00000257: PUSH2 0x025f
0000025a: JUMPI
0000025b: PUSH1 0x00
0000025d: DUP1
0000025e: REVERT
0000025f: JUMPDEST
00000260: POP
00000261: PUSH2 0x0251
00000264: PUSH2 0x0818
00000267: JUMP
00000268: JUMPDEST
00000269: PUSH2 0x0251
0000026c: PUSH2 0x0ad5
0000026f: JUMP
00000270: JUMPDEST
00000271: CALLVALUE
00000272: DUP1
00000273: ISZERO
00000274: PUSH2 0x027c
00000277: JUMPI
00000278: PUSH1 0x00
0000027a: DUP1
0000027b: REVERT
0000027c: JUMPDEST
0000027d: POP
0000027e: PUSH2 0x0285
00000281: PUSH2 0x0b4b
00000284: JUMP
00000285: JUMPDEST
00000286: PUSH1 0x40
00000288: DUP1
00000289: MLOAD
0000028a: PUSH1 0x01
0000028c: PUSH1 0x01
0000028e: PUSH1 0xa0
00000290: SHL
00000291: SUB
00000292: SWAP1
00000293: SWAP3
00000294: AND
00000295: DUP3
00000296: MSTORE
00000297: MLOAD
00000298: SWAP1
00000299: DUP2
0000029a: SWAP1
0000029b: SUB
0000029c: PUSH1 0x20
0000029e: ADD
0000029f: SWAP1
000002a0: RETURN
000002a1: JUMPDEST
000002a2: CALLVALUE
000002a3: DUP1
000002a4: ISZERO
000002a5: PUSH2 0x02ad
000002a8: JUMPI
000002a9: PUSH1 0x00
000002ab: DUP1
000002ac: REVERT
000002ad: JUMPDEST
000002ae: POP
000002af: PUSH2 0x01cd
000002b2: PUSH2 0x0b5a
000002b5: JUMP
000002b6: JUMPDEST
000002b7: CALLVALUE
000002b8: DUP1
000002b9: ISZERO
000002ba: PUSH2 0x02c2
000002bd: JUMPI
000002be: PUSH1 0x00
000002c0: DUP1
000002c1: REVERT
000002c2: JUMPDEST
000002c3: POP
000002c4: PUSH2 0x01cd
000002c7: PUSH1 0x04
000002c9: DUP1
000002ca: CALLDATASIZE
000002cb: SUB
000002cc: PUSH1 0x20
000002ce: DUP2
000002cf: LT
000002d0: ISZERO
000002d1: PUSH2 0x02d9
000002d4: JUMPI
000002d5: PUSH1 0x00
000002d7: DUP1
000002d8: REVERT
000002d9: JUMPDEST
000002da: POP
000002db: CALLDATALOAD
000002dc: PUSH1 0x01
000002de: PUSH1 0x01
000002e0: PUSH1 0xa0
000002e2: SHL
000002e3: SUB
000002e4: AND
000002e5: PUSH2 0x0b60
000002e8: JUMP
000002e9: JUMPDEST
000002ea: CALLVALUE
000002eb: DUP1
000002ec: ISZERO
000002ed: PUSH2 0x02f5
000002f0: JUMPI
000002f1: PUSH1 0x00
000002f3: DUP1
000002f4: REVERT
000002f5: JUMPDEST
000002f6: POP
000002f7: PUSH2 0x0285
000002fa: PUSH2 0x0b7b
000002fd: JUMP
000002fe: JUMPDEST
000002ff: CALLVALUE
00000300: DUP1
00000301: ISZERO
00000302: PUSH2 0x030a
00000305: JUMPI
00000306: PUSH1 0x00
00000308: DUP1
00000309: REVERT
0000030a: JUMPDEST
0000030b: POP
0000030c: PUSH2 0x01cd
0000030f: PUSH1 0x04
00000311: DUP1
00000312: CALLDATASIZE
00000313: SUB
00000314: PUSH1 0x20
00000316: DUP2
00000317: LT
00000318: ISZERO
00000319: PUSH2 0x0321
0000031c: JUMPI
0000031d: PUSH1 0x00
0000031f: DUP1
00000320: REVERT
00000321: JUMPDEST
00000322: POP
00000323: CALLDATALOAD
00000324: PUSH1 0x01
00000326: PUSH1 0x01
00000328: PUSH1 0xa0
0000032a: SHL
0000032b: SUB
0000032c: AND
0000032d: PUSH2 0x0b9f
00000330: JUMP
00000331: JUMPDEST
00000332: CALLVALUE
00000333: DUP1
00000334: ISZERO
00000335: PUSH2 0x033d
00000338: JUMPI
00000339: PUSH1 0x00
0000033b: DUP1
0000033c: REVERT
0000033d: JUMPDEST
0000033e: POP
0000033f: PUSH2 0x01cd
00000342: PUSH2 0x0bb1
00000345: JUMP
00000346: JUMPDEST
00000347: CALLVALUE
00000348: DUP1
00000349: ISZERO
0000034a: PUSH2 0x0352
0000034d: JUMPI
0000034e: PUSH1 0x00
00000350: DUP1
00000351: REVERT
00000352: JUMPDEST
00000353: POP
00000354: PUSH2 0x0251
00000357: PUSH1 0x04
00000359: DUP1
0000035a: CALLDATASIZE
0000035b: SUB
0000035c: PUSH1 0x20
0000035e: DUP2
0000035f: LT
00000360: ISZERO
00000361: PUSH2 0x0369
00000364: JUMPI
00000365: PUSH1 0x00
00000367: DUP1
00000368: REVERT
00000369: JUMPDEST
0000036a: POP
0000036b: CALLDATALOAD
0000036c: PUSH2 0x0c64
0000036f: JUMP
00000370: JUMPDEST
00000371: CALLVALUE
00000372: DUP1
00000373: ISZERO
00000374: PUSH2 0x037c
00000377: JUMPI
00000378: PUSH1 0x00
0000037a: DUP1
0000037b: REVERT
0000037c: JUMPDEST
0000037d: POP
0000037e: PUSH2 0x0251
00000381: PUSH1 0x04
00000383: DUP1
00000384: CALLDATASIZE
00000385: SUB
00000386: PUSH1 0x20
00000388: DUP2
00000389: LT
0000038a: ISZERO
0000038b: PUSH2 0x0393
0000038e: JUMPI
0000038f: PUSH1 0x00
00000391: DUP1
00000392: REVERT
00000393: JUMPDEST
00000394: POP
00000395: CALLDATALOAD
00000396: PUSH1 0x01
00000398: PUSH1 0x01
0000039a: PUSH1 0xa0
0000039c: SHL
0000039d: SUB
0000039e: AND
0000039f: PUSH2 0x0f0d
000003a2: JUMP
000003a3: JUMPDEST
000003a4: CALLVALUE
000003a5: DUP1
000003a6: ISZERO
000003a7: PUSH2 0x03af
000003aa: JUMPI
000003ab: PUSH1 0x00
000003ad: DUP1
000003ae: REVERT
000003af: JUMPDEST
000003b0: POP
000003b1: PUSH2 0x01cd
000003b4: PUSH2 0x0fa6
000003b7: JUMP
000003b8: JUMPDEST
000003b9: CALLVALUE
000003ba: DUP1
000003bb: ISZERO
000003bc: PUSH2 0x03c4
000003bf: JUMPI
000003c0: PUSH1 0x00
000003c2: DUP1
000003c3: REVERT
000003c4: JUMPDEST
000003c5: POP
000003c6: PUSH2 0x01cd
000003c9: PUSH2 0x0fac
000003cc: JUMP
000003cd: JUMPDEST
000003ce: CALLVALUE
000003cf: DUP1
000003d0: ISZERO
000003d1: PUSH2 0x03d9
000003d4: JUMPI
000003d5: PUSH1 0x00
000003d7: DUP1
000003d8: REVERT
000003d9: JUMPDEST
000003da: POP
000003db: PUSH2 0x0285
000003de: PUSH2 0x0ffe
000003e1: JUMP
000003e2: JUMPDEST
000003e3: CALLVALUE
000003e4: DUP1
000003e5: ISZERO
000003e6: PUSH2 0x03ee
000003e9: JUMPI
000003ea: PUSH1 0x00
000003ec: DUP1
000003ed: REVERT
000003ee: JUMPDEST
000003ef: POP
000003f0: PUSH2 0x0251
000003f3: PUSH2 0x1022
000003f6: JUMP
000003f7: JUMPDEST
000003f8: CALLVALUE
000003f9: DUP1
000003fa: ISZERO
000003fb: PUSH2 0x0403
000003fe: JUMPI
000003ff: PUSH1 0x00
00000401: DUP1
00000402: REVERT
00000403: JUMPDEST
00000404: POP
00000405: PUSH2 0x01cd
00000408: PUSH2 0x1177
0000040b: JUMP
0000040c: JUMPDEST
0000040d: CALLVALUE
0000040e: DUP1
0000040f: ISZERO
00000410: PUSH2 0x0418
00000413: JUMPI
00000414: PUSH1 0x00
00000416: DUP1
00000417: REVERT
00000418: JUMPDEST
00000419: POP
0000041a: PUSH2 0x01cd
0000041d: PUSH2 0x117d
00000420: JUMP
00000421: JUMPDEST
00000422: CALLVALUE
00000423: DUP1
00000424: ISZERO
00000425: PUSH2 0x042d
00000428: JUMPI
00000429: PUSH1 0x00
0000042b: DUP1
0000042c: REVERT
0000042d: JUMPDEST
0000042e: POP
0000042f: PUSH2 0x0251
00000432: PUSH2 0x1183
00000435: JUMP
00000436: JUMPDEST
00000437: CALLVALUE
00000438: DUP1
00000439: ISZERO
0000043a: PUSH2 0x0442
0000043d: JUMPI
0000043e: PUSH1 0x00
00000440: DUP1
00000441: REVERT
00000442: JUMPDEST
00000443: POP
00000444: PUSH2 0x0251
00000447: PUSH1 0x04
00000449: DUP1
0000044a: CALLDATASIZE
0000044b: SUB
0000044c: PUSH1 0x20
0000044e: DUP2
0000044f: LT
00000450: ISZERO
00000451: PUSH2 0x0459
00000454: JUMPI
00000455: PUSH1 0x00
00000457: DUP1
00000458: REVERT
00000459: JUMPDEST
0000045a: POP
0000045b: CALLDATALOAD
0000045c: PUSH2 0x11a6
0000045f: JUMP
00000460: JUMPDEST
00000461: CALLVALUE
00000462: DUP1
00000463: ISZERO
00000464: PUSH2 0x046c
00000467: JUMPI
00000468: PUSH1 0x00
0000046a: DUP1
0000046b: REVERT
0000046c: JUMPDEST
0000046d: POP
0000046e: PUSH2 0x0251
00000471: PUSH1 0x04
00000473: DUP1
00000474: CALLDATASIZE
00000475: SUB
00000476: PUSH1 0x40
00000478: DUP2
00000479: LT
0000047a: ISZERO
0000047b: PUSH2 0x0483
0000047e: JUMPI
0000047f: PUSH1 0x00
00000481: DUP1
00000482: REVERT
00000483: JUMPDEST
00000484: POP
00000485: PUSH1 0x01
00000487: PUSH1 0x01
00000489: PUSH1 0xa0
0000048b: SHL
0000048c: SUB
0000048d: DUP2
0000048e: CALLDATALOAD
0000048f: AND
00000490: SWAP1
00000491: PUSH1 0x20
00000493: ADD
00000494: CALLDATALOAD
00000495: PUSH2 0x124a
00000498: JUMP
00000499: JUMPDEST
0000049a: CALLVALUE
0000049b: DUP1
0000049c: ISZERO
0000049d: PUSH2 0x04a5
000004a0: JUMPI
000004a1: PUSH1 0x00
000004a3: DUP1
000004a4: REVERT
000004a5: JUMPDEST
000004a6: POP
000004a7: PUSH2 0x0251
000004aa: PUSH1 0x04
000004ac: DUP1
000004ad: CALLDATASIZE
000004ae: SUB
000004af: PUSH1 0x40
000004b1: DUP2
000004b2: LT
000004b3: ISZERO
000004b4: PUSH2 0x04bc
000004b7: JUMPI
000004b8: PUSH1 0x00
000004ba: DUP1
000004bb: REVERT
000004bc: JUMPDEST
000004bd: POP
000004be: PUSH1 0x01
000004c0: PUSH1 0x01
000004c2: PUSH1 0xa0
000004c4: SHL
000004c5: SUB
000004c6: DUP2
000004c7: CALLDATALOAD
000004c8: AND
000004c9: SWAP1
000004ca: PUSH1 0x20
000004cc: ADD
000004cd: CALLDATALOAD
000004ce: PUSH2 0x14af
000004d1: JUMP
000004d2: JUMPDEST
000004d3: PUSH1 0x01
000004d5: PUSH1 0x01
000004d7: PUSH1 0xa0
000004d9: SHL
000004da: SUB
000004db: DUP2
000004dc: AND
000004dd: PUSH1 0x00
000004df: SWAP1
000004e0: DUP2
000004e1: MSTORE
000004e2: PUSH1 0x07
000004e4: PUSH1 0x20
000004e6: SWAP1
000004e7: DUP2
000004e8: MSTORE
000004e9: PUSH1 0x40
000004eb: DUP1
000004ec: DUP4
000004ed: KECCAK256
000004ee: SLOAD
000004ef: PUSH1 0x06
000004f1: SWAP1
000004f2: SWAP3
000004f3: MSTORE
000004f4: DUP3
000004f5: KECCAK256
000004f6: SLOAD
000004f7: PUSH2 0x054a
000004fa: SWAP2
000004fb: SWAP1
000004fc: PUSH2 0x0544
000004ff: SWAP1
00000500: PUSH8 0x0de0b6b3a7640000
00000509: SWAP1
0000050a: PUSH2 0x053e
0000050d: SWAP1
0000050e: PUSH2 0x051f
00000511: SWAP1
00000512: PUSH2 0x0519
00000515: PUSH2 0x0fac
00000518: JUMP
00000519: JUMPDEST
0000051a: SWAP1
0000051b: PUSH2 0x1771
0000051e: JUMP
0000051f: JUMPDEST
00000520: PUSH1 0x01
00000522: PUSH1 0x01
00000524: PUSH1 0xa0
00000526: SHL
00000527: SUB
00000528: DUP9
00000529: AND
0000052a: PUSH1 0x00
0000052c: SWAP1
0000052d: DUP2
0000052e: MSTORE
0000052f: PUSH1 0x09
00000531: PUSH1 0x20
00000533: MSTORE
00000534: PUSH1 0x40
00000536: SWAP1
00000537: KECCAK256
00000538: SLOAD
00000539: SWAP1
0000053a: PUSH2 0x17ba
0000053d: JUMP
0000053e: JUMPDEST
0000053f: SWAP1
00000540: PUSH2 0x1813
00000543: JUMP
00000544: JUMPDEST
00000545: SWAP1
00000546: PUSH2 0x1855
00000549: JUMP
0000054a: JUMPDEST
0000054b: SWAP3
0000054c: SWAP2
0000054d: POP
0000054e: POP
0000054f: JUMP
00000550: JUMPDEST
00000551: PUSH1 0x07
00000553: PUSH1 0x20
00000555: MSTORE
00000556: PUSH1 0x00
00000558: SWAP1
00000559: DUP2
0000055a: MSTORE
0000055b: PUSH1 0x40
0000055d: SWAP1
0000055e: KECCAK256
0000055f: SLOAD
00000560: DUP2
00000561: JUMP
00000562: JUMPDEST
00000563: PUSH1 0x08
00000565: SLOAD
00000566: JUMPDEST
00000567: SWAP1
00000568: JUMP
00000569: JUMPDEST
0000056a: PUSH1 0x02
0000056c: PUSH1 0x00
0000056e: SLOAD
0000056f: EQ
00000570: ISZERO
00000571: PUSH2 0x05c1
00000574: JUMPI
00000575: PUSH1 0x40
00000577: DUP1
00000578: MLOAD
00000579: PUSH3 0x461bcd
0000057d: PUSH1 0xe5
0000057f: SHL
00000580: DUP2
00000581: MSTORE
00000582: PUSH1 0x20
00000584: PUSH1 0x04
00000586: DUP3
00000587: ADD
00000588: MSTORE
00000589: PUSH1 0x1f
0000058b: PUSH1 0x24
0000058d: DUP3
0000058e: ADD
0000058f: MSTORE
00000590: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000005b1: PUSH1 0x44
000005b3: DUP3
000005b4: ADD
000005b5: MSTORE
000005b6: SWAP1
000005b7: MLOAD
000005b8: SWAP1
000005b9: DUP2
000005ba: SWAP1
000005bb: SUB
000005bc: PUSH1 0x64
000005be: ADD
000005bf: SWAP1
000005c0: REVERT
000005c1: JUMPDEST
000005c2: PUSH1 0x02
000005c4: PUSH1 0x00
000005c6: SWAP1
000005c7: DUP2
000005c8: SSTORE
000005c9: CALLER
000005ca: SWAP1
000005cb: DUP1
000005cc: PUSH2 0x05d3
000005cf: PUSH2 0x18af
000005d2: JUMP
000005d3: JUMPDEST
000005d4: PUSH1 0x05
000005d6: DUP3
000005d7: SWAP1
000005d8: SSTORE
000005d9: SWAP1
000005da: SWAP3
000005db: POP
000005dc: SWAP1
000005dd: POP
000005de: DUP1
000005df: ISZERO
000005e0: PUSH2 0x061e
000005e3: JUMPI
000005e4: PUSH1 0x00
000005e6: PUSH2 0x0609
000005e9: PUSH2 0x0602
000005ec: PUSH1 0x64
000005ee: PUSH2 0x053e
000005f1: PUSH1 0x02
000005f3: SLOAD
000005f4: DUP7
000005f5: PUSH2 0x17ba
000005f8: SWAP1
000005f9: SWAP2
000005fa: SWAP1
000005fb: PUSH4 0xffffffff
00000600: AND
00000601: JUMP
00000602: JUMPDEST
00000603: DUP4
00000604: SWAP1
00000605: PUSH2 0x1771
00000608: JUMP
00000609: JUMPDEST
0000060a: PUSH1 0x03
0000060c: SLOAD
0000060d: SWAP1
0000060e: SWAP2
0000060f: POP
00000610: PUSH2 0x0619
00000613: SWAP1
00000614: DUP3
00000615: PUSH2 0x1855
00000618: JUMP
00000619: JUMPDEST
0000061a: PUSH1 0x03
0000061c: SSTORE
0000061d: POP
0000061e: JUMPDEST
0000061f: PUSH1 0x08
00000621: SLOAD
00000622: ISZERO
00000623: PUSH2 0x06d5
00000626: JUMPI
00000627: PUSH1 0x40
00000629: DUP1
0000062a: MLOAD
0000062b: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
0000064c: DUP2
0000064d: MSTORE
0000064e: ADDRESS
0000064f: PUSH1 0x04
00000651: DUP3
00000652: ADD
00000653: MSTORE
00000654: SWAP1
00000655: MLOAD
00000656: PUSH1 0x01
00000658: PUSH1 0x01
0000065a: PUSH1 0xa0
0000065c: SHL
0000065d: SUB
0000065e: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
0000067f: AND
00000680: SWAP2
00000681: PUSH4 0x70a08231
00000686: SWAP2
00000687: PUSH1 0x24
00000689: DUP1
0000068a: DUP4
0000068b: ADD
0000068c: SWAP3
0000068d: PUSH1 0x20
0000068f: SWAP3
00000690: SWAP2
00000691: SWAP1
00000692: DUP3
00000693: SWAP1
00000694: SUB
00000695: ADD
00000696: DUP2
00000697: DUP7
00000698: DUP1
00000699: EXTCODESIZE
0000069a: ISZERO
0000069b: DUP1
0000069c: ISZERO
0000069d: PUSH2 0x06a5
000006a0: JUMPI
000006a1: PUSH1 0x00
000006a3: DUP1
000006a4: REVERT
000006a5: JUMPDEST
000006a6: POP
000006a7: GAS
000006a8: STATICCALL
000006a9: ISZERO
000006aa: DUP1
000006ab: ISZERO
000006ac: PUSH2 0x06b9
000006af: JUMPI
000006b0: RETURNDATASIZE
000006b1: PUSH1 0x00
000006b3: DUP1
000006b4: RETURNDATACOPY
000006b5: RETURNDATASIZE
000006b6: PUSH1 0x00
000006b8: REVERT
000006b9: JUMPDEST
000006ba: POP
000006bb: POP
000006bc: POP
000006bd: POP
000006be: PUSH1 0x40
000006c0: MLOAD
000006c1: RETURNDATASIZE
000006c2: PUSH1 0x20
000006c4: DUP2
000006c5: LT
000006c6: ISZERO
000006c7: PUSH2 0x06cf
000006ca: JUMPI
000006cb: PUSH1 0x00
000006cd: DUP1
000006ce: REVERT
000006cf: JUMPDEST
000006d0: POP
000006d1: MLOAD
000006d2: PUSH1 0x04
000006d4: SSTORE
000006d5: JUMPDEST
000006d6: PUSH1 0x01
000006d8: PUSH1 0x01
000006da: PUSH1 0xa0
000006dc: SHL
000006dd: SUB
000006de: DUP4
000006df: AND
000006e0: ISZERO
000006e1: PUSH2 0x0719
000006e4: JUMPI
000006e5: PUSH2 0x06ed
000006e8: DUP4
000006e9: PUSH2 0x04d2
000006ec: JUMP
000006ed: JUMPDEST
000006ee: PUSH1 0x01
000006f0: PUSH1 0x01
000006f2: PUSH1 0xa0
000006f4: SHL
000006f5: SUB
000006f6: DUP5
000006f7: AND
000006f8: PUSH1 0x00
000006fa: SWAP1
000006fb: DUP2
000006fc: MSTORE
000006fd: PUSH1 0x07
000006ff: PUSH1 0x20
00000701: SWAP1
00000702: DUP2
00000703: MSTORE
00000704: PUSH1 0x40
00000706: DUP1
00000707: DUP4
00000708: KECCAK256
00000709: SWAP4
0000070a: SWAP1
0000070b: SWAP4
0000070c: SSTORE
0000070d: PUSH1 0x05
0000070f: SLOAD
00000710: PUSH1 0x06
00000712: SWAP1
00000713: SWAP2
00000714: MSTORE
00000715: SWAP2
00000716: SWAP1
00000717: KECCAK256
00000718: SSTORE
00000719: JUMPDEST
0000071a: PUSH1 0x00
0000071c: DUP5
0000071d: GT
0000071e: PUSH2 0x076e
00000721: JUMPI
00000722: PUSH1 0x40
00000724: DUP1
00000725: MLOAD
00000726: PUSH3 0x461bcd
0000072a: PUSH1 0xe5
0000072c: SHL
0000072d: DUP2
0000072e: MSTORE
0000072f: PUSH1 0x20
00000731: PUSH1 0x04
00000733: DUP3
00000734: ADD
00000735: MSTORE
00000736: PUSH1 0x11
00000738: PUSH1 0x24
0000073a: DUP3
0000073b: ADD
0000073c: MSTORE
0000073d: PUSH32 0x43616e6e6f742077697468647261772030000000000000000000000000000000
0000075e: PUSH1 0x44
00000760: DUP3
00000761: ADD
00000762: MSTORE
00000763: SWAP1
00000764: MLOAD
00000765: SWAP1
00000766: DUP2
00000767: SWAP1
00000768: SUB
00000769: PUSH1 0x64
0000076b: ADD
0000076c: SWAP1
0000076d: REVERT
0000076e: JUMPDEST
0000076f: PUSH1 0x08
00000771: SLOAD
00000772: PUSH2 0x077b
00000775: SWAP1
00000776: DUP6
00000777: PUSH2 0x1771
0000077a: JUMP
0000077b: JUMPDEST
0000077c: PUSH1 0x08
0000077e: SSTORE
0000077f: CALLER
00000780: PUSH1 0x00
00000782: SWAP1
00000783: DUP2
00000784: MSTORE
00000785: PUSH1 0x09
00000787: PUSH1 0x20
00000789: MSTORE
0000078a: PUSH1 0x40
0000078c: SWAP1
0000078d: KECCAK256
0000078e: SLOAD
0000078f: PUSH2 0x0798
00000792: SWAP1
00000793: DUP6
00000794: PUSH2 0x1771
00000797: JUMP
00000798: JUMPDEST
00000799: CALLER
0000079a: PUSH1 0x00
0000079c: DUP2
0000079d: DUP2
0000079e: MSTORE
0000079f: PUSH1 0x09
000007a1: PUSH1 0x20
000007a3: MSTORE
000007a4: PUSH1 0x40
000007a6: SWAP1
000007a7: KECCAK256
000007a8: SWAP2
000007a9: SWAP1
000007aa: SWAP2
000007ab: SSTORE
000007ac: PUSH2 0x07d7
000007af: SWAP1
000007b0: PUSH32 0x0000000000000000000000001a23a6bfbadb59fa563008c0fb7cf96dfcf34ea1
000007d1: SWAP1
000007d2: DUP7
000007d3: PUSH2 0x1911
000007d6: JUMP
000007d7: JUMPDEST
000007d8: PUSH1 0x40
000007da: DUP1
000007db: MLOAD
000007dc: DUP6
000007dd: DUP2
000007de: MSTORE
000007df: SWAP1
000007e0: MLOAD
000007e1: CALLER
000007e2: SWAP2
000007e3: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5
00000804: SWAP2
00000805: SWAP1
00000806: DUP2
00000807: SWAP1
00000808: SUB
00000809: PUSH1 0x20
0000080b: ADD
0000080c: SWAP1
0000080d: LOG2
0000080e: POP
0000080f: POP
00000810: PUSH1 0x01
00000812: PUSH1 0x00
00000814: SSTORE
00000815: POP
00000816: POP
00000817: JUMP
00000818: JUMPDEST
00000819: PUSH1 0x02
0000081b: PUSH1 0x00
0000081d: SLOAD
0000081e: EQ
0000081f: ISZERO
00000820: PUSH2 0x0870
00000823: JUMPI
00000824: PUSH1 0x40
00000826: DUP1
00000827: MLOAD
00000828: PUSH3 0x461bcd
0000082c: PUSH1 0xe5
0000082e: SHL
0000082f: DUP2
00000830: MSTORE
00000831: PUSH1 0x20
00000833: PUSH1 0x04
00000835: DUP3
00000836: ADD
00000837: MSTORE
00000838: PUSH1 0x1f
0000083a: PUSH1 0x24
0000083c: DUP3
0000083d: ADD
0000083e: MSTORE
0000083f: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000860: PUSH1 0x44
00000862: DUP3
00000863: ADD
00000864: MSTORE
00000865: SWAP1
00000866: MLOAD
00000867: SWAP1
00000868: DUP2
00000869: SWAP1
0000086a: SUB
0000086b: PUSH1 0x64
0000086d: ADD
0000086e: SWAP1
0000086f: REVERT
00000870: JUMPDEST
00000871: PUSH1 0x02
00000873: PUSH1 0x00
00000875: SWAP1
00000876: DUP2
00000877: SSTORE
00000878: CALLER
00000879: SWAP1
0000087a: DUP1
0000087b: PUSH2 0x0882
0000087e: PUSH2 0x18af
00000881: JUMP
00000882: JUMPDEST
00000883: PUSH1 0x05
00000885: DUP3
00000886: SWAP1
00000887: SSTORE
00000888: SWAP1
00000889: SWAP3
0000088a: POP
0000088b: SWAP1
0000088c: POP
0000088d: DUP1
0000088e: ISZERO
0000088f: PUSH2 0x08c6
00000892: JUMPI
00000893: PUSH1 0x00
00000895: PUSH2 0x08b1
00000898: PUSH2 0x0602
0000089b: PUSH1 0x64
0000089d: PUSH2 0x053e
000008a0: PUSH1 0x02
000008a2: SLOAD
000008a3: DUP7
000008a4: PUSH2 0x17ba
000008a7: SWAP1
000008a8: SWAP2
000008a9: SWAP1
000008aa: PUSH4 0xffffffff
000008af: AND
000008b0: JUMP
000008b1: JUMPDEST
000008b2: PUSH1 0x03
000008b4: SLOAD
000008b5: SWAP1
000008b6: SWAP2
000008b7: POP
000008b8: PUSH2 0x08c1
000008bb: SWAP1
000008bc: DUP3
000008bd: PUSH2 0x1855
000008c0: JUMP
000008c1: JUMPDEST
000008c2: PUSH1 0x03
000008c4: SSTORE
000008c5: POP
000008c6: JUMPDEST
000008c7: PUSH1 0x08
000008c9: SLOAD
000008ca: ISZERO
000008cb: PUSH2 0x097d
000008ce: JUMPI
000008cf: PUSH1 0x40
000008d1: DUP1
000008d2: MLOAD
000008d3: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
000008f4: DUP2
000008f5: MSTORE
000008f6: ADDRESS
000008f7: PUSH1 0x04
000008f9: DUP3
000008fa: ADD
000008fb: MSTORE
000008fc: SWAP1
000008fd: MLOAD
000008fe: PUSH1 0x01
00000900: PUSH1 0x01
00000902: PUSH1 0xa0
00000904: SHL
00000905: SUB
00000906: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000927: AND
00000928: SWAP2
00000929: PUSH4 0x70a08231
0000092e: SWAP2
0000092f: PUSH1 0x24
00000931: DUP1
00000932: DUP4
00000933: ADD
00000934: SWAP3
00000935: PUSH1 0x20
00000937: SWAP3
00000938: SWAP2
00000939: SWAP1
0000093a: DUP3
0000093b: SWAP1
0000093c: SUB
0000093d: ADD
0000093e: DUP2
0000093f: DUP7
00000940: DUP1
00000941: EXTCODESIZE
00000942: ISZERO
00000943: DUP1
00000944: ISZERO
00000945: PUSH2 0x094d
00000948: JUMPI
00000949: PUSH1 0x00
0000094b: DUP1
0000094c: REVERT
0000094d: JUMPDEST
0000094e: POP
0000094f: GAS
00000950: STATICCALL
00000951: ISZERO
00000952: DUP1
00000953: ISZERO
00000954: PUSH2 0x0961
00000957: JUMPI
00000958: RETURNDATASIZE
00000959: PUSH1 0x00
0000095b: DUP1
0000095c: RETURNDATACOPY
0000095d: RETURNDATASIZE
0000095e: PUSH1 0x00
00000960: REVERT
00000961: JUMPDEST
00000962: POP
00000963: POP
00000964: POP
00000965: POP
00000966: PUSH1 0x40
00000968: MLOAD
00000969: RETURNDATASIZE
0000096a: PUSH1 0x20
0000096c: DUP2
0000096d: LT
0000096e: ISZERO
0000096f: PUSH2 0x0977
00000972: JUMPI
00000973: PUSH1 0x00
00000975: DUP1
00000976: REVERT
00000977: JUMPDEST
00000978: POP
00000979: MLOAD
0000097a: PUSH1 0x04
0000097c: SSTORE
0000097d: JUMPDEST
0000097e: PUSH1 0x01
00000980: PUSH1 0x01
00000982: PUSH1 0xa0
00000984: SHL
00000985: SUB
00000986: DUP4
00000987: AND
00000988: ISZERO
00000989: PUSH2 0x09c1
0000098c: JUMPI
0000098d: PUSH2 0x0995
00000990: DUP4
00000991: PUSH2 0x04d2
00000994: JUMP
00000995: JUMPDEST
00000996: PUSH1 0x01
00000998: PUSH1 0x01
0000099a: PUSH1 0xa0
0000099c: SHL
0000099d: SUB
0000099e: DUP5
0000099f: AND
000009a0: PUSH1 0x00
000009a2: SWAP1
000009a3: DUP2
000009a4: MSTORE
000009a5: PUSH1 0x07
000009a7: PUSH1 0x20
000009a9: SWAP1
000009aa: DUP2
000009ab: MSTORE
000009ac: PUSH1 0x40
000009ae: DUP1
000009af: DUP4
000009b0: KECCAK256
000009b1: SWAP4
000009b2: SWAP1
000009b3: SWAP4
000009b4: SSTORE
000009b5: PUSH1 0x05
000009b7: SLOAD
000009b8: PUSH1 0x06
000009ba: SWAP1
000009bb: SWAP2
000009bc: MSTORE
000009bd: SWAP2
000009be: SWAP1
000009bf: KECCAK256
000009c0: SSTORE
000009c1: JUMPDEST
000009c2: CALLER
000009c3: PUSH1 0x00
000009c5: SWAP1
000009c6: DUP2
000009c7: MSTORE
000009c8: PUSH1 0x07
000009ca: PUSH1 0x20
000009cc: MSTORE
000009cd: PUSH1 0x40
000009cf: SWAP1
000009d0: KECCAK256
000009d1: SLOAD
000009d2: DUP1
000009d3: ISZERO
000009d4: PUSH2 0x0aca
000009d7: JUMPI
000009d8: CALLER
000009d9: PUSH1 0x00
000009db: DUP2
000009dc: DUP2
000009dd: MSTORE
000009de: PUSH1 0x07
000009e0: PUSH1 0x20
000009e2: MSTORE
000009e3: PUSH1 0x40
000009e5: DUP2
000009e6: KECCAK256
000009e7: DUP2
000009e8: SWAP1
000009e9: SSTORE
000009ea: SWAP1
000009eb: PUSH2 0x09f4
000009ee: SWAP1
000009ef: DUP4
000009f0: PUSH2 0x1ac0
000009f3: JUMP
000009f4: JUMPDEST
000009f5: SWAP1
000009f6: POP
000009f7: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000a18: PUSH1 0x01
00000a1a: PUSH1 0x01
00000a1c: PUSH1 0xa0
00000a1e: SHL
00000a1f: SUB
00000a20: AND
00000a21: PUSH4 0x70a08231
00000a26: ADDRESS
00000a27: PUSH1 0x40
00000a29: MLOAD
00000a2a: DUP3
00000a2b: PUSH4 0xffffffff
00000a30: AND
00000a31: PUSH1 0xe0
00000a33: SHL
00000a34: DUP2
00000a35: MSTORE
00000a36: PUSH1 0x04
00000a38: ADD
00000a39: DUP1
00000a3a: DUP3
00000a3b: PUSH1 0x01
00000a3d: PUSH1 0x01
00000a3f: PUSH1 0xa0
00000a41: SHL
00000a42: SUB
00000a43: AND
00000a44: DUP2
00000a45: MSTORE
00000a46: PUSH1 0x20
00000a48: ADD
00000a49: SWAP2
00000a4a: POP
00000a4b: POP
00000a4c: PUSH1 0x20
00000a4e: PUSH1 0x40
00000a50: MLOAD
00000a51: DUP1
00000a52: DUP4
00000a53: SUB
00000a54: DUP2
00000a55: DUP7
00000a56: DUP1
00000a57: EXTCODESIZE
00000a58: ISZERO
00000a59: DUP1
00000a5a: ISZERO
00000a5b: PUSH2 0x0a63
00000a5e: JUMPI
00000a5f: PUSH1 0x00
00000a61: DUP1
00000a62: REVERT
00000a63: JUMPDEST
00000a64: POP
00000a65: GAS
00000a66: STATICCALL
00000a67: ISZERO
00000a68: DUP1
00000a69: ISZERO
00000a6a: PUSH2 0x0a77
00000a6d: JUMPI
00000a6e: RETURNDATASIZE
00000a6f: PUSH1 0x00
00000a71: DUP1
00000a72: RETURNDATACOPY
00000a73: RETURNDATASIZE
00000a74: PUSH1 0x00
00000a76: REVERT
00000a77: JUMPDEST
00000a78: POP
00000a79: POP
00000a7a: POP
00000a7b: POP
00000a7c: PUSH1 0x40
00000a7e: MLOAD
00000a7f: RETURNDATASIZE
00000a80: PUSH1 0x20
00000a82: DUP2
00000a83: LT
00000a84: ISZERO
00000a85: PUSH2 0x0a8d
00000a88: JUMPI
00000a89: PUSH1 0x00
00000a8b: DUP1
00000a8c: REVERT
00000a8d: JUMPDEST
00000a8e: POP
00000a8f: MLOAD
00000a90: PUSH1 0x04
00000a92: SSTORE
00000a93: PUSH1 0x40
00000a95: DUP1
00000a96: MLOAD
00000a97: DUP3
00000a98: DUP2
00000a99: MSTORE
00000a9a: SWAP1
00000a9b: MLOAD
00000a9c: CALLER
00000a9d: SWAP2
00000a9e: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486
00000abf: SWAP2
00000ac0: SWAP1
00000ac1: DUP2
00000ac2: SWAP1
00000ac3: SUB
00000ac4: PUSH1 0x20
00000ac6: ADD
00000ac7: SWAP1
00000ac8: LOG2
00000ac9: POP
00000aca: JUMPDEST
00000acb: POP
00000acc: POP
00000acd: PUSH1 0x01
00000acf: PUSH1 0x00
00000ad1: SSTORE
00000ad2: POP
00000ad3: POP
00000ad4: JUMP
00000ad5: JUMPDEST
00000ad6: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000af7: PUSH1 0x01
00000af9: PUSH1 0x01
00000afb: PUSH1 0xa0
00000afd: SHL
00000afe: SUB
00000aff: AND
00000b00: PUSH4 0xd0e30db0
00000b05: CALLVALUE
00000b06: PUSH1 0x40
00000b08: MLOAD
00000b09: DUP3
00000b0a: PUSH4 0xffffffff
00000b0f: AND
00000b10: PUSH1 0xe0
00000b12: SHL
00000b13: DUP2
00000b14: MSTORE
00000b15: PUSH1 0x04
00000b17: ADD
00000b18: PUSH1 0x00
00000b1a: PUSH1 0x40
00000b1c: MLOAD
00000b1d: DUP1
00000b1e: DUP4
00000b1f: SUB
00000b20: DUP2
00000b21: DUP6
00000b22: DUP9
00000b23: DUP1
00000b24: EXTCODESIZE
00000b25: ISZERO
00000b26: DUP1
00000b27: ISZERO
00000b28: PUSH2 0x0b30
00000b2b: JUMPI
00000b2c: PUSH1 0x00
00000b2e: DUP1
00000b2f: REVERT
00000b30: JUMPDEST
00000b31: POP
00000b32: GAS
00000b33: CALL
00000b34: ISZERO
00000b35: DUP1
00000b36: ISZERO
00000b37: PUSH2 0x0b44
00000b3a: JUMPI
00000b3b: RETURNDATASIZE
00000b3c: PUSH1 0x00
00000b3e: DUP1
00000b3f: RETURNDATACOPY
00000b40: RETURNDATASIZE
00000b41: PUSH1 0x00
00000b43: REVERT
00000b44: JUMPDEST
00000b45: POP
00000b46: POP
00000b47: POP
00000b48: POP
00000b49: POP
00000b4a: JUMP
00000b4b: JUMPDEST
00000b4c: PUSH1 0x01
00000b4e: SLOAD
00000b4f: PUSH1 0x01
00000b51: PUSH1 0x01
00000b53: PUSH1 0xa0
00000b55: SHL
00000b56: SUB
00000b57: AND
00000b58: DUP2
00000b59: JUMP
00000b5a: JUMPDEST
00000b5b: PUSH1 0x04
00000b5d: SLOAD
00000b5e: DUP2
00000b5f: JUMP
00000b60: JUMPDEST
00000b61: PUSH1 0x01
00000b63: PUSH1 0x01
00000b65: PUSH1 0xa0
00000b67: SHL
00000b68: SUB
00000b69: AND
00000b6a: PUSH1 0x00
00000b6c: SWAP1
00000b6d: DUP2
00000b6e: MSTORE
00000b6f: PUSH1 0x09
00000b71: PUSH1 0x20
00000b73: MSTORE
00000b74: PUSH1 0x40
00000b76: SWAP1
00000b77: KECCAK256
00000b78: SLOAD
00000b79: SWAP1
00000b7a: JUMP
00000b7b: JUMPDEST
00000b7c: PUSH32 0x0000000000000000000000001a23a6bfbadb59fa563008c0fb7cf96dfcf34ea1
00000b9d: DUP2
00000b9e: JUMP
00000b9f: JUMPDEST
00000ba0: PUSH1 0x06
00000ba2: PUSH1 0x20
00000ba4: MSTORE
00000ba5: PUSH1 0x00
00000ba7: SWAP1
00000ba8: DUP2
00000ba9: MSTORE
00000baa: PUSH1 0x40
00000bac: SWAP1
00000bad: KECCAK256
00000bae: SLOAD
00000baf: DUP2
00000bb0: JUMP
00000bb1: JUMPDEST
00000bb2: PUSH1 0x00
00000bb4: DUP1
00000bb5: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000bd6: PUSH1 0x01
00000bd8: PUSH1 0x01
00000bda: PUSH1 0xa0
00000bdc: SHL
00000bdd: SUB
00000bde: AND
00000bdf: PUSH4 0x70a08231
00000be4: ADDRESS
00000be5: PUSH1 0x40
00000be7: MLOAD
00000be8: DUP3
00000be9: PUSH4 0xffffffff
00000bee: AND
00000bef: PUSH1 0xe0
00000bf1: SHL
00000bf2: DUP2
00000bf3: MSTORE
00000bf4: PUSH1 0x04
00000bf6: ADD
00000bf7: DUP1
00000bf8: DUP3
00000bf9: PUSH1 0x01
00000bfb: PUSH1 0x01
00000bfd: PUSH1 0xa0
00000bff: SHL
00000c00: SUB
00000c01: AND
00000c02: DUP2
00000c03: MSTORE
00000c04: PUSH1 0x20
00000c06: ADD
00000c07: SWAP2
00000c08: POP
00000c09: POP
00000c0a: PUSH1 0x20
00000c0c: PUSH1 0x40
00000c0e: MLOAD
00000c0f: DUP1
00000c10: DUP4
00000c11: SUB
00000c12: DUP2
00000c13: DUP7
00000c14: DUP1
00000c15: EXTCODESIZE
00000c16: ISZERO
00000c17: DUP1
00000c18: ISZERO
00000c19: PUSH2 0x0c21
00000c1c: JUMPI
00000c1d: PUSH1 0x00
00000c1f: DUP1
00000c20: REVERT
00000c21: JUMPDEST
00000c22: POP
00000c23: GAS
00000c24: STATICCALL
00000c25: ISZERO
00000c26: DUP1
00000c27: ISZERO
00000c28: PUSH2 0x0c35
00000c2b: JUMPI
00000c2c: RETURNDATASIZE
00000c2d: PUSH1 0x00
00000c2f: DUP1
00000c30: RETURNDATACOPY
00000c31: RETURNDATASIZE
00000c32: PUSH1 0x00
00000c34: REVERT
00000c35: JUMPDEST
00000c36: POP
00000c37: POP
00000c38: POP
00000c39: POP
00000c3a: PUSH1 0x40
00000c3c: MLOAD
00000c3d: RETURNDATASIZE
00000c3e: PUSH1 0x20
00000c40: DUP2
00000c41: LT
00000c42: ISZERO
00000c43: PUSH2 0x0c4b
00000c46: JUMPI
00000c47: PUSH1 0x00
00000c49: DUP1
00000c4a: REVERT
00000c4b: JUMPDEST
00000c4c: POP
00000c4d: MLOAD
00000c4e: PUSH1 0x04
00000c50: SLOAD
00000c51: SWAP1
00000c52: SWAP2
00000c53: POP
00000c54: PUSH2 0x0c5e
00000c57: SWAP1
00000c58: DUP3
00000c59: SWAP1
00000c5a: PUSH2 0x1771
00000c5d: JUMP
00000c5e: JUMPDEST
00000c5f: SWAP2
00000c60: POP
00000c61: POP
00000c62: SWAP1
00000c63: JUMP
00000c64: JUMPDEST
00000c65: PUSH1 0x02
00000c67: PUSH1 0x00
00000c69: SLOAD
00000c6a: EQ
00000c6b: ISZERO
00000c6c: PUSH2 0x0cbc
00000c6f: JUMPI
00000c70: PUSH1 0x40
00000c72: DUP1
00000c73: MLOAD
00000c74: PUSH3 0x461bcd
00000c78: PUSH1 0xe5
00000c7a: SHL
00000c7b: DUP2
00000c7c: MSTORE
00000c7d: PUSH1 0x20
00000c7f: PUSH1 0x04
00000c81: DUP3
00000c82: ADD
00000c83: MSTORE
00000c84: PUSH1 0x1f
00000c86: PUSH1 0x24
00000c88: DUP3
00000c89: ADD
00000c8a: MSTORE
00000c8b: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000cac: PUSH1 0x44
00000cae: DUP3
00000caf: ADD
00000cb0: MSTORE
00000cb1: SWAP1
00000cb2: MLOAD
00000cb3: SWAP1
00000cb4: DUP2
00000cb5: SWAP1
00000cb6: SUB
00000cb7: PUSH1 0x64
00000cb9: ADD
00000cba: SWAP1
00000cbb: REVERT
00000cbc: JUMPDEST
00000cbd: PUSH1 0x02
00000cbf: PUSH1 0x00
00000cc1: SWAP1
00000cc2: DUP2
00000cc3: SSTORE
00000cc4: CALLER
00000cc5: SWAP1
00000cc6: DUP1
00000cc7: PUSH2 0x0cce
00000cca: PUSH2 0x18af
00000ccd: JUMP
00000cce: JUMPDEST
00000ccf: PUSH1 0x05
00000cd1: DUP3
00000cd2: SWAP1
00000cd3: SSTORE
00000cd4: SWAP1
00000cd5: SWAP3
00000cd6: POP
00000cd7: SWAP1
00000cd8: POP
00000cd9: DUP1
00000cda: ISZERO
00000cdb: PUSH2 0x0d12
00000cde: JUMPI
00000cdf: PUSH1 0x00
00000ce1: PUSH2 0x0cfd
00000ce4: PUSH2 0x0602
00000ce7: PUSH1 0x64
00000ce9: PUSH2 0x053e
00000cec: PUSH1 0x02
00000cee: SLOAD
00000cef: DUP7
00000cf0: PUSH2 0x17ba
00000cf3: SWAP1
00000cf4: SWAP2
00000cf5: SWAP1
00000cf6: PUSH4 0xffffffff
00000cfb: AND
00000cfc: JUMP
00000cfd: JUMPDEST
00000cfe: PUSH1 0x03
00000d00: SLOAD
00000d01: SWAP1
00000d02: SWAP2
00000d03: POP
00000d04: PUSH2 0x0d0d
00000d07: SWAP1
00000d08: DUP3
00000d09: PUSH2 0x1855
00000d0c: JUMP
00000d0d: JUMPDEST
00000d0e: PUSH1 0x03
00000d10: SSTORE
00000d11: POP
00000d12: JUMPDEST
00000d13: PUSH1 0x08
00000d15: SLOAD
00000d16: ISZERO
00000d17: PUSH2 0x0dc9
00000d1a: JUMPI
00000d1b: PUSH1 0x40
00000d1d: DUP1
00000d1e: MLOAD
00000d1f: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000d40: DUP2
00000d41: MSTORE
00000d42: ADDRESS
00000d43: PUSH1 0x04
00000d45: DUP3
00000d46: ADD
00000d47: MSTORE
00000d48: SWAP1
00000d49: MLOAD
00000d4a: PUSH1 0x01
00000d4c: PUSH1 0x01
00000d4e: PUSH1 0xa0
00000d50: SHL
00000d51: SUB
00000d52: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000d73: AND
00000d74: SWAP2
00000d75: PUSH4 0x70a08231
00000d7a: SWAP2
00000d7b: PUSH1 0x24
00000d7d: DUP1
00000d7e: DUP4
00000d7f: ADD
00000d80: SWAP3
00000d81: PUSH1 0x20
00000d83: SWAP3
00000d84: SWAP2
00000d85: SWAP1
00000d86: DUP3
00000d87: SWAP1
00000d88: SUB
00000d89: ADD
00000d8a: DUP2
00000d8b: DUP7
00000d8c: DUP1
00000d8d: EXTCODESIZE
00000d8e: ISZERO
00000d8f: DUP1
00000d90: ISZERO
00000d91: PUSH2 0x0d99
00000d94: JUMPI
00000d95: PUSH1 0x00
00000d97: DUP1
00000d98: REVERT
00000d99: JUMPDEST
00000d9a: POP
00000d9b: GAS
00000d9c: STATICCALL
00000d9d: ISZERO
00000d9e: DUP1
00000d9f: ISZERO
00000da0: PUSH2 0x0dad
00000da3: JUMPI
00000da4: RETURNDATASIZE
00000da5: PUSH1 0x00
00000da7: DUP1
00000da8: RETURNDATACOPY
00000da9: RETURNDATASIZE
00000daa: PUSH1 0x00
00000dac: REVERT
00000dad: JUMPDEST
00000dae: POP
00000daf: POP
00000db0: POP
00000db1: POP
00000db2: PUSH1 0x40
00000db4: MLOAD
00000db5: RETURNDATASIZE
00000db6: PUSH1 0x20
00000db8: DUP2
00000db9: LT
00000dba: ISZERO
00000dbb: PUSH2 0x0dc3
00000dbe: JUMPI
00000dbf: PUSH1 0x00
00000dc1: DUP1
00000dc2: REVERT
00000dc3: JUMPDEST
00000dc4: POP
00000dc5: MLOAD
00000dc6: PUSH1 0x04
00000dc8: SSTORE
00000dc9: JUMPDEST
00000dca: PUSH1 0x01
00000dcc: PUSH1 0x01
00000dce: PUSH1 0xa0
00000dd0: SHL
00000dd1: SUB
00000dd2: DUP4
00000dd3: AND
00000dd4: ISZERO
00000dd5: PUSH2 0x0e0d
00000dd8: JUMPI
00000dd9: PUSH2 0x0de1
00000ddc: DUP4
00000ddd: PUSH2 0x04d2
00000de0: JUMP
00000de1: JUMPDEST
00000de2: PUSH1 0x01
00000de4: PUSH1 0x01
00000de6: PUSH1 0xa0
00000de8: SHL
00000de9: SUB
00000dea: DUP5
00000deb: AND
00000dec: PUSH1 0x00
00000dee: SWAP1
00000def: DUP2
00000df0: MSTORE
00000df1: PUSH1 0x07
00000df3: PUSH1 0x20
00000df5: SWAP1
00000df6: DUP2
00000df7: MSTORE
00000df8: PUSH1 0x40
00000dfa: DUP1
00000dfb: DUP4
00000dfc: KECCAK256
00000dfd: SWAP4
00000dfe: SWAP1
00000dff: SWAP4
00000e00: SSTORE
00000e01: PUSH1 0x05
00000e03: SLOAD
00000e04: PUSH1 0x06
00000e06: SWAP1
00000e07: SWAP2
00000e08: MSTORE
00000e09: SWAP2
00000e0a: SWAP1
00000e0b: KECCAK256
00000e0c: SSTORE
00000e0d: JUMPDEST
00000e0e: PUSH1 0x00
00000e10: DUP5
00000e11: GT
00000e12: PUSH2 0x0e62
00000e15: JUMPI
00000e16: PUSH1 0x40
00000e18: DUP1
00000e19: MLOAD
00000e1a: PUSH3 0x461bcd
00000e1e: PUSH1 0xe5
00000e20: SHL
00000e21: DUP2
00000e22: MSTORE
00000e23: PUSH1 0x20
00000e25: PUSH1 0x04
00000e27: DUP3
00000e28: ADD
00000e29: MSTORE
00000e2a: PUSH1 0x0e
00000e2c: PUSH1 0x24
00000e2e: DUP3
00000e2f: ADD
00000e30: MSTORE
00000e31: PUSH32 0x43616e6e6f74207374616b652030000000000000000000000000000000000000
00000e52: PUSH1 0x44
00000e54: DUP3
00000e55: ADD
00000e56: MSTORE
00000e57: SWAP1
00000e58: MLOAD
00000e59: SWAP1
00000e5a: DUP2
00000e5b: SWAP1
00000e5c: SUB
00000e5d: PUSH1 0x64
00000e5f: ADD
00000e60: SWAP1
00000e61: REVERT
00000e62: JUMPDEST
00000e63: PUSH1 0x08
00000e65: SLOAD
00000e66: PUSH2 0x0e6f
00000e69: SWAP1
00000e6a: DUP6
00000e6b: PUSH2 0x1855
00000e6e: JUMP
00000e6f: JUMPDEST
00000e70: PUSH1 0x08
00000e72: SSTORE
00000e73: CALLER
00000e74: PUSH1 0x00
00000e76: SWAP1
00000e77: DUP2
00000e78: MSTORE
00000e79: PUSH1 0x09
00000e7b: PUSH1 0x20
00000e7d: MSTORE
00000e7e: PUSH1 0x40
00000e80: SWAP1
00000e81: KECCAK256
00000e82: SLOAD
00000e83: PUSH2 0x0e8c
00000e86: SWAP1
00000e87: DUP6
00000e88: PUSH2 0x1855
00000e8b: JUMP
00000e8c: JUMPDEST
00000e8d: CALLER
00000e8e: PUSH1 0x00
00000e90: DUP2
00000e91: DUP2
00000e92: MSTORE
00000e93: PUSH1 0x09
00000e95: PUSH1 0x20
00000e97: MSTORE
00000e98: PUSH1 0x40
00000e9a: SWAP1
00000e9b: KECCAK256
00000e9c: SWAP2
00000e9d: SWAP1
00000e9e: SWAP2
00000e9f: SSTORE
00000ea0: PUSH2 0x0ecc
00000ea3: SWAP1
00000ea4: PUSH32 0x0000000000000000000000001a23a6bfbadb59fa563008c0fb7cf96dfcf34ea1
00000ec5: SWAP1
00000ec6: ADDRESS
00000ec7: DUP8
00000ec8: PUSH2 0x1bfa
00000ecb: JUMP
00000ecc: JUMPDEST
00000ecd: PUSH1 0x40
00000ecf: DUP1
00000ed0: MLOAD
00000ed1: DUP6
00000ed2: DUP2
00000ed3: MSTORE
00000ed4: SWAP1
00000ed5: MLOAD
00000ed6: CALLER
00000ed7: SWAP2
00000ed8: PUSH32 0x9e71bc8eea02a63969f509818f2dafb9254532904319f9dbda79b67bd34a5f3d
00000ef9: SWAP2
00000efa: SWAP1
00000efb: DUP2
00000efc: SWAP1
00000efd: SUB
00000efe: PUSH1 0x20
00000f00: ADD
00000f01: SWAP1
00000f02: LOG2
00000f03: POP
00000f04: POP
00000f05: PUSH1 0x01
00000f07: PUSH1 0x00
00000f09: SSTORE
00000f0a: POP
00000f0b: POP
00000f0c: JUMP
00000f0d: JUMPDEST
00000f0e: PUSH1 0x01
00000f10: SLOAD
00000f11: PUSH1 0x01
00000f13: PUSH1 0x01
00000f15: PUSH1 0xa0
00000f17: SHL
00000f18: SUB
00000f19: AND
00000f1a: CALLER
00000f1b: EQ
00000f1c: PUSH2 0x0f6c
00000f1f: JUMPI
00000f20: PUSH1 0x40
00000f22: DUP1
00000f23: MLOAD
00000f24: PUSH3 0x461bcd
00000f28: PUSH1 0xe5
00000f2a: SHL
00000f2b: DUP2
00000f2c: MSTORE
00000f2d: PUSH1 0x20
00000f2f: PUSH1 0x04
00000f31: DUP3
00000f32: ADD
00000f33: MSTORE
00000f34: PUSH1 0x18
00000f36: PUSH1 0x24
00000f38: DUP3
00000f39: ADD
00000f3a: MSTORE
00000f3b: PUSH32 0x436f46695374616b696e673a2021676f7665726e616e63650000000000000000
00000f5c: PUSH1 0x44
00000f5e: DUP3
00000f5f: ADD
00000f60: MSTORE
00000f61: SWAP1
00000f62: MLOAD
00000f63: SWAP1
00000f64: DUP2
00000f65: SWAP1
00000f66: SUB
00000f67: PUSH1 0x64
00000f69: ADD
00000f6a: SWAP1
00000f6b: REVERT
00000f6c: JUMPDEST
00000f6d: PUSH1 0x01
00000f6f: DUP1
00000f70: SLOAD
00000f71: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000f92: AND
00000f93: PUSH1 0x01
00000f95: PUSH1 0x01
00000f97: PUSH1 0xa0
00000f99: SHL
00000f9a: SUB
00000f9b: SWAP3
00000f9c: SWAP1
00000f9d: SWAP3
00000f9e: AND
00000f9f: SWAP2
00000fa0: SWAP1
00000fa1: SWAP2
00000fa2: OR
00000fa3: SWAP1
00000fa4: SSTORE
00000fa5: JUMP
00000fa6: JUMPDEST
00000fa7: PUSH1 0x02
00000fa9: SLOAD
00000faa: DUP2
00000fab: JUMP
00000fac: JUMPDEST
00000fad: PUSH1 0x00
00000faf: PUSH1 0x08
00000fb1: SLOAD
00000fb2: PUSH1 0x00
00000fb4: EQ
00000fb5: ISZERO
00000fb6: PUSH2 0x0fc2
00000fb9: JUMPI
00000fba: POP
00000fbb: PUSH1 0x05
00000fbd: SLOAD
00000fbe: PUSH2 0x0566
00000fc1: JUMP
00000fc2: JUMPDEST
00000fc3: PUSH2 0x0ff9
00000fc6: PUSH2 0x0ff0
00000fc9: PUSH1 0x64
00000fcb: PUSH2 0x053e
00000fce: PUSH1 0x08
00000fd0: SLOAD
00000fd1: PUSH2 0x053e
00000fd4: PUSH1 0x02
00000fd6: SLOAD
00000fd7: PUSH2 0x0fea
00000fda: PUSH8 0x0de0b6b3a7640000
00000fe3: PUSH2 0x0fea
00000fe6: PUSH2 0x0bb1
00000fe9: JUMP
00000fea: JUMPDEST
00000feb: SWAP1
00000fec: PUSH2 0x17ba
00000fef: JUMP
00000ff0: JUMPDEST
00000ff1: PUSH1 0x05
00000ff3: SLOAD
00000ff4: SWAP1
00000ff5: PUSH2 0x1855
00000ff8: JUMP
00000ff9: JUMPDEST
00000ffa: SWAP1
00000ffb: POP
00000ffc: SWAP1
00000ffd: JUMP
00000ffe: JUMPDEST
00000fff: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001020: DUP2
00001021: JUMP
00001022: JUMPDEST
00001023: PUSH1 0x02
00001025: PUSH1 0x00
00001027: SLOAD
00001028: EQ
00001029: ISZERO
0000102a: PUSH2 0x107a
0000102d: JUMPI
0000102e: PUSH1 0x40
00001030: DUP1
00001031: MLOAD
00001032: PUSH3 0x461bcd
00001036: PUSH1 0xe5
00001038: SHL
00001039: DUP2
0000103a: MSTORE
0000103b: PUSH1 0x20
0000103d: PUSH1 0x04
0000103f: DUP3
00001040: ADD
00001041: MSTORE
00001042: PUSH1 0x1f
00001044: PUSH1 0x24
00001046: DUP3
00001047: ADD
00001048: MSTORE
00001049: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
0000106a: PUSH1 0x44
0000106c: DUP3
0000106d: ADD
0000106e: MSTORE
0000106f: SWAP1
00001070: MLOAD
00001071: SWAP1
00001072: DUP2
00001073: SWAP1
00001074: SUB
00001075: PUSH1 0x64
00001077: ADD
00001078: SWAP1
00001079: REVERT
0000107a: JUMPDEST
0000107b: PUSH1 0x02
0000107d: PUSH1 0x00
0000107f: SWAP1
00001080: DUP2
00001081: SSTORE
00001082: CALLER
00001083: DUP2
00001084: MSTORE
00001085: PUSH1 0x09
00001087: PUSH1 0x20
00001089: MSTORE
0000108a: PUSH1 0x40
0000108c: SWAP1
0000108d: KECCAK256
0000108e: SLOAD
0000108f: DUP1
00001090: PUSH2 0x10e0
00001093: JUMPI
00001094: PUSH1 0x40
00001096: DUP1
00001097: MLOAD
00001098: PUSH3 0x461bcd
0000109c: PUSH1 0xe5
0000109e: SHL
0000109f: DUP2
000010a0: MSTORE
000010a1: PUSH1 0x20
000010a3: PUSH1 0x04
000010a5: DUP3
000010a6: ADD
000010a7: MSTORE
000010a8: PUSH1 0x11
000010aa: PUSH1 0x24
000010ac: DUP3
000010ad: ADD
000010ae: MSTORE
000010af: PUSH32 0x43616e6e6f742077697468647261772030000000000000000000000000000000
000010d0: PUSH1 0x44
000010d2: DUP3
000010d3: ADD
000010d4: MSTORE
000010d5: SWAP1
000010d6: MLOAD
000010d7: SWAP1
000010d8: DUP2
000010d9: SWAP1
000010da: SUB
000010db: PUSH1 0x64
000010dd: ADD
000010de: SWAP1
000010df: REVERT
000010e0: JUMPDEST
000010e1: PUSH1 0x08
000010e3: SLOAD
000010e4: PUSH2 0x10ed
000010e7: SWAP1
000010e8: DUP3
000010e9: PUSH2 0x1771
000010ec: JUMP
000010ed: JUMPDEST
000010ee: PUSH1 0x08
000010f0: SSTORE
000010f1: CALLER
000010f2: PUSH1 0x00
000010f4: DUP2
000010f5: DUP2
000010f6: MSTORE
000010f7: PUSH1 0x09
000010f9: PUSH1 0x20
000010fb: SWAP1
000010fc: DUP2
000010fd: MSTORE
000010fe: PUSH1 0x40
00001100: DUP1
00001101: DUP4
00001102: KECCAK256
00001103: DUP4
00001104: SWAP1
00001105: SSTORE
00001106: PUSH1 0x07
00001108: SWAP1
00001109: SWAP2
0000110a: MSTORE
0000110b: DUP2
0000110c: KECCAK256
0000110d: SSTORE
0000110e: PUSH2 0x1139
00001111: SWAP1
00001112: PUSH32 0x0000000000000000000000001a23a6bfbadb59fa563008c0fb7cf96dfcf34ea1
00001133: SWAP1
00001134: DUP4
00001135: PUSH2 0x1911
00001138: JUMP
00001139: JUMPDEST
0000113a: PUSH1 0x40
0000113c: DUP1
0000113d: MLOAD
0000113e: DUP3
0000113f: DUP2
00001140: MSTORE
00001141: SWAP1
00001142: MLOAD
00001143: CALLER
00001144: SWAP2
00001145: PUSH32 0x5fafa99d0643513820be26656b45130b01e1c03062e1266bf36f88cbd3bd9695
00001166: SWAP2
00001167: SWAP1
00001168: DUP2
00001169: SWAP1
0000116a: SUB
0000116b: PUSH1 0x20
0000116d: ADD
0000116e: SWAP1
0000116f: LOG2
00001170: POP
00001171: PUSH1 0x01
00001173: PUSH1 0x00
00001175: SSTORE
00001176: JUMP
00001177: JUMPDEST
00001178: PUSH1 0x05
0000117a: SLOAD
0000117b: DUP2
0000117c: JUMP
0000117d: JUMPDEST
0000117e: PUSH1 0x03
00001180: SLOAD
00001181: DUP2
00001182: JUMP
00001183: JUMPDEST
00001184: CALLER
00001185: PUSH1 0x00
00001187: SWAP1
00001188: DUP2
00001189: MSTORE
0000118a: PUSH1 0x09
0000118c: PUSH1 0x20
0000118e: MSTORE
0000118f: PUSH1 0x40
00001191: SWAP1
00001192: KECCAK256
00001193: SLOAD
00001194: PUSH2 0x119c
00001197: SWAP1
00001198: PUSH2 0x0569
0000119b: JUMP
0000119c: JUMPDEST
0000119d: PUSH2 0x11a4
000011a0: PUSH2 0x0818
000011a3: JUMP
000011a4: JUMPDEST
000011a5: JUMP
000011a6: JUMPDEST
000011a7: PUSH1 0x01
000011a9: SLOAD
000011aa: PUSH1 0x01
000011ac: PUSH1 0x01
000011ae: PUSH1 0xa0
000011b0: SHL
000011b1: SUB
000011b2: AND
000011b3: CALLER
000011b4: EQ
000011b5: PUSH2 0x1205
000011b8: JUMPI
000011b9: PUSH1 0x40
000011bb: DUP1
000011bc: MLOAD
000011bd: PUSH3 0x461bcd
000011c1: PUSH1 0xe5
000011c3: SHL
000011c4: DUP2
000011c5: MSTORE
000011c6: PUSH1 0x20
000011c8: PUSH1 0x04
000011ca: DUP3
000011cb: ADD
000011cc: MSTORE
000011cd: PUSH1 0x18
000011cf: PUSH1 0x24
000011d1: DUP3
000011d2: ADD
000011d3: MSTORE
000011d4: PUSH32 0x436f46695374616b696e673a2021676f7665726e616e63650000000000000000
000011f5: PUSH1 0x44
000011f7: DUP3
000011f8: ADD
000011f9: MSTORE
000011fa: SWAP1
000011fb: MLOAD
000011fc: SWAP1
000011fd: DUP2
000011fe: SWAP1
000011ff: SUB
00001200: PUSH1 0x64
00001202: ADD
00001203: SWAP1
00001204: REVERT
00001205: JUMPDEST
00001206: PUSH1 0x64
00001208: DUP2
00001209: GT
0000120a: ISZERO
0000120b: PUSH2 0x1245
0000120e: JUMPI
0000120f: PUSH1 0x40
00001211: MLOAD
00001212: PUSH3 0x461bcd
00001216: PUSH1 0xe5
00001218: SHL
00001219: DUP2
0000121a: MSTORE
0000121b: PUSH1 0x04
0000121d: ADD
0000121e: DUP1
0000121f: DUP1
00001220: PUSH1 0x20
00001222: ADD
00001223: DUP3
00001224: DUP2
00001225: SUB
00001226: DUP3
00001227: MSTORE
00001228: PUSH1 0x22
0000122a: DUP2
0000122b: MSTORE
0000122c: PUSH1 0x20
0000122e: ADD
0000122f: DUP1
00001230: PUSH2 0x1fb6
00001233: PUSH1 0x22
00001235: SWAP2
00001236: CODECOPY
00001237: PUSH1 0x40
00001239: ADD
0000123a: SWAP2
0000123b: POP
0000123c: POP
0000123d: PUSH1 0x40
0000123f: MLOAD
00001240: DUP1
00001241: SWAP2
00001242: SUB
00001243: SWAP1
00001244: REVERT
00001245: JUMPDEST
00001246: PUSH1 0x02
00001248: SSTORE
00001249: JUMP
0000124a: JUMPDEST
0000124b: PUSH1 0x02
0000124d: PUSH1 0x00
0000124f: SLOAD
00001250: EQ
00001251: ISZERO
00001252: PUSH2 0x12a2
00001255: JUMPI
00001256: PUSH1 0x40
00001258: DUP1
00001259: MLOAD
0000125a: PUSH3 0x461bcd
0000125e: PUSH1 0xe5
00001260: SHL
00001261: DUP2
00001262: MSTORE
00001263: PUSH1 0x20
00001265: PUSH1 0x04
00001267: DUP3
00001268: ADD
00001269: MSTORE
0000126a: PUSH1 0x1f
0000126c: PUSH1 0x24
0000126e: DUP3
0000126f: ADD
00001270: MSTORE
00001271: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00001292: PUSH1 0x44
00001294: DUP3
00001295: ADD
00001296: MSTORE
00001297: SWAP1
00001298: MLOAD
00001299: SWAP1
0000129a: DUP2
0000129b: SWAP1
0000129c: SUB
0000129d: PUSH1 0x64
0000129f: ADD
000012a0: SWAP1
000012a1: REVERT
000012a2: JUMPDEST
000012a3: PUSH1 0x02
000012a5: PUSH1 0x00
000012a7: SSTORE
000012a8: PUSH1 0x01
000012aa: SLOAD
000012ab: PUSH1 0x01
000012ad: PUSH1 0x01
000012af: PUSH1 0xa0
000012b1: SHL
000012b2: SUB
000012b3: AND
000012b4: CALLER
000012b5: EQ
000012b6: PUSH2 0x1306
000012b9: JUMPI
000012ba: PUSH1 0x40
000012bc: DUP1
000012bd: MLOAD
000012be: PUSH3 0x461bcd
000012c2: PUSH1 0xe5
000012c4: SHL
000012c5: DUP2
000012c6: MSTORE
000012c7: PUSH1 0x20
000012c9: PUSH1 0x04
000012cb: DUP3
000012cc: ADD
000012cd: MSTORE
000012ce: PUSH1 0x18
000012d0: PUSH1 0x24
000012d2: DUP3
000012d3: ADD
000012d4: MSTORE
000012d5: PUSH32 0x436f46695374616b696e673a2021676f7665726e616e63650000000000000000
000012f6: PUSH1 0x44
000012f8: DUP3
000012f9: ADD
000012fa: MSTORE
000012fb: SWAP1
000012fc: MLOAD
000012fd: SWAP1
000012fe: DUP2
000012ff: SWAP1
00001300: SUB
00001301: PUSH1 0x64
00001303: ADD
00001304: SWAP1
00001305: REVERT
00001306: JUMPDEST
00001307: PUSH1 0x03
00001309: SLOAD
0000130a: PUSH2 0x1313
0000130d: SWAP1
0000130e: DUP3
0000130f: PUSH2 0x1771
00001312: JUMP
00001313: JUMPDEST
00001314: PUSH1 0x03
00001316: SSTORE
00001317: PUSH1 0x40
00001319: DUP1
0000131a: MLOAD
0000131b: PUSH32 0x2e1a7d4d00000000000000000000000000000000000000000000000000000000
0000133c: DUP2
0000133d: MSTORE
0000133e: PUSH1 0x04
00001340: DUP2
00001341: ADD
00001342: DUP4
00001343: SWAP1
00001344: MSTORE
00001345: SWAP1
00001346: MLOAD
00001347: PUSH1 0x01
00001349: PUSH1 0x01
0000134b: PUSH1 0xa0
0000134d: SHL
0000134e: SUB
0000134f: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001370: AND
00001371: SWAP2
00001372: PUSH4 0x2e1a7d4d
00001377: SWAP2
00001378: PUSH1 0x24
0000137a: DUP1
0000137b: DUP4
0000137c: ADD
0000137d: SWAP3
0000137e: PUSH1 0x00
00001380: SWAP3
00001381: SWAP2
00001382: SWAP1
00001383: DUP3
00001384: SWAP1
00001385: SUB
00001386: ADD
00001387: DUP2
00001388: DUP4
00001389: DUP8
0000138a: DUP1
0000138b: EXTCODESIZE
0000138c: ISZERO
0000138d: DUP1
0000138e: ISZERO
0000138f: PUSH2 0x1397
00001392: JUMPI
00001393: PUSH1 0x00
00001395: DUP1
00001396: REVERT
00001397: JUMPDEST
00001398: POP
00001399: GAS
0000139a: CALL
0000139b: ISZERO
0000139c: DUP1
0000139d: ISZERO
0000139e: PUSH2 0x13ab
000013a1: JUMPI
000013a2: RETURNDATASIZE
000013a3: PUSH1 0x00
000013a5: DUP1
000013a6: RETURNDATACOPY
000013a7: RETURNDATASIZE
000013a8: PUSH1 0x00
000013aa: REVERT
000013ab: JUMPDEST
000013ac: POP
000013ad: POP
000013ae: POP
000013af: POP
000013b0: PUSH2 0x13b9
000013b3: DUP3
000013b4: DUP3
000013b5: PUSH2 0x1da3
000013b8: JUMP
000013b9: JUMPDEST
000013ba: PUSH1 0x40
000013bc: DUP1
000013bd: MLOAD
000013be: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
000013df: DUP2
000013e0: MSTORE
000013e1: ADDRESS
000013e2: PUSH1 0x04
000013e4: DUP3
000013e5: ADD
000013e6: MSTORE
000013e7: SWAP1
000013e8: MLOAD
000013e9: PUSH1 0x01
000013eb: PUSH1 0x01
000013ed: PUSH1 0xa0
000013ef: SHL
000013f0: SUB
000013f1: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001412: AND
00001413: SWAP2
00001414: PUSH4 0x70a08231
00001419: SWAP2
0000141a: PUSH1 0x24
0000141c: DUP1
0000141d: DUP4
0000141e: ADD
0000141f: SWAP3
00001420: PUSH1 0x20
00001422: SWAP3
00001423: SWAP2
00001424: SWAP1
00001425: DUP3
00001426: SWAP1
00001427: SUB
00001428: ADD
00001429: DUP2
0000142a: DUP7
0000142b: DUP1
0000142c: EXTCODESIZE
0000142d: ISZERO
0000142e: DUP1
0000142f: ISZERO
00001430: PUSH2 0x1438
00001433: JUMPI
00001434: PUSH1 0x00
00001436: DUP1
00001437: REVERT
00001438: JUMPDEST
00001439: POP
0000143a: GAS
0000143b: STATICCALL
0000143c: ISZERO
0000143d: DUP1
0000143e: ISZERO
0000143f: PUSH2 0x144c
00001442: JUMPI
00001443: RETURNDATASIZE
00001444: PUSH1 0x00
00001446: DUP1
00001447: RETURNDATACOPY
00001448: RETURNDATASIZE
00001449: PUSH1 0x00
0000144b: REVERT
0000144c: JUMPDEST
0000144d: POP
0000144e: POP
0000144f: POP
00001450: POP
00001451: PUSH1 0x40
00001453: MLOAD
00001454: RETURNDATASIZE
00001455: PUSH1 0x20
00001457: DUP2
00001458: LT
00001459: ISZERO
0000145a: PUSH2 0x1462
0000145d: JUMPI
0000145e: PUSH1 0x00
00001460: DUP1
00001461: REVERT
00001462: JUMPDEST
00001463: POP
00001464: MLOAD
00001465: PUSH1 0x04
00001467: SSTORE
00001468: PUSH1 0x40
0000146a: DUP1
0000146b: MLOAD
0000146c: DUP3
0000146d: DUP2
0000146e: MSTORE
0000146f: SWAP1
00001470: MLOAD
00001471: PUSH1 0x01
00001473: PUSH1 0x01
00001475: PUSH1 0xa0
00001477: SHL
00001478: SUB
00001479: DUP5
0000147a: AND
0000147b: SWAP2
0000147c: PUSH32 0x87c374851ba88ebd02719e2b592fa23c658562900e426a6ecd9ad152addbb018
0000149d: SWAP2
0000149e: SWAP1
0000149f: DUP2
000014a0: SWAP1
000014a1: SUB
000014a2: PUSH1 0x20
000014a4: ADD
000014a5: SWAP1
000014a6: LOG2
000014a7: POP
000014a8: POP
000014a9: PUSH1 0x01
000014ab: PUSH1 0x00
000014ad: SSTORE
000014ae: JUMP
000014af: JUMPDEST
000014b0: PUSH1 0x02
000014b2: PUSH1 0x00
000014b4: SLOAD
000014b5: EQ
000014b6: ISZERO
000014b7: PUSH2 0x1507
000014ba: JUMPI
000014bb: PUSH1 0x40
000014bd: DUP1
000014be: MLOAD
000014bf: PUSH3 0x461bcd
000014c3: PUSH1 0xe5
000014c5: SHL
000014c6: DUP2
000014c7: MSTORE
000014c8: PUSH1 0x20
000014ca: PUSH1 0x04
000014cc: DUP3
000014cd: ADD
000014ce: MSTORE
000014cf: PUSH1 0x1f
000014d1: PUSH1 0x24
000014d3: DUP3
000014d4: ADD
000014d5: MSTORE
000014d6: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000014f7: PUSH1 0x44
000014f9: DUP3
000014fa: ADD
000014fb: MSTORE
000014fc: SWAP1
000014fd: MLOAD
000014fe: SWAP1
000014ff: DUP2
00001500: SWAP1
00001501: SUB
00001502: PUSH1 0x64
00001504: ADD
00001505: SWAP1
00001506: REVERT
00001507: JUMPDEST
00001508: PUSH1 0x02
0000150a: PUSH1 0x00
0000150c: SWAP1
0000150d: DUP2
0000150e: SSTORE
0000150f: DUP3
00001510: SWAP1
00001511: DUP1
00001512: PUSH2 0x1519
00001515: PUSH2 0x18af
00001518: JUMP
00001519: JUMPDEST
0000151a: PUSH1 0x05
0000151c: DUP3
0000151d: SWAP1
0000151e: SSTORE
0000151f: SWAP1
00001520: SWAP3
00001521: POP
00001522: SWAP1
00001523: POP
00001524: DUP1
00001525: ISZERO
00001526: PUSH2 0x155d
00001529: JUMPI
0000152a: PUSH1 0x00
0000152c: PUSH2 0x1548
0000152f: PUSH2 0x0602
00001532: PUSH1 0x64
00001534: PUSH2 0x053e
00001537: PUSH1 0x02
00001539: SLOAD
0000153a: DUP7
0000153b: PUSH2 0x17ba
0000153e: SWAP1
0000153f: SWAP2
00001540: SWAP1
00001541: PUSH4 0xffffffff
00001546: AND
00001547: JUMP
00001548: JUMPDEST
00001549: PUSH1 0x03
0000154b: SLOAD
0000154c: SWAP1
0000154d: SWAP2
0000154e: POP
0000154f: PUSH2 0x1558
00001552: SWAP1
00001553: DUP3
00001554: PUSH2 0x1855
00001557: JUMP
00001558: JUMPDEST
00001559: PUSH1 0x03
0000155b: SSTORE
0000155c: POP
0000155d: JUMPDEST
0000155e: PUSH1 0x08
00001560: SLOAD
00001561: ISZERO
00001562: PUSH2 0x1614
00001565: JUMPI
00001566: PUSH1 0x40
00001568: DUP1
00001569: MLOAD
0000156a: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
0000158b: DUP2
0000158c: MSTORE
0000158d: ADDRESS
0000158e: PUSH1 0x04
00001590: DUP3
00001591: ADD
00001592: MSTORE
00001593: SWAP1
00001594: MLOAD
00001595: PUSH1 0x01
00001597: PUSH1 0x01
00001599: PUSH1 0xa0
0000159b: SHL
0000159c: SUB
0000159d: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
000015be: AND
000015bf: SWAP2
000015c0: PUSH4 0x70a08231
000015c5: SWAP2
000015c6: PUSH1 0x24
000015c8: DUP1
000015c9: DUP4
000015ca: ADD
000015cb: SWAP3
000015cc: PUSH1 0x20
000015ce: SWAP3
000015cf: SWAP2
000015d0: SWAP1
000015d1: DUP3
000015d2: SWAP1
000015d3: SUB
000015d4: ADD
000015d5: DUP2
000015d6: DUP7
000015d7: DUP1
000015d8: EXTCODESIZE
000015d9: ISZERO
000015da: DUP1
000015db: ISZERO
000015dc: PUSH2 0x15e4
000015df: JUMPI
000015e0: PUSH1 0x00
000015e2: DUP1
000015e3: REVERT
000015e4: JUMPDEST
000015e5: POP
000015e6: GAS
000015e7: STATICCALL
000015e8: ISZERO
000015e9: DUP1
000015ea: ISZERO
000015eb: PUSH2 0x15f8
000015ee: JUMPI
000015ef: RETURNDATASIZE
000015f0: PUSH1 0x00
000015f2: DUP1
000015f3: RETURNDATACOPY
000015f4: RETURNDATASIZE
000015f5: PUSH1 0x00
000015f7: REVERT
000015f8: JUMPDEST
000015f9: POP
000015fa: POP
000015fb: POP
000015fc: POP
000015fd: PUSH1 0x40
000015ff: MLOAD
00001600: RETURNDATASIZE
00001601: PUSH1 0x20
00001603: DUP2
00001604: LT
00001605: ISZERO
00001606: PUSH2 0x160e
00001609: JUMPI
0000160a: PUSH1 0x00
0000160c: DUP1
0000160d: REVERT
0000160e: JUMPDEST
0000160f: POP
00001610: MLOAD
00001611: PUSH1 0x04
00001613: SSTORE
00001614: JUMPDEST
00001615: PUSH1 0x01
00001617: PUSH1 0x01
00001619: PUSH1 0xa0
0000161b: SHL
0000161c: SUB
0000161d: DUP4
0000161e: AND
0000161f: ISZERO
00001620: PUSH2 0x1658
00001623: JUMPI
00001624: PUSH2 0x162c
00001627: DUP4
00001628: PUSH2 0x04d2
0000162b: JUMP
0000162c: JUMPDEST
0000162d: PUSH1 0x01
0000162f: PUSH1 0x01
00001631: PUSH1 0xa0
00001633: SHL
00001634: SUB
00001635: DUP5
00001636: AND
00001637: PUSH1 0x00
00001639: SWAP1
0000163a: DUP2
0000163b: MSTORE
0000163c: PUSH1 0x07
0000163e: PUSH1 0x20
00001640: SWAP1
00001641: DUP2
00001642: MSTORE
00001643: PUSH1 0x40
00001645: DUP1
00001646: DUP4
00001647: KECCAK256
00001648: SWAP4
00001649: SWAP1
0000164a: SWAP4
0000164b: SSTORE
0000164c: PUSH1 0x05
0000164e: SLOAD
0000164f: PUSH1 0x06
00001651: SWAP1
00001652: SWAP2
00001653: MSTORE
00001654: SWAP2
00001655: SWAP1
00001656: KECCAK256
00001657: SSTORE
00001658: JUMPDEST
00001659: PUSH1 0x00
0000165b: DUP5
0000165c: GT
0000165d: PUSH2 0x16ad
00001660: JUMPI
00001661: PUSH1 0x40
00001663: DUP1
00001664: MLOAD
00001665: PUSH3 0x461bcd
00001669: PUSH1 0xe5
0000166b: SHL
0000166c: DUP2
0000166d: MSTORE
0000166e: PUSH1 0x20
00001670: PUSH1 0x04
00001672: DUP3
00001673: ADD
00001674: MSTORE
00001675: PUSH1 0x0e
00001677: PUSH1 0x24
00001679: DUP3
0000167a: ADD
0000167b: MSTORE
0000167c: PUSH32 0x43616e6e6f74207374616b652030000000000000000000000000000000000000
0000169d: PUSH1 0x44
0000169f: DUP3
000016a0: ADD
000016a1: MSTORE
000016a2: SWAP1
000016a3: MLOAD
000016a4: SWAP1
000016a5: DUP2
000016a6: SWAP1
000016a7: SUB
000016a8: PUSH1 0x64
000016aa: ADD
000016ab: SWAP1
000016ac: REVERT
000016ad: JUMPDEST
000016ae: PUSH1 0x08
000016b0: SLOAD
000016b1: PUSH2 0x16ba
000016b4: SWAP1
000016b5: DUP6
000016b6: PUSH2 0x1855
000016b9: JUMP
000016ba: JUMPDEST
000016bb: PUSH1 0x08
000016bd: SSTORE
000016be: PUSH1 0x01
000016c0: PUSH1 0x01
000016c2: PUSH1 0xa0
000016c4: SHL
000016c5: SUB
000016c6: DUP6
000016c7: AND
000016c8: PUSH1 0x00
000016ca: SWAP1
000016cb: DUP2
000016cc: MSTORE
000016cd: PUSH1 0x09
000016cf: PUSH1 0x20
000016d1: MSTORE
000016d2: PUSH1 0x40
000016d4: SWAP1
000016d5: KECCAK256
000016d6: SLOAD
000016d7: PUSH2 0x16e0
000016da: SWAP1
000016db: DUP6
000016dc: PUSH2 0x1855
000016df: JUMP
000016e0: JUMPDEST
000016e1: PUSH1 0x01
000016e3: PUSH1 0x01
000016e5: PUSH1 0xa0
000016e7: SHL
000016e8: SUB
000016e9: DUP7
000016ea: AND
000016eb: PUSH1 0x00
000016ed: SWAP1
000016ee: DUP2
000016ef: MSTORE
000016f0: PUSH1 0x09
000016f2: PUSH1 0x20
000016f4: MSTORE
000016f5: PUSH1 0x40
000016f7: SWAP1
000016f8: KECCAK256
000016f9: SSTORE
000016fa: PUSH2 0x1725
000016fd: PUSH32 0x0000000000000000000000001a23a6bfbadb59fa563008c0fb7cf96dfcf34ea1
0000171e: CALLER
0000171f: ADDRESS
00001720: DUP8
00001721: PUSH2 0x1bfa
00001724: JUMP
00001725: JUMPDEST
00001726: PUSH1 0x40
00001728: DUP1
00001729: MLOAD
0000172a: DUP6
0000172b: DUP2
0000172c: MSTORE
0000172d: SWAP1
0000172e: MLOAD
0000172f: PUSH1 0x01
00001731: PUSH1 0x01
00001733: PUSH1 0xa0
00001735: SHL
00001736: SUB
00001737: DUP8
00001738: AND
00001739: SWAP2
0000173a: CALLER
0000173b: SWAP2
0000173c: PUSH32 0xf6709c821eb43e8e9953ad8ac910b4591a380ae9f014d75ce7d7a2a34299e0ef
0000175d: SWAP2
0000175e: DUP2
0000175f: SWAP1
00001760: SUB
00001761: PUSH1 0x20
00001763: ADD
00001764: SWAP1
00001765: LOG3
00001766: POP
00001767: POP
00001768: PUSH1 0x01
0000176a: PUSH1 0x00
0000176c: SSTORE
0000176d: POP
0000176e: POP
0000176f: POP
00001770: JUMP
00001771: JUMPDEST
00001772: PUSH1 0x00
00001774: PUSH2 0x17b3
00001777: DUP4
00001778: DUP4
00001779: PUSH1 0x40
0000177b: MLOAD
0000177c: DUP1
0000177d: PUSH1 0x40
0000177f: ADD
00001780: PUSH1 0x40
00001782: MSTORE
00001783: DUP1
00001784: PUSH1 0x1e
00001786: DUP2
00001787: MSTORE
00001788: PUSH1 0x20
0000178a: ADD
0000178b: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000017ac: DUP2
000017ad: MSTORE
000017ae: POP
000017af: PUSH2 0x1eb9
000017b2: JUMP
000017b3: JUMPDEST
000017b4: SWAP4
000017b5: SWAP3
000017b6: POP
000017b7: POP
000017b8: POP
000017b9: JUMP
000017ba: JUMPDEST
000017bb: PUSH1 0x00
000017bd: DUP3
000017be: PUSH2 0x17c9
000017c1: JUMPI
000017c2: POP
000017c3: PUSH1 0x00
000017c5: PUSH2 0x054a
000017c8: JUMP
000017c9: JUMPDEST
000017ca: DUP3
000017cb: DUP3
000017cc: MUL
000017cd: DUP3
000017ce: DUP5
000017cf: DUP3
000017d0: DUP2
000017d1: PUSH2 0x17d6
000017d4: JUMPI
000017d5: INVALID
000017d6: JUMPDEST
000017d7: DIV
000017d8: EQ
000017d9: PUSH2 0x17b3
000017dc: JUMPI
000017dd: PUSH1 0x40
000017df: MLOAD
000017e0: PUSH3 0x461bcd
000017e4: PUSH1 0xe5
000017e6: SHL
000017e7: DUP2
000017e8: MSTORE
000017e9: PUSH1 0x04
000017eb: ADD
000017ec: DUP1
000017ed: DUP1
000017ee: PUSH1 0x20
000017f0: ADD
000017f1: DUP3
000017f2: DUP2
000017f3: SUB
000017f4: DUP3
000017f5: MSTORE
000017f6: PUSH1 0x21
000017f8: DUP2
000017f9: MSTORE
000017fa: PUSH1 0x20
000017fc: ADD
000017fd: DUP1
000017fe: PUSH2 0x1fd8
00001801: PUSH1 0x21
00001803: SWAP2
00001804: CODECOPY
00001805: PUSH1 0x40
00001807: ADD
00001808: SWAP2
00001809: POP
0000180a: POP
0000180b: PUSH1 0x40
0000180d: MLOAD
0000180e: DUP1
0000180f: SWAP2
00001810: SUB
00001811: SWAP1
00001812: REVERT
00001813: JUMPDEST
00001814: PUSH1 0x00
00001816: PUSH2 0x17b3
00001819: DUP4
0000181a: DUP4
0000181b: PUSH1 0x40
0000181d: MLOAD
0000181e: DUP1
0000181f: PUSH1 0x40
00001821: ADD
00001822: PUSH1 0x40
00001824: MSTORE
00001825: DUP1
00001826: PUSH1 0x1a
00001828: DUP2
00001829: MSTORE
0000182a: PUSH1 0x20
0000182c: ADD
0000182d: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
0000184e: DUP2
0000184f: MSTORE
00001850: POP
00001851: PUSH2 0x1f50
00001854: JUMP
00001855: JUMPDEST
00001856: PUSH1 0x00
00001858: DUP3
00001859: DUP3
0000185a: ADD
0000185b: DUP4
0000185c: DUP2
0000185d: LT
0000185e: ISZERO
0000185f: PUSH2 0x17b3
00001862: JUMPI
00001863: PUSH1 0x40
00001865: DUP1
00001866: MLOAD
00001867: PUSH3 0x461bcd
0000186b: PUSH1 0xe5
0000186d: SHL
0000186e: DUP2
0000186f: MSTORE
00001870: PUSH1 0x20
00001872: PUSH1 0x04
00001874: DUP3
00001875: ADD
00001876: MSTORE
00001877: PUSH1 0x1b
00001879: PUSH1 0x24
0000187b: DUP3
0000187c: ADD
0000187d: MSTORE
0000187e: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
0000189f: PUSH1 0x44
000018a1: DUP3
000018a2: ADD
000018a3: MSTORE
000018a4: SWAP1
000018a5: MLOAD
000018a6: SWAP1
000018a7: DUP2
000018a8: SWAP1
000018a9: SUB
000018aa: PUSH1 0x64
000018ac: ADD
000018ad: SWAP1
000018ae: REVERT
000018af: JUMPDEST
000018b0: PUSH1 0x00
000018b2: DUP1
000018b3: PUSH1 0x08
000018b5: SLOAD
000018b6: PUSH1 0x00
000018b8: EQ
000018b9: ISZERO
000018ba: PUSH2 0x18c9
000018bd: JUMPI
000018be: POP
000018bf: POP
000018c0: PUSH1 0x05
000018c2: SLOAD
000018c3: PUSH1 0x00
000018c5: PUSH2 0x190d
000018c8: JUMP
000018c9: JUMPDEST
000018ca: PUSH1 0x00
000018cc: PUSH2 0x18d3
000018cf: PUSH2 0x0bb1
000018d2: JUMP
000018d3: JUMPDEST
000018d4: SWAP1
000018d5: POP
000018d6: PUSH1 0x00
000018d8: PUSH2 0x1906
000018db: PUSH2 0x0ff0
000018de: PUSH1 0x64
000018e0: PUSH2 0x053e
000018e3: PUSH1 0x08
000018e5: SLOAD
000018e6: PUSH2 0x053e
000018e9: PUSH1 0x02
000018eb: SLOAD
000018ec: PUSH2 0x0fea
000018ef: PUSH8 0x0de0b6b3a7640000
000018f8: DUP11
000018f9: PUSH2 0x17ba
000018fc: SWAP1
000018fd: SWAP2
000018fe: SWAP1
000018ff: PUSH4 0xffffffff
00001904: AND
00001905: JUMP
00001906: JUMPDEST
00001907: SWAP4
00001908: POP
00001909: SWAP1
0000190a: SWAP2
0000190b: POP
0000190c: POP
0000190d: JUMPDEST
0000190e: SWAP1
0000190f: SWAP2
00001910: JUMP
00001911: JUMPDEST
00001912: PUSH1 0x40
00001914: DUP1
00001915: MLOAD
00001916: PUSH1 0x01
00001918: PUSH1 0x01
0000191a: PUSH1 0xa0
0000191c: SHL
0000191d: SUB
0000191e: DUP5
0000191f: DUP2
00001920: AND
00001921: PUSH1 0x24
00001923: DUP4
00001924: ADD
00001925: MSTORE
00001926: PUSH1 0x44
00001928: DUP1
00001929: DUP4
0000192a: ADD
0000192b: DUP6
0000192c: SWAP1
0000192d: MSTORE
0000192e: DUP4
0000192f: MLOAD
00001930: DUP1
00001931: DUP5
00001932: SUB
00001933: SWAP1
00001934: SWAP2
00001935: ADD
00001936: DUP2
00001937: MSTORE
00001938: PUSH1 0x64
0000193a: SWAP1
0000193b: SWAP3
0000193c: ADD
0000193d: DUP4
0000193e: MSTORE
0000193f: PUSH1 0x20
00001941: DUP3
00001942: ADD
00001943: DUP1
00001944: MLOAD
00001945: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001962: AND
00001963: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00001984: OR
00001985: DUP2
00001986: MSTORE
00001987: SWAP3
00001988: MLOAD
00001989: DUP3
0000198a: MLOAD
0000198b: PUSH1 0x00
0000198d: SWAP5
0000198e: PUSH1 0x60
00001990: SWAP5
00001991: SWAP4
00001992: DUP10
00001993: AND
00001994: SWAP4
00001995: SWAP3
00001996: SWAP2
00001997: DUP3
00001998: SWAP2
00001999: SWAP1
0000199a: DUP1
0000199b: DUP4
0000199c: DUP4
0000199d: JUMPDEST
0000199e: PUSH1 0x20
000019a0: DUP4
000019a1: LT
000019a2: PUSH2 0x19da
000019a5: JUMPI
000019a6: DUP1
000019a7: MLOAD
000019a8: DUP3
000019a9: MSTORE
000019aa: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000019cb: SWAP1
000019cc: SWAP3
000019cd: ADD
000019ce: SWAP2
000019cf: PUSH1 0x20
000019d1: SWAP2
000019d2: DUP3
000019d3: ADD
000019d4: SWAP2
000019d5: ADD
000019d6: PUSH2 0x199d
000019d9: JUMP
000019da: JUMPDEST
000019db: PUSH1 0x01
000019dd: DUP4
000019de: PUSH1 0x20
000019e0: SUB
000019e1: PUSH2 0x0100
000019e4: EXP
000019e5: SUB
000019e6: DUP1
000019e7: NOT
000019e8: DUP3
000019e9: MLOAD
000019ea: AND
000019eb: DUP2
000019ec: DUP5
000019ed: MLOAD
000019ee: AND
000019ef: DUP1
000019f0: DUP3
000019f1: OR
000019f2: DUP6
000019f3: MSTORE
000019f4: POP
000019f5: POP
000019f6: POP
000019f7: POP
000019f8: POP
000019f9: POP
000019fa: SWAP1
000019fb: POP
000019fc: ADD
000019fd: SWAP2
000019fe: POP
000019ff: POP
00001a00: PUSH1 0x00
00001a02: PUSH1 0x40
00001a04: MLOAD
00001a05: DUP1
00001a06: DUP4
00001a07: SUB
00001a08: DUP2
00001a09: PUSH1 0x00
00001a0b: DUP7
00001a0c: GAS
00001a0d: CALL
00001a0e: SWAP2
00001a0f: POP
00001a10: POP
00001a11: RETURNDATASIZE
00001a12: DUP1
00001a13: PUSH1 0x00
00001a15: DUP2
00001a16: EQ
00001a17: PUSH2 0x1a3c
00001a1a: JUMPI
00001a1b: PUSH1 0x40
00001a1d: MLOAD
00001a1e: SWAP2
00001a1f: POP
00001a20: PUSH1 0x1f
00001a22: NOT
00001a23: PUSH1 0x3f
00001a25: RETURNDATASIZE
00001a26: ADD
00001a27: AND
00001a28: DUP3
00001a29: ADD
00001a2a: PUSH1 0x40
00001a2c: MSTORE
00001a2d: RETURNDATASIZE
00001a2e: DUP3
00001a2f: MSTORE
00001a30: RETURNDATASIZE
00001a31: PUSH1 0x00
00001a33: PUSH1 0x20
00001a35: DUP5
00001a36: ADD
00001a37: RETURNDATACOPY
00001a38: PUSH2 0x1a41
00001a3b: JUMP
00001a3c: JUMPDEST
00001a3d: PUSH1 0x60
00001a3f: SWAP2
00001a40: POP
00001a41: JUMPDEST
00001a42: POP
00001a43: SWAP2
00001a44: POP
00001a45: SWAP2
00001a46: POP
00001a47: DUP2
00001a48: DUP1
00001a49: ISZERO
00001a4a: PUSH2 0x1a6f
00001a4d: JUMPI
00001a4e: POP
00001a4f: DUP1
00001a50: MLOAD
00001a51: ISZERO
00001a52: DUP1
00001a53: PUSH2 0x1a6f
00001a56: JUMPI
00001a57: POP
00001a58: DUP1
00001a59: DUP1
00001a5a: PUSH1 0x20
00001a5c: ADD
00001a5d: SWAP1
00001a5e: MLOAD
00001a5f: PUSH1 0x20
00001a61: DUP2
00001a62: LT
00001a63: ISZERO
00001a64: PUSH2 0x1a6c
00001a67: JUMPI
00001a68: PUSH1 0x00
00001a6a: DUP1
00001a6b: REVERT
00001a6c: JUMPDEST
00001a6d: POP
00001a6e: MLOAD
00001a6f: JUMPDEST
00001a70: PUSH2 0x0b44
00001a73: JUMPI
00001a74: PUSH1 0x40
00001a76: DUP1
00001a77: MLOAD
00001a78: PUSH3 0x461bcd
00001a7c: PUSH1 0xe5
00001a7e: SHL
00001a7f: DUP2
00001a80: MSTORE
00001a81: PUSH1 0x20
00001a83: PUSH1 0x04
00001a85: DUP3
00001a86: ADD
00001a87: MSTORE
00001a88: PUSH1 0x1f
00001a8a: PUSH1 0x24
00001a8c: DUP3
00001a8d: ADD
00001a8e: MSTORE
00001a8f: PUSH32 0x5472616e7366657248656c7065723a205452414e534645525f4641494c454400
00001ab0: PUSH1 0x44
00001ab2: DUP3
00001ab3: ADD
00001ab4: MSTORE
00001ab5: SWAP1
00001ab6: MLOAD
00001ab7: SWAP1
00001ab8: DUP2
00001ab9: SWAP1
00001aba: SUB
00001abb: PUSH1 0x64
00001abd: ADD
00001abe: SWAP1
00001abf: REVERT
00001ac0: JUMPDEST
00001ac1: PUSH1 0x00
00001ac3: DUP1
00001ac4: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001ae5: PUSH1 0x01
00001ae7: PUSH1 0x01
00001ae9: PUSH1 0xa0
00001aeb: SHL
00001aec: SUB
00001aed: AND
00001aee: PUSH4 0x70a08231
00001af3: ADDRESS
00001af4: PUSH1 0x40
00001af6: MLOAD
00001af7: DUP3
00001af8: PUSH4 0xffffffff
00001afd: AND
00001afe: PUSH1 0xe0
00001b00: SHL
00001b01: DUP2
00001b02: MSTORE
00001b03: PUSH1 0x04
00001b05: ADD
00001b06: DUP1
00001b07: DUP3
00001b08: PUSH1 0x01
00001b0a: PUSH1 0x01
00001b0c: PUSH1 0xa0
00001b0e: SHL
00001b0f: SUB
00001b10: AND
00001b11: DUP2
00001b12: MSTORE
00001b13: PUSH1 0x20
00001b15: ADD
00001b16: SWAP2
00001b17: POP
00001b18: POP
00001b19: PUSH1 0x20
00001b1b: PUSH1 0x40
00001b1d: MLOAD
00001b1e: DUP1
00001b1f: DUP4
00001b20: SUB
00001b21: DUP2
00001b22: DUP7
00001b23: DUP1
00001b24: EXTCODESIZE
00001b25: ISZERO
00001b26: DUP1
00001b27: ISZERO
00001b28: PUSH2 0x1b30
00001b2b: JUMPI
00001b2c: PUSH1 0x00
00001b2e: DUP1
00001b2f: REVERT
00001b30: JUMPDEST
00001b31: POP
00001b32: GAS
00001b33: STATICCALL
00001b34: ISZERO
00001b35: DUP1
00001b36: ISZERO
00001b37: PUSH2 0x1b44
00001b3a: JUMPI
00001b3b: RETURNDATASIZE
00001b3c: PUSH1 0x00
00001b3e: DUP1
00001b3f: RETURNDATACOPY
00001b40: RETURNDATASIZE
00001b41: PUSH1 0x00
00001b43: REVERT
00001b44: JUMPDEST
00001b45: POP
00001b46: POP
00001b47: POP
00001b48: POP
00001b49: PUSH1 0x40
00001b4b: MLOAD
00001b4c: RETURNDATASIZE
00001b4d: PUSH1 0x20
00001b4f: DUP2
00001b50: LT
00001b51: ISZERO
00001b52: PUSH2 0x1b5a
00001b55: JUMPI
00001b56: PUSH1 0x00
00001b58: DUP1
00001b59: REVERT
00001b5a: JUMPDEST
00001b5b: POP
00001b5c: MLOAD
00001b5d: SWAP1
00001b5e: POP
00001b5f: DUP1
00001b60: DUP4
00001b61: GT
00001b62: ISZERO
00001b63: PUSH2 0x1b6a
00001b66: JUMPI
00001b67: DUP1
00001b68: SWAP3
00001b69: POP
00001b6a: JUMPDEST
00001b6b: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001b8c: PUSH1 0x01
00001b8e: PUSH1 0x01
00001b90: PUSH1 0xa0
00001b92: SHL
00001b93: SUB
00001b94: AND
00001b95: PUSH4 0x2e1a7d4d
00001b9a: DUP5
00001b9b: PUSH1 0x40
00001b9d: MLOAD
00001b9e: DUP3
00001b9f: PUSH4 0xffffffff
00001ba4: AND
00001ba5: PUSH1 0xe0
00001ba7: SHL
00001ba8: DUP2
00001ba9: MSTORE
00001baa: PUSH1 0x04
00001bac: ADD
00001bad: DUP1
00001bae: DUP3
00001baf: DUP2
00001bb0: MSTORE
00001bb1: PUSH1 0x20
00001bb3: ADD
00001bb4: SWAP2
00001bb5: POP
00001bb6: POP
00001bb7: PUSH1 0x00
00001bb9: PUSH1 0x40
00001bbb: MLOAD
00001bbc: DUP1
00001bbd: DUP4
00001bbe: SUB
00001bbf: DUP2
00001bc0: PUSH1 0x00
00001bc2: DUP8
00001bc3: DUP1
00001bc4: EXTCODESIZE
00001bc5: ISZERO
00001bc6: DUP1
00001bc7: ISZERO
00001bc8: PUSH2 0x1bd0
00001bcb: JUMPI
00001bcc: PUSH1 0x00
00001bce: DUP1
00001bcf: REVERT
00001bd0: JUMPDEST
00001bd1: POP
00001bd2: GAS
00001bd3: CALL
00001bd4: ISZERO
00001bd5: DUP1
00001bd6: ISZERO
00001bd7: PUSH2 0x1be4
00001bda: JUMPI
00001bdb: RETURNDATASIZE
00001bdc: PUSH1 0x00
00001bde: DUP1
00001bdf: RETURNDATACOPY
00001be0: RETURNDATASIZE
00001be1: PUSH1 0x00
00001be3: REVERT
00001be4: JUMPDEST
00001be5: POP
00001be6: POP
00001be7: POP
00001be8: POP
00001be9: PUSH2 0x1bf2
00001bec: DUP5
00001bed: DUP5
00001bee: PUSH2 0x1da3
00001bf1: JUMP
00001bf2: JUMPDEST
00001bf3: POP
00001bf4: SWAP1
00001bf5: SWAP3
00001bf6: SWAP2
00001bf7: POP
00001bf8: POP
00001bf9: JUMP
00001bfa: JUMPDEST
00001bfb: PUSH1 0x40
00001bfd: DUP1
00001bfe: MLOAD
00001bff: PUSH1 0x01
00001c01: PUSH1 0x01
00001c03: PUSH1 0xa0
00001c05: SHL
00001c06: SUB
00001c07: DUP6
00001c08: DUP2
00001c09: AND
00001c0a: PUSH1 0x24
00001c0c: DUP4
00001c0d: ADD
00001c0e: MSTORE
00001c0f: DUP5
00001c10: DUP2
00001c11: AND
00001c12: PUSH1 0x44
00001c14: DUP4
00001c15: ADD
00001c16: MSTORE
00001c17: PUSH1 0x64
00001c19: DUP1
00001c1a: DUP4
00001c1b: ADD
00001c1c: DUP6
00001c1d: SWAP1
00001c1e: MSTORE
00001c1f: DUP4
00001c20: MLOAD
00001c21: DUP1
00001c22: DUP5
00001c23: SUB
00001c24: SWAP1
00001c25: SWAP2
00001c26: ADD
00001c27: DUP2
00001c28: MSTORE
00001c29: PUSH1 0x84
00001c2b: SWAP1
00001c2c: SWAP3
00001c2d: ADD
00001c2e: DUP4
00001c2f: MSTORE
00001c30: PUSH1 0x20
00001c32: DUP3
00001c33: ADD
00001c34: DUP1
00001c35: MLOAD
00001c36: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001c53: AND
00001c54: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00001c75: OR
00001c76: DUP2
00001c77: MSTORE
00001c78: SWAP3
00001c79: MLOAD
00001c7a: DUP3
00001c7b: MLOAD
00001c7c: PUSH1 0x00
00001c7e: SWAP5
00001c7f: PUSH1 0x60
00001c81: SWAP5
00001c82: SWAP4
00001c83: DUP11
00001c84: AND
00001c85: SWAP4
00001c86: SWAP3
00001c87: SWAP2
00001c88: DUP3
00001c89: SWAP2
00001c8a: SWAP1
00001c8b: DUP1
00001c8c: DUP4
00001c8d: DUP4
00001c8e: JUMPDEST
00001c8f: PUSH1 0x20
00001c91: DUP4
00001c92: LT
00001c93: PUSH2 0x1ccb
00001c96: JUMPI
00001c97: DUP1
00001c98: MLOAD
00001c99: DUP3
00001c9a: MSTORE
00001c9b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001cbc: SWAP1
00001cbd: SWAP3
00001cbe: ADD
00001cbf: SWAP2
00001cc0: PUSH1 0x20
00001cc2: SWAP2
00001cc3: DUP3
00001cc4: ADD
00001cc5: SWAP2
00001cc6: ADD
00001cc7: PUSH2 0x1c8e
00001cca: JUMP
00001ccb: JUMPDEST
00001ccc: PUSH1 0x01
00001cce: DUP4
00001ccf: PUSH1 0x20
00001cd1: SUB
00001cd2: PUSH2 0x0100
00001cd5: EXP
00001cd6: SUB
00001cd7: DUP1
00001cd8: NOT
00001cd9: DUP3
00001cda: MLOAD
00001cdb: AND
00001cdc: DUP2
00001cdd: DUP5
00001cde: MLOAD
00001cdf: AND
00001ce0: DUP1
00001ce1: DUP3
00001ce2: OR
00001ce3: DUP6
00001ce4: MSTORE
00001ce5: POP
00001ce6: POP
00001ce7: POP
00001ce8: POP
00001ce9: POP
00001cea: POP
00001ceb: SWAP1
00001cec: POP
00001ced: ADD
00001cee: SWAP2
00001cef: POP
00001cf0: POP
00001cf1: PUSH1 0x00
00001cf3: PUSH1 0x40
00001cf5: MLOAD
00001cf6: DUP1
00001cf7: DUP4
00001cf8: SUB
00001cf9: DUP2
00001cfa: PUSH1 0x00
00001cfc: DUP7
00001cfd: GAS
00001cfe: CALL
00001cff: SWAP2
00001d00: POP
00001d01: POP
00001d02: RETURNDATASIZE
00001d03: DUP1
00001d04: PUSH1 0x00
00001d06: DUP2
00001d07: EQ
00001d08: PUSH2 0x1d2d
00001d0b: JUMPI
00001d0c: PUSH1 0x40
00001d0e: MLOAD
00001d0f: SWAP2
00001d10: POP
00001d11: PUSH1 0x1f
00001d13: NOT
00001d14: PUSH1 0x3f
00001d16: RETURNDATASIZE
00001d17: ADD
00001d18: AND
00001d19: DUP3
00001d1a: ADD
00001d1b: PUSH1 0x40
00001d1d: MSTORE
00001d1e: RETURNDATASIZE
00001d1f: DUP3
00001d20: MSTORE
00001d21: RETURNDATASIZE
00001d22: PUSH1 0x00
00001d24: PUSH1 0x20
00001d26: DUP5
00001d27: ADD
00001d28: RETURNDATACOPY
00001d29: PUSH2 0x1d32
00001d2c: JUMP
00001d2d: JUMPDEST
00001d2e: PUSH1 0x60
00001d30: SWAP2
00001d31: POP
00001d32: JUMPDEST
00001d33: POP
00001d34: SWAP2
00001d35: POP
00001d36: SWAP2
00001d37: POP
00001d38: DUP2
00001d39: DUP1
00001d3a: ISZERO
00001d3b: PUSH2 0x1d60
00001d3e: JUMPI
00001d3f: POP
00001d40: DUP1
00001d41: MLOAD
00001d42: ISZERO
00001d43: DUP1
00001d44: PUSH2 0x1d60
00001d47: JUMPI
00001d48: POP
00001d49: DUP1
00001d4a: DUP1
00001d4b: PUSH1 0x20
00001d4d: ADD
00001d4e: SWAP1
00001d4f: MLOAD
00001d50: PUSH1 0x20
00001d52: DUP2
00001d53: LT
00001d54: ISZERO
00001d55: PUSH2 0x1d5d
00001d58: JUMPI
00001d59: PUSH1 0x00
00001d5b: DUP1
00001d5c: REVERT
00001d5d: JUMPDEST
00001d5e: POP
00001d5f: MLOAD
00001d60: JUMPDEST
00001d61: PUSH2 0x1d9b
00001d64: JUMPI
00001d65: PUSH1 0x40
00001d67: MLOAD
00001d68: PUSH3 0x461bcd
00001d6c: PUSH1 0xe5
00001d6e: SHL
00001d6f: DUP2
00001d70: MSTORE
00001d71: PUSH1 0x04
00001d73: ADD
00001d74: DUP1
00001d75: DUP1
00001d76: PUSH1 0x20
00001d78: ADD
00001d79: DUP3
00001d7a: DUP2
00001d7b: SUB
00001d7c: DUP3
00001d7d: MSTORE
00001d7e: PUSH1 0x24
00001d80: DUP2
00001d81: MSTORE
00001d82: PUSH1 0x20
00001d84: ADD
00001d85: DUP1
00001d86: PUSH2 0x201c
00001d89: PUSH1 0x24
00001d8b: SWAP2
00001d8c: CODECOPY
00001d8d: PUSH1 0x40
00001d8f: ADD
00001d90: SWAP2
00001d91: POP
00001d92: POP
00001d93: PUSH1 0x40
00001d95: MLOAD
00001d96: DUP1
00001d97: SWAP2
00001d98: SUB
00001d99: SWAP1
00001d9a: REVERT
00001d9b: JUMPDEST
00001d9c: POP
00001d9d: POP
00001d9e: POP
00001d9f: POP
00001da0: POP
00001da1: POP
00001da2: JUMP
00001da3: JUMPDEST
00001da4: PUSH1 0x40
00001da6: DUP1
00001da7: MLOAD
00001da8: PUSH1 0x00
00001daa: DUP1
00001dab: DUP3
00001dac: MSTORE
00001dad: PUSH1 0x20
00001daf: DUP3
00001db0: ADD
00001db1: SWAP1
00001db2: SWAP3
00001db3: MSTORE
00001db4: PUSH1 0x01
00001db6: PUSH1 0x01
00001db8: PUSH1 0xa0
00001dba: SHL
00001dbb: SUB
00001dbc: DUP5
00001dbd: AND
00001dbe: SWAP1
00001dbf: DUP4
00001dc0: SWAP1
00001dc1: PUSH1 0x40
00001dc3: MLOAD
00001dc4: DUP1
00001dc5: DUP3
00001dc6: DUP1
00001dc7: MLOAD
00001dc8: SWAP1
00001dc9: PUSH1 0x20
00001dcb: ADD
00001dcc: SWAP1
00001dcd: DUP1
00001dce: DUP4
00001dcf: DUP4
00001dd0: JUMPDEST
00001dd1: PUSH1 0x20
00001dd3: DUP4
00001dd4: LT
00001dd5: PUSH2 0x1e0d
00001dd8: JUMPI
00001dd9: DUP1
00001dda: MLOAD
00001ddb: DUP3
00001ddc: MSTORE
00001ddd: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001dfe: SWAP1
00001dff: SWAP3
00001e00: ADD
00001e01: SWAP2
00001e02: PUSH1 0x20
00001e04: SWAP2
00001e05: DUP3
00001e06: ADD
00001e07: SWAP2
00001e08: ADD
00001e09: PUSH2 0x1dd0
00001e0c: JUMP
00001e0d: JUMPDEST
00001e0e: PUSH1 0x01
00001e10: DUP4
00001e11: PUSH1 0x20
00001e13: SUB
00001e14: PUSH2 0x0100
00001e17: EXP
00001e18: SUB
00001e19: DUP1
00001e1a: NOT
00001e1b: DUP3
00001e1c: MLOAD
00001e1d: AND
00001e1e: DUP2
00001e1f: DUP5
00001e20: MLOAD
00001e21: AND
00001e22: DUP1
00001e23: DUP3
00001e24: OR
00001e25: DUP6
00001e26: MSTORE
00001e27: POP
00001e28: POP
00001e29: POP
00001e2a: POP
00001e2b: POP
00001e2c: POP
00001e2d: SWAP1
00001e2e: POP
00001e2f: ADD
00001e30: SWAP2
00001e31: POP
00001e32: POP
00001e33: PUSH1 0x00
00001e35: PUSH1 0x40
00001e37: MLOAD
00001e38: DUP1
00001e39: DUP4
00001e3a: SUB
00001e3b: DUP2
00001e3c: DUP6
00001e3d: DUP8
00001e3e: GAS
00001e3f: CALL
00001e40: SWAP3
00001e41: POP
00001e42: POP
00001e43: POP
00001e44: RETURNDATASIZE
00001e45: DUP1
00001e46: PUSH1 0x00
00001e48: DUP2
00001e49: EQ
00001e4a: PUSH2 0x1e6f
00001e4d: JUMPI
00001e4e: PUSH1 0x40
00001e50: MLOAD
00001e51: SWAP2
00001e52: POP
00001e53: PUSH1 0x1f
00001e55: NOT
00001e56: PUSH1 0x3f
00001e58: RETURNDATASIZE
00001e59: ADD
00001e5a: AND
00001e5b: DUP3
00001e5c: ADD
00001e5d: PUSH1 0x40
00001e5f: MSTORE
00001e60: RETURNDATASIZE
00001e61: DUP3
00001e62: MSTORE
00001e63: RETURNDATASIZE
00001e64: PUSH1 0x00
00001e66: PUSH1 0x20
00001e68: DUP5
00001e69: ADD
00001e6a: RETURNDATACOPY
00001e6b: PUSH2 0x1e74
00001e6e: JUMP
00001e6f: JUMPDEST
00001e70: PUSH1 0x60
00001e72: SWAP2
00001e73: POP
00001e74: JUMPDEST
00001e75: POP
00001e76: POP
00001e77: SWAP1
00001e78: POP
00001e79: DUP1
00001e7a: PUSH2 0x1eb4
00001e7d: JUMPI
00001e7e: PUSH1 0x40
00001e80: MLOAD
00001e81: PUSH3 0x461bcd
00001e85: PUSH1 0xe5
00001e87: SHL
00001e88: DUP2
00001e89: MSTORE
00001e8a: PUSH1 0x04
00001e8c: ADD
00001e8d: DUP1
00001e8e: DUP1
00001e8f: PUSH1 0x20
00001e91: ADD
00001e92: DUP3
00001e93: DUP2
00001e94: SUB
00001e95: DUP3
00001e96: MSTORE
00001e97: PUSH1 0x23
00001e99: DUP2
00001e9a: MSTORE
00001e9b: PUSH1 0x20
00001e9d: ADD
00001e9e: DUP1
00001e9f: PUSH2 0x1ff9
00001ea2: PUSH1 0x23
00001ea4: SWAP2
00001ea5: CODECOPY
00001ea6: PUSH1 0x40
00001ea8: ADD
00001ea9: SWAP2
00001eaa: POP
00001eab: POP
00001eac: PUSH1 0x40
00001eae: MLOAD
00001eaf: DUP1
00001eb0: SWAP2
00001eb1: SUB
00001eb2: SWAP1
00001eb3: REVERT
00001eb4: JUMPDEST
00001eb5: POP
00001eb6: POP
00001eb7: POP
00001eb8: JUMP
00001eb9: JUMPDEST
00001eba: PUSH1 0x00
00001ebc: DUP2
00001ebd: DUP5
00001ebe: DUP5
00001ebf: GT
00001ec0: ISZERO
00001ec1: PUSH2 0x1f48
00001ec4: JUMPI
00001ec5: PUSH1 0x40
00001ec7: MLOAD
00001ec8: PUSH3 0x461bcd
00001ecc: PUSH1 0xe5
00001ece: SHL
00001ecf: DUP2
00001ed0: MSTORE
00001ed1: PUSH1 0x04
00001ed3: ADD
00001ed4: DUP1
00001ed5: DUP1
00001ed6: PUSH1 0x20
00001ed8: ADD
00001ed9: DUP3
00001eda: DUP2
00001edb: SUB
00001edc: DUP3
00001edd: MSTORE
00001ede: DUP4
00001edf: DUP2
00001ee0: DUP2
00001ee1: MLOAD
00001ee2: DUP2
00001ee3: MSTORE
00001ee4: PUSH1 0x20
00001ee6: ADD
00001ee7: SWAP2
00001ee8: POP
00001ee9: DUP1
00001eea: MLOAD
00001eeb: SWAP1
00001eec: PUSH1 0x20
00001eee: ADD
00001eef: SWAP1
00001ef0: DUP1
00001ef1: DUP4
00001ef2: DUP4
00001ef3: PUSH1 0x00
00001ef5: JUMPDEST
00001ef6: DUP4
00001ef7: DUP2
00001ef8: LT
00001ef9: ISZERO
00001efa: PUSH2 0x1f0d
00001efd: JUMPI
00001efe: DUP2
00001eff: DUP2
00001f00: ADD
00001f01: MLOAD
00001f02: DUP4
00001f03: DUP3
00001f04: ADD
00001f05: MSTORE
00001f06: PUSH1 0x20
00001f08: ADD
00001f09: PUSH2 0x1ef5
00001f0c: JUMP
00001f0d: JUMPDEST
00001f0e: POP
00001f0f: POP
00001f10: POP
00001f11: POP
00001f12: SWAP1
00001f13: POP
00001f14: SWAP1
00001f15: DUP2
00001f16: ADD
00001f17: SWAP1
00001f18: PUSH1 0x1f
00001f1a: AND
00001f1b: DUP1
00001f1c: ISZERO
00001f1d: PUSH2 0x1f3a
00001f20: JUMPI
00001f21: DUP1
00001f22: DUP3
00001f23: SUB
00001f24: DUP1
00001f25: MLOAD
00001f26: PUSH1 0x01
00001f28: DUP4
00001f29: PUSH1 0x20
00001f2b: SUB
00001f2c: PUSH2 0x0100
00001f2f: EXP
00001f30: SUB
00001f31: NOT
00001f32: AND
00001f33: DUP2
00001f34: MSTORE
00001f35: PUSH1 0x20
00001f37: ADD
00001f38: SWAP2
00001f39: POP
00001f3a: JUMPDEST
00001f3b: POP
00001f3c: SWAP3
00001f3d: POP
00001f3e: POP
00001f3f: POP
00001f40: PUSH1 0x40
00001f42: MLOAD
00001f43: DUP1
00001f44: SWAP2
00001f45: SUB
00001f46: SWAP1
00001f47: REVERT
00001f48: JUMPDEST
00001f49: POP
00001f4a: POP
00001f4b: POP
00001f4c: SWAP1
00001f4d: SUB
00001f4e: SWAP1
00001f4f: JUMP
00001f50: JUMPDEST
00001f51: PUSH1 0x00
00001f53: DUP2
00001f54: DUP4
00001f55: PUSH2 0x1f9f
00001f58: JUMPI
00001f59: PUSH1 0x40
00001f5b: MLOAD
00001f5c: PUSH3 0x461bcd
00001f60: PUSH1 0xe5
00001f62: SHL
00001f63: DUP2
00001f64: MSTORE
00001f65: PUSH1 0x20
00001f67: PUSH1 0x04
00001f69: DUP3
00001f6a: ADD
00001f6b: DUP2
00001f6c: DUP2
00001f6d: MSTORE
00001f6e: DUP4
00001f6f: MLOAD
00001f70: PUSH1 0x24
00001f72: DUP5
00001f73: ADD
00001f74: MSTORE
00001f75: DUP4
00001f76: MLOAD
00001f77: SWAP1
00001f78: SWAP3
00001f79: DUP4
00001f7a: SWAP3
00001f7b: PUSH1 0x44
00001f7d: SWAP1
00001f7e: SWAP2
00001f7f: ADD
00001f80: SWAP2
00001f81: SWAP1
00001f82: DUP6
00001f83: ADD
00001f84: SWAP1
00001f85: DUP1
00001f86: DUP4
00001f87: DUP4
00001f88: PUSH1 0x00
00001f8a: DUP4
00001f8b: ISZERO
00001f8c: PUSH2 0x1f0d
00001f8f: JUMPI
00001f90: DUP2
00001f91: DUP2
00001f92: ADD
00001f93: MLOAD
00001f94: DUP4
00001f95: DUP3
00001f96: ADD
00001f97: MSTORE
00001f98: PUSH1 0x20
00001f9a: ADD
00001f9b: PUSH2 0x1ef5
00001f9e: JUMP
00001f9f: JUMPDEST
00001fa0: POP
00001fa1: PUSH1 0x00
00001fa3: DUP4
00001fa4: DUP6
00001fa5: DUP2
00001fa6: PUSH2 0x1fab
00001fa9: JUMPI
00001faa: INVALID
00001fab: JUMPDEST
00001fac: DIV
00001fad: SWAP6
00001fae: SWAP5
00001faf: POP
00001fb0: POP
00001fb1: POP
00001fb2: POP
00001fb3: POP
00001fb4: JUMP
00001fb5: INVALID
00001fb6: NUMBER
00001fb7: PUSH16 0x46695374616b696e673a20696e76616c
00001fc8: PUSH10 0x64207368617265207365
00001fd3: PUSH21 0x74696e67536166654d6174683a206d756c7469706c
00001fe9: PUSH10 0x636174696f6e206f7665
00001ff4: PUSH19 0x666c6f775472616e7366657248656c7065723a
00002008: KECCAK256
00002009: GASLIMIT
0000200a: SLOAD
0000200b: BASEFEE
0000200c: PUSH0
0000200d: SLOAD
0000200e: MSTORE
0000200f: COINBASE
00002010: UNKNOWN(0x4E)
00002011: MSTORE8
00002012: CHAINID
00002013: GASLIMIT
00002014: MSTORE
00002015: PUSH0
00002016: CHAINID
00002017: COINBASE
00002018: BLOBHASH
00002019: UNKNOWN(0x4C)
0000201a: GASLIMIT
0000201b: DIFFICULTY
0000201c: SLOAD
0000201d: PUSH19 0x616e7366657248656c7065723a205452414e53
00002031: CHAINID
00002032: GASLIMIT
00002033: MSTORE
00002034: PUSH0
00002035: CHAINID
00002036: MSTORE
00002037: UNKNOWN(0x4F)
00002038: UNKNOWN(0x4D)
00002039: PUSH0
0000203a: CHAINID
0000203b: COINBASE
0000203c: BLOBHASH
0000203d: UNKNOWN(0x4C)
0000203e: GASLIMIT
0000203f: DIFFICULTY
00002040: LOG2
00002041: PUSH5 0x6970667358
00002047: UNKNOWN(0x22)
00002048: SLT
00002049: KECCAK256
0000204a: CALLVALUE
0000204b: CHAINID
0000204c: UNKNOWN(0x2D)
0000204d: UNKNOWN(0xCB)
0000204e: UNKNOWN(0xBB)
0000204f: EXTCODEHASH
00002050: BLOBHASH
00002051: DUP7
00002052: UNKNOWN(0xC8)
00002053: LOG3
00002054: REVERT
00002055: UNKNOWN(0x0C)
00002056: SWAP16
00002057: UNKNOWN(0xEC)
00002058: UNKNOWN(0x22)
00002059: UNKNOWN(0xDF)
0000205a: UNKNOWN(0x21)
0000205b: PUSH6 0x5a337fc37fe1
00002062: DUP1
00002063: UNKNOWN(0xF7)
00002064: UNKNOWN(0x21)
00002065: UNKNOWN(0xE0)
00002066: UNKNOWN(0x22)
00002067: ADD
00002068: UNKNOWN(0xD9)
00002069: ORIGIN
0000206a: PUSH5 0x736f6c6343
00002070: STOP
00002071: MOD
00002072: UNKNOWN(0x0C)
00002073: STOP
00002074: CALLER