Analysis Run

[codex:1202390] OpenAI Codex v0.77.0 (research preview)
[codex:1202390] --------
[codex:1202390] workdir: /tmp/codex-multi-qxm34kwo
[codex:1202390] model: gpt-5.2-codex
[codex:1202390] provider: openai
[codex:1202390] approval: never
[codex:1202390] sandbox: read-only
[codex:1202390] reasoning effort: xhigh
[codex:1202390] reasoning summaries: auto
[codex:1202390] session id: 019b6c5b-5575-7443-97f2-f40eb10f18be
[codex:1202390] --------
[codex:1202390] user
[codex:1202390] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1202390] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1202390] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1202390] 
[codex:1202390] Scope rules:
[codex:1202390] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1202390] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1202390] 
[codex:1202390] Output MUST be valid JSON matching the provided schema.
[codex:1202390] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1202390] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1202390] 
[codex:1202390] Output constraints (IMPORTANT):
[codex:1202390] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1202390] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1202390] mcp startup: no servers
[codex:1202390] 
[codex:1202390] thinking
[codex:1202390] **Preparing to read AUDIT_BUNDLE**
[codex:1202390] exec
[codex:1202390] /bin/bash -lc ls in /tmp/codex-multi-qxm34kwo succeeded in 6ms:
[codex:1202390] AUDIT_BUNDLE.txt
[codex:1202390] codex-output-schema.json
[codex:1202390] contracts
[codex:1202390] exec
[codex:1202390] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-qxm34kwo succeeded in 5ms:
[codex:1202390] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1202390] 
[codex:1202390] ================================================================================
[codex:1202390] FILE: contracts/Contract.sol
[codex:1202390] ================================================================================
[codex:1202390] // SPDX-License-Identifier: GPL-3.0-or-later
[codex:1202390] pragma solidity =0.8.19 ^0.8.0 ^0.8.1;
[codex:1202390] 
[codex:1202390] // node_modules/@openzeppelin/contracts/token/ERC20/IERC20.sol
[codex:1202390] 
[codex:1202390] // OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/IERC20.sol)
[codex:1202390] 
[codex:1202390] /**
[codex:1202390]  * @dev Interface of the ERC20 standard as defined in the EIP.
[codex:1202390]  */
[codex:1202390] interface IERC20 {
[codex:1202390]     /**
[codex:1202390]      * @dev Emitted when `value` tokens are moved from one account (`from`) to
[codex:1202390]      * another (`to`).
[codex:1202390]      *
[codex:1202390] 
[codex:1202390] 
[codex:1202390] 
[codex:1202390] thinking
[codex:1202390] **Analyzing reversed mint/burn logic in TokenFactory**
[codex:1202390] 
[codex:1202390] I'll carefully examine TokenFactory's mint and burn functions and find their locking and unlocking logic on the main chain is reversed relative to code comments. This swap poses a potential accounting mismatch if offchain components rely on misleading comments, but access control is tight, and direct exploits seem unlikely. The main concern is a logic flaw risking escrow invariants if the offchain minter misuses function calls.
[codex:1202390] thinking
[codex:1202390] **Reviewing function comments and trust assumptions**
[codex:1202390] 
[codex:1202390] I’m checking how comments inside mint and burn functions don’t match the actual code behavior, which could confuse integrators relying on them. The design generally follows standard bridging patterns with the minter fully trusted, so the main risks come from misinterpretation of documentation rather than exploitable flaws.
[codex:1202390] thinking
[codex:1202390] **Identifying critical locking failure in main-chain mint function**
[codex:1202390] 
[codex:1202390] I’m seeing a serious functional bug where the main-chain mint function transfers tokens from the contract to the user instead of locking user tokens by transferFrom. This mismatch can cause bridged tokens to be minted without backing collateral, leading to insolvency and stuck funds if the offchain minter relies on the documented locking behavior.
[codex:1202390] exec
[codex:1202390] /bin/bash -lc 'rg --files' in /tmp/codex-multi-qxm34kwo succeeded in 8ms:
[codex:1202390] codex-output-schema.json
[codex:1202390] AUDIT_BUNDLE.txt
[codex:1202390] contracts/Contract.sol
[codex:1202390] 
[codex:1202390] thinking
[codex:1202390] **Checking for TokenFactory declaration**
[codex:1202390] exec
[codex:1202390] /bin/bash -lc 'rg -n "contract TokenFactory" -n contracts/Contract.sol' in /tmp/codex-multi-qxm34kwo succeeded in 8ms:
[codex:1202390] 1147:contract TokenFactory is Ownable {
[codex:1202390] 
[codex:1202390] thinking
[codex:1202390] **Adding mint and burn lines**
[codex:1202390] exec
[codex:1202390] /bin/bash -lc "nl -ba contracts/Contract.sol | sed -n '1180,1260p'" in /tmp/codex-multi-qxm34kwo succeeded in 6ms:
[codex:1202390]   1180	        _transferOwnership(owner);
[codex:1202390]   1181	    }
[codex:1202390]   1182	
[codex:1202390]   1183	    /// @notice Mints or locks tokens
[codex:1202390]   1184	    /// @param nativeToken Address of the token (whether on Chain A or Chain B)
[codex:1202390]   1185	    /// @param to Address to receive tokens
[codex:1202390]   1186	    /// @param amount Amount of tokens to mint or lock
[codex:1202390]   1187	    /// @param name Name of the original token
[codex:1202390]   1188	    /// @param symbol Symbol of the original token
[codex:1202390]   1189	    /// @param decimals Decimals of the original token
[codex:1202390]   1190	    function mint(
[codex:1202390]   1191	        address nativeToken,
[codex:1202390]   1192	        address to,
[codex:1202390]   1193	        uint256 amount,
[codex:1202390]   1194	        string memory name,
[codex:1202390]   1195	        string memory symbol,
[codex:1202390]   1196	        uint8 decimals
[codex:1202390]   1197	    ) external onlyMinter {
[codex:1202390]   1198	        if (block.chainid == CHAIN_ID) {
[codex:1202390]   1199	            // The token exists on this chain, lock it
[codex:1202390] 
[codex:1202390] thinking
[codex:1202390] **Evaluating potential vulnerabilities in bridging code**
[codex:1202390] 
[codex:1202390] I'm carefully weighing whether mismatched comments on lock/unlock logic count as vulnerabilities and conclude they're mostly documentation issues without direct exploit risk. I’m checking access controls and token transfer logic for attack paths, noting minter's privileged role limits exposure. Reviewing token creation salt logic also points to potential misconfiguration risks but no clear security flaws. I’m aiming to produce a JSON report listing only real vulnerabilities while considering if there's truly none to report.
[codex:1202390] exec
[codex:1202390] /bin/bash -lc 'rg -n "contract Token" -n contracts/Contract.sol' in /tmp/codex-multi-qxm34kwo succeeded in 6ms:
[codex:1202390] 1092:contract Token is ERC20, ERC20Burnable, Ownable {
[codex:1202390] 1147:contract TokenFactory is Ownable {
[codex:1202390] 
[codex:1202390] thinking
[codex:1202390] **Assessing potential vulnerabilities in token contracts**
[codex:1202390] exec
[codex:1202390] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-qxm34kwo succeeded in 5ms:
[codex:1202390] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:1202390] 
[codex:1202390] thinking
[codex:1202390] **Preparing JSON summary for findings**
[codex:1202390] codex
[codex:1202390] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first-party contracts based on the provided AUDIT_BUNDLE.txt.","findings":[]}
[codex:1202390] tokens used
[codex:1202390] 22,496
[codex:1202390] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first-party contracts based on the provided AUDIT_BUNDLE.txt.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-29T23:07:53.077676+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities identified in the first-party contracts based on the provided AUDIT_BUNDLE.txt.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities identified in the first-party contracts based on the provided AUDIT_BUNDLE.txt.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH3 0x000011
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: DUP1
00000010: REVERT
00000011: JUMPDEST
00000012: POP
00000013: PUSH1 0x04
00000015: CALLDATASIZE
00000016: LT
00000017: PUSH3 0x0000c3
0000001b: JUMPI
0000001c: PUSH1 0x00
0000001e: CALLDATALOAD
0000001f: PUSH1 0xe0
00000021: SHR
00000022: DUP1
00000023: PUSH4 0xc00f14ab
00000028: GT
00000029: PUSH3 0x00007a
0000002d: JUMPI
0000002e: DUP1
0000002f: PUSH4 0xc00f14ab
00000034: EQ
00000035: PUSH3 0x00019c
00000039: JUMPI
0000003a: DUP1
0000003b: PUSH4 0xc86726f6
00000040: EQ
00000041: PUSH3 0x0001c4
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0xd5c6b504
0000004c: EQ
0000004d: PUSH3 0x0001f0
00000051: JUMPI
00000052: DUP1
00000053: PUSH4 0xf2fde38b
00000058: EQ
00000059: PUSH3 0x00021c
0000005d: JUMPI
0000005e: DUP1
0000005f: PUSH4 0xf6b911bc
00000064: EQ
00000065: PUSH3 0x000233
00000069: JUMPI
0000006a: DUP1
0000006b: PUSH4 0xfca3b5aa
00000070: EQ
00000071: PUSH3 0x00024a
00000075: JUMPI
00000076: PUSH1 0x00
00000078: DUP1
00000079: REVERT
0000007a: JUMPDEST
0000007b: DUP1
0000007c: PUSH4 0x07546172
00000081: EQ
00000082: PUSH3 0x0000c8
00000086: JUMPI
00000087: DUP1
00000088: PUSH4 0x495ee13e
0000008d: EQ
0000008e: PUSH3 0x0000f9
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x715018a6
00000099: EQ
0000009a: PUSH3 0x000130
0000009e: JUMPI
0000009f: DUP1
000000a0: PUSH4 0x85e1f4d0
000000a5: EQ
000000a6: PUSH3 0x00013c
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0x8b608899
000000b1: EQ
000000b2: PUSH3 0x000173
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x8da5cb5b
000000bd: EQ
000000be: PUSH3 0x00018a
000000c2: JUMPI
000000c3: JUMPDEST
000000c4: PUSH1 0x00
000000c6: DUP1
000000c7: REVERT
000000c8: JUMPDEST
000000c9: PUSH1 0x01
000000cb: SLOAD
000000cc: PUSH3 0x0000dc
000000d0: SWAP1
000000d1: PUSH1 0x01
000000d3: PUSH1 0x01
000000d5: PUSH1 0xa0
000000d7: SHL
000000d8: SUB
000000d9: AND
000000da: DUP2
000000db: JUMP
000000dc: JUMPDEST
000000dd: PUSH1 0x40
000000df: MLOAD
000000e0: PUSH1 0x01
000000e2: PUSH1 0x01
000000e4: PUSH1 0xa0
000000e6: SHL
000000e7: SUB
000000e8: SWAP1
000000e9: SWAP2
000000ea: AND
000000eb: DUP2
000000ec: MSTORE
000000ed: PUSH1 0x20
000000ef: ADD
000000f0: JUMPDEST
000000f1: PUSH1 0x40
000000f3: MLOAD
000000f4: DUP1
000000f5: SWAP2
000000f6: SUB
000000f7: SWAP1
000000f8: RETURN
000000f9: JUMPDEST
000000fa: PUSH3 0x00011f
000000fe: PUSH3 0x00010a
00000102: CALLDATASIZE
00000103: PUSH1 0x04
00000105: PUSH3 0x000b79
00000109: JUMP
0000010a: JUMPDEST
0000010b: PUSH1 0x02
0000010d: PUSH1 0x20
0000010f: MSTORE
00000110: PUSH1 0x00
00000112: SWAP1
00000113: DUP2
00000114: MSTORE
00000115: PUSH1 0x40
00000117: SWAP1
00000118: KECCAK256
00000119: SLOAD
0000011a: PUSH1 0xff
0000011c: AND
0000011d: DUP2
0000011e: JUMP
0000011f: JUMPDEST
00000120: PUSH1 0x40
00000122: MLOAD
00000123: SWAP1
00000124: ISZERO
00000125: ISZERO
00000126: DUP2
00000127: MSTORE
00000128: PUSH1 0x20
0000012a: ADD
0000012b: PUSH3 0x0000f0
0000012f: JUMP
00000130: JUMPDEST
00000131: PUSH3 0x00013a
00000135: PUSH3 0x000261
00000139: JUMP
0000013a: JUMPDEST
0000013b: STOP
0000013c: JUMPDEST
0000013d: PUSH3 0x000164
00000141: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00000162: DUP2
00000163: JUMP
00000164: JUMPDEST
00000165: PUSH1 0x40
00000167: MLOAD
00000168: SWAP1
00000169: DUP2
0000016a: MSTORE
0000016b: PUSH1 0x20
0000016d: ADD
0000016e: PUSH3 0x0000f0
00000172: JUMP
00000173: JUMPDEST
00000174: PUSH3 0x00013a
00000178: PUSH3 0x000184
0000017c: CALLDATASIZE
0000017d: PUSH1 0x04
0000017f: PUSH3 0x000c7f
00000183: JUMP
00000184: JUMPDEST
00000185: PUSH3 0x000279
00000189: JUMP
0000018a: JUMPDEST
0000018b: PUSH1 0x00
0000018d: SLOAD
0000018e: PUSH1 0x01
00000190: PUSH1 0x01
00000192: PUSH1 0xa0
00000194: SHL
00000195: SUB
00000196: AND
00000197: PUSH3 0x0000dc
0000019b: JUMP
0000019c: JUMPDEST
0000019d: PUSH3 0x0001b3
000001a1: PUSH3 0x0001ad
000001a5: CALLDATASIZE
000001a6: PUSH1 0x04
000001a8: PUSH3 0x000b79
000001ac: JUMP
000001ad: JUMPDEST
000001ae: PUSH3 0x00036b
000001b2: JUMP
000001b3: JUMPDEST
000001b4: PUSH1 0x40
000001b6: MLOAD
000001b7: PUSH3 0x0000f0
000001bb: SWAP4
000001bc: SWAP3
000001bd: SWAP2
000001be: SWAP1
000001bf: PUSH3 0x000d82
000001c3: JUMP
000001c4: JUMPDEST
000001c5: PUSH3 0x0000dc
000001c9: PUSH3 0x0001d5
000001cd: CALLDATASIZE
000001ce: PUSH1 0x04
000001d0: PUSH3 0x000b79
000001d4: JUMP
000001d5: JUMPDEST
000001d6: PUSH1 0x04
000001d8: PUSH1 0x20
000001da: MSTORE
000001db: PUSH1 0x00
000001dd: SWAP1
000001de: DUP2
000001df: MSTORE
000001e0: PUSH1 0x40
000001e2: SWAP1
000001e3: KECCAK256
000001e4: SLOAD
000001e5: PUSH1 0x01
000001e7: PUSH1 0x01
000001e9: PUSH1 0xa0
000001eb: SHL
000001ec: SUB
000001ed: AND
000001ee: DUP2
000001ef: JUMP
000001f0: JUMPDEST
000001f1: PUSH3 0x0000dc
000001f5: PUSH3 0x000201
000001f9: CALLDATASIZE
000001fa: PUSH1 0x04
000001fc: PUSH3 0x000b79
00000200: JUMP
00000201: JUMPDEST
00000202: PUSH1 0x03
00000204: PUSH1 0x20
00000206: MSTORE
00000207: PUSH1 0x00
00000209: SWAP1
0000020a: DUP2
0000020b: MSTORE
0000020c: PUSH1 0x40
0000020e: SWAP1
0000020f: KECCAK256
00000210: SLOAD
00000211: PUSH1 0x01
00000213: PUSH1 0x01
00000215: PUSH1 0xa0
00000217: SHL
00000218: SUB
00000219: AND
0000021a: DUP2
0000021b: JUMP
0000021c: JUMPDEST
0000021d: PUSH3 0x00013a
00000221: PUSH3 0x00022d
00000225: CALLDATASIZE
00000226: PUSH1 0x04
00000228: PUSH3 0x000b79
0000022c: JUMP
0000022d: JUMPDEST
0000022e: PUSH3 0x000501
00000232: JUMP
00000233: JUMPDEST
00000234: PUSH3 0x00013a
00000238: PUSH3 0x000244
0000023c: CALLDATASIZE
0000023d: PUSH1 0x04
0000023f: PUSH3 0x000dbf
00000243: JUMP
00000244: JUMPDEST
00000245: PUSH3 0x000584
00000249: JUMP
0000024a: JUMPDEST
0000024b: PUSH3 0x00013a
0000024f: PUSH3 0x00025b
00000253: CALLDATASIZE
00000254: PUSH1 0x04
00000256: PUSH3 0x000b79
0000025a: JUMP
0000025b: JUMPDEST
0000025c: PUSH3 0x000698
00000260: JUMP
00000261: JUMPDEST
00000262: PUSH3 0x00026b
00000266: PUSH3 0x0006f4
0000026a: JUMP
0000026b: JUMPDEST
0000026c: PUSH3 0x000277
00000270: PUSH1 0x00
00000272: PUSH3 0x000750
00000276: JUMP
00000277: JUMPDEST
00000278: JUMP
00000279: JUMPDEST
0000027a: PUSH1 0x01
0000027c: SLOAD
0000027d: PUSH1 0x01
0000027f: PUSH1 0x01
00000281: PUSH1 0xa0
00000283: SHL
00000284: SUB
00000285: AND
00000286: CALLER
00000287: EQ
00000288: PUSH3 0x0002a5
0000028c: JUMPI
0000028d: PUSH1 0x40
0000028f: MLOAD
00000290: PUSH4 0x3e34a41b
00000295: PUSH1 0xe2
00000297: SHL
00000298: DUP2
00000299: MSTORE
0000029a: PUSH1 0x04
0000029c: ADD
0000029d: PUSH1 0x40
0000029f: MLOAD
000002a0: DUP1
000002a1: SWAP2
000002a2: SUB
000002a3: SWAP1
000002a4: REVERT
000002a5: JUMPDEST
000002a6: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
000002c7: CHAINID
000002c8: SUB
000002c9: PUSH3 0x0002e9
000002cd: JUMPI
000002ce: PUSH3 0x0002e3
000002d2: PUSH1 0x01
000002d4: PUSH1 0x01
000002d6: PUSH1 0xa0
000002d8: SHL
000002d9: SUB
000002da: DUP8
000002db: AND
000002dc: DUP7
000002dd: DUP7
000002de: PUSH3 0x0007a0
000002e2: JUMP
000002e3: JUMPDEST
000002e4: PUSH3 0x000363
000002e8: JUMP
000002e9: JUMPDEST
000002ea: PUSH1 0x00
000002ec: PUSH3 0x0002f9
000002f0: DUP8
000002f1: DUP6
000002f2: DUP6
000002f3: DUP6
000002f4: PUSH3 0x000805
000002f8: JUMP
000002f9: JUMPDEST
000002fa: PUSH1 0x40
000002fc: MLOAD
000002fd: PUSH4 0x40c10f19
00000302: PUSH1 0xe0
00000304: SHL
00000305: DUP2
00000306: MSTORE
00000307: PUSH1 0x01
00000309: PUSH1 0x01
0000030b: PUSH1 0xa0
0000030d: SHL
0000030e: SUB
0000030f: DUP9
00000310: DUP2
00000311: AND
00000312: PUSH1 0x04
00000314: DUP4
00000315: ADD
00000316: MSTORE
00000317: PUSH1 0x24
00000319: DUP3
0000031a: ADD
0000031b: DUP9
0000031c: SWAP1
0000031d: MSTORE
0000031e: SWAP2
0000031f: SWAP3
00000320: POP
00000321: SWAP1
00000322: DUP3
00000323: AND
00000324: SWAP1
00000325: PUSH4 0x40c10f19
0000032a: SWAP1
0000032b: PUSH1 0x44
0000032d: ADD
0000032e: PUSH1 0x00
00000330: PUSH1 0x40
00000332: MLOAD
00000333: DUP1
00000334: DUP4
00000335: SUB
00000336: DUP2
00000337: PUSH1 0x00
00000339: DUP8
0000033a: DUP1
0000033b: EXTCODESIZE
0000033c: ISZERO
0000033d: DUP1
0000033e: ISZERO
0000033f: PUSH3 0x000348
00000343: JUMPI
00000344: PUSH1 0x00
00000346: DUP1
00000347: REVERT
00000348: JUMPDEST
00000349: POP
0000034a: GAS
0000034b: CALL
0000034c: ISZERO
0000034d: DUP1
0000034e: ISZERO
0000034f: PUSH3 0x00035d
00000353: JUMPI
00000354: RETURNDATASIZE
00000355: PUSH1 0x00
00000357: DUP1
00000358: RETURNDATACOPY
00000359: RETURNDATASIZE
0000035a: PUSH1 0x00
0000035c: REVERT
0000035d: JUMPDEST
0000035e: POP
0000035f: POP
00000360: POP
00000361: POP
00000362: POP
00000363: JUMPDEST
00000364: POP
00000365: POP
00000366: POP
00000367: POP
00000368: POP
00000369: POP
0000036a: JUMP
0000036b: JUMPDEST
0000036c: PUSH1 0x60
0000036e: DUP1
0000036f: PUSH1 0x00
00000371: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00000392: CHAINID
00000393: EQ
00000394: PUSH3 0x0003b9
00000398: JUMPI
00000399: PUSH1 0x01
0000039b: PUSH1 0x01
0000039d: PUSH1 0xa0
0000039f: SHL
000003a0: SUB
000003a1: DUP1
000003a2: DUP6
000003a3: AND
000003a4: PUSH1 0x00
000003a6: SWAP1
000003a7: DUP2
000003a8: MSTORE
000003a9: PUSH1 0x03
000003ab: PUSH1 0x20
000003ad: MSTORE
000003ae: PUSH1 0x40
000003b0: SWAP1
000003b1: KECCAK256
000003b2: SLOAD
000003b3: AND
000003b4: PUSH3 0x0003bb
000003b8: JUMP
000003b9: JUMPDEST
000003ba: DUP4
000003bb: JUMPDEST
000003bc: SWAP4
000003bd: POP
000003be: DUP4
000003bf: PUSH1 0x01
000003c1: PUSH1 0x01
000003c3: PUSH1 0xa0
000003c5: SHL
000003c6: SUB
000003c7: AND
000003c8: PUSH4 0x06fdde03
000003cd: PUSH1 0x40
000003cf: MLOAD
000003d0: DUP2
000003d1: PUSH4 0xffffffff
000003d6: AND
000003d7: PUSH1 0xe0
000003d9: SHL
000003da: DUP2
000003db: MSTORE
000003dc: PUSH1 0x04
000003de: ADD
000003df: PUSH1 0x00
000003e1: PUSH1 0x40
000003e3: MLOAD
000003e4: DUP1
000003e5: DUP4
000003e6: SUB
000003e7: DUP2
000003e8: DUP7
000003e9: GAS
000003ea: STATICCALL
000003eb: ISZERO
000003ec: DUP1
000003ed: ISZERO
000003ee: PUSH3 0x0003fc
000003f2: JUMPI
000003f3: RETURNDATASIZE
000003f4: PUSH1 0x00
000003f6: DUP1
000003f7: RETURNDATACOPY
000003f8: RETURNDATASIZE
000003f9: PUSH1 0x00
000003fb: REVERT
000003fc: JUMPDEST
000003fd: POP
000003fe: POP
000003ff: POP
00000400: POP
00000401: PUSH1 0x40
00000403: MLOAD
00000404: RETURNDATASIZE
00000405: PUSH1 0x00
00000407: DUP3
00000408: RETURNDATACOPY
00000409: PUSH1 0x1f
0000040b: RETURNDATASIZE
0000040c: SWAP1
0000040d: DUP2
0000040e: ADD
0000040f: PUSH1 0x1f
00000411: NOT
00000412: AND
00000413: DUP3
00000414: ADD
00000415: PUSH1 0x40
00000417: MSTORE
00000418: PUSH3 0x000426
0000041c: SWAP2
0000041d: SWAP1
0000041e: DUP2
0000041f: ADD
00000420: SWAP1
00000421: PUSH3 0x000e00
00000425: JUMP
00000426: JUMPDEST
00000427: DUP5
00000428: PUSH1 0x01
0000042a: PUSH1 0x01
0000042c: PUSH1 0xa0
0000042e: SHL
0000042f: SUB
00000430: AND
00000431: PUSH4 0x95d89b41
00000436: PUSH1 0x40
00000438: MLOAD
00000439: DUP2
0000043a: PUSH4 0xffffffff
0000043f: AND
00000440: PUSH1 0xe0
00000442: SHL
00000443: DUP2
00000444: MSTORE
00000445: PUSH1 0x04
00000447: ADD
00000448: PUSH1 0x00
0000044a: PUSH1 0x40
0000044c: MLOAD
0000044d: DUP1
0000044e: DUP4
0000044f: SUB
00000450: DUP2
00000451: DUP7
00000452: GAS
00000453: STATICCALL
00000454: ISZERO
00000455: DUP1
00000456: ISZERO
00000457: PUSH3 0x000465
0000045b: JUMPI
0000045c: RETURNDATASIZE
0000045d: PUSH1 0x00
0000045f: DUP1
00000460: RETURNDATACOPY
00000461: RETURNDATASIZE
00000462: PUSH1 0x00
00000464: REVERT
00000465: JUMPDEST
00000466: POP
00000467: POP
00000468: POP
00000469: POP
0000046a: PUSH1 0x40
0000046c: MLOAD
0000046d: RETURNDATASIZE
0000046e: PUSH1 0x00
00000470: DUP3
00000471: RETURNDATACOPY
00000472: PUSH1 0x1f
00000474: RETURNDATASIZE
00000475: SWAP1
00000476: DUP2
00000477: ADD
00000478: PUSH1 0x1f
0000047a: NOT
0000047b: AND
0000047c: DUP3
0000047d: ADD
0000047e: PUSH1 0x40
00000480: MSTORE
00000481: PUSH3 0x00048f
00000485: SWAP2
00000486: SWAP1
00000487: DUP2
00000488: ADD
00000489: SWAP1
0000048a: PUSH3 0x000e00
0000048e: JUMP
0000048f: JUMPDEST
00000490: DUP6
00000491: PUSH1 0x01
00000493: PUSH1 0x01
00000495: PUSH1 0xa0
00000497: SHL
00000498: SUB
00000499: AND
0000049a: PUSH4 0x313ce567
0000049f: PUSH1 0x40
000004a1: MLOAD
000004a2: DUP2
000004a3: PUSH4 0xffffffff
000004a8: AND
000004a9: PUSH1 0xe0
000004ab: SHL
000004ac: DUP2
000004ad: MSTORE
000004ae: PUSH1 0x04
000004b0: ADD
000004b1: PUSH1 0x20
000004b3: PUSH1 0x40
000004b5: MLOAD
000004b6: DUP1
000004b7: DUP4
000004b8: SUB
000004b9: DUP2
000004ba: DUP7
000004bb: GAS
000004bc: STATICCALL
000004bd: ISZERO
000004be: DUP1
000004bf: ISZERO
000004c0: PUSH3 0x0004ce
000004c4: JUMPI
000004c5: RETURNDATASIZE
000004c6: PUSH1 0x00
000004c8: DUP1
000004c9: RETURNDATACOPY
000004ca: RETURNDATASIZE
000004cb: PUSH1 0x00
000004cd: REVERT
000004ce: JUMPDEST
000004cf: POP
000004d0: POP
000004d1: POP
000004d2: POP
000004d3: PUSH1 0x40
000004d5: MLOAD
000004d6: RETURNDATASIZE
000004d7: PUSH1 0x1f
000004d9: NOT
000004da: PUSH1 0x1f
000004dc: DUP3
000004dd: ADD
000004de: AND
000004df: DUP3
000004e0: ADD
000004e1: DUP1
000004e2: PUSH1 0x40
000004e4: MSTORE
000004e5: POP
000004e6: DUP2
000004e7: ADD
000004e8: SWAP1
000004e9: PUSH3 0x0004f4
000004ed: SWAP2
000004ee: SWAP1
000004ef: PUSH3 0x000e80
000004f3: JUMP
000004f4: JUMPDEST
000004f5: SWAP3
000004f6: POP
000004f7: SWAP3
000004f8: POP
000004f9: SWAP3
000004fa: POP
000004fb: SWAP2
000004fc: SWAP4
000004fd: SWAP1
000004fe: SWAP3
000004ff: POP
00000500: JUMP
00000501: JUMPDEST
00000502: PUSH3 0x00050b
00000506: PUSH3 0x0006f4
0000050a: JUMP
0000050b: JUMPDEST
0000050c: PUSH1 0x01
0000050e: PUSH1 0x01
00000510: PUSH1 0xa0
00000512: SHL
00000513: SUB
00000514: DUP2
00000515: AND
00000516: PUSH3 0x000576
0000051a: JUMPI
0000051b: PUSH1 0x40
0000051d: MLOAD
0000051e: PUSH3 0x461bcd
00000522: PUSH1 0xe5
00000524: SHL
00000525: DUP2
00000526: MSTORE
00000527: PUSH1 0x20
00000529: PUSH1 0x04
0000052b: DUP3
0000052c: ADD
0000052d: MSTORE
0000052e: PUSH1 0x26
00000530: PUSH1 0x24
00000532: DUP3
00000533: ADD
00000534: MSTORE
00000535: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000556: PUSH1 0x44
00000558: DUP3
00000559: ADD
0000055a: MSTORE
0000055b: PUSH6 0x646472657373
00000562: PUSH1 0xd0
00000564: SHL
00000565: PUSH1 0x64
00000567: DUP3
00000568: ADD
00000569: MSTORE
0000056a: PUSH1 0x84
0000056c: ADD
0000056d: JUMPDEST
0000056e: PUSH1 0x40
00000570: MLOAD
00000571: DUP1
00000572: SWAP2
00000573: SUB
00000574: SWAP1
00000575: REVERT
00000576: JUMPDEST
00000577: PUSH3 0x000581
0000057b: DUP2
0000057c: PUSH3 0x000750
00000580: JUMP
00000581: JUMPDEST
00000582: POP
00000583: JUMP
00000584: JUMPDEST
00000585: PUSH1 0x01
00000587: SLOAD
00000588: PUSH1 0x01
0000058a: PUSH1 0x01
0000058c: PUSH1 0xa0
0000058e: SHL
0000058f: SUB
00000590: AND
00000591: CALLER
00000592: EQ
00000593: PUSH3 0x0005b0
00000597: JUMPI
00000598: PUSH1 0x40
0000059a: MLOAD
0000059b: PUSH4 0x3e34a41b
000005a0: PUSH1 0xe2
000005a2: SHL
000005a3: DUP2
000005a4: MSTORE
000005a5: PUSH1 0x04
000005a7: ADD
000005a8: PUSH1 0x40
000005aa: MLOAD
000005ab: DUP1
000005ac: SWAP2
000005ad: SUB
000005ae: SWAP1
000005af: REVERT
000005b0: JUMPDEST
000005b1: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
000005d2: CHAINID
000005d3: SUB
000005d4: PUSH3 0x0005f4
000005d8: JUMPI
000005d9: PUSH3 0x0005ef
000005dd: PUSH1 0x01
000005df: PUSH1 0x01
000005e1: PUSH1 0xa0
000005e3: SHL
000005e4: SUB
000005e5: DUP5
000005e6: AND
000005e7: DUP4
000005e8: ADDRESS
000005e9: DUP5
000005ea: PUSH3 0x0008ff
000005ee: JUMP
000005ef: JUMPDEST
000005f0: POP
000005f1: POP
000005f2: POP
000005f3: JUMP
000005f4: JUMPDEST
000005f5: PUSH1 0x01
000005f7: PUSH1 0x01
000005f9: PUSH1 0xa0
000005fb: SHL
000005fc: SUB
000005fd: DUP1
000005fe: DUP5
000005ff: AND
00000600: PUSH1 0x00
00000602: SWAP1
00000603: DUP2
00000604: MSTORE
00000605: PUSH1 0x03
00000607: PUSH1 0x20
00000609: MSTORE
0000060a: PUSH1 0x40
0000060c: SWAP1
0000060d: KECCAK256
0000060e: SLOAD
0000060f: AND
00000610: DUP1
00000611: PUSH3 0x00062e
00000615: JUMPI
00000616: PUSH1 0x40
00000618: MLOAD
00000619: PUSH4 0x29a1f91f
0000061e: PUSH1 0xe1
00000620: SHL
00000621: DUP2
00000622: MSTORE
00000623: PUSH1 0x04
00000625: ADD
00000626: PUSH1 0x40
00000628: MLOAD
00000629: DUP1
0000062a: SWAP2
0000062b: SUB
0000062c: SWAP1
0000062d: REVERT
0000062e: JUMPDEST
0000062f: PUSH1 0x40
00000631: MLOAD
00000632: PUSH4 0x2770a7eb
00000637: PUSH1 0xe2
00000639: SHL
0000063a: DUP2
0000063b: MSTORE
0000063c: PUSH1 0x01
0000063e: PUSH1 0x01
00000640: PUSH1 0xa0
00000642: SHL
00000643: SUB
00000644: DUP5
00000645: DUP2
00000646: AND
00000647: PUSH1 0x04
00000649: DUP4
0000064a: ADD
0000064b: MSTORE
0000064c: PUSH1 0x24
0000064e: DUP3
0000064f: ADD
00000650: DUP5
00000651: SWAP1
00000652: MSTORE
00000653: DUP3
00000654: AND
00000655: SWAP1
00000656: PUSH4 0x9dc29fac
0000065b: SWAP1
0000065c: PUSH1 0x44
0000065e: ADD
0000065f: PUSH1 0x00
00000661: PUSH1 0x40
00000663: MLOAD
00000664: DUP1
00000665: DUP4
00000666: SUB
00000667: DUP2
00000668: PUSH1 0x00
0000066a: DUP8
0000066b: DUP1
0000066c: EXTCODESIZE
0000066d: ISZERO
0000066e: DUP1
0000066f: ISZERO
00000670: PUSH3 0x000679
00000674: JUMPI
00000675: PUSH1 0x00
00000677: DUP1
00000678: REVERT
00000679: JUMPDEST
0000067a: POP
0000067b: GAS
0000067c: CALL
0000067d: ISZERO
0000067e: DUP1
0000067f: ISZERO
00000680: PUSH3 0x00068e
00000684: JUMPI
00000685: RETURNDATASIZE
00000686: PUSH1 0x00
00000688: DUP1
00000689: RETURNDATACOPY
0000068a: RETURNDATASIZE
0000068b: PUSH1 0x00
0000068d: REVERT
0000068e: JUMPDEST
0000068f: POP
00000690: POP
00000691: POP
00000692: POP
00000693: POP
00000694: POP
00000695: POP
00000696: POP
00000697: JUMP
00000698: JUMPDEST
00000699: PUSH3 0x0006a2
0000069d: PUSH3 0x0006f4
000006a1: JUMP
000006a2: JUMPDEST
000006a3: PUSH1 0x01
000006a5: SLOAD
000006a6: PUSH1 0x01
000006a8: PUSH1 0x01
000006aa: PUSH1 0xa0
000006ac: SHL
000006ad: SUB
000006ae: AND
000006af: ISZERO
000006b0: PUSH3 0x0006cd
000006b4: JUMPI
000006b5: PUSH1 0x40
000006b7: MLOAD
000006b8: PUSH4 0xf119708d
000006bd: PUSH1 0xe0
000006bf: SHL
000006c0: DUP2
000006c1: MSTORE
000006c2: PUSH1 0x04
000006c4: ADD
000006c5: PUSH1 0x40
000006c7: MLOAD
000006c8: DUP1
000006c9: SWAP2
000006ca: SUB
000006cb: SWAP1
000006cc: REVERT
000006cd: JUMPDEST
000006ce: PUSH1 0x01
000006d0: DUP1
000006d1: SLOAD
000006d2: PUSH1 0x01
000006d4: PUSH1 0x01
000006d6: PUSH1 0xa0
000006d8: SHL
000006d9: SUB
000006da: NOT
000006db: AND
000006dc: PUSH1 0x01
000006de: PUSH1 0x01
000006e0: PUSH1 0xa0
000006e2: SHL
000006e3: SUB
000006e4: DUP4
000006e5: AND
000006e6: OR
000006e7: SWAP1
000006e8: SSTORE
000006e9: PUSH3 0x000581
000006ed: PUSH1 0x00
000006ef: PUSH3 0x000750
000006f3: JUMP
000006f4: JUMPDEST
000006f5: PUSH1 0x00
000006f7: SLOAD
000006f8: PUSH1 0x01
000006fa: PUSH1 0x01
000006fc: PUSH1 0xa0
000006fe: SHL
000006ff: SUB
00000700: AND
00000701: CALLER
00000702: EQ
00000703: PUSH3 0x000277
00000707: JUMPI
00000708: PUSH1 0x40
0000070a: MLOAD
0000070b: PUSH3 0x461bcd
0000070f: PUSH1 0xe5
00000711: SHL
00000712: DUP2
00000713: MSTORE
00000714: PUSH1 0x20
00000716: PUSH1 0x04
00000718: DUP3
00000719: ADD
0000071a: DUP2
0000071b: SWAP1
0000071c: MSTORE
0000071d: PUSH1 0x24
0000071f: DUP3
00000720: ADD
00000721: MSTORE
00000722: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000743: PUSH1 0x44
00000745: DUP3
00000746: ADD
00000747: MSTORE
00000748: PUSH1 0x64
0000074a: ADD
0000074b: PUSH3 0x00056d
0000074f: JUMP
00000750: JUMPDEST
00000751: PUSH1 0x00
00000753: DUP1
00000754: SLOAD
00000755: PUSH1 0x01
00000757: PUSH1 0x01
00000759: PUSH1 0xa0
0000075b: SHL
0000075c: SUB
0000075d: DUP4
0000075e: DUP2
0000075f: AND
00000760: PUSH1 0x01
00000762: PUSH1 0x01
00000764: PUSH1 0xa0
00000766: SHL
00000767: SUB
00000768: NOT
00000769: DUP4
0000076a: AND
0000076b: DUP2
0000076c: OR
0000076d: DUP5
0000076e: SSTORE
0000076f: PUSH1 0x40
00000771: MLOAD
00000772: SWAP2
00000773: SWAP1
00000774: SWAP3
00000775: AND
00000776: SWAP3
00000777: DUP4
00000778: SWAP2
00000779: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000079a: SWAP2
0000079b: SWAP1
0000079c: LOG3
0000079d: POP
0000079e: POP
0000079f: JUMP
000007a0: JUMPDEST
000007a1: PUSH1 0x40
000007a3: MLOAD
000007a4: PUSH1 0x01
000007a6: PUSH1 0x01
000007a8: PUSH1 0xa0
000007aa: SHL
000007ab: SUB
000007ac: DUP4
000007ad: AND
000007ae: PUSH1 0x24
000007b0: DUP3
000007b1: ADD
000007b2: MSTORE
000007b3: PUSH1 0x44
000007b5: DUP2
000007b6: ADD
000007b7: DUP3
000007b8: SWAP1
000007b9: MSTORE
000007ba: PUSH3 0x0005ef
000007be: SWAP1
000007bf: DUP5
000007c0: SWAP1
000007c1: PUSH4 0xa9059cbb
000007c6: PUSH1 0xe0
000007c8: SHL
000007c9: SWAP1
000007ca: PUSH1 0x64
000007cc: ADD
000007cd: JUMPDEST
000007ce: PUSH1 0x40
000007d0: DUP1
000007d1: MLOAD
000007d2: PUSH1 0x1f
000007d4: NOT
000007d5: DUP2
000007d6: DUP5
000007d7: SUB
000007d8: ADD
000007d9: DUP2
000007da: MSTORE
000007db: SWAP2
000007dc: SWAP1
000007dd: MSTORE
000007de: PUSH1 0x20
000007e0: DUP2
000007e1: ADD
000007e2: DUP1
000007e3: MLOAD
000007e4: PUSH1 0x01
000007e6: PUSH1 0x01
000007e8: PUSH1 0xe0
000007ea: SHL
000007eb: SUB
000007ec: AND
000007ed: PUSH1 0x01
000007ef: PUSH1 0x01
000007f1: PUSH1 0xe0
000007f3: SHL
000007f4: SUB
000007f5: NOT
000007f6: SWAP1
000007f7: SWAP4
000007f8: AND
000007f9: SWAP3
000007fa: SWAP1
000007fb: SWAP3
000007fc: OR
000007fd: SWAP1
000007fe: SWAP2
000007ff: MSTORE
00000800: PUSH3 0x00093f
00000804: JUMP
00000805: JUMPDEST
00000806: PUSH1 0x01
00000808: PUSH1 0x01
0000080a: PUSH1 0xa0
0000080c: SHL
0000080d: SUB
0000080e: DUP1
0000080f: DUP6
00000810: AND
00000811: PUSH1 0x00
00000813: SWAP1
00000814: DUP2
00000815: MSTORE
00000816: PUSH1 0x03
00000818: PUSH1 0x20
0000081a: MSTORE
0000081b: PUSH1 0x40
0000081d: SWAP1
0000081e: KECCAK256
0000081f: SLOAD
00000820: AND
00000821: DUP1
00000822: PUSH3 0x0008f7
00000826: JUMPI
00000827: PUSH1 0x00
00000829: DUP6
0000082a: DUP6
0000082b: DUP6
0000082c: DUP6
0000082d: PUSH1 0x40
0000082f: MLOAD
00000830: PUSH1 0x20
00000832: ADD
00000833: PUSH3 0x000841
00000837: SWAP5
00000838: SWAP4
00000839: SWAP3
0000083a: SWAP2
0000083b: SWAP1
0000083c: PUSH3 0x000ea0
00000840: JUMP
00000841: JUMPDEST
00000842: PUSH1 0x40
00000844: MLOAD
00000845: PUSH1 0x20
00000847: DUP2
00000848: DUP4
00000849: SUB
0000084a: SUB
0000084b: DUP2
0000084c: MSTORE
0000084d: SWAP1
0000084e: PUSH1 0x40
00000850: MSTORE
00000851: DUP1
00000852: MLOAD
00000853: SWAP1
00000854: PUSH1 0x20
00000856: ADD
00000857: KECCAK256
00000858: SWAP1
00000859: POP
0000085a: DUP1
0000085b: DUP6
0000085c: DUP6
0000085d: DUP6
0000085e: PUSH1 0x40
00000860: MLOAD
00000861: PUSH3 0x00086b
00000865: SWAP1
00000866: PUSH3 0x000b4e
0000086a: JUMP
0000086b: JUMPDEST
0000086c: PUSH3 0x000879
00000870: SWAP4
00000871: SWAP3
00000872: SWAP2
00000873: SWAP1
00000874: PUSH3 0x000d82
00000878: JUMP
00000879: JUMPDEST
0000087a: DUP2
0000087b: SWAP1
0000087c: PUSH1 0x40
0000087e: MLOAD
0000087f: DUP1
00000880: SWAP2
00000881: SUB
00000882: SWAP1
00000883: PUSH1 0x00
00000885: CREATE2
00000886: SWAP1
00000887: POP
00000888: DUP1
00000889: ISZERO
0000088a: DUP1
0000088b: ISZERO
0000088c: PUSH3 0x00089a
00000890: JUMPI
00000891: RETURNDATASIZE
00000892: PUSH1 0x00
00000894: DUP1
00000895: RETURNDATACOPY
00000896: RETURNDATASIZE
00000897: PUSH1 0x00
00000899: REVERT
0000089a: JUMPDEST
0000089b: POP
0000089c: PUSH1 0x01
0000089e: PUSH1 0x01
000008a0: PUSH1 0xa0
000008a2: SHL
000008a3: SUB
000008a4: DUP1
000008a5: DUP9
000008a6: AND
000008a7: PUSH1 0x00
000008a9: DUP2
000008aa: DUP2
000008ab: MSTORE
000008ac: PUSH1 0x03
000008ae: PUSH1 0x20
000008b0: SWAP1
000008b1: DUP2
000008b2: MSTORE
000008b3: PUSH1 0x40
000008b5: DUP1
000008b6: DUP4
000008b7: KECCAK256
000008b8: DUP1
000008b9: SLOAD
000008ba: SWAP6
000008bb: DUP8
000008bc: AND
000008bd: PUSH1 0x01
000008bf: PUSH1 0x01
000008c1: PUSH1 0xa0
000008c3: SHL
000008c4: SUB
000008c5: NOT
000008c6: SWAP7
000008c7: DUP8
000008c8: AND
000008c9: DUP2
000008ca: OR
000008cb: SWAP1
000008cc: SWAP2
000008cd: SSTORE
000008ce: DUP4
000008cf: MSTORE
000008d0: PUSH1 0x04
000008d2: DUP3
000008d3: MSTORE
000008d4: DUP1
000008d5: DUP4
000008d6: KECCAK256
000008d7: DUP1
000008d8: SLOAD
000008d9: SWAP1
000008da: SWAP6
000008db: AND
000008dc: SWAP1
000008dd: SWAP4
000008de: OR
000008df: SWAP1
000008e0: SWAP4
000008e1: SSTORE
000008e2: PUSH1 0x02
000008e4: SWAP1
000008e5: SWAP3
000008e6: MSTORE
000008e7: SWAP1
000008e8: KECCAK256
000008e9: DUP1
000008ea: SLOAD
000008eb: PUSH1 0xff
000008ed: NOT
000008ee: AND
000008ef: PUSH1 0x01
000008f1: OR
000008f2: SWAP1
000008f3: SSTORE
000008f4: SWAP2
000008f5: POP
000008f6: POP
000008f7: JUMPDEST
000008f8: SWAP5
000008f9: SWAP4
000008fa: POP
000008fb: POP
000008fc: POP
000008fd: POP
000008fe: JUMP
000008ff: JUMPDEST
00000900: PUSH1 0x40
00000902: MLOAD
00000903: PUSH1 0x01
00000905: PUSH1 0x01
00000907: PUSH1 0xa0
00000909: SHL
0000090a: SUB
0000090b: DUP1
0000090c: DUP6
0000090d: AND
0000090e: PUSH1 0x24
00000910: DUP4
00000911: ADD
00000912: MSTORE
00000913: DUP4
00000914: AND
00000915: PUSH1 0x44
00000917: DUP3
00000918: ADD
00000919: MSTORE
0000091a: PUSH1 0x64
0000091c: DUP2
0000091d: ADD
0000091e: DUP3
0000091f: SWAP1
00000920: MSTORE
00000921: PUSH3 0x000939
00000925: SWAP1
00000926: DUP6
00000927: SWAP1
00000928: PUSH4 0x23b872dd
0000092d: PUSH1 0xe0
0000092f: SHL
00000930: SWAP1
00000931: PUSH1 0x84
00000933: ADD
00000934: PUSH3 0x0007cd
00000938: JUMP
00000939: JUMPDEST
0000093a: POP
0000093b: POP
0000093c: POP
0000093d: POP
0000093e: JUMP
0000093f: JUMPDEST
00000940: PUSH1 0x00
00000942: PUSH3 0x000996
00000946: DUP3
00000947: PUSH1 0x40
00000949: MLOAD
0000094a: DUP1
0000094b: PUSH1 0x40
0000094d: ADD
0000094e: PUSH1 0x40
00000950: MSTORE
00000951: DUP1
00000952: PUSH1 0x20
00000954: DUP2
00000955: MSTORE
00000956: PUSH1 0x20
00000958: ADD
00000959: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
0000097a: DUP2
0000097b: MSTORE
0000097c: POP
0000097d: DUP6
0000097e: PUSH1 0x01
00000980: PUSH1 0x01
00000982: PUSH1 0xa0
00000984: SHL
00000985: SUB
00000986: AND
00000987: PUSH3 0x000a1b
0000098b: SWAP1
0000098c: SWAP3
0000098d: SWAP2
0000098e: SWAP1
0000098f: PUSH4 0xffffffff
00000994: AND
00000995: JUMP
00000996: JUMPDEST
00000997: SWAP1
00000998: POP
00000999: DUP1
0000099a: MLOAD
0000099b: PUSH1 0x00
0000099d: EQ
0000099e: DUP1
0000099f: PUSH3 0x0009ba
000009a3: JUMPI
000009a4: POP
000009a5: DUP1
000009a6: DUP1
000009a7: PUSH1 0x20
000009a9: ADD
000009aa: SWAP1
000009ab: MLOAD
000009ac: DUP2
000009ad: ADD
000009ae: SWAP1
000009af: PUSH3 0x0009ba
000009b3: SWAP2
000009b4: SWAP1
000009b5: PUSH3 0x000f0e
000009b9: JUMP
000009ba: JUMPDEST
000009bb: PUSH3 0x0005ef
000009bf: JUMPI
000009c0: PUSH1 0x40
000009c2: MLOAD
000009c3: PUSH3 0x461bcd
000009c7: PUSH1 0xe5
000009c9: SHL
000009ca: DUP2
000009cb: MSTORE
000009cc: PUSH1 0x20
000009ce: PUSH1 0x04
000009d0: DUP3
000009d1: ADD
000009d2: MSTORE
000009d3: PUSH1 0x2a
000009d5: PUSH1 0x24
000009d7: DUP3
000009d8: ADD
000009d9: MSTORE
000009da: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000009fb: PUSH1 0x44
000009fd: DUP3
000009fe: ADD
000009ff: MSTORE
00000a00: PUSH10 0x1bdd081cdd58d8d95959
00000a0b: PUSH1 0xb2
00000a0d: SHL
00000a0e: PUSH1 0x64
00000a10: DUP3
00000a11: ADD
00000a12: MSTORE
00000a13: PUSH1 0x84
00000a15: ADD
00000a16: PUSH3 0x00056d
00000a1a: JUMP
00000a1b: JUMPDEST
00000a1c: PUSH1 0x60
00000a1e: PUSH3 0x0008f7
00000a22: DUP5
00000a23: DUP5
00000a24: PUSH1 0x00
00000a26: DUP6
00000a27: DUP6
00000a28: PUSH1 0x00
00000a2a: DUP1
00000a2b: DUP7
00000a2c: PUSH1 0x01
00000a2e: PUSH1 0x01
00000a30: PUSH1 0xa0
00000a32: SHL
00000a33: SUB
00000a34: AND
00000a35: DUP6
00000a36: DUP8
00000a37: PUSH1 0x40
00000a39: MLOAD
00000a3a: PUSH3 0x000a45
00000a3e: SWAP2
00000a3f: SWAP1
00000a40: PUSH3 0x000f32
00000a44: JUMP
00000a45: JUMPDEST
00000a46: PUSH1 0x00
00000a48: PUSH1 0x40
00000a4a: MLOAD
00000a4b: DUP1
00000a4c: DUP4
00000a4d: SUB
00000a4e: DUP2
00000a4f: DUP6
00000a50: DUP8
00000a51: GAS
00000a52: CALL
00000a53: SWAP3
00000a54: POP
00000a55: POP
00000a56: POP
00000a57: RETURNDATASIZE
00000a58: DUP1
00000a59: PUSH1 0x00
00000a5b: DUP2
00000a5c: EQ
00000a5d: PUSH3 0x000a84
00000a61: JUMPI
00000a62: PUSH1 0x40
00000a64: MLOAD
00000a65: SWAP2
00000a66: POP
00000a67: PUSH1 0x1f
00000a69: NOT
00000a6a: PUSH1 0x3f
00000a6c: RETURNDATASIZE
00000a6d: ADD
00000a6e: AND
00000a6f: DUP3
00000a70: ADD
00000a71: PUSH1 0x40
00000a73: MSTORE
00000a74: RETURNDATASIZE
00000a75: DUP3
00000a76: MSTORE
00000a77: RETURNDATASIZE
00000a78: PUSH1 0x00
00000a7a: PUSH1 0x20
00000a7c: DUP5
00000a7d: ADD
00000a7e: RETURNDATACOPY
00000a7f: PUSH3 0x000a89
00000a83: JUMP
00000a84: JUMPDEST
00000a85: PUSH1 0x60
00000a87: SWAP2
00000a88: POP
00000a89: JUMPDEST
00000a8a: POP
00000a8b: SWAP2
00000a8c: POP
00000a8d: SWAP2
00000a8e: POP
00000a8f: PUSH3 0x000a9c
00000a93: DUP8
00000a94: DUP4
00000a95: DUP4
00000a96: DUP8
00000a97: PUSH3 0x000aa7
00000a9b: JUMP
00000a9c: JUMPDEST
00000a9d: SWAP8
00000a9e: SWAP7
00000a9f: POP
00000aa0: POP
00000aa1: POP
00000aa2: POP
00000aa3: POP
00000aa4: POP
00000aa5: POP
00000aa6: JUMP
00000aa7: JUMPDEST
00000aa8: PUSH1 0x60
00000aaa: DUP4
00000aab: ISZERO
00000aac: PUSH3 0x000b1b
00000ab0: JUMPI
00000ab1: DUP3
00000ab2: MLOAD
00000ab3: PUSH1 0x00
00000ab5: SUB
00000ab6: PUSH3 0x000b13
00000aba: JUMPI
00000abb: PUSH1 0x01
00000abd: PUSH1 0x01
00000abf: PUSH1 0xa0
00000ac1: SHL
00000ac2: SUB
00000ac3: DUP6
00000ac4: AND
00000ac5: EXTCODESIZE
00000ac6: PUSH3 0x000b13
00000aca: JUMPI
00000acb: PUSH1 0x40
00000acd: MLOAD
00000ace: PUSH3 0x461bcd
00000ad2: PUSH1 0xe5
00000ad4: SHL
00000ad5: DUP2
00000ad6: MSTORE
00000ad7: PUSH1 0x20
00000ad9: PUSH1 0x04
00000adb: DUP3
00000adc: ADD
00000add: MSTORE
00000ade: PUSH1 0x1d
00000ae0: PUSH1 0x24
00000ae2: DUP3
00000ae3: ADD
00000ae4: MSTORE
00000ae5: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00000b06: PUSH1 0x44
00000b08: DUP3
00000b09: ADD
00000b0a: MSTORE
00000b0b: PUSH1 0x64
00000b0d: ADD
00000b0e: PUSH3 0x00056d
00000b12: JUMP
00000b13: JUMPDEST
00000b14: POP
00000b15: DUP2
00000b16: PUSH3 0x0008f7
00000b1a: JUMP
00000b1b: JUMPDEST
00000b1c: PUSH3 0x0008f7
00000b20: DUP4
00000b21: DUP4
00000b22: DUP2
00000b23: MLOAD
00000b24: ISZERO
00000b25: PUSH3 0x000b32
00000b29: JUMPI
00000b2a: DUP2
00000b2b: MLOAD
00000b2c: DUP1
00000b2d: DUP4
00000b2e: PUSH1 0x20
00000b30: ADD
00000b31: REVERT
00000b32: JUMPDEST
00000b33: DUP1
00000b34: PUSH1 0x40
00000b36: MLOAD
00000b37: PUSH3 0x461bcd
00000b3b: PUSH1 0xe5
00000b3d: SHL
00000b3e: DUP2
00000b3f: MSTORE
00000b40: PUSH1 0x04
00000b42: ADD
00000b43: PUSH3 0x00056d
00000b47: SWAP2
00000b48: SWAP1
00000b49: PUSH3 0x000f50
00000b4d: JUMP
00000b4e: JUMPDEST
00000b4f: PUSH2 0x1140
00000b52: DUP1
00000b53: PUSH3 0x000f66
00000b57: DUP4
00000b58: CODECOPY
00000b59: ADD
00000b5a: SWAP1
00000b5b: JUMP
00000b5c: JUMPDEST
00000b5d: DUP1
00000b5e: CALLDATALOAD
00000b5f: PUSH1 0x01
00000b61: PUSH1 0x01
00000b63: PUSH1 0xa0
00000b65: SHL
00000b66: SUB
00000b67: DUP2
00000b68: AND
00000b69: DUP2
00000b6a: EQ
00000b6b: PUSH3 0x000b74
00000b6f: JUMPI
00000b70: PUSH1 0x00
00000b72: DUP1
00000b73: REVERT
00000b74: JUMPDEST
00000b75: SWAP2
00000b76: SWAP1
00000b77: POP
00000b78: JUMP
00000b79: JUMPDEST
00000b7a: PUSH1 0x00
00000b7c: PUSH1 0x20
00000b7e: DUP3
00000b7f: DUP5
00000b80: SUB
00000b81: SLT
00000b82: ISZERO
00000b83: PUSH3 0x000b8c
00000b87: JUMPI
00000b88: PUSH1 0x00
00000b8a: DUP1
00000b8b: REVERT
00000b8c: JUMPDEST
00000b8d: PUSH3 0x000b97
00000b91: DUP3
00000b92: PUSH3 0x000b5c
00000b96: JUMP
00000b97: JUMPDEST
00000b98: SWAP4
00000b99: SWAP3
00000b9a: POP
00000b9b: POP
00000b9c: POP
00000b9d: JUMP
00000b9e: JUMPDEST
00000b9f: PUSH4 0x4e487b71
00000ba4: PUSH1 0xe0
00000ba6: SHL
00000ba7: PUSH1 0x00
00000ba9: MSTORE
00000baa: PUSH1 0x41
00000bac: PUSH1 0x04
00000bae: MSTORE
00000baf: PUSH1 0x24
00000bb1: PUSH1 0x00
00000bb3: REVERT
00000bb4: JUMPDEST
00000bb5: PUSH1 0x40
00000bb7: MLOAD
00000bb8: PUSH1 0x1f
00000bba: DUP3
00000bbb: ADD
00000bbc: PUSH1 0x1f
00000bbe: NOT
00000bbf: AND
00000bc0: DUP2
00000bc1: ADD
00000bc2: PUSH8 0xffffffffffffffff
00000bcb: DUP2
00000bcc: GT
00000bcd: DUP3
00000bce: DUP3
00000bcf: LT
00000bd0: OR
00000bd1: ISZERO
00000bd2: PUSH3 0x000be0
00000bd6: JUMPI
00000bd7: PUSH3 0x000be0
00000bdb: PUSH3 0x000b9e
00000bdf: JUMP
00000be0: JUMPDEST
00000be1: PUSH1 0x40
00000be3: MSTORE
00000be4: SWAP2
00000be5: SWAP1
00000be6: POP
00000be7: JUMP
00000be8: JUMPDEST
00000be9: PUSH1 0x00
00000beb: PUSH8 0xffffffffffffffff
00000bf4: DUP3
00000bf5: GT
00000bf6: ISZERO
00000bf7: PUSH3 0x000c05
00000bfb: JUMPI
00000bfc: PUSH3 0x000c05
00000c00: PUSH3 0x000b9e
00000c04: JUMP
00000c05: JUMPDEST
00000c06: POP
00000c07: PUSH1 0x1f
00000c09: ADD
00000c0a: PUSH1 0x1f
00000c0c: NOT
00000c0d: AND
00000c0e: PUSH1 0x20
00000c10: ADD
00000c11: SWAP1
00000c12: JUMP
00000c13: JUMPDEST
00000c14: PUSH1 0x00
00000c16: DUP3
00000c17: PUSH1 0x1f
00000c19: DUP4
00000c1a: ADD
00000c1b: SLT
00000c1c: PUSH3 0x000c25
00000c20: JUMPI
00000c21: PUSH1 0x00
00000c23: DUP1
00000c24: REVERT
00000c25: JUMPDEST
00000c26: DUP2
00000c27: CALLDATALOAD
00000c28: PUSH3 0x000c3c
00000c2c: PUSH3 0x000c36
00000c30: DUP3
00000c31: PUSH3 0x000be8
00000c35: JUMP
00000c36: JUMPDEST
00000c37: PUSH3 0x000bb4
00000c3b: JUMP
00000c3c: JUMPDEST
00000c3d: DUP2
00000c3e: DUP2
00000c3f: MSTORE
00000c40: DUP5
00000c41: PUSH1 0x20
00000c43: DUP4
00000c44: DUP7
00000c45: ADD
00000c46: ADD
00000c47: GT
00000c48: ISZERO
00000c49: PUSH3 0x000c52
00000c4d: JUMPI
00000c4e: PUSH1 0x00
00000c50: DUP1
00000c51: REVERT
00000c52: JUMPDEST
00000c53: DUP2
00000c54: PUSH1 0x20
00000c56: DUP6
00000c57: ADD
00000c58: PUSH1 0x20
00000c5a: DUP4
00000c5b: ADD
00000c5c: CALLDATACOPY
00000c5d: PUSH1 0x00
00000c5f: SWAP2
00000c60: DUP2
00000c61: ADD
00000c62: PUSH1 0x20
00000c64: ADD
00000c65: SWAP2
00000c66: SWAP1
00000c67: SWAP2
00000c68: MSTORE
00000c69: SWAP4
00000c6a: SWAP3
00000c6b: POP
00000c6c: POP
00000c6d: POP
00000c6e: JUMP
00000c6f: JUMPDEST
00000c70: PUSH1 0xff
00000c72: DUP2
00000c73: AND
00000c74: DUP2
00000c75: EQ
00000c76: PUSH3 0x000581
00000c7a: JUMPI
00000c7b: PUSH1 0x00
00000c7d: DUP1
00000c7e: REVERT
00000c7f: JUMPDEST
00000c80: PUSH1 0x00
00000c82: DUP1
00000c83: PUSH1 0x00
00000c85: DUP1
00000c86: PUSH1 0x00
00000c88: DUP1
00000c89: PUSH1 0xc0
00000c8b: DUP8
00000c8c: DUP10
00000c8d: SUB
00000c8e: SLT
00000c8f: ISZERO
00000c90: PUSH3 0x000c99
00000c94: JUMPI
00000c95: PUSH1 0x00
00000c97: DUP1
00000c98: REVERT
00000c99: JUMPDEST
00000c9a: PUSH3 0x000ca4
00000c9e: DUP8
00000c9f: PUSH3 0x000b5c
00000ca3: JUMP
00000ca4: JUMPDEST
00000ca5: SWAP6
00000ca6: POP
00000ca7: PUSH3 0x000cb4
00000cab: PUSH1 0x20
00000cad: DUP9
00000cae: ADD
00000caf: PUSH3 0x000b5c
00000cb3: JUMP
00000cb4: JUMPDEST
00000cb5: SWAP5
00000cb6: POP
00000cb7: PUSH1 0x40
00000cb9: DUP8
00000cba: ADD
00000cbb: CALLDATALOAD
00000cbc: SWAP4
00000cbd: POP
00000cbe: PUSH1 0x60
00000cc0: DUP8
00000cc1: ADD
00000cc2: CALLDATALOAD
00000cc3: PUSH8 0xffffffffffffffff
00000ccc: DUP1
00000ccd: DUP3
00000cce: GT
00000ccf: ISZERO
00000cd0: PUSH3 0x000cd9
00000cd4: JUMPI
00000cd5: PUSH1 0x00
00000cd7: DUP1
00000cd8: REVERT
00000cd9: JUMPDEST
00000cda: PUSH3 0x000ce7
00000cde: DUP11
00000cdf: DUP4
00000ce0: DUP12
00000ce1: ADD
00000ce2: PUSH3 0x000c13
00000ce6: JUMP
00000ce7: JUMPDEST
00000ce8: SWAP5
00000ce9: POP
00000cea: PUSH1 0x80
00000cec: DUP10
00000ced: ADD
00000cee: CALLDATALOAD
00000cef: SWAP2
00000cf0: POP
00000cf1: DUP1
00000cf2: DUP3
00000cf3: GT
00000cf4: ISZERO
00000cf5: PUSH3 0x000cfe
00000cf9: JUMPI
00000cfa: PUSH1 0x00
00000cfc: DUP1
00000cfd: REVERT
00000cfe: JUMPDEST
00000cff: POP
00000d00: PUSH3 0x000d0d
00000d04: DUP10
00000d05: DUP3
00000d06: DUP11
00000d07: ADD
00000d08: PUSH3 0x000c13
00000d0c: JUMP
00000d0d: JUMPDEST
00000d0e: SWAP3
00000d0f: POP
00000d10: POP
00000d11: PUSH1 0xa0
00000d13: DUP8
00000d14: ADD
00000d15: CALLDATALOAD
00000d16: PUSH3 0x000d20
00000d1a: DUP2
00000d1b: PUSH3 0x000c6f
00000d1f: JUMP
00000d20: JUMPDEST
00000d21: DUP1
00000d22: SWAP2
00000d23: POP
00000d24: POP
00000d25: SWAP3
00000d26: SWAP6
00000d27: POP
00000d28: SWAP3
00000d29: SWAP6
00000d2a: POP
00000d2b: SWAP3
00000d2c: SWAP6
00000d2d: JUMP
00000d2e: JUMPDEST
00000d2f: PUSH1 0x00
00000d31: JUMPDEST
00000d32: DUP4
00000d33: DUP2
00000d34: LT
00000d35: ISZERO
00000d36: PUSH3 0x000d4b
00000d3a: JUMPI
00000d3b: DUP2
00000d3c: DUP2
00000d3d: ADD
00000d3e: MLOAD
00000d3f: DUP4
00000d40: DUP3
00000d41: ADD
00000d42: MSTORE
00000d43: PUSH1 0x20
00000d45: ADD
00000d46: PUSH3 0x000d31
00000d4a: JUMP
00000d4b: JUMPDEST
00000d4c: POP
00000d4d: POP
00000d4e: PUSH1 0x00
00000d50: SWAP2
00000d51: ADD
00000d52: MSTORE
00000d53: JUMP
00000d54: JUMPDEST
00000d55: PUSH1 0x00
00000d57: DUP2
00000d58: MLOAD
00000d59: DUP1
00000d5a: DUP5
00000d5b: MSTORE
00000d5c: PUSH3 0x000d6e
00000d60: DUP2
00000d61: PUSH1 0x20
00000d63: DUP7
00000d64: ADD
00000d65: PUSH1 0x20
00000d67: DUP7
00000d68: ADD
00000d69: PUSH3 0x000d2e
00000d6d: JUMP
00000d6e: JUMPDEST
00000d6f: PUSH1 0x1f
00000d71: ADD
00000d72: PUSH1 0x1f
00000d74: NOT
00000d75: AND
00000d76: SWAP3
00000d77: SWAP1
00000d78: SWAP3
00000d79: ADD
00000d7a: PUSH1 0x20
00000d7c: ADD
00000d7d: SWAP3
00000d7e: SWAP2
00000d7f: POP
00000d80: POP
00000d81: JUMP
00000d82: JUMPDEST
00000d83: PUSH1 0x60
00000d85: DUP2
00000d86: MSTORE
00000d87: PUSH1 0x00
00000d89: PUSH3 0x000d97
00000d8d: PUSH1 0x60
00000d8f: DUP4
00000d90: ADD
00000d91: DUP7
00000d92: PUSH3 0x000d54
00000d96: JUMP
00000d97: JUMPDEST
00000d98: DUP3
00000d99: DUP2
00000d9a: SUB
00000d9b: PUSH1 0x20
00000d9d: DUP5
00000d9e: ADD
00000d9f: MSTORE
00000da0: PUSH3 0x000dab
00000da4: DUP2
00000da5: DUP7
00000da6: PUSH3 0x000d54
00000daa: JUMP
00000dab: JUMPDEST
00000dac: SWAP2
00000dad: POP
00000dae: POP
00000daf: PUSH1 0xff
00000db1: DUP4
00000db2: AND
00000db3: PUSH1 0x40
00000db5: DUP4
00000db6: ADD
00000db7: MSTORE
00000db8: SWAP5
00000db9: SWAP4
00000dba: POP
00000dbb: POP
00000dbc: POP
00000dbd: POP
00000dbe: JUMP
00000dbf: JUMPDEST
00000dc0: PUSH1 0x00
00000dc2: DUP1
00000dc3: PUSH1 0x00
00000dc5: PUSH1 0x60
00000dc7: DUP5
00000dc8: DUP7
00000dc9: SUB
00000dca: SLT
00000dcb: ISZERO
00000dcc: PUSH3 0x000dd5
00000dd0: JUMPI
00000dd1: PUSH1 0x00
00000dd3: DUP1
00000dd4: REVERT
00000dd5: JUMPDEST
00000dd6: PUSH3 0x000de0
00000dda: DUP5
00000ddb: PUSH3 0x000b5c
00000ddf: JUMP
00000de0: JUMPDEST
00000de1: SWAP3
00000de2: POP
00000de3: PUSH3 0x000df0
00000de7: PUSH1 0x20
00000de9: DUP6
00000dea: ADD
00000deb: PUSH3 0x000b5c
00000def: JUMP
00000df0: JUMPDEST
00000df1: SWAP2
00000df2: POP
00000df3: PUSH1 0x40
00000df5: DUP5
00000df6: ADD
00000df7: CALLDATALOAD
00000df8: SWAP1
00000df9: POP
00000dfa: SWAP3
00000dfb: POP
00000dfc: SWAP3
00000dfd: POP
00000dfe: SWAP3
00000dff: JUMP
00000e00: JUMPDEST
00000e01: PUSH1 0x00
00000e03: PUSH1 0x20
00000e05: DUP3
00000e06: DUP5
00000e07: SUB
00000e08: SLT
00000e09: ISZERO
00000e0a: PUSH3 0x000e13
00000e0e: JUMPI
00000e0f: PUSH1 0x00
00000e11: DUP1
00000e12: REVERT
00000e13: JUMPDEST
00000e14: DUP2
00000e15: MLOAD
00000e16: PUSH8 0xffffffffffffffff
00000e1f: DUP2
00000e20: GT
00000e21: ISZERO
00000e22: PUSH3 0x000e2b
00000e26: JUMPI
00000e27: PUSH1 0x00
00000e29: DUP1
00000e2a: REVERT
00000e2b: JUMPDEST
00000e2c: DUP3
00000e2d: ADD
00000e2e: PUSH1 0x1f
00000e30: DUP2
00000e31: ADD
00000e32: DUP5
00000e33: SGT
00000e34: PUSH3 0x000e3d
00000e38: JUMPI
00000e39: PUSH1 0x00
00000e3b: DUP1
00000e3c: REVERT
00000e3d: JUMPDEST
00000e3e: DUP1
00000e3f: MLOAD
00000e40: PUSH3 0x000e4e
00000e44: PUSH3 0x000c36
00000e48: DUP3
00000e49: PUSH3 0x000be8
00000e4d: JUMP
00000e4e: JUMPDEST
00000e4f: DUP2
00000e50: DUP2
00000e51: MSTORE
00000e52: DUP6
00000e53: PUSH1 0x20
00000e55: DUP4
00000e56: DUP6
00000e57: ADD
00000e58: ADD
00000e59: GT
00000e5a: ISZERO
00000e5b: PUSH3 0x000e64
00000e5f: JUMPI
00000e60: PUSH1 0x00
00000e62: DUP1
00000e63: REVERT
00000e64: JUMPDEST
00000e65: PUSH3 0x000e77
00000e69: DUP3
00000e6a: PUSH1 0x20
00000e6c: DUP4
00000e6d: ADD
00000e6e: PUSH1 0x20
00000e70: DUP7
00000e71: ADD
00000e72: PUSH3 0x000d2e
00000e76: JUMP
00000e77: JUMPDEST
00000e78: SWAP6
00000e79: SWAP5
00000e7a: POP
00000e7b: POP
00000e7c: POP
00000e7d: POP
00000e7e: POP
00000e7f: JUMP
00000e80: JUMPDEST
00000e81: PUSH1 0x00
00000e83: PUSH1 0x20
00000e85: DUP3
00000e86: DUP5
00000e87: SUB
00000e88: SLT
00000e89: ISZERO
00000e8a: PUSH3 0x000e93
00000e8e: JUMPI
00000e8f: PUSH1 0x00
00000e91: DUP1
00000e92: REVERT
00000e93: JUMPDEST
00000e94: DUP2
00000e95: MLOAD
00000e96: PUSH3 0x000b97
00000e9a: DUP2
00000e9b: PUSH3 0x000c6f
00000e9f: JUMP
00000ea0: JUMPDEST
00000ea1: PUSH12 0xffffffffffffffffffffffff
00000eae: NOT
00000eaf: DUP6
00000eb0: PUSH1 0x60
00000eb2: SHL
00000eb3: AND
00000eb4: DUP2
00000eb5: MSTORE
00000eb6: PUSH1 0x00
00000eb8: DUP5
00000eb9: MLOAD
00000eba: PUSH3 0x000ecc
00000ebe: DUP2
00000ebf: PUSH1 0x14
00000ec1: DUP6
00000ec2: ADD
00000ec3: PUSH1 0x20
00000ec5: DUP10
00000ec6: ADD
00000ec7: PUSH3 0x000d2e
00000ecb: JUMP
00000ecc: JUMPDEST
00000ecd: DUP5
00000ece: MLOAD
00000ecf: SWAP1
00000ed0: DUP4
00000ed1: ADD
00000ed2: SWAP1
00000ed3: PUSH3 0x000ee5
00000ed7: DUP2
00000ed8: PUSH1 0x14
00000eda: DUP5
00000edb: ADD
00000edc: PUSH1 0x20
00000ede: DUP10
00000edf: ADD
00000ee0: PUSH3 0x000d2e
00000ee4: JUMP
00000ee5: JUMPDEST
00000ee6: PUSH1 0xf8
00000ee8: SWAP5
00000ee9: SWAP1
00000eea: SWAP5
00000eeb: SHL
00000eec: PUSH1 0x01
00000eee: PUSH1 0x01
00000ef0: PUSH1 0xf8
00000ef2: SHL
00000ef3: SUB
00000ef4: NOT
00000ef5: AND
00000ef6: PUSH1 0x14
00000ef8: SWAP2
00000ef9: SWAP1
00000efa: SWAP5
00000efb: ADD
00000efc: SWAP1
00000efd: DUP2
00000efe: ADD
00000eff: SWAP4
00000f00: SWAP1
00000f01: SWAP4
00000f02: MSTORE
00000f03: POP
00000f04: POP
00000f05: PUSH1 0x15
00000f07: ADD
00000f08: SWAP4
00000f09: SWAP3
00000f0a: POP
00000f0b: POP
00000f0c: POP
00000f0d: JUMP
00000f0e: JUMPDEST
00000f0f: PUSH1 0x00
00000f11: PUSH1 0x20
00000f13: DUP3
00000f14: DUP5
00000f15: SUB
00000f16: SLT
00000f17: ISZERO
00000f18: PUSH3 0x000f21
00000f1c: JUMPI
00000f1d: PUSH1 0x00
00000f1f: DUP1
00000f20: REVERT
00000f21: JUMPDEST
00000f22: DUP2
00000f23: MLOAD
00000f24: DUP1
00000f25: ISZERO
00000f26: ISZERO
00000f27: DUP2
00000f28: EQ
00000f29: PUSH3 0x000b97
00000f2d: JUMPI
00000f2e: PUSH1 0x00
00000f30: DUP1
00000f31: REVERT
00000f32: JUMPDEST
00000f33: PUSH1 0x00
00000f35: DUP3
00000f36: MLOAD
00000f37: PUSH3 0x000f46
00000f3b: DUP2
00000f3c: DUP5
00000f3d: PUSH1 0x20
00000f3f: DUP8
00000f40: ADD
00000f41: PUSH3 0x000d2e
00000f45: JUMP
00000f46: JUMPDEST
00000f47: SWAP2
00000f48: SWAP1
00000f49: SWAP2
00000f4a: ADD
00000f4b: SWAP3
00000f4c: SWAP2
00000f4d: POP
00000f4e: POP
00000f4f: JUMP
00000f50: JUMPDEST
00000f51: PUSH1 0x20
00000f53: DUP2
00000f54: MSTORE
00000f55: PUSH1 0x00
00000f57: PUSH3 0x000b97
00000f5b: PUSH1 0x20
00000f5d: DUP4
00000f5e: ADD
00000f5f: DUP5
00000f60: PUSH3 0x000d54
00000f64: JUMP
00000f65: INVALID
00000f66: PUSH1 0x80
00000f68: PUSH1 0x40
00000f6a: MSTORE
00000f6b: CALLVALUE
00000f6c: DUP1
00000f6d: ISZERO
00000f6e: PUSH3 0x000011
00000f72: JUMPI
00000f73: PUSH1 0x00
00000f75: DUP1
00000f76: REVERT
00000f77: JUMPDEST
00000f78: POP
00000f79: PUSH1 0x40
00000f7b: MLOAD
00000f7c: PUSH3 0x001140
00000f80: CODESIZE
00000f81: SUB
00000f82: DUP1
00000f83: PUSH3 0x001140
00000f87: DUP4
00000f88: CODECOPY
00000f89: DUP2
00000f8a: ADD
00000f8b: PUSH1 0x40
00000f8d: DUP2
00000f8e: SWAP1
00000f8f: MSTORE
00000f90: PUSH3 0x000034
00000f94: SWAP2
00000f95: PUSH3 0x0001b2
00000f99: JUMP
00000f9a: JUMPDEST
00000f9b: DUP3
00000f9c: DUP3
00000f9d: PUSH1 0x03
00000f9f: PUSH3 0x000044
00000fa3: DUP4
00000fa4: DUP3
00000fa5: PUSH3 0x0002c6
00000fa9: JUMP
00000faa: JUMPDEST
00000fab: POP
00000fac: PUSH1 0x04
00000fae: PUSH3 0x000053
00000fb2: DUP3
00000fb3: DUP3
00000fb4: PUSH3 0x0002c6
00000fb8: JUMP
00000fb9: JUMPDEST
00000fba: POP
00000fbb: POP
00000fbc: POP
00000fbd: PUSH3 0x000070
00000fc1: PUSH3 0x00006a
00000fc5: PUSH3 0x000097
00000fc9: PUSH1 0x20
00000fcb: SHL
00000fcc: PUSH1 0x20
00000fce: SHR
00000fcf: JUMP
00000fd0: JUMPDEST
00000fd1: PUSH3 0x00009b
00000fd5: JUMP
00000fd6: JUMPDEST
00000fd7: PUSH1 0x05
00000fd9: DUP1
00000fda: SLOAD
00000fdb: PUSH1 0xff
00000fdd: SWAP1
00000fde: SWAP3
00000fdf: AND
00000fe0: PUSH1 0x01
00000fe2: PUSH1 0xa0
00000fe4: SHL
00000fe5: MUL
00000fe6: PUSH1 0xff
00000fe8: PUSH1 0xa0
00000fea: SHL
00000feb: NOT
00000fec: SWAP1
00000fed: SWAP3
00000fee: AND
00000fef: SWAP2
00000ff0: SWAP1
00000ff1: SWAP2
00000ff2: OR
00000ff3: SWAP1
00000ff4: SSTORE
00000ff5: POP
00000ff6: PUSH3 0x000392
00000ffa: SWAP1
00000ffb: POP
00000ffc: JUMP
00000ffd: JUMPDEST
00000ffe: CALLER
00000fff: SWAP1
00001000: JUMP
00001001: JUMPDEST
00001002: PUSH1 0x05
00001004: DUP1
00001005: SLOAD
00001006: PUSH1 0x01
00001008: PUSH1 0x01
0000100a: PUSH1 0xa0
0000100c: SHL
0000100d: SUB
0000100e: DUP4
0000100f: DUP2
00001010: AND
00001011: PUSH1 0x01
00001013: PUSH1 0x01
00001015: PUSH1 0xa0
00001017: SHL
00001018: SUB
00001019: NOT
0000101a: DUP4
0000101b: AND
0000101c: DUP2
0000101d: OR
0000101e: SWAP1
0000101f: SWAP4
00001020: SSTORE
00001021: PUSH1 0x40
00001023: MLOAD
00001024: SWAP2
00001025: AND
00001026: SWAP2
00001027: SWAP1
00001028: DUP3
00001029: SWAP1
0000102a: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000104b: SWAP1
0000104c: PUSH1 0x00
0000104e: SWAP1
0000104f: LOG3
00001050: POP
00001051: POP
00001052: JUMP
00001053: JUMPDEST
00001054: PUSH4 0x4e487b71
00001059: PUSH1 0xe0
0000105b: SHL
0000105c: PUSH1 0x00
0000105e: MSTORE
0000105f: PUSH1 0x41
00001061: PUSH1 0x04
00001063: MSTORE
00001064: PUSH1 0x24
00001066: PUSH1 0x00
00001068: REVERT
00001069: JUMPDEST
0000106a: PUSH1 0x00
0000106c: DUP3
0000106d: PUSH1 0x1f
0000106f: DUP4
00001070: ADD
00001071: SLT
00001072: PUSH3 0x000115
00001076: JUMPI
00001077: PUSH1 0x00
00001079: DUP1
0000107a: REVERT
0000107b: JUMPDEST
0000107c: DUP2
0000107d: MLOAD
0000107e: PUSH1 0x01
00001080: PUSH1 0x01
00001082: PUSH1 0x40
00001084: SHL
00001085: SUB
00001086: DUP1
00001087: DUP3
00001088: GT
00001089: ISZERO
0000108a: PUSH3 0x000132
0000108e: JUMPI
0000108f: PUSH3 0x000132
00001093: PUSH3 0x0000ed
00001097: JUMP
00001098: JUMPDEST
00001099: PUSH1 0x40
0000109b: MLOAD
0000109c: PUSH1 0x1f
0000109e: DUP4
0000109f: ADD
000010a0: PUSH1 0x1f
000010a2: NOT
000010a3: SWAP1
000010a4: DUP2
000010a5: AND
000010a6: PUSH1 0x3f
000010a8: ADD
000010a9: AND
000010aa: DUP2
000010ab: ADD
000010ac: SWAP1
000010ad: DUP3
000010ae: DUP3
000010af: GT
000010b0: DUP2
000010b1: DUP4
000010b2: LT
000010b3: OR
000010b4: ISZERO
000010b5: PUSH3 0x00015d
000010b9: JUMPI
000010ba: PUSH3 0x00015d
000010be: PUSH3 0x0000ed
000010c2: JUMP
000010c3: JUMPDEST
000010c4: DUP2
000010c5: PUSH1 0x40
000010c7: MSTORE
000010c8: DUP4
000010c9: DUP2
000010ca: MSTORE
000010cb: PUSH1 0x20
000010cd: SWAP3
000010ce: POP
000010cf: DUP7
000010d0: DUP4
000010d1: DUP6
000010d2: DUP9
000010d3: ADD
000010d4: ADD
000010d5: GT
000010d6: ISZERO
000010d7: PUSH3 0x00017a
000010db: JUMPI
000010dc: PUSH1 0x00
000010de: DUP1
000010df: REVERT
000010e0: JUMPDEST
000010e1: PUSH1 0x00
000010e3: SWAP2
000010e4: POP
000010e5: JUMPDEST
000010e6: DUP4
000010e7: DUP3
000010e8: LT
000010e9: ISZERO
000010ea: PUSH3 0x00019e
000010ee: JUMPI
000010ef: DUP6
000010f0: DUP3
000010f1: ADD
000010f2: DUP4
000010f3: ADD
000010f4: MLOAD
000010f5: DUP2
000010f6: DUP4
000010f7: ADD
000010f8: DUP5
000010f9: ADD
000010fa: MSTORE
000010fb: SWAP1
000010fc: DUP3
000010fd: ADD
000010fe: SWAP1
000010ff: PUSH3 0x00017f
00001103: JUMP
00001104: JUMPDEST
00001105: PUSH1 0x00
00001107: SWAP4
00001108: DUP2
00001109: ADD
0000110a: SWAP1
0000110b: SWAP3
0000110c: ADD
0000110d: SWAP3
0000110e: SWAP1
0000110f: SWAP3
00001110: MSTORE
00001111: SWAP5
00001112: SWAP4
00001113: POP
00001114: POP
00001115: POP
00001116: POP
00001117: JUMP
00001118: JUMPDEST
00001119: PUSH1 0x00
0000111b: DUP1
0000111c: PUSH1 0x00
0000111e: PUSH1 0x60
00001120: DUP5
00001121: DUP7
00001122: SUB
00001123: SLT
00001124: ISZERO
00001125: PUSH3 0x0001c8
00001129: JUMPI
0000112a: PUSH1 0x00
0000112c: DUP1
0000112d: REVERT
0000112e: JUMPDEST
0000112f: DUP4
00001130: MLOAD
00001131: PUSH1 0x01
00001133: PUSH1 0x01
00001135: PUSH1 0x40
00001137: SHL
00001138: SUB
00001139: DUP1
0000113a: DUP3
0000113b: GT
0000113c: ISZERO
0000113d: PUSH3 0x0001e0
00001141: JUMPI
00001142: PUSH1 0x00
00001144: DUP1
00001145: REVERT
00001146: JUMPDEST
00001147: PUSH3 0x0001ee
0000114b: DUP8
0000114c: DUP4
0000114d: DUP9
0000114e: ADD
0000114f: PUSH3 0x000103
00001153: JUMP
00001154: JUMPDEST
00001155: SWAP5
00001156: POP
00001157: PUSH1 0x20
00001159: DUP7
0000115a: ADD
0000115b: MLOAD
0000115c: SWAP2
0000115d: POP
0000115e: DUP1
0000115f: DUP3
00001160: GT
00001161: ISZERO
00001162: PUSH3 0x000205
00001166: JUMPI
00001167: PUSH1 0x00
00001169: DUP1
0000116a: REVERT
0000116b: JUMPDEST
0000116c: POP
0000116d: PUSH3 0x000214
00001171: DUP7
00001172: DUP3
00001173: DUP8
00001174: ADD
00001175: PUSH3 0x000103
00001179: JUMP
0000117a: JUMPDEST
0000117b: SWAP3
0000117c: POP
0000117d: POP
0000117e: PUSH1 0x40
00001180: DUP5
00001181: ADD
00001182: MLOAD
00001183: PUSH1 0xff
00001185: DUP2
00001186: AND
00001187: DUP2
00001188: EQ
00001189: PUSH3 0x00022c
0000118d: JUMPI
0000118e: PUSH1 0x00
00001190: DUP1
00001191: REVERT
00001192: JUMPDEST
00001193: DUP1
00001194: SWAP2
00001195: POP
00001196: POP
00001197: SWAP3
00001198: POP
00001199: SWAP3
0000119a: POP
0000119b: SWAP3
0000119c: JUMP
0000119d: JUMPDEST
0000119e: PUSH1 0x01
000011a0: DUP2
000011a1: DUP2
000011a2: SHR
000011a3: SWAP1
000011a4: DUP3
000011a5: AND
000011a6: DUP1
000011a7: PUSH3 0x00024c
000011ab: JUMPI
000011ac: PUSH1 0x7f
000011ae: DUP3
000011af: AND
000011b0: SWAP2
000011b1: POP
000011b2: JUMPDEST
000011b3: PUSH1 0x20
000011b5: DUP3
000011b6: LT
000011b7: DUP2
000011b8: SUB
000011b9: PUSH3 0x00026d
000011bd: JUMPI
000011be: PUSH4 0x4e487b71
000011c3: PUSH1 0xe0
000011c5: SHL
000011c6: PUSH1 0x00
000011c8: MSTORE
000011c9: PUSH1 0x22
000011cb: PUSH1 0x04
000011cd: MSTORE
000011ce: PUSH1 0x24
000011d0: PUSH1 0x00
000011d2: REVERT
000011d3: JUMPDEST
000011d4: POP
000011d5: SWAP2
000011d6: SWAP1
000011d7: POP
000011d8: JUMP
000011d9: JUMPDEST
000011da: PUSH1 0x1f
000011dc: DUP3
000011dd: GT
000011de: ISZERO
000011df: PUSH3 0x0002c1
000011e3: JUMPI
000011e4: PUSH1 0x00
000011e6: DUP2
000011e7: DUP2
000011e8: MSTORE
000011e9: PUSH1 0x20
000011eb: DUP2
000011ec: KECCAK256
000011ed: PUSH1 0x1f
000011ef: DUP6
000011f0: ADD
000011f1: PUSH1 0x05
000011f3: SHR
000011f4: DUP2
000011f5: ADD
000011f6: PUSH1 0x20
000011f8: DUP7
000011f9: LT
000011fa: ISZERO
000011fb: PUSH3 0x00029c
000011ff: JUMPI
00001200: POP
00001201: DUP1
00001202: JUMPDEST
00001203: PUSH1 0x1f
00001205: DUP6
00001206: ADD
00001207: PUSH1 0x05
00001209: SHR
0000120a: DUP3
0000120b: ADD
0000120c: SWAP2
0000120d: POP
0000120e: JUMPDEST
0000120f: DUP2
00001210: DUP2
00001211: LT
00001212: ISZERO
00001213: PUSH3 0x0002bd
00001217: JUMPI
00001218: DUP3
00001219: DUP2
0000121a: SSTORE
0000121b: PUSH1 0x01
0000121d: ADD
0000121e: PUSH3 0x0002a8
00001222: JUMP
00001223: JUMPDEST
00001224: POP
00001225: POP
00001226: POP
00001227: JUMPDEST
00001228: POP
00001229: POP
0000122a: POP
0000122b: JUMP
0000122c: JUMPDEST
0000122d: DUP2
0000122e: MLOAD
0000122f: PUSH1 0x01
00001231: PUSH1 0x01
00001233: PUSH1 0x40
00001235: SHL
00001236: SUB
00001237: DUP2
00001238: GT
00001239: ISZERO
0000123a: PUSH3 0x0002e2
0000123e: JUMPI
0000123f: PUSH3 0x0002e2
00001243: PUSH3 0x0000ed
00001247: JUMP
00001248: JUMPDEST
00001249: PUSH3 0x0002fa
0000124d: DUP2
0000124e: PUSH3 0x0002f3
00001252: DUP5
00001253: SLOAD
00001254: PUSH3 0x000237
00001258: JUMP
00001259: JUMPDEST
0000125a: DUP5
0000125b: PUSH3 0x000273
0000125f: JUMP
00001260: JUMPDEST
00001261: PUSH1 0x20
00001263: DUP1
00001264: PUSH1 0x1f
00001266: DUP4
00001267: GT
00001268: PUSH1 0x01
0000126a: DUP2
0000126b: EQ
0000126c: PUSH3 0x000332
00001270: JUMPI
00001271: PUSH1 0x00
00001273: DUP5
00001274: ISZERO
00001275: PUSH3 0x000319
00001279: JUMPI
0000127a: POP
0000127b: DUP6
0000127c: DUP4
0000127d: ADD
0000127e: MLOAD
0000127f: JUMPDEST
00001280: PUSH1 0x00
00001282: NOT
00001283: PUSH1 0x03
00001285: DUP7
00001286: SWAP1
00001287: SHL
00001288: SHR
00001289: NOT
0000128a: AND
0000128b: PUSH1 0x01
0000128d: DUP6
0000128e: SWAP1
0000128f: SHL
00001290: OR
00001291: DUP6
00001292: SSTORE
00001293: PUSH3 0x0002bd
00001297: JUMP
00001298: JUMPDEST
00001299: PUSH1 0x00
0000129b: DUP6
0000129c: DUP2
0000129d: MSTORE
0000129e: PUSH1 0x20
000012a0: DUP2
000012a1: KECCAK256
000012a2: PUSH1 0x1f
000012a4: NOT
000012a5: DUP7
000012a6: AND
000012a7: SWAP2
000012a8: JUMPDEST
000012a9: DUP3
000012aa: DUP2
000012ab: LT
000012ac: ISZERO
000012ad: PUSH3 0x000363
000012b1: JUMPI
000012b2: DUP9
000012b3: DUP7
000012b4: ADD
000012b5: MLOAD
000012b6: DUP3
000012b7: SSTORE
000012b8: SWAP5
000012b9: DUP5
000012ba: ADD
000012bb: SWAP5
000012bc: PUSH1 0x01
000012be: SWAP1
000012bf: SWAP2
000012c0: ADD
000012c1: SWAP1
000012c2: DUP5
000012c3: ADD
000012c4: PUSH3 0x000342
000012c8: JUMP
000012c9: JUMPDEST
000012ca: POP
000012cb: DUP6
000012cc: DUP3
000012cd: LT
000012ce: ISZERO
000012cf: PUSH3 0x000382
000012d3: JUMPI
000012d4: DUP8
000012d5: DUP6
000012d6: ADD
000012d7: MLOAD
000012d8: PUSH1 0x00
000012da: NOT
000012db: PUSH1 0x03
000012dd: DUP9
000012de: SWAP1
000012df: SHL
000012e0: PUSH1 0xf8
000012e2: AND
000012e3: SHR
000012e4: NOT
000012e5: AND
000012e6: DUP2
000012e7: SSTORE
000012e8: JUMPDEST
000012e9: POP
000012ea: POP
000012eb: POP
000012ec: POP
000012ed: POP
000012ee: PUSH1 0x01
000012f0: SWAP1
000012f1: DUP2
000012f2: SHL
000012f3: ADD
000012f4: SWAP1
000012f5: SSTORE
000012f6: POP
000012f7: JUMP
000012f8: JUMPDEST
000012f9: PUSH2 0x0d9e
000012fc: DUP1
000012fd: PUSH3 0x0003a2
00001301: PUSH1 0x00
00001303: CODECOPY
00001304: PUSH1 0x00
00001306: RETURN
00001307: INVALID
00001308: PUSH1 0x80
0000130a: PUSH1 0x40
0000130c: MSTORE
0000130d: CALLVALUE
0000130e: DUP1
0000130f: ISZERO
00001310: PUSH2 0x0010
00001313: JUMPI
00001314: PUSH1 0x00
00001316: DUP1
00001317: REVERT
00001318: JUMPDEST
00001319: POP
0000131a: PUSH1 0x04
0000131c: CALLDATASIZE
0000131d: LT
0000131e: PUSH2 0x0121
00001321: JUMPI
00001322: PUSH1 0x00
00001324: CALLDATALOAD
00001325: PUSH1 0xe0
00001327: SHR
00001328: DUP1
00001329: PUSH4 0x70a08231
0000132e: GT
0000132f: PUSH2 0x00ad
00001332: JUMPI
00001333: DUP1
00001334: PUSH4 0x9dc29fac
00001339: GT
0000133a: PUSH2 0x0071
0000133d: JUMPI
0000133e: DUP1
0000133f: PUSH4 0x9dc29fac
00001344: EQ
00001345: PUSH2 0x0279
00001348: JUMPI
00001349: DUP1
0000134a: PUSH4 0xa457c2d7
0000134f: EQ
00001350: PUSH2 0x028c
00001353: JUMPI
00001354: DUP1
00001355: PUSH4 0xa9059cbb
0000135a: EQ
0000135b: PUSH2 0x029f
0000135e: JUMPI
0000135f: DUP1
00001360: PUSH4 0xdd62ed3e
00001365: EQ
00001366: PUSH2 0x02b2
00001369: JUMPI
0000136a: DUP1
0000136b: PUSH4 0xf2fde38b
00001370: EQ
00001371: PUSH2 0x02c5
00001374: JUMPI
00001375: PUSH1 0x00
00001377: DUP1
00001378: REVERT
00001379: JUMPDEST
0000137a: DUP1
0000137b: PUSH4 0x70a08231
00001380: EQ
00001381: PUSH2 0x0212
00001384: JUMPI
00001385: DUP1
00001386: PUSH4 0x715018a6
0000138b: EQ
0000138c: PUSH2 0x023b
0000138f: JUMPI
00001390: DUP1
00001391: PUSH4 0x79cc6790
00001396: EQ
00001397: PUSH2 0x0243
0000139a: JUMPI
0000139b: DUP1
0000139c: PUSH4 0x8da5cb5b
000013a1: EQ
000013a2: PUSH2 0x0256
000013a5: JUMPI
000013a6: DUP1
000013a7: PUSH4 0x95d89b41
000013ac: EQ
000013ad: PUSH2 0x0271
000013b0: JUMPI
000013b1: PUSH1 0x00
000013b3: DUP1
000013b4: REVERT
000013b5: JUMPDEST
000013b6: DUP1
000013b7: PUSH4 0x313ce567
000013bc: GT
000013bd: PUSH2 0x00f4
000013c0: JUMPI
000013c1: DUP1
000013c2: PUSH4 0x313ce567
000013c7: EQ
000013c8: PUSH2 0x018c
000013cb: JUMPI
000013cc: DUP1
000013cd: PUSH4 0x39509351
000013d2: EQ
000013d3: PUSH2 0x01ab
000013d6: JUMPI
000013d7: DUP1
000013d8: PUSH4 0x40c10f19
000013dd: EQ
000013de: PUSH2 0x01be
000013e1: JUMPI
000013e2: DUP1
000013e3: PUSH4 0x42966c68
000013e8: EQ
000013e9: PUSH2 0x01d3
000013ec: JUMPI
000013ed: DUP1
000013ee: PUSH4 0x54fd4d50
000013f3: EQ
000013f4: PUSH2 0x01e6
000013f7: JUMPI
000013f8: PUSH1 0x00
000013fa: DUP1
000013fb: REVERT
000013fc: JUMPDEST
000013fd: DUP1
000013fe: PUSH4 0x06fdde03
00001403: EQ
00001404: PUSH2 0x0126
00001407: JUMPI
00001408: DUP1
00001409: PUSH4 0x095ea7b3
0000140e: EQ
0000140f: PUSH2 0x0144
00001412: JUMPI
00001413: DUP1
00001414: PUSH4 0x18160ddd
00001419: EQ
0000141a: PUSH2 0x0167
0000141d: JUMPI
0000141e: DUP1
0000141f: PUSH4 0x23b872dd
00001424: EQ
00001425: PUSH2 0x0179
00001428: JUMPI
00001429: JUMPDEST
0000142a: PUSH1 0x00
0000142c: DUP1
0000142d: REVERT
0000142e: JUMPDEST
0000142f: PUSH2 0x012e
00001432: PUSH2 0x02d8
00001435: JUMP
00001436: JUMPDEST
00001437: PUSH1 0x40
00001439: MLOAD
0000143a: PUSH2 0x013b
0000143d: SWAP2
0000143e: SWAP1
0000143f: PUSH2 0x0b91
00001442: JUMP
00001443: JUMPDEST
00001444: PUSH1 0x40
00001446: MLOAD
00001447: DUP1
00001448: SWAP2
00001449: SUB
0000144a: SWAP1
0000144b: RETURN
0000144c: JUMPDEST
0000144d: PUSH2 0x0157
00001450: PUSH2 0x0152
00001453: CALLDATASIZE
00001454: PUSH1 0x04
00001456: PUSH2 0x0be0
00001459: JUMP
0000145a: JUMPDEST
0000145b: PUSH2 0x0306
0000145e: JUMP
0000145f: JUMPDEST
00001460: PUSH1 0x40
00001462: MLOAD
00001463: SWAP1
00001464: ISZERO
00001465: ISZERO
00001466: DUP2
00001467: MSTORE
00001468: PUSH1 0x20
0000146a: ADD
0000146b: PUSH2 0x013b
0000146e: JUMP
0000146f: JUMPDEST
00001470: PUSH1 0x02
00001472: SLOAD
00001473: JUMPDEST
00001474: PUSH1 0x40
00001476: MLOAD
00001477: SWAP1
00001478: DUP2
00001479: MSTORE
0000147a: PUSH1 0x20
0000147c: ADD
0000147d: PUSH2 0x013b
00001480: JUMP
00001481: JUMPDEST
00001482: PUSH2 0x0157
00001485: PUSH2 0x0187
00001488: CALLDATASIZE
00001489: PUSH1 0x04
0000148b: PUSH2 0x0c0a
0000148e: JUMP
0000148f: JUMPDEST
00001490: PUSH2 0x0320
00001493: JUMP
00001494: JUMPDEST
00001495: PUSH1 0x05
00001497: SLOAD
00001498: PUSH1 0x01
0000149a: PUSH1 0xa0
0000149c: SHL
0000149d: SWAP1
0000149e: DIV
0000149f: PUSH1 0xff
000014a1: AND
000014a2: PUSH1 0x40
000014a4: MLOAD
000014a5: PUSH1 0xff
000014a7: SWAP1
000014a8: SWAP2
000014a9: AND
000014aa: DUP2
000014ab: MSTORE
000014ac: PUSH1 0x20
000014ae: ADD
000014af: PUSH2 0x013b
000014b2: JUMP
000014b3: JUMPDEST
000014b4: PUSH2 0x0157
000014b7: PUSH2 0x01b9
000014ba: CALLDATASIZE
000014bb: PUSH1 0x04
000014bd: PUSH2 0x0be0
000014c0: JUMP
000014c1: JUMPDEST
000014c2: PUSH2 0x0344
000014c5: JUMP
000014c6: JUMPDEST
000014c7: PUSH2 0x01d1
000014ca: PUSH2 0x01cc
000014cd: CALLDATASIZE
000014ce: PUSH1 0x04
000014d0: PUSH2 0x0be0
000014d3: JUMP
000014d4: JUMPDEST
000014d5: PUSH2 0x0366
000014d8: JUMP
000014d9: JUMPDEST
000014da: STOP
000014db: JUMPDEST
000014dc: PUSH2 0x01d1
000014df: PUSH2 0x01e1
000014e2: CALLDATASIZE
000014e3: PUSH1 0x04
000014e5: PUSH2 0x0c46
000014e8: JUMP
000014e9: JUMPDEST
000014ea: PUSH2 0x037c
000014ed: JUMP
000014ee: JUMPDEST
000014ef: PUSH1 0x40
000014f1: DUP1
000014f2: MLOAD
000014f3: DUP1
000014f4: DUP3
000014f5: ADD
000014f6: SWAP1
000014f7: SWAP2
000014f8: MSTORE
000014f9: PUSH1 0x10
000014fb: DUP2
000014fc: MSTORE
000014fd: PUSH16 0x4c61506f73746520546f6b656e207631
0000150e: PUSH1 0x80
00001510: SHL
00001511: PUSH1 0x20
00001513: DUP3
00001514: ADD
00001515: MSTORE
00001516: PUSH2 0x012e
00001519: JUMP
0000151a: JUMPDEST
0000151b: PUSH2 0x016b
0000151e: PUSH2 0x0220
00001521: CALLDATASIZE
00001522: PUSH1 0x04
00001524: PUSH2 0x0c5f
00001527: JUMP
00001528: JUMPDEST
00001529: PUSH1 0x01
0000152b: PUSH1 0x01
0000152d: PUSH1 0xa0
0000152f: SHL
00001530: SUB
00001531: AND
00001532: PUSH1 0x00
00001534: SWAP1
00001535: DUP2
00001536: MSTORE
00001537: PUSH1 0x20
00001539: DUP2
0000153a: SWAP1
0000153b: MSTORE
0000153c: PUSH1 0x40
0000153e: SWAP1
0000153f: KECCAK256
00001540: SLOAD
00001541: SWAP1
00001542: JUMP
00001543: JUMPDEST
00001544: PUSH2 0x01d1
00001547: PUSH2 0x0389
0000154a: JUMP
0000154b: JUMPDEST
0000154c: PUSH2 0x01d1
0000154f: PUSH2 0x0251
00001552: CALLDATASIZE
00001553: PUSH1 0x04
00001555: PUSH2 0x0be0
00001558: JUMP
00001559: JUMPDEST
0000155a: PUSH2 0x039d
0000155d: JUMP
0000155e: JUMPDEST
0000155f: PUSH1 0x05
00001561: SLOAD
00001562: PUSH1 0x40
00001564: MLOAD
00001565: PUSH1 0x01
00001567: PUSH1 0x01
00001569: PUSH1 0xa0
0000156b: SHL
0000156c: SUB
0000156d: SWAP1
0000156e: SWAP2
0000156f: AND
00001570: DUP2
00001571: MSTORE
00001572: PUSH1 0x20
00001574: ADD
00001575: PUSH2 0x013b
00001578: JUMP
00001579: JUMPDEST
0000157a: PUSH2 0x012e
0000157d: PUSH2 0x03b2
00001580: JUMP
00001581: JUMPDEST
00001582: PUSH2 0x01d1
00001585: PUSH2 0x0287
00001588: CALLDATASIZE
00001589: PUSH1 0x04
0000158b: PUSH2 0x0be0
0000158e: JUMP
0000158f: JUMPDEST
00001590: PUSH2 0x03cc
00001593: JUMP
00001594: JUMPDEST
00001595: PUSH2 0x0157
00001598: PUSH2 0x029a
0000159b: CALLDATASIZE
0000159c: PUSH1 0x04
0000159e: PUSH2 0x0be0
000015a1: JUMP
000015a2: JUMPDEST
000015a3: PUSH2 0x03d4
000015a6: JUMP
000015a7: JUMPDEST
000015a8: PUSH2 0x0157
000015ab: PUSH2 0x02ad
000015ae: CALLDATASIZE
000015af: PUSH1 0x04
000015b1: PUSH2 0x0be0
000015b4: JUMP
000015b5: JUMPDEST
000015b6: PUSH2 0x0454
000015b9: JUMP
000015ba: JUMPDEST
000015bb: PUSH2 0x016b
000015be: PUSH2 0x02c0
000015c1: CALLDATASIZE
000015c2: PUSH1 0x04
000015c4: PUSH2 0x0c81
000015c7: JUMP
000015c8: JUMPDEST
000015c9: PUSH2 0x0462
000015cc: JUMP
000015cd: JUMPDEST
000015ce: PUSH2 0x01d1
000015d1: PUSH2 0x02d3
000015d4: CALLDATASIZE
000015d5: PUSH1 0x04
000015d7: PUSH2 0x0c5f
000015da: JUMP
000015db: JUMPDEST
000015dc: PUSH2 0x048d
000015df: JUMP
000015e0: JUMPDEST
000015e1: PUSH1 0x60
000015e3: PUSH2 0x02e2
000015e6: PUSH2 0x0503
000015e9: JUMP
000015ea: JUMPDEST
000015eb: PUSH1 0x40
000015ed: MLOAD
000015ee: PUSH1 0x20
000015f0: ADD
000015f1: PUSH2 0x02f2
000015f4: SWAP2
000015f5: SWAP1
000015f6: PUSH2 0x0cb4
000015f9: JUMP
000015fa: JUMPDEST
000015fb: PUSH1 0x40
000015fd: MLOAD
000015fe: PUSH1 0x20
00001600: DUP2
00001601: DUP4
00001602: SUB
00001603: SUB
00001604: DUP2
00001605: MSTORE
00001606: SWAP1
00001607: PUSH1 0x40
00001609: MSTORE
0000160a: SWAP1
0000160b: POP
0000160c: SWAP1
0000160d: JUMP
0000160e: JUMPDEST
0000160f: PUSH1 0x00
00001611: CALLER
00001612: PUSH2 0x0314
00001615: DUP2
00001616: DUP6
00001617: DUP6
00001618: PUSH2 0x0595
0000161b: JUMP
0000161c: JUMPDEST
0000161d: PUSH1 0x01
0000161f: SWAP2
00001620: POP
00001621: POP
00001622: JUMPDEST
00001623: SWAP3
00001624: SWAP2
00001625: POP
00001626: POP
00001627: JUMP
00001628: JUMPDEST
00001629: PUSH1 0x00
0000162b: CALLER
0000162c: PUSH2 0x032e
0000162f: DUP6
00001630: DUP3
00001631: DUP6
00001632: PUSH2 0x06ba
00001635: JUMP
00001636: JUMPDEST
00001637: PUSH2 0x0339
0000163a: DUP6
0000163b: DUP6
0000163c: DUP6
0000163d: PUSH2 0x0734
00001640: JUMP
00001641: JUMPDEST
00001642: POP
00001643: PUSH1 0x01
00001645: SWAP5
00001646: SWAP4
00001647: POP
00001648: POP
00001649: POP
0000164a: POP
0000164b: JUMP
0000164c: JUMPDEST
0000164d: PUSH1 0x00
0000164f: CALLER
00001650: PUSH2 0x0314
00001653: DUP2
00001654: DUP6
00001655: DUP6
00001656: PUSH2 0x0357
00001659: DUP4
0000165a: DUP4
0000165b: PUSH2 0x0462
0000165e: JUMP
0000165f: JUMPDEST
00001660: PUSH2 0x0361
00001663: SWAP2
00001664: SWAP1
00001665: PUSH2 0x0ce4
00001668: JUMP
00001669: JUMPDEST
0000166a: PUSH2 0x0595
0000166d: JUMP
0000166e: JUMPDEST
0000166f: PUSH2 0x036e
00001672: PUSH2 0x08c9
00001675: JUMP
00001676: JUMPDEST
00001677: PUSH2 0x0378
0000167a: DUP3
0000167b: DUP3
0000167c: PUSH2 0x0923
0000167f: JUMP
00001680: JUMPDEST
00001681: POP
00001682: POP
00001683: JUMP
00001684: JUMPDEST
00001685: PUSH2 0x0386
00001688: CALLER
00001689: DUP3
0000168a: PUSH2 0x09e2
0000168d: JUMP
0000168e: JUMPDEST
0000168f: POP
00001690: JUMP
00001691: JUMPDEST
00001692: PUSH2 0x0391
00001695: PUSH2 0x08c9
00001698: JUMP
00001699: JUMPDEST
0000169a: PUSH2 0x039b
0000169d: PUSH1 0x00
0000169f: PUSH2 0x0b0c
000016a2: JUMP
000016a3: JUMPDEST
000016a4: JUMP
000016a5: JUMPDEST
000016a6: PUSH2 0x03a8
000016a9: DUP3
000016aa: CALLER
000016ab: DUP4
000016ac: PUSH2 0x06ba
000016af: JUMP
000016b0: JUMPDEST
000016b1: PUSH2 0x0378
000016b4: DUP3
000016b5: DUP3
000016b6: PUSH2 0x09e2
000016b9: JUMP
000016ba: JUMPDEST
000016bb: PUSH1 0x60
000016bd: PUSH2 0x03bc
000016c0: PUSH2 0x0b5e
000016c3: JUMP
000016c4: JUMPDEST
000016c5: PUSH1 0x40
000016c7: MLOAD
000016c8: PUSH1 0x20
000016ca: ADD
000016cb: PUSH2 0x02f2
000016ce: SWAP2
000016cf: SWAP1
000016d0: PUSH2 0x0d05
000016d3: JUMP
000016d4: JUMPDEST
000016d5: PUSH2 0x03a8
000016d8: PUSH2 0x08c9
000016db: JUMP
000016dc: JUMPDEST
000016dd: PUSH1 0x00
000016df: CALLER
000016e0: DUP2
000016e1: PUSH2 0x03e2
000016e4: DUP3
000016e5: DUP7
000016e6: PUSH2 0x0462
000016e9: JUMP
000016ea: JUMPDEST
000016eb: SWAP1
000016ec: POP
000016ed: DUP4
000016ee: DUP2
000016ef: LT
000016f0: ISZERO
000016f1: PUSH2 0x0447
000016f4: JUMPI
000016f5: PUSH1 0x40
000016f7: MLOAD
000016f8: PUSH3 0x461bcd
000016fc: PUSH1 0xe5
000016fe: SHL
000016ff: DUP2
00001700: MSTORE
00001701: PUSH1 0x20
00001703: PUSH1 0x04
00001705: DUP3
00001706: ADD
00001707: MSTORE
00001708: PUSH1 0x25
0000170a: PUSH1 0x24
0000170c: DUP3
0000170d: ADD
0000170e: MSTORE
0000170f: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
00001730: PUSH1 0x44
00001732: DUP3
00001733: ADD
00001734: MSTORE
00001735: PUSH5 0x207a65726f
0000173b: PUSH1 0xd8
0000173d: SHL
0000173e: PUSH1 0x64
00001740: DUP3
00001741: ADD
00001742: MSTORE
00001743: PUSH1 0x84
00001745: ADD
00001746: JUMPDEST
00001747: PUSH1 0x40
00001749: MLOAD
0000174a: DUP1
0000174b: SWAP2
0000174c: SUB
0000174d: SWAP1
0000174e: REVERT
0000174f: JUMPDEST
00001750: PUSH2 0x0339
00001753: DUP3
00001754: DUP7
00001755: DUP7
00001756: DUP5
00001757: SUB
00001758: PUSH2 0x0595
0000175b: JUMP
0000175c: JUMPDEST
0000175d: PUSH1 0x00
0000175f: CALLER
00001760: PUSH2 0x0314
00001763: DUP2
00001764: DUP6
00001765: DUP6
00001766: PUSH2 0x0734
00001769: JUMP
0000176a: JUMPDEST
0000176b: PUSH1 0x01
0000176d: PUSH1 0x01
0000176f: PUSH1 0xa0
00001771: SHL
00001772: SUB
00001773: SWAP2
00001774: DUP3
00001775: AND
00001776: PUSH1 0x00
00001778: SWAP1
00001779: DUP2
0000177a: MSTORE
0000177b: PUSH1 0x01
0000177d: PUSH1 0x20
0000177f: SWAP1
00001780: DUP2
00001781: MSTORE
00001782: PUSH1 0x40
00001784: DUP1
00001785: DUP4
00001786: KECCAK256
00001787: SWAP4
00001788: SWAP1
00001789: SWAP5
0000178a: AND
0000178b: DUP3
0000178c: MSTORE
0000178d: SWAP2
0000178e: SWAP1
0000178f: SWAP2
00001790: MSTORE
00001791: KECCAK256
00001792: SLOAD
00001793: SWAP1
00001794: JUMP
00001795: JUMPDEST
00001796: PUSH2 0x0495
00001799: PUSH2 0x08c9
0000179c: JUMP
0000179d: JUMPDEST
0000179e: PUSH1 0x01
000017a0: PUSH1 0x01
000017a2: PUSH1 0xa0
000017a4: SHL
000017a5: SUB
000017a6: DUP2
000017a7: AND
000017a8: PUSH2 0x04fa
000017ab: JUMPI
000017ac: PUSH1 0x40
000017ae: MLOAD
000017af: PUSH3 0x461bcd
000017b3: PUSH1 0xe5
000017b5: SHL
000017b6: DUP2
000017b7: MSTORE
000017b8: PUSH1 0x20
000017ba: PUSH1 0x04
000017bc: DUP3
000017bd: ADD
000017be: MSTORE
000017bf: PUSH1 0x26
000017c1: PUSH1 0x24
000017c3: DUP3
000017c4: ADD
000017c5: MSTORE
000017c6: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000017e7: PUSH1 0x44
000017e9: DUP3
000017ea: ADD
000017eb: MSTORE
000017ec: PUSH6 0x646472657373
000017f3: PUSH1 0xd0
000017f5: SHL
000017f6: PUSH1 0x64
000017f8: DUP3
000017f9: ADD
000017fa: MSTORE
000017fb: PUSH1 0x84
000017fd: ADD
000017fe: PUSH2 0x043e
00001801: JUMP
00001802: JUMPDEST
00001803: PUSH2 0x0386
00001806: DUP2
00001807: PUSH2 0x0b0c
0000180a: JUMP
0000180b: JUMPDEST
0000180c: PUSH1 0x60
0000180e: PUSH1 0x03
00001810: DUP1
00001811: SLOAD
00001812: PUSH2 0x0512
00001815: SWAP1
00001816: PUSH2 0x0d2e
00001819: JUMP
0000181a: JUMPDEST
0000181b: DUP1
0000181c: PUSH1 0x1f
0000181e: ADD
0000181f: PUSH1 0x20
00001821: DUP1
00001822: SWAP2
00001823: DIV
00001824: MUL
00001825: PUSH1 0x20
00001827: ADD
00001828: PUSH1 0x40
0000182a: MLOAD
0000182b: SWAP1
0000182c: DUP2
0000182d: ADD
0000182e: PUSH1 0x40
00001830: MSTORE
00001831: DUP1
00001832: SWAP3
00001833: SWAP2
00001834: SWAP1
00001835: DUP2
00001836: DUP2
00001837: MSTORE
00001838: PUSH1 0x20
0000183a: ADD
0000183b: DUP3
0000183c: DUP1
0000183d: SLOAD
0000183e: PUSH2 0x053e
00001841: SWAP1
00001842: PUSH2 0x0d2e
00001845: JUMP
00001846: JUMPDEST
00001847: DUP1
00001848: ISZERO
00001849: PUSH2 0x058b
0000184c: JUMPI
0000184d: DUP1
0000184e: PUSH1 0x1f
00001850: LT
00001851: PUSH2 0x0560
00001854: JUMPI
00001855: PUSH2 0x0100
00001858: DUP1
00001859: DUP4
0000185a: SLOAD
0000185b: DIV
0000185c: MUL
0000185d: DUP4
0000185e: MSTORE
0000185f: SWAP2
00001860: PUSH1 0x20
00001862: ADD
00001863: SWAP2
00001864: PUSH2 0x058b
00001867: JUMP
00001868: JUMPDEST
00001869: DUP3
0000186a: ADD
0000186b: SWAP2
0000186c: SWAP1
0000186d: PUSH1 0x00
0000186f: MSTORE
00001870: PUSH1 0x20
00001872: PUSH1 0x00
00001874: KECCAK256
00001875: SWAP1
00001876: JUMPDEST
00001877: DUP2
00001878: SLOAD
00001879: DUP2
0000187a: MSTORE
0000187b: SWAP1
0000187c: PUSH1 0x01
0000187e: ADD
0000187f: SWAP1
00001880: PUSH1 0x20
00001882: ADD
00001883: DUP1
00001884: DUP4
00001885: GT
00001886: PUSH2 0x056e
00001889: JUMPI
0000188a: DUP3
0000188b: SWAP1
0000188c: SUB
0000188d: PUSH1 0x1f
0000188f: AND
00001890: DUP3
00001891: ADD
00001892: SWAP2
00001893: JUMPDEST
00001894: POP
00001895: POP
00001896: POP
00001897: POP
00001898: POP
00001899: SWAP1
0000189a: POP
0000189b: SWAP1
0000189c: JUMP
0000189d: JUMPDEST
0000189e: PUSH1 0x01
000018a0: PUSH1 0x01
000018a2: PUSH1 0xa0
000018a4: SHL
000018a5: SUB
000018a6: DUP4
000018a7: AND
000018a8: PUSH2 0x05f7
000018ab: JUMPI
000018ac: PUSH1 0x40
000018ae: MLOAD
000018af: PUSH3 0x461bcd
000018b3: PUSH1 0xe5
000018b5: SHL
000018b6: DUP2
000018b7: MSTORE
000018b8: PUSH1 0x20
000018ba: PUSH1 0x04
000018bc: DUP3
000018bd: ADD
000018be: MSTORE
000018bf: PUSH1 0x24
000018c1: DUP1
000018c2: DUP3
000018c3: ADD
000018c4: MSTORE
000018c5: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
000018e6: PUSH1 0x44
000018e8: DUP3
000018e9: ADD
000018ea: MSTORE
000018eb: PUSH4 0x72657373
000018f0: PUSH1 0xe0
000018f2: SHL
000018f3: PUSH1 0x64
000018f5: DUP3
000018f6: ADD
000018f7: MSTORE
000018f8: PUSH1 0x84
000018fa: ADD
000018fb: PUSH2 0x043e
000018fe: JUMP
000018ff: JUMPDEST
00001900: PUSH1 0x01
00001902: PUSH1 0x01
00001904: PUSH1 0xa0
00001906: SHL
00001907: SUB
00001908: DUP3
00001909: AND
0000190a: PUSH2 0x0658
0000190d: JUMPI
0000190e: PUSH1 0x40
00001910: MLOAD
00001911: PUSH3 0x461bcd
00001915: PUSH1 0xe5
00001917: SHL
00001918: DUP2
00001919: MSTORE
0000191a: PUSH1 0x20
0000191c: PUSH1 0x04
0000191e: DUP3
0000191f: ADD
00001920: MSTORE
00001921: PUSH1 0x22
00001923: PUSH1 0x24
00001925: DUP3
00001926: ADD
00001927: MSTORE
00001928: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00001949: PUSH1 0x44
0000194b: DUP3
0000194c: ADD
0000194d: MSTORE
0000194e: PUSH2 0x7373
00001951: PUSH1 0xf0
00001953: SHL
00001954: PUSH1 0x64
00001956: DUP3
00001957: ADD
00001958: MSTORE
00001959: PUSH1 0x84
0000195b: ADD
0000195c: PUSH2 0x043e
0000195f: JUMP
00001960: JUMPDEST
00001961: PUSH1 0x01
00001963: PUSH1 0x01
00001965: PUSH1 0xa0
00001967: SHL
00001968: SUB
00001969: DUP4
0000196a: DUP2
0000196b: AND
0000196c: PUSH1 0x00
0000196e: DUP2
0000196f: DUP2
00001970: MSTORE
00001971: PUSH1 0x01
00001973: PUSH1 0x20
00001975: SWAP1
00001976: DUP2
00001977: MSTORE
00001978: PUSH1 0x40
0000197a: DUP1
0000197b: DUP4
0000197c: KECCAK256
0000197d: SWAP5
0000197e: DUP8
0000197f: AND
00001980: DUP1
00001981: DUP5
00001982: MSTORE
00001983: SWAP5
00001984: DUP3
00001985: MSTORE
00001986: SWAP2
00001987: DUP3
00001988: SWAP1
00001989: KECCAK256
0000198a: DUP6
0000198b: SWAP1
0000198c: SSTORE
0000198d: SWAP1
0000198e: MLOAD
0000198f: DUP5
00001990: DUP2
00001991: MSTORE
00001992: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000019b3: SWAP2
000019b4: ADD
000019b5: JUMPDEST
000019b6: PUSH1 0x40
000019b8: MLOAD
000019b9: DUP1
000019ba: SWAP2
000019bb: SUB
000019bc: SWAP1
000019bd: LOG3
000019be: POP
000019bf: POP
000019c0: POP
000019c1: JUMP
000019c2: JUMPDEST
000019c3: PUSH1 0x00
000019c5: PUSH2 0x06c6
000019c8: DUP5
000019c9: DUP5
000019ca: PUSH2 0x0462
000019cd: JUMP
000019ce: JUMPDEST
000019cf: SWAP1
000019d0: POP
000019d1: PUSH1 0x00
000019d3: NOT
000019d4: DUP2
000019d5: EQ
000019d6: PUSH2 0x072e
000019d9: JUMPI
000019da: DUP2
000019db: DUP2
000019dc: LT
000019dd: ISZERO
000019de: PUSH2 0x0721
000019e1: JUMPI
000019e2: PUSH1 0x40
000019e4: MLOAD
000019e5: PUSH3 0x461bcd
000019e9: PUSH1 0xe5
000019eb: SHL
000019ec: DUP2
000019ed: MSTORE
000019ee: PUSH1 0x20
000019f0: PUSH1 0x04
000019f2: DUP3
000019f3: ADD
000019f4: MSTORE
000019f5: PUSH1 0x1d
000019f7: PUSH1 0x24
000019f9: DUP3
000019fa: ADD
000019fb: MSTORE
000019fc: PUSH32 0x45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000
00001a1d: PUSH1 0x44
00001a1f: DUP3
00001a20: ADD
00001a21: MSTORE
00001a22: PUSH1 0x64
00001a24: ADD
00001a25: PUSH2 0x043e
00001a28: JUMP
00001a29: JUMPDEST
00001a2a: PUSH2 0x072e
00001a2d: DUP5
00001a2e: DUP5
00001a2f: DUP5
00001a30: DUP5
00001a31: SUB
00001a32: PUSH2 0x0595
00001a35: JUMP
00001a36: JUMPDEST
00001a37: POP
00001a38: POP
00001a39: POP
00001a3a: POP
00001a3b: JUMP
00001a3c: JUMPDEST
00001a3d: PUSH1 0x01
00001a3f: PUSH1 0x01
00001a41: PUSH1 0xa0
00001a43: SHL
00001a44: SUB
00001a45: DUP4
00001a46: AND
00001a47: PUSH2 0x0798
00001a4a: JUMPI
00001a4b: PUSH1 0x40
00001a4d: MLOAD
00001a4e: PUSH3 0x461bcd
00001a52: PUSH1 0xe5
00001a54: SHL
00001a55: DUP2
00001a56: MSTORE
00001a57: PUSH1 0x20
00001a59: PUSH1 0x04
00001a5b: DUP3
00001a5c: ADD
00001a5d: MSTORE
00001a5e: PUSH1 0x25
00001a60: PUSH1 0x24
00001a62: DUP3
00001a63: ADD
00001a64: MSTORE
00001a65: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00001a86: PUSH1 0x44
00001a88: DUP3
00001a89: ADD
00001a8a: MSTORE
00001a8b: PUSH5 0x6472657373
00001a91: PUSH1 0xd8
00001a93: SHL
00001a94: PUSH1 0x64
00001a96: DUP3
00001a97: ADD
00001a98: MSTORE
00001a99: PUSH1 0x84
00001a9b: ADD
00001a9c: PUSH2 0x043e
00001a9f: JUMP
00001aa0: JUMPDEST
00001aa1: PUSH1 0x01
00001aa3: PUSH1 0x01
00001aa5: PUSH1 0xa0
00001aa7: SHL
00001aa8: SUB
00001aa9: DUP3
00001aaa: AND
00001aab: PUSH2 0x07fa
00001aae: JUMPI
00001aaf: PUSH1 0x40
00001ab1: MLOAD
00001ab2: PUSH3 0x461bcd
00001ab6: PUSH1 0xe5
00001ab8: SHL
00001ab9: DUP2
00001aba: MSTORE
00001abb: PUSH1 0x20
00001abd: PUSH1 0x04
00001abf: DUP3
00001ac0: ADD
00001ac1: MSTORE
00001ac2: PUSH1 0x23
00001ac4: PUSH1 0x24
00001ac6: DUP3
00001ac7: ADD
00001ac8: MSTORE
00001ac9: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00001aea: PUSH1 0x44
00001aec: DUP3
00001aed: ADD
00001aee: MSTORE
00001aef: PUSH3 0x657373
00001af3: PUSH1 0xe8
00001af5: SHL
00001af6: PUSH1 0x64
00001af8: DUP3
00001af9: ADD
00001afa: MSTORE
00001afb: PUSH1 0x84
00001afd: ADD
00001afe: PUSH2 0x043e
00001b01: JUMP
00001b02: JUMPDEST
00001b03: PUSH1 0x01
00001b05: PUSH1 0x01
00001b07: PUSH1 0xa0
00001b09: SHL
00001b0a: SUB
00001b0b: DUP4
00001b0c: AND
00001b0d: PUSH1 0x00
00001b0f: SWAP1
00001b10: DUP2
00001b11: MSTORE
00001b12: PUSH1 0x20
00001b14: DUP2
00001b15: SWAP1
00001b16: MSTORE
00001b17: PUSH1 0x40
00001b19: SWAP1
00001b1a: KECCAK256
00001b1b: SLOAD
00001b1c: DUP2
00001b1d: DUP2
00001b1e: LT
00001b1f: ISZERO
00001b20: PUSH2 0x0863
00001b23: JUMPI
00001b24: PUSH1 0x40
00001b26: MLOAD
00001b27: PUSH3 0x461bcd
00001b2b: PUSH1 0xe5
00001b2d: SHL
00001b2e: DUP2
00001b2f: MSTORE
00001b30: PUSH1 0x20
00001b32: PUSH1 0x04
00001b34: DUP3
00001b35: ADD
00001b36: MSTORE
00001b37: PUSH1 0x1c
00001b39: PUSH1 0x24
00001b3b: DUP3
00001b3c: ADD
00001b3d: MSTORE
00001b3e: PUSH32 0x45524332303a207375627472616374696f6e20756e646572666c6f7700000000
00001b5f: PUSH1 0x44
00001b61: DUP3
00001b62: ADD
00001b63: MSTORE
00001b64: PUSH1 0x64
00001b66: ADD
00001b67: PUSH2 0x043e
00001b6a: JUMP
00001b6b: JUMPDEST
00001b6c: PUSH1 0x01
00001b6e: PUSH1 0x01
00001b70: PUSH1 0xa0
00001b72: SHL
00001b73: SUB
00001b74: DUP5
00001b75: DUP2
00001b76: AND
00001b77: PUSH1 0x00
00001b79: DUP2
00001b7a: DUP2
00001b7b: MSTORE
00001b7c: PUSH1 0x20
00001b7e: DUP2
00001b7f: DUP2
00001b80: MSTORE
00001b81: PUSH1 0x40
00001b83: DUP1
00001b84: DUP4
00001b85: KECCAK256
00001b86: DUP8
00001b87: DUP8
00001b88: SUB
00001b89: SWAP1
00001b8a: SSTORE
00001b8b: SWAP4
00001b8c: DUP8
00001b8d: AND
00001b8e: DUP1
00001b8f: DUP4
00001b90: MSTORE
00001b91: SWAP2
00001b92: DUP5
00001b93: SWAP1
00001b94: KECCAK256
00001b95: DUP1
00001b96: SLOAD
00001b97: DUP8
00001b98: ADD
00001b99: SWAP1
00001b9a: SSTORE
00001b9b: SWAP3
00001b9c: MLOAD
00001b9d: DUP6
00001b9e: DUP2
00001b9f: MSTORE
00001ba0: SWAP1
00001ba1: SWAP3
00001ba2: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001bc3: SWAP2
00001bc4: ADD
00001bc5: PUSH1 0x40
00001bc7: MLOAD
00001bc8: DUP1
00001bc9: SWAP2
00001bca: SUB
00001bcb: SWAP1
00001bcc: LOG3
00001bcd: PUSH2 0x072e
00001bd0: JUMP
00001bd1: JUMPDEST
00001bd2: PUSH1 0x05
00001bd4: SLOAD
00001bd5: PUSH1 0x01
00001bd7: PUSH1 0x01
00001bd9: PUSH1 0xa0
00001bdb: SHL
00001bdc: SUB
00001bdd: AND
00001bde: CALLER
00001bdf: EQ
00001be0: PUSH2 0x039b
00001be3: JUMPI
00001be4: PUSH1 0x40
00001be6: MLOAD
00001be7: PUSH3 0x461bcd
00001beb: PUSH1 0xe5
00001bed: SHL
00001bee: DUP2
00001bef: MSTORE
00001bf0: PUSH1 0x20
00001bf2: PUSH1 0x04
00001bf4: DUP3
00001bf5: ADD
00001bf6: DUP2
00001bf7: SWAP1
00001bf8: MSTORE
00001bf9: PUSH1 0x24
00001bfb: DUP3
00001bfc: ADD
00001bfd: MSTORE
00001bfe: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001c1f: PUSH1 0x44
00001c21: DUP3
00001c22: ADD
00001c23: MSTORE
00001c24: PUSH1 0x64
00001c26: ADD
00001c27: PUSH2 0x043e
00001c2a: JUMP
00001c2b: JUMPDEST
00001c2c: PUSH1 0x01
00001c2e: PUSH1 0x01
00001c30: PUSH1 0xa0
00001c32: SHL
00001c33: SUB
00001c34: DUP3
00001c35: AND
00001c36: PUSH2 0x0979
00001c39: JUMPI
00001c3a: PUSH1 0x40
00001c3c: MLOAD
00001c3d: PUSH3 0x461bcd
00001c41: PUSH1 0xe5
00001c43: SHL
00001c44: DUP2
00001c45: MSTORE
00001c46: PUSH1 0x20
00001c48: PUSH1 0x04
00001c4a: DUP3
00001c4b: ADD
00001c4c: MSTORE
00001c4d: PUSH1 0x1f
00001c4f: PUSH1 0x24
00001c51: DUP3
00001c52: ADD
00001c53: MSTORE
00001c54: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00001c75: PUSH1 0x44
00001c77: DUP3
00001c78: ADD
00001c79: MSTORE
00001c7a: PUSH1 0x64
00001c7c: ADD
00001c7d: PUSH2 0x043e
00001c80: JUMP
00001c81: JUMPDEST
00001c82: DUP1
00001c83: PUSH1 0x02
00001c85: PUSH1 0x00
00001c87: DUP3
00001c88: DUP3
00001c89: SLOAD
00001c8a: PUSH2 0x098b
00001c8d: SWAP2
00001c8e: SWAP1
00001c8f: PUSH2 0x0ce4
00001c92: JUMP
00001c93: JUMPDEST
00001c94: SWAP1
00001c95: SWAP2
00001c96: SSTORE
00001c97: POP
00001c98: POP
00001c99: PUSH1 0x01
00001c9b: PUSH1 0x01
00001c9d: PUSH1 0xa0
00001c9f: SHL
00001ca0: SUB
00001ca1: DUP3
00001ca2: AND
00001ca3: PUSH1 0x00
00001ca5: DUP2
00001ca6: DUP2
00001ca7: MSTORE
00001ca8: PUSH1 0x20
00001caa: DUP2
00001cab: DUP2
00001cac: MSTORE
00001cad: PUSH1 0x40
00001caf: DUP1
00001cb0: DUP4
00001cb1: KECCAK256
00001cb2: DUP1
00001cb3: SLOAD
00001cb4: DUP7
00001cb5: ADD
00001cb6: SWAP1
00001cb7: SSTORE
00001cb8: MLOAD
00001cb9: DUP5
00001cba: DUP2
00001cbb: MSTORE
00001cbc: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001cdd: SWAP2
00001cde: ADD
00001cdf: PUSH1 0x40
00001ce1: MLOAD
00001ce2: DUP1
00001ce3: SWAP2
00001ce4: SUB
00001ce5: SWAP1
00001ce6: LOG3
00001ce7: POP
00001ce8: POP
00001ce9: JUMP
00001cea: JUMPDEST
00001ceb: PUSH1 0x01
00001ced: PUSH1 0x01
00001cef: PUSH1 0xa0
00001cf1: SHL
00001cf2: SUB
00001cf3: DUP3
00001cf4: AND
00001cf5: PUSH2 0x0a42
00001cf8: JUMPI
00001cf9: PUSH1 0x40
00001cfb: MLOAD
00001cfc: PUSH3 0x461bcd
00001d00: PUSH1 0xe5
00001d02: SHL
00001d03: DUP2
00001d04: MSTORE
00001d05: PUSH1 0x20
00001d07: PUSH1 0x04
00001d09: DUP3
00001d0a: ADD
00001d0b: MSTORE
00001d0c: PUSH1 0x21
00001d0e: PUSH1 0x24
00001d10: DUP3
00001d11: ADD
00001d12: MSTORE
00001d13: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573
00001d34: PUSH1 0x44
00001d36: DUP3
00001d37: ADD
00001d38: MSTORE
00001d39: PUSH1 0x73
00001d3b: PUSH1 0xf8
00001d3d: SHL
00001d3e: PUSH1 0x64
00001d40: DUP3
00001d41: ADD
00001d42: MSTORE
00001d43: PUSH1 0x84
00001d45: ADD
00001d46: PUSH2 0x043e
00001d49: JUMP
00001d4a: JUMPDEST
00001d4b: PUSH1 0x01
00001d4d: PUSH1 0x01
00001d4f: PUSH1 0xa0
00001d51: SHL
00001d52: SUB
00001d53: DUP3
00001d54: AND
00001d55: PUSH1 0x00
00001d57: SWAP1
00001d58: DUP2
00001d59: MSTORE
00001d5a: PUSH1 0x20
00001d5c: DUP2
00001d5d: SWAP1
00001d5e: MSTORE
00001d5f: PUSH1 0x40
00001d61: SWAP1
00001d62: KECCAK256
00001d63: SLOAD
00001d64: DUP2
00001d65: DUP2
00001d66: LT
00001d67: ISZERO
00001d68: PUSH2 0x0ab6
00001d6b: JUMPI
00001d6c: PUSH1 0x40
00001d6e: MLOAD
00001d6f: PUSH3 0x461bcd
00001d73: PUSH1 0xe5
00001d75: SHL
00001d76: DUP2
00001d77: MSTORE
00001d78: PUSH1 0x20
00001d7a: PUSH1 0x04
00001d7c: DUP3
00001d7d: ADD
00001d7e: MSTORE
00001d7f: PUSH1 0x22
00001d81: PUSH1 0x24
00001d83: DUP3
00001d84: ADD
00001d85: MSTORE
00001d86: PUSH32 0x45524332303a206275726e20616d6f756e7420657863656564732062616c616e
00001da7: PUSH1 0x44
00001da9: DUP3
00001daa: ADD
00001dab: MSTORE
00001dac: PUSH2 0x6365
00001daf: PUSH1 0xf0
00001db1: SHL
00001db2: PUSH1 0x64
00001db4: DUP3
00001db5: ADD
00001db6: MSTORE
00001db7: PUSH1 0x84
00001db9: ADD
00001dba: PUSH2 0x043e
00001dbd: JUMP
00001dbe: JUMPDEST
00001dbf: PUSH1 0x01
00001dc1: PUSH1 0x01
00001dc3: PUSH1 0xa0
00001dc5: SHL
00001dc6: SUB
00001dc7: DUP4
00001dc8: AND
00001dc9: PUSH1 0x00
00001dcb: DUP2
00001dcc: DUP2
00001dcd: MSTORE
00001dce: PUSH1 0x20
00001dd0: DUP2
00001dd1: DUP2
00001dd2: MSTORE
00001dd3: PUSH1 0x40
00001dd5: DUP1
00001dd6: DUP4
00001dd7: KECCAK256
00001dd8: DUP7
00001dd9: DUP7
00001dda: SUB
00001ddb: SWAP1
00001ddc: SSTORE
00001ddd: PUSH1 0x02
00001ddf: DUP1
00001de0: SLOAD
00001de1: DUP8
00001de2: SWAP1
00001de3: SUB
00001de4: SWAP1
00001de5: SSTORE
00001de6: MLOAD
00001de7: DUP6
00001de8: DUP2
00001de9: MSTORE
00001dea: SWAP2
00001deb: SWAP3
00001dec: SWAP2
00001ded: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001e0e: SWAP2
00001e0f: ADD
00001e10: PUSH2 0x06ad
00001e13: JUMP
00001e14: JUMPDEST
00001e15: PUSH1 0x05
00001e17: DUP1
00001e18: SLOAD
00001e19: PUSH1 0x01
00001e1b: PUSH1 0x01
00001e1d: PUSH1 0xa0
00001e1f: SHL
00001e20: SUB
00001e21: DUP4
00001e22: DUP2
00001e23: AND
00001e24: PUSH1 0x01
00001e26: PUSH1 0x01
00001e28: PUSH1 0xa0
00001e2a: SHL
00001e2b: SUB
00001e2c: NOT
00001e2d: DUP4
00001e2e: AND
00001e2f: DUP2
00001e30: OR
00001e31: SWAP1
00001e32: SWAP4
00001e33: SSTORE
00001e34: PUSH1 0x40
00001e36: MLOAD
00001e37: SWAP2
00001e38: AND
00001e39: SWAP2
00001e3a: SWAP1
00001e3b: DUP3
00001e3c: SWAP1
00001e3d: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001e5e: SWAP1
00001e5f: PUSH1 0x00
00001e61: SWAP1
00001e62: LOG3
00001e63: POP
00001e64: POP
00001e65: JUMP
00001e66: JUMPDEST
00001e67: PUSH1 0x60
00001e69: PUSH1 0x04
00001e6b: DUP1
00001e6c: SLOAD
00001e6d: PUSH2 0x0512
00001e70: SWAP1
00001e71: PUSH2 0x0d2e
00001e74: JUMP
00001e75: JUMPDEST
00001e76: PUSH1 0x00
00001e78: JUMPDEST
00001e79: DUP4
00001e7a: DUP2
00001e7b: LT
00001e7c: ISZERO
00001e7d: PUSH2 0x0b88
00001e80: JUMPI
00001e81: DUP2
00001e82: DUP2
00001e83: ADD
00001e84: MLOAD
00001e85: DUP4
00001e86: DUP3
00001e87: ADD
00001e88: MSTORE
00001e89: PUSH1 0x20
00001e8b: ADD
00001e8c: PUSH2 0x0b70
00001e8f: JUMP
00001e90: JUMPDEST
00001e91: POP
00001e92: POP
00001e93: PUSH1 0x00
00001e95: SWAP2
00001e96: ADD
00001e97: MSTORE
00001e98: JUMP
00001e99: JUMPDEST
00001e9a: PUSH1 0x20
00001e9c: DUP2
00001e9d: MSTORE
00001e9e: PUSH1 0x00
00001ea0: DUP3
00001ea1: MLOAD
00001ea2: DUP1
00001ea3: PUSH1 0x20
00001ea5: DUP5
00001ea6: ADD
00001ea7: MSTORE
00001ea8: PUSH2 0x0bb0
00001eab: DUP2
00001eac: PUSH1 0x40
00001eae: DUP6
00001eaf: ADD
00001eb0: PUSH1 0x20
00001eb2: DUP8
00001eb3: ADD
00001eb4: PUSH2 0x0b6d
00001eb7: JUMP
00001eb8: JUMPDEST
00001eb9: PUSH1 0x1f
00001ebb: ADD
00001ebc: PUSH1 0x1f
00001ebe: NOT
00001ebf: AND
00001ec0: SWAP2
00001ec1: SWAP1
00001ec2: SWAP2
00001ec3: ADD
00001ec4: PUSH1 0x40
00001ec6: ADD
00001ec7: SWAP3
00001ec8: SWAP2
00001ec9: POP
00001eca: POP
00001ecb: JUMP
00001ecc: JUMPDEST
00001ecd: DUP1
00001ece: CALLDATALOAD
00001ecf: PUSH1 0x01
00001ed1: PUSH1 0x01
00001ed3: PUSH1 0xa0
00001ed5: SHL
00001ed6: SUB
00001ed7: DUP2
00001ed8: AND
00001ed9: DUP2
00001eda: EQ
00001edb: PUSH2 0x0bdb
00001ede: JUMPI
00001edf: PUSH1 0x00
00001ee1: DUP1
00001ee2: REVERT
00001ee3: JUMPDEST
00001ee4: SWAP2
00001ee5: SWAP1
00001ee6: POP
00001ee7: JUMP
00001ee8: JUMPDEST
00001ee9: PUSH1 0x00
00001eeb: DUP1
00001eec: PUSH1 0x40
00001eee: DUP4
00001eef: DUP6
00001ef0: SUB
00001ef1: SLT
00001ef2: ISZERO
00001ef3: PUSH2 0x0bf3
00001ef6: JUMPI
00001ef7: PUSH1 0x00
00001ef9: DUP1
00001efa: REVERT
00001efb: JUMPDEST
00001efc: PUSH2 0x0bfc
00001eff: DUP4
00001f00: PUSH2 0x0bc4
00001f03: JUMP
00001f04: JUMPDEST
00001f05: SWAP5
00001f06: PUSH1 0x20
00001f08: SWAP4
00001f09: SWAP1
00001f0a: SWAP4
00001f0b: ADD
00001f0c: CALLDATALOAD
00001f0d: SWAP4
00001f0e: POP
00001f0f: POP
00001f10: POP
00001f11: JUMP
00001f12: JUMPDEST
00001f13: PUSH1 0x00
00001f15: DUP1
00001f16: PUSH1 0x00
00001f18: PUSH1 0x60
00001f1a: DUP5
00001f1b: DUP7
00001f1c: SUB
00001f1d: SLT
00001f1e: ISZERO
00001f1f: PUSH2 0x0c1f
00001f22: JUMPI
00001f23: PUSH1 0x00
00001f25: DUP1
00001f26: REVERT
00001f27: JUMPDEST
00001f28: PUSH2 0x0c28
00001f2b: DUP5
00001f2c: PUSH2 0x0bc4
00001f2f: JUMP
00001f30: JUMPDEST
00001f31: SWAP3
00001f32: POP
00001f33: PUSH2 0x0c36
00001f36: PUSH1 0x20
00001f38: DUP6
00001f39: ADD
00001f3a: PUSH2 0x0bc4
00001f3d: JUMP
00001f3e: JUMPDEST
00001f3f: SWAP2
00001f40: POP
00001f41: PUSH1 0x40
00001f43: DUP5
00001f44: ADD
00001f45: CALLDATALOAD
00001f46: SWAP1
00001f47: POP
00001f48: SWAP3
00001f49: POP
00001f4a: SWAP3
00001f4b: POP
00001f4c: SWAP3
00001f4d: JUMP
00001f4e: JUMPDEST
00001f4f: PUSH1 0x00
00001f51: PUSH1 0x20
00001f53: DUP3
00001f54: DUP5
00001f55: SUB
00001f56: SLT
00001f57: ISZERO
00001f58: PUSH2 0x0c58
00001f5b: JUMPI
00001f5c: PUSH1 0x00
00001f5e: DUP1
00001f5f: REVERT
00001f60: JUMPDEST
00001f61: POP
00001f62: CALLDATALOAD
00001f63: SWAP2
00001f64: SWAP1
00001f65: POP
00001f66: JUMP
00001f67: JUMPDEST
00001f68: PUSH1 0x00
00001f6a: PUSH1 0x20
00001f6c: DUP3
00001f6d: DUP5
00001f6e: SUB
00001f6f: SLT
00001f70: ISZERO
00001f71: PUSH2 0x0c71
00001f74: JUMPI
00001f75: PUSH1 0x00
00001f77: DUP1
00001f78: REVERT
00001f79: JUMPDEST
00001f7a: PUSH2 0x0c7a
00001f7d: DUP3
00001f7e: PUSH2 0x0bc4
00001f81: JUMP
00001f82: JUMPDEST
00001f83: SWAP4
00001f84: SWAP3
00001f85: POP
00001f86: POP
00001f87: POP
00001f88: JUMP
00001f89: JUMPDEST
00001f8a: PUSH1 0x00
00001f8c: DUP1
00001f8d: PUSH1 0x40
00001f8f: DUP4
00001f90: DUP6
00001f91: SUB
00001f92: SLT
00001f93: ISZERO
00001f94: PUSH2 0x0c94
00001f97: JUMPI
00001f98: PUSH1 0x00
00001f9a: DUP1
00001f9b: REVERT
00001f9c: JUMPDEST
00001f9d: PUSH2 0x0c9d
00001fa0: DUP4
00001fa1: PUSH2 0x0bc4
00001fa4: JUMP
00001fa5: JUMPDEST
00001fa6: SWAP2
00001fa7: POP
00001fa8: PUSH2 0x0cab
00001fab: PUSH1 0x20
00001fad: DUP5
00001fae: ADD
00001faf: PUSH2 0x0bc4
00001fb2: JUMP
00001fb3: JUMPDEST
00001fb4: SWAP1
00001fb5: POP
00001fb6: SWAP3
00001fb7: POP
00001fb8: SWAP3
00001fb9: SWAP1
00001fba: POP
00001fbb: JUMP
00001fbc: JUMPDEST
00001fbd: PUSH8 0x02630a837b9ba329
00001fc6: PUSH1 0xc5
00001fc8: SHL
00001fc9: DUP2
00001fca: MSTORE
00001fcb: PUSH1 0x00
00001fcd: DUP3
00001fce: MLOAD
00001fcf: PUSH2 0x0cd7
00001fd2: DUP2
00001fd3: PUSH1 0x08
00001fd5: DUP6
00001fd6: ADD
00001fd7: PUSH1 0x20
00001fd9: DUP8
00001fda: ADD
00001fdb: PUSH2 0x0b6d
00001fde: JUMP
00001fdf: JUMPDEST
00001fe0: SWAP2
00001fe1: SWAP1
00001fe2: SWAP2
00001fe3: ADD
00001fe4: PUSH1 0x08
00001fe6: ADD
00001fe7: SWAP3
00001fe8: SWAP2
00001fe9: POP
00001fea: POP
00001feb: JUMP
00001fec: JUMPDEST
00001fed: DUP1
00001fee: DUP3
00001fef: ADD
00001ff0: DUP1
00001ff1: DUP3
00001ff2: GT
00001ff3: ISZERO
00001ff4: PUSH2 0x031a
00001ff7: JUMPI
00001ff8: PUSH4 0x4e487b71
00001ffd: PUSH1 0xe0
00001fff: SHL
00002000: PUSH1 0x00
00002002: MSTORE
00002003: PUSH1 0x11
00002005: PUSH1 0x04
00002007: MSTORE
00002008: PUSH1 0x24
0000200a: PUSH1 0x00
0000200c: REVERT
0000200d: JUMPDEST
0000200e: PUSH1 0x07
00002010: PUSH1 0xfc
00002012: SHL
00002013: DUP2
00002014: MSTORE
00002015: PUSH1 0x00
00002017: DUP3
00002018: MLOAD
00002019: PUSH2 0x0d21
0000201c: DUP2
0000201d: PUSH1 0x01
0000201f: DUP6
00002020: ADD
00002021: PUSH1 0x20
00002023: DUP8
00002024: ADD
00002025: PUSH2 0x0b6d
00002028: JUMP
00002029: JUMPDEST
0000202a: SWAP2
0000202b: SWAP1
0000202c: SWAP2
0000202d: ADD
0000202e: PUSH1 0x01
00002030: ADD
00002031: SWAP3
00002032: SWAP2
00002033: POP
00002034: POP
00002035: JUMP
00002036: JUMPDEST
00002037: PUSH1 0x01
00002039: DUP2
0000203a: DUP2
0000203b: SHR
0000203c: SWAP1
0000203d: DUP3
0000203e: AND
0000203f: DUP1
00002040: PUSH2 0x0d42
00002043: JUMPI
00002044: PUSH1 0x7f
00002046: DUP3
00002047: AND
00002048: SWAP2
00002049: POP
0000204a: JUMPDEST
0000204b: PUSH1 0x20
0000204d: DUP3
0000204e: LT
0000204f: DUP2
00002050: SUB
00002051: PUSH2 0x0d62
00002054: JUMPI
00002055: PUSH4 0x4e487b71
0000205a: PUSH1 0xe0
0000205c: SHL
0000205d: PUSH1 0x00
0000205f: MSTORE
00002060: PUSH1 0x22
00002062: PUSH1 0x04
00002064: MSTORE
00002065: PUSH1 0x24
00002067: PUSH1 0x00
00002069: REVERT
0000206a: JUMPDEST
0000206b: POP
0000206c: SWAP2
0000206d: SWAP1
0000206e: POP
0000206f: JUMP
00002070: INVALID
00002071: LOG2
00002072: PUSH5 0x6970667358
00002078: UNKNOWN(0x22)
00002079: SLT
0000207a: KECCAK256
0000207b: JUMP
0000207c: UNKNOWN(0x2D)
0000207d: JUMPI
0000207e: UNKNOWN(0xA5)
0000207f: SGT
00002080: RETURNDATACOPY
00002081: UNKNOWN(0x2A)
00002082: UNKNOWN(0x4F)
00002083: SWAP4
00002084: SWAP7
00002085: SWAP1
00002086: BALANCE
00002087: SDIV
00002088: BASEFEE
00002089: UNKNOWN(0xE6)
0000208a: PUSH32 0x8d9b436d93421b64d66b4d54359bb10564736f6c63430008130033a264697066
000020ab: PUSH20 0x58221220e9bfebab24df2c03bc763521ba68d9fe
000020c0: UNKNOWN(0xC1)
000020c1: PUSH13 0x9a936d23125f108ba44379f06b
000020cf: UNKNOWN(0xE0)
000020d0: PUSH5 0x736f6c6343
000020d6: STOP
000020d7: ADDMOD
000020d8: SGT
000020d9: STOP
000020da: CALLER