Analysis Run

[codex:484186] OpenAI Codex v0.77.0 (research preview)
[codex:484186] --------
[codex:484186] workdir: /tmp/codex-multi-j2wo6le2
[codex:484186] model: gpt-5.2-codex
[codex:484186] provider: openai
[codex:484186] approval: never
[codex:484186] sandbox: read-only
[codex:484186] reasoning effort: xhigh
[codex:484186] reasoning summaries: auto
[codex:484186] session id: 019b7a30-9381-7630-9a02-ffec6648741c
[codex:484186] --------
[codex:484186] user
[codex:484186] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:484186] 
[codex:484186] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:484186] 
[codex:484186] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:484186] - Gas inefficiency, code quality, naming, or best practices
[codex:484186] - Theoretical vulnerabilities without a clear extraction path
[codex:484186] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:484186] - Front-running unless it enables theft beyond MEV
[codex:484186] - DoS, griefing, or issues that don't result in attacker profit
[codex:484186] - Missing events, view function issues, or informational findings
[codex:484186] 
[codex:484186] HIGH-VALUE PATTERNS TO HUNT:
[codex:484186] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:484186] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:484186] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:484186] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:484186] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:484186] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:484186] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:484186] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:484186] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:484186] 
[codex:484186] For each finding, you MUST provide:
[codex:484186] 1. Exact file and line numbers of vulnerable code
[codex:484186] 2. Step-by-step exploit transaction sequence
[codex:484186] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:484186] 
[codex:484186] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:484186] 
[codex:484186] Output MUST be valid JSON matching the provided schema.
[codex:484186] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:484186] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:484186] mcp startup: no servers
[codex:484186] 
[codex:484186] thinking
[codex:484186] **Preparing to list files with rg**
[codex:484186] exec
[codex:484186] /bin/bash -lc ls in /tmp/codex-multi-j2wo6le2 succeeded in 5ms:
[codex:484186] AUDIT_BUNDLE.txt
[codex:484186] codex-output-schema.json
[codex:484186] contracts
[codex:484186] 
[codex:484186] thinking
[codex:484186] **Reading AUDIT_BUNDLE.txt**
[codex:484186] exec
[codex:484186] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-j2wo6le2 succeeded in 5ms:
[codex:484186] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:484186] 
[codex:484186] ================================================================================
[codex:484186] FILE: contracts/contracts/common/AccessControlMixin.sol
[codex:484186] ================================================================================
[codex:484186] pragma solidity 0.6.6;
[codex:484186] 
[codex:484186] import {AccessControl} from "@openzeppelin/contracts/access/AccessControl.sol";
[codex:484186] 
[codex:484186] contract AccessControlMixin is AccessControl {
[codex:484186]     string private _revertMsg;
[codex:484186]     function _setupContractId(string memory contractId) internal {
[codex:484186]         _revertMsg = string(abi.encodePacked(contractId, ": INSUFFICIENT_PERMISSIONS"));
[codex:484186]     }
[codex:484186] 
[codex:484186]     modifier only(bytes32 role) {
[codex:484186]         require(
[codex:484186]             hasRole(role, _msgSender()),
[codex:484186]             _revertMsg
[codex:484186]         );
[codex:484186] 
[codex:484186] thinking
[codex:484186] **Assessing EtherPredicate vulnerabilities**
[codex:484186] 
[codex:484186] I'm carefully evaluating EtherPredicate for exploitable vulnerabilities, focusing on concrete exploit paths considering roles, initialization, and method access. It looks like uninitialized direct deployment can't be exploited due to constructor disabling initialization, and proxies rely on proper initialization. Manager role restrictions and access control checks prevent unauthorized calls. ExitTokens uses log data without root token checks, but since only the trusted manager can call it and reentrancy is limited, I see no practical exploits. I'll prepare a JSON report with no findings as requested.
[codex:484186] codex
[codex:484186] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided contracts under the stated assumptions.","findings":[]}
[codex:484186] tokens used
[codex:484186] 7,229
[codex:484186] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided contracts under the stated assumptions.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-01T15:33:00.836230+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit path found in the provided contracts under the stated assumptions.",
    "raw_final": {
        "summary": "No concrete, exploitable profit path found in the provided contracts under the stated assumptions.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00e1
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0xa217fddf
00000019: GT
0000001a: PUSH2 0x007f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xca15c873
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xca15c873
0000002f: EQ
00000030: PUSH2 0x0412
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd547741f
0000003a: EQ
0000003b: PUSH2 0x043c
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe375b64e
00000045: EQ
00000046: PUSH2 0x0475
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xec87621c
00000050: EQ
00000051: PUSH2 0x0513
00000054: JUMPI
00000055: PUSH2 0x01bc
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xa217fddf
00000060: EQ
00000061: PUSH2 0x03b5
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xb017a30f
0000006b: EQ
0000006c: PUSH2 0x03ca
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xc4d66de8
00000076: EQ
00000077: PUSH2 0x03df
0000007a: JUMPI
0000007b: PUSH2 0x01bc
0000007e: JUMP
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x609c92b8
00000086: GT
00000087: PUSH2 0x00bb
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x609c92b8
00000091: EQ
00000092: PUSH2 0x0271
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x8274664f
0000009c: EQ
0000009d: PUSH2 0x0286
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x9010d07c
000000a7: EQ
000000a8: PUSH2 0x031c
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x91d14854
000000b2: EQ
000000b3: PUSH2 0x0368
000000b6: JUMPI
000000b7: PUSH2 0x01bc
000000ba: JUMP
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0x248a9ca3
000000c2: EQ
000000c3: PUSH2 0x01c1
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x2f2ff15d
000000cd: EQ
000000ce: PUSH2 0x01fd
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x36568abe
000000d8: EQ
000000d9: PUSH2 0x0238
000000dc: JUMPI
000000dd: PUSH2 0x01bc
000000e0: JUMP
000000e1: JUMPDEST
000000e2: CALLDATASIZE
000000e3: PUSH2 0x01bc
000000e6: JUMPI
000000e7: PUSH1 0x40
000000e9: DUP1
000000ea: MLOAD
000000eb: PUSH12 0x4d414e414745525f524f4c45
000000f8: PUSH1 0xa0
000000fa: SHL
000000fb: DUP2
000000fc: MSTORE
000000fd: SWAP1
000000fe: MLOAD
000000ff: SWAP1
00000100: DUP2
00000101: SWAP1
00000102: SUB
00000103: PUSH1 0x0c
00000105: ADD
00000106: SWAP1
00000107: KECCAK256
00000108: PUSH2 0x0118
0000010b: DUP2
0000010c: PUSH2 0x0113
0000010f: PUSH2 0x0528
00000112: JUMP
00000113: JUMPDEST
00000114: PUSH2 0x052d
00000117: JUMP
00000118: JUMPDEST
00000119: PUSH1 0x01
0000011b: SWAP1
0000011c: PUSH2 0x01b8
0000011f: JUMPI
00000120: PUSH1 0x40
00000122: MLOAD
00000123: PUSH3 0x461bcd
00000127: PUSH1 0xe5
00000129: SHL
0000012a: DUP2
0000012b: MSTORE
0000012c: PUSH1 0x20
0000012e: PUSH1 0x04
00000130: DUP3
00000131: ADD
00000132: SWAP1
00000133: DUP2
00000134: MSTORE
00000135: DUP3
00000136: SLOAD
00000137: PUSH1 0x02
00000139: PUSH1 0x00
0000013b: NOT
0000013c: PUSH2 0x0100
0000013f: PUSH1 0x01
00000141: DUP5
00000142: AND
00000143: ISZERO
00000144: MUL
00000145: ADD
00000146: SWAP1
00000147: SWAP2
00000148: AND
00000149: DIV
0000014a: PUSH1 0x24
0000014c: DUP4
0000014d: ADD
0000014e: DUP2
0000014f: SWAP1
00000150: MSTORE
00000151: SWAP1
00000152: SWAP2
00000153: DUP3
00000154: SWAP2
00000155: PUSH1 0x44
00000157: SWAP1
00000158: SWAP2
00000159: ADD
0000015a: SWAP1
0000015b: DUP5
0000015c: SWAP1
0000015d: DUP1
0000015e: ISZERO
0000015f: PUSH2 0x01a9
00000162: JUMPI
00000163: DUP1
00000164: PUSH1 0x1f
00000166: LT
00000167: PUSH2 0x017e
0000016a: JUMPI
0000016b: PUSH2 0x0100
0000016e: DUP1
0000016f: DUP4
00000170: SLOAD
00000171: DIV
00000172: MUL
00000173: DUP4
00000174: MSTORE
00000175: SWAP2
00000176: PUSH1 0x20
00000178: ADD
00000179: SWAP2
0000017a: PUSH2 0x01a9
0000017d: JUMP
0000017e: JUMPDEST
0000017f: DUP3
00000180: ADD
00000181: SWAP2
00000182: SWAP1
00000183: PUSH1 0x00
00000185: MSTORE
00000186: PUSH1 0x20
00000188: PUSH1 0x00
0000018a: KECCAK256
0000018b: SWAP1
0000018c: JUMPDEST
0000018d: DUP2
0000018e: SLOAD
0000018f: DUP2
00000190: MSTORE
00000191: SWAP1
00000192: PUSH1 0x01
00000194: ADD
00000195: SWAP1
00000196: PUSH1 0x20
00000198: ADD
00000199: DUP1
0000019a: DUP4
0000019b: GT
0000019c: PUSH2 0x018c
0000019f: JUMPI
000001a0: DUP3
000001a1: SWAP1
000001a2: SUB
000001a3: PUSH1 0x1f
000001a5: AND
000001a6: DUP3
000001a7: ADD
000001a8: SWAP2
000001a9: JUMPDEST
000001aa: POP
000001ab: POP
000001ac: SWAP3
000001ad: POP
000001ae: POP
000001af: POP
000001b0: PUSH1 0x40
000001b2: MLOAD
000001b3: DUP1
000001b4: SWAP2
000001b5: SUB
000001b6: SWAP1
000001b7: REVERT
000001b8: JUMPDEST
000001b9: POP
000001ba: POP
000001bb: STOP
000001bc: JUMPDEST
000001bd: PUSH1 0x00
000001bf: DUP1
000001c0: REVERT
000001c1: JUMPDEST
000001c2: CALLVALUE
000001c3: DUP1
000001c4: ISZERO
000001c5: PUSH2 0x01cd
000001c8: JUMPI
000001c9: PUSH1 0x00
000001cb: DUP1
000001cc: REVERT
000001cd: JUMPDEST
000001ce: POP
000001cf: PUSH2 0x01eb
000001d2: PUSH1 0x04
000001d4: DUP1
000001d5: CALLDATASIZE
000001d6: SUB
000001d7: PUSH1 0x20
000001d9: DUP2
000001da: LT
000001db: ISZERO
000001dc: PUSH2 0x01e4
000001df: JUMPI
000001e0: PUSH1 0x00
000001e2: DUP1
000001e3: REVERT
000001e4: JUMPDEST
000001e5: POP
000001e6: CALLDATALOAD
000001e7: PUSH2 0x0554
000001ea: JUMP
000001eb: JUMPDEST
000001ec: PUSH1 0x40
000001ee: DUP1
000001ef: MLOAD
000001f0: SWAP2
000001f1: DUP3
000001f2: MSTORE
000001f3: MLOAD
000001f4: SWAP1
000001f5: DUP2
000001f6: SWAP1
000001f7: SUB
000001f8: PUSH1 0x20
000001fa: ADD
000001fb: SWAP1
000001fc: RETURN
000001fd: JUMPDEST
000001fe: CALLVALUE
000001ff: DUP1
00000200: ISZERO
00000201: PUSH2 0x0209
00000204: JUMPI
00000205: PUSH1 0x00
00000207: DUP1
00000208: REVERT
00000209: JUMPDEST
0000020a: POP
0000020b: PUSH2 0x0236
0000020e: PUSH1 0x04
00000210: DUP1
00000211: CALLDATASIZE
00000212: SUB
00000213: PUSH1 0x40
00000215: DUP2
00000216: LT
00000217: ISZERO
00000218: PUSH2 0x0220
0000021b: JUMPI
0000021c: PUSH1 0x00
0000021e: DUP1
0000021f: REVERT
00000220: JUMPDEST
00000221: POP
00000222: DUP1
00000223: CALLDATALOAD
00000224: SWAP1
00000225: PUSH1 0x20
00000227: ADD
00000228: CALLDATALOAD
00000229: PUSH1 0x01
0000022b: PUSH1 0x01
0000022d: PUSH1 0xa0
0000022f: SHL
00000230: SUB
00000231: AND
00000232: PUSH2 0x056c
00000235: JUMP
00000236: JUMPDEST
00000237: STOP
00000238: JUMPDEST
00000239: CALLVALUE
0000023a: DUP1
0000023b: ISZERO
0000023c: PUSH2 0x0244
0000023f: JUMPI
00000240: PUSH1 0x00
00000242: DUP1
00000243: REVERT
00000244: JUMPDEST
00000245: POP
00000246: PUSH2 0x0236
00000249: PUSH1 0x04
0000024b: DUP1
0000024c: CALLDATASIZE
0000024d: SUB
0000024e: PUSH1 0x40
00000250: DUP2
00000251: LT
00000252: ISZERO
00000253: PUSH2 0x025b
00000256: JUMPI
00000257: PUSH1 0x00
00000259: DUP1
0000025a: REVERT
0000025b: JUMPDEST
0000025c: POP
0000025d: DUP1
0000025e: CALLDATALOAD
0000025f: SWAP1
00000260: PUSH1 0x20
00000262: ADD
00000263: CALLDATALOAD
00000264: PUSH1 0x01
00000266: PUSH1 0x01
00000268: PUSH1 0xa0
0000026a: SHL
0000026b: SUB
0000026c: AND
0000026d: PUSH2 0x05d3
00000270: JUMP
00000271: JUMPDEST
00000272: CALLVALUE
00000273: DUP1
00000274: ISZERO
00000275: PUSH2 0x027d
00000278: JUMPI
00000279: PUSH1 0x00
0000027b: DUP1
0000027c: REVERT
0000027d: JUMPDEST
0000027e: POP
0000027f: PUSH2 0x01eb
00000282: PUSH2 0x0634
00000285: JUMP
00000286: JUMPDEST
00000287: CALLVALUE
00000288: DUP1
00000289: ISZERO
0000028a: PUSH2 0x0292
0000028d: JUMPI
0000028e: PUSH1 0x00
00000290: DUP1
00000291: REVERT
00000292: JUMPDEST
00000293: POP
00000294: PUSH2 0x0236
00000297: PUSH1 0x04
00000299: DUP1
0000029a: CALLDATASIZE
0000029b: SUB
0000029c: PUSH1 0x60
0000029e: DUP2
0000029f: LT
000002a0: ISZERO
000002a1: PUSH2 0x02a9
000002a4: JUMPI
000002a5: PUSH1 0x00
000002a7: DUP1
000002a8: REVERT
000002a9: JUMPDEST
000002aa: PUSH1 0x01
000002ac: PUSH1 0x01
000002ae: PUSH1 0xa0
000002b0: SHL
000002b1: SUB
000002b2: DUP3
000002b3: CALLDATALOAD
000002b4: DUP2
000002b5: AND
000002b6: SWAP3
000002b7: PUSH1 0x20
000002b9: DUP2
000002ba: ADD
000002bb: CALLDATALOAD
000002bc: SWAP1
000002bd: SWAP2
000002be: AND
000002bf: SWAP2
000002c0: DUP2
000002c1: ADD
000002c2: SWAP1
000002c3: PUSH1 0x60
000002c5: DUP2
000002c6: ADD
000002c7: PUSH1 0x40
000002c9: DUP3
000002ca: ADD
000002cb: CALLDATALOAD
000002cc: PUSH5 0x0100000000
000002d2: DUP2
000002d3: GT
000002d4: ISZERO
000002d5: PUSH2 0x02dd
000002d8: JUMPI
000002d9: PUSH1 0x00
000002db: DUP1
000002dc: REVERT
000002dd: JUMPDEST
000002de: DUP3
000002df: ADD
000002e0: DUP4
000002e1: PUSH1 0x20
000002e3: DUP3
000002e4: ADD
000002e5: GT
000002e6: ISZERO
000002e7: PUSH2 0x02ef
000002ea: JUMPI
000002eb: PUSH1 0x00
000002ed: DUP1
000002ee: REVERT
000002ef: JUMPDEST
000002f0: DUP1
000002f1: CALLDATALOAD
000002f2: SWAP1
000002f3: PUSH1 0x20
000002f5: ADD
000002f6: SWAP2
000002f7: DUP5
000002f8: PUSH1 0x01
000002fa: DUP4
000002fb: MUL
000002fc: DUP5
000002fd: ADD
000002fe: GT
000002ff: PUSH5 0x0100000000
00000305: DUP4
00000306: GT
00000307: OR
00000308: ISZERO
00000309: PUSH2 0x0311
0000030c: JUMPI
0000030d: PUSH1 0x00
0000030f: DUP1
00000310: REVERT
00000311: JUMPDEST
00000312: POP
00000313: SWAP1
00000314: SWAP3
00000315: POP
00000316: SWAP1
00000317: POP
00000318: PUSH2 0x0651
0000031b: JUMP
0000031c: JUMPDEST
0000031d: CALLVALUE
0000031e: DUP1
0000031f: ISZERO
00000320: PUSH2 0x0328
00000323: JUMPI
00000324: PUSH1 0x00
00000326: DUP1
00000327: REVERT
00000328: JUMPDEST
00000329: POP
0000032a: PUSH2 0x034c
0000032d: PUSH1 0x04
0000032f: DUP1
00000330: CALLDATASIZE
00000331: SUB
00000332: PUSH1 0x40
00000334: DUP2
00000335: LT
00000336: ISZERO
00000337: PUSH2 0x033f
0000033a: JUMPI
0000033b: PUSH1 0x00
0000033d: DUP1
0000033e: REVERT
0000033f: JUMPDEST
00000340: POP
00000341: DUP1
00000342: CALLDATALOAD
00000343: SWAP1
00000344: PUSH1 0x20
00000346: ADD
00000347: CALLDATALOAD
00000348: PUSH2 0x094c
0000034b: JUMP
0000034c: JUMPDEST
0000034d: PUSH1 0x40
0000034f: DUP1
00000350: MLOAD
00000351: PUSH1 0x01
00000353: PUSH1 0x01
00000355: PUSH1 0xa0
00000357: SHL
00000358: SUB
00000359: SWAP1
0000035a: SWAP3
0000035b: AND
0000035c: DUP3
0000035d: MSTORE
0000035e: MLOAD
0000035f: SWAP1
00000360: DUP2
00000361: SWAP1
00000362: SUB
00000363: PUSH1 0x20
00000365: ADD
00000366: SWAP1
00000367: RETURN
00000368: JUMPDEST
00000369: CALLVALUE
0000036a: DUP1
0000036b: ISZERO
0000036c: PUSH2 0x0374
0000036f: JUMPI
00000370: PUSH1 0x00
00000372: DUP1
00000373: REVERT
00000374: JUMPDEST
00000375: POP
00000376: PUSH2 0x03a1
00000379: PUSH1 0x04
0000037b: DUP1
0000037c: CALLDATASIZE
0000037d: SUB
0000037e: PUSH1 0x40
00000380: DUP2
00000381: LT
00000382: ISZERO
00000383: PUSH2 0x038b
00000386: JUMPI
00000387: PUSH1 0x00
00000389: DUP1
0000038a: REVERT
0000038b: JUMPDEST
0000038c: POP
0000038d: DUP1
0000038e: CALLDATALOAD
0000038f: SWAP1
00000390: PUSH1 0x20
00000392: ADD
00000393: CALLDATALOAD
00000394: PUSH1 0x01
00000396: PUSH1 0x01
00000398: PUSH1 0xa0
0000039a: SHL
0000039b: SUB
0000039c: AND
0000039d: PUSH2 0x052d
000003a0: JUMP
000003a1: JUMPDEST
000003a2: PUSH1 0x40
000003a4: DUP1
000003a5: MLOAD
000003a6: SWAP2
000003a7: ISZERO
000003a8: ISZERO
000003a9: DUP3
000003aa: MSTORE
000003ab: MLOAD
000003ac: SWAP1
000003ad: DUP2
000003ae: SWAP1
000003af: SUB
000003b0: PUSH1 0x20
000003b2: ADD
000003b3: SWAP1
000003b4: RETURN
000003b5: JUMPDEST
000003b6: CALLVALUE
000003b7: DUP1
000003b8: ISZERO
000003b9: PUSH2 0x03c1
000003bc: JUMPI
000003bd: PUSH1 0x00
000003bf: DUP1
000003c0: REVERT
000003c1: JUMPDEST
000003c2: POP
000003c3: PUSH2 0x01eb
000003c6: PUSH2 0x096a
000003c9: JUMP
000003ca: JUMPDEST
000003cb: CALLVALUE
000003cc: DUP1
000003cd: ISZERO
000003ce: PUSH2 0x03d6
000003d1: JUMPI
000003d2: PUSH1 0x00
000003d4: DUP1
000003d5: REVERT
000003d6: JUMPDEST
000003d7: POP
000003d8: PUSH2 0x01eb
000003db: PUSH2 0x096f
000003de: JUMP
000003df: JUMPDEST
000003e0: CALLVALUE
000003e1: DUP1
000003e2: ISZERO
000003e3: PUSH2 0x03eb
000003e6: JUMPI
000003e7: PUSH1 0x00
000003e9: DUP1
000003ea: REVERT
000003eb: JUMPDEST
000003ec: POP
000003ed: PUSH2 0x0236
000003f0: PUSH1 0x04
000003f2: DUP1
000003f3: CALLDATASIZE
000003f4: SUB
000003f5: PUSH1 0x20
000003f7: DUP2
000003f8: LT
000003f9: ISZERO
000003fa: PUSH2 0x0402
000003fd: JUMPI
000003fe: PUSH1 0x00
00000400: DUP1
00000401: REVERT
00000402: JUMPDEST
00000403: POP
00000404: CALLDATALOAD
00000405: PUSH1 0x01
00000407: PUSH1 0x01
00000409: PUSH1 0xa0
0000040b: SHL
0000040c: SUB
0000040d: AND
0000040e: PUSH2 0x0993
00000411: JUMP
00000412: JUMPDEST
00000413: CALLVALUE
00000414: DUP1
00000415: ISZERO
00000416: PUSH2 0x041e
00000419: JUMPI
0000041a: PUSH1 0x00
0000041c: DUP1
0000041d: REVERT
0000041e: JUMPDEST
0000041f: POP
00000420: PUSH2 0x01eb
00000423: PUSH1 0x04
00000425: DUP1
00000426: CALLDATASIZE
00000427: SUB
00000428: PUSH1 0x20
0000042a: DUP2
0000042b: LT
0000042c: ISZERO
0000042d: PUSH2 0x0435
00000430: JUMPI
00000431: PUSH1 0x00
00000433: DUP1
00000434: REVERT
00000435: JUMPDEST
00000436: POP
00000437: CALLDATALOAD
00000438: PUSH2 0x0a51
0000043b: JUMP
0000043c: JUMPDEST
0000043d: CALLVALUE
0000043e: DUP1
0000043f: ISZERO
00000440: PUSH2 0x0448
00000443: JUMPI
00000444: PUSH1 0x00
00000446: DUP1
00000447: REVERT
00000448: JUMPDEST
00000449: POP
0000044a: PUSH2 0x0236
0000044d: PUSH1 0x04
0000044f: DUP1
00000450: CALLDATASIZE
00000451: SUB
00000452: PUSH1 0x40
00000454: DUP2
00000455: LT
00000456: ISZERO
00000457: PUSH2 0x045f
0000045a: JUMPI
0000045b: PUSH1 0x00
0000045d: DUP1
0000045e: REVERT
0000045f: JUMPDEST
00000460: POP
00000461: DUP1
00000462: CALLDATALOAD
00000463: SWAP1
00000464: PUSH1 0x20
00000466: ADD
00000467: CALLDATALOAD
00000468: PUSH1 0x01
0000046a: PUSH1 0x01
0000046c: PUSH1 0xa0
0000046e: SHL
0000046f: SUB
00000470: AND
00000471: PUSH2 0x0a68
00000474: JUMP
00000475: JUMPDEST
00000476: CALLVALUE
00000477: DUP1
00000478: ISZERO
00000479: PUSH2 0x0481
0000047c: JUMPI
0000047d: PUSH1 0x00
0000047f: DUP1
00000480: REVERT
00000481: JUMPDEST
00000482: POP
00000483: PUSH2 0x0236
00000486: PUSH1 0x04
00000488: DUP1
00000489: CALLDATASIZE
0000048a: SUB
0000048b: PUSH1 0x80
0000048d: DUP2
0000048e: LT
0000048f: ISZERO
00000490: PUSH2 0x0498
00000493: JUMPI
00000494: PUSH1 0x00
00000496: DUP1
00000497: REVERT
00000498: JUMPDEST
00000499: PUSH1 0x01
0000049b: PUSH1 0x01
0000049d: PUSH1 0xa0
0000049f: SHL
000004a0: SUB
000004a1: DUP3
000004a2: CALLDATALOAD
000004a3: DUP2
000004a4: AND
000004a5: SWAP3
000004a6: PUSH1 0x20
000004a8: DUP2
000004a9: ADD
000004aa: CALLDATALOAD
000004ab: DUP3
000004ac: AND
000004ad: SWAP3
000004ae: PUSH1 0x40
000004b0: DUP3
000004b1: ADD
000004b2: CALLDATALOAD
000004b3: SWAP1
000004b4: SWAP3
000004b5: AND
000004b6: SWAP2
000004b7: DUP2
000004b8: ADD
000004b9: SWAP1
000004ba: PUSH1 0x80
000004bc: DUP2
000004bd: ADD
000004be: PUSH1 0x60
000004c0: DUP3
000004c1: ADD
000004c2: CALLDATALOAD
000004c3: PUSH5 0x0100000000
000004c9: DUP2
000004ca: GT
000004cb: ISZERO
000004cc: PUSH2 0x04d4
000004cf: JUMPI
000004d0: PUSH1 0x00
000004d2: DUP1
000004d3: REVERT
000004d4: JUMPDEST
000004d5: DUP3
000004d6: ADD
000004d7: DUP4
000004d8: PUSH1 0x20
000004da: DUP3
000004db: ADD
000004dc: GT
000004dd: ISZERO
000004de: PUSH2 0x04e6
000004e1: JUMPI
000004e2: PUSH1 0x00
000004e4: DUP1
000004e5: REVERT
000004e6: JUMPDEST
000004e7: DUP1
000004e8: CALLDATALOAD
000004e9: SWAP1
000004ea: PUSH1 0x20
000004ec: ADD
000004ed: SWAP2
000004ee: DUP5
000004ef: PUSH1 0x01
000004f1: DUP4
000004f2: MUL
000004f3: DUP5
000004f4: ADD
000004f5: GT
000004f6: PUSH5 0x0100000000
000004fc: DUP4
000004fd: GT
000004fe: OR
000004ff: ISZERO
00000500: PUSH2 0x0508
00000503: JUMPI
00000504: PUSH1 0x00
00000506: DUP1
00000507: REVERT
00000508: JUMPDEST
00000509: POP
0000050a: SWAP1
0000050b: SWAP3
0000050c: POP
0000050d: SWAP1
0000050e: POP
0000050f: PUSH2 0x0ac1
00000512: JUMP
00000513: JUMPDEST
00000514: CALLVALUE
00000515: DUP1
00000516: ISZERO
00000517: PUSH2 0x051f
0000051a: JUMPI
0000051b: PUSH1 0x00
0000051d: DUP1
0000051e: REVERT
0000051f: JUMPDEST
00000520: POP
00000521: PUSH2 0x01eb
00000524: PUSH2 0x0bb9
00000527: JUMP
00000528: JUMPDEST
00000529: CALLER
0000052a: JUMPDEST
0000052b: SWAP1
0000052c: JUMP
0000052d: JUMPDEST
0000052e: PUSH1 0x00
00000530: DUP3
00000531: DUP2
00000532: MSTORE
00000533: PUSH1 0x20
00000535: DUP2
00000536: SWAP1
00000537: MSTORE
00000538: PUSH1 0x40
0000053a: DUP2
0000053b: KECCAK256
0000053c: PUSH2 0x054b
0000053f: SWAP1
00000540: DUP4
00000541: PUSH4 0xffffffff
00000546: PUSH2 0x0bdd
00000549: AND
0000054a: JUMP
0000054b: JUMPDEST
0000054c: SWAP1
0000054d: POP
0000054e: JUMPDEST
0000054f: SWAP3
00000550: SWAP2
00000551: POP
00000552: POP
00000553: JUMP
00000554: JUMPDEST
00000555: PUSH1 0x00
00000557: DUP2
00000558: DUP2
00000559: MSTORE
0000055a: PUSH1 0x20
0000055c: DUP2
0000055d: SWAP1
0000055e: MSTORE
0000055f: PUSH1 0x40
00000561: SWAP1
00000562: KECCAK256
00000563: PUSH1 0x02
00000565: ADD
00000566: SLOAD
00000567: JUMPDEST
00000568: SWAP2
00000569: SWAP1
0000056a: POP
0000056b: JUMP
0000056c: JUMPDEST
0000056d: PUSH1 0x00
0000056f: DUP3
00000570: DUP2
00000571: MSTORE
00000572: PUSH1 0x20
00000574: DUP2
00000575: SWAP1
00000576: MSTORE
00000577: PUSH1 0x40
00000579: SWAP1
0000057a: KECCAK256
0000057b: PUSH1 0x02
0000057d: ADD
0000057e: SLOAD
0000057f: PUSH2 0x058a
00000582: SWAP1
00000583: PUSH2 0x0113
00000586: PUSH2 0x0528
00000589: JUMP
0000058a: JUMPDEST
0000058b: PUSH2 0x05c5
0000058e: JUMPI
0000058f: PUSH1 0x40
00000591: MLOAD
00000592: PUSH3 0x461bcd
00000596: PUSH1 0xe5
00000598: SHL
00000599: DUP2
0000059a: MSTORE
0000059b: PUSH1 0x04
0000059d: ADD
0000059e: DUP1
0000059f: DUP1
000005a0: PUSH1 0x20
000005a2: ADD
000005a3: DUP3
000005a4: DUP2
000005a5: SUB
000005a6: DUP3
000005a7: MSTORE
000005a8: PUSH1 0x2f
000005aa: DUP2
000005ab: MSTORE
000005ac: PUSH1 0x20
000005ae: ADD
000005af: DUP1
000005b0: PUSH2 0x1378
000005b3: PUSH1 0x2f
000005b5: SWAP2
000005b6: CODECOPY
000005b7: PUSH1 0x40
000005b9: ADD
000005ba: SWAP2
000005bb: POP
000005bc: POP
000005bd: PUSH1 0x40
000005bf: MLOAD
000005c0: DUP1
000005c1: SWAP2
000005c2: SUB
000005c3: SWAP1
000005c4: REVERT
000005c5: JUMPDEST
000005c6: PUSH2 0x05cf
000005c9: DUP3
000005ca: DUP3
000005cb: PUSH2 0x0bf2
000005ce: JUMP
000005cf: JUMPDEST
000005d0: POP
000005d1: POP
000005d2: JUMP
000005d3: JUMPDEST
000005d4: PUSH2 0x05db
000005d7: PUSH2 0x0528
000005da: JUMP
000005db: JUMPDEST
000005dc: PUSH1 0x01
000005de: PUSH1 0x01
000005e0: PUSH1 0xa0
000005e2: SHL
000005e3: SUB
000005e4: AND
000005e5: DUP2
000005e6: PUSH1 0x01
000005e8: PUSH1 0x01
000005ea: PUSH1 0xa0
000005ec: SHL
000005ed: SUB
000005ee: AND
000005ef: EQ
000005f0: PUSH2 0x062a
000005f3: JUMPI
000005f4: PUSH1 0x40
000005f6: MLOAD
000005f7: PUSH3 0x461bcd
000005fb: PUSH1 0xe5
000005fd: SHL
000005fe: DUP2
000005ff: MSTORE
00000600: PUSH1 0x04
00000602: ADD
00000603: DUP1
00000604: DUP1
00000605: PUSH1 0x20
00000607: ADD
00000608: DUP3
00000609: DUP2
0000060a: SUB
0000060b: DUP3
0000060c: MSTORE
0000060d: PUSH1 0x2f
0000060f: DUP2
00000610: MSTORE
00000611: PUSH1 0x20
00000613: ADD
00000614: DUP1
00000615: PUSH2 0x141d
00000618: PUSH1 0x2f
0000061a: SWAP2
0000061b: CODECOPY
0000061c: PUSH1 0x40
0000061e: ADD
0000061f: SWAP2
00000620: POP
00000621: POP
00000622: PUSH1 0x40
00000624: MLOAD
00000625: DUP1
00000626: SWAP2
00000627: SUB
00000628: SWAP1
00000629: REVERT
0000062a: JUMPDEST
0000062b: PUSH2 0x05cf
0000062e: DUP3
0000062f: DUP3
00000630: PUSH2 0x0c61
00000633: JUMP
00000634: JUMPDEST
00000635: PUSH1 0x40
00000637: DUP1
00000638: MLOAD
00000639: PUSH5 0x22ba3432b9
0000063f: PUSH1 0xd9
00000641: SHL
00000642: DUP2
00000643: MSTORE
00000644: SWAP1
00000645: MLOAD
00000646: SWAP1
00000647: DUP2
00000648: SWAP1
00000649: SUB
0000064a: PUSH1 0x05
0000064c: ADD
0000064d: SWAP1
0000064e: KECCAK256
0000064f: DUP2
00000650: JUMP
00000651: JUMPDEST
00000652: PUSH1 0x40
00000654: DUP1
00000655: MLOAD
00000656: PUSH12 0x4d414e414745525f524f4c45
00000663: PUSH1 0xa0
00000665: SHL
00000666: DUP2
00000667: MSTORE
00000668: SWAP1
00000669: MLOAD
0000066a: SWAP1
0000066b: DUP2
0000066c: SWAP1
0000066d: SUB
0000066e: PUSH1 0x0c
00000670: ADD
00000671: SWAP1
00000672: KECCAK256
00000673: PUSH2 0x067e
00000676: DUP2
00000677: PUSH2 0x0113
0000067a: PUSH2 0x0528
0000067d: JUMP
0000067e: JUMPDEST
0000067f: PUSH1 0x01
00000681: SWAP1
00000682: PUSH2 0x06e4
00000685: JUMPI
00000686: PUSH1 0x40
00000688: MLOAD
00000689: PUSH3 0x461bcd
0000068d: PUSH1 0xe5
0000068f: SHL
00000690: DUP2
00000691: MSTORE
00000692: PUSH1 0x20
00000694: PUSH1 0x04
00000696: DUP3
00000697: ADD
00000698: SWAP1
00000699: DUP2
0000069a: MSTORE
0000069b: DUP3
0000069c: SLOAD
0000069d: PUSH1 0x02
0000069f: PUSH1 0x00
000006a1: NOT
000006a2: PUSH2 0x0100
000006a5: PUSH1 0x01
000006a7: DUP5
000006a8: AND
000006a9: ISZERO
000006aa: MUL
000006ab: ADD
000006ac: SWAP1
000006ad: SWAP2
000006ae: AND
000006af: DIV
000006b0: PUSH1 0x24
000006b2: DUP4
000006b3: ADD
000006b4: DUP2
000006b5: SWAP1
000006b6: MSTORE
000006b7: SWAP1
000006b8: SWAP2
000006b9: DUP3
000006ba: SWAP2
000006bb: PUSH1 0x44
000006bd: SWAP1
000006be: SWAP2
000006bf: ADD
000006c0: SWAP1
000006c1: DUP5
000006c2: SWAP1
000006c3: DUP1
000006c4: ISZERO
000006c5: PUSH2 0x01a9
000006c8: JUMPI
000006c9: DUP1
000006ca: PUSH1 0x1f
000006cc: LT
000006cd: PUSH2 0x017e
000006d0: JUMPI
000006d1: PUSH2 0x0100
000006d4: DUP1
000006d5: DUP4
000006d6: SLOAD
000006d7: DIV
000006d8: MUL
000006d9: DUP4
000006da: MSTORE
000006db: SWAP2
000006dc: PUSH1 0x20
000006de: ADD
000006df: SWAP2
000006e0: PUSH2 0x01a9
000006e3: JUMP
000006e4: JUMPDEST
000006e5: POP
000006e6: PUSH1 0x60
000006e8: PUSH2 0x072e
000006eb: PUSH2 0x0729
000006ee: DUP6
000006ef: DUP6
000006f0: DUP1
000006f1: DUP1
000006f2: PUSH1 0x1f
000006f4: ADD
000006f5: PUSH1 0x20
000006f7: DUP1
000006f8: SWAP2
000006f9: DIV
000006fa: MUL
000006fb: PUSH1 0x20
000006fd: ADD
000006fe: PUSH1 0x40
00000700: MLOAD
00000701: SWAP1
00000702: DUP2
00000703: ADD
00000704: PUSH1 0x40
00000706: MSTORE
00000707: DUP1
00000708: SWAP4
00000709: SWAP3
0000070a: SWAP2
0000070b: SWAP1
0000070c: DUP2
0000070d: DUP2
0000070e: MSTORE
0000070f: PUSH1 0x20
00000711: ADD
00000712: DUP4
00000713: DUP4
00000714: DUP1
00000715: DUP3
00000716: DUP5
00000717: CALLDATACOPY
00000718: PUSH1 0x00
0000071a: SWAP3
0000071b: ADD
0000071c: SWAP2
0000071d: SWAP1
0000071e: SWAP2
0000071f: MSTORE
00000720: POP
00000721: PUSH2 0x0cd0
00000724: SWAP3
00000725: POP
00000726: POP
00000727: POP
00000728: JUMP
00000729: JUMPDEST
0000072a: PUSH2 0x0cf5
0000072d: JUMP
0000072e: JUMPDEST
0000072f: SWAP1
00000730: POP
00000731: PUSH1 0x60
00000733: PUSH2 0x074f
00000736: DUP3
00000737: PUSH1 0x01
00000739: DUP2
0000073a: MLOAD
0000073b: DUP2
0000073c: LT
0000073d: PUSH2 0x0742
00000740: JUMPI
00000741: INVALID
00000742: JUMPDEST
00000743: PUSH1 0x20
00000745: MUL
00000746: PUSH1 0x20
00000748: ADD
00000749: ADD
0000074a: MLOAD
0000074b: PUSH2 0x0cf5
0000074e: JUMP
0000074f: JUMPDEST
00000750: SWAP1
00000751: POP
00000752: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000773: PUSH1 0x00
00000775: SHL
00000776: PUSH2 0x0792
00000779: DUP3
0000077a: PUSH1 0x00
0000077c: DUP2
0000077d: MLOAD
0000077e: DUP2
0000077f: LT
00000780: PUSH2 0x0785
00000783: JUMPI
00000784: INVALID
00000785: JUMPDEST
00000786: PUSH1 0x20
00000788: MUL
00000789: PUSH1 0x20
0000078b: ADD
0000078c: ADD
0000078d: MLOAD
0000078e: PUSH2 0x0e2e
00000791: JUMP
00000792: JUMPDEST
00000793: EQ
00000794: PUSH2 0x07ce
00000797: JUMPI
00000798: PUSH1 0x40
0000079a: MLOAD
0000079b: PUSH3 0x461bcd
0000079f: PUSH1 0xe5
000007a1: SHL
000007a2: DUP2
000007a3: MSTORE
000007a4: PUSH1 0x04
000007a6: ADD
000007a7: DUP1
000007a8: DUP1
000007a9: PUSH1 0x20
000007ab: ADD
000007ac: DUP3
000007ad: DUP2
000007ae: SUB
000007af: DUP3
000007b0: MSTORE
000007b1: PUSH1 0x21
000007b3: DUP2
000007b4: MSTORE
000007b5: PUSH1 0x20
000007b7: ADD
000007b8: DUP1
000007b9: PUSH2 0x13fc
000007bc: PUSH1 0x21
000007be: SWAP2
000007bf: CODECOPY
000007c0: PUSH1 0x40
000007c2: ADD
000007c3: SWAP2
000007c4: POP
000007c5: POP
000007c6: PUSH1 0x40
000007c8: MLOAD
000007c9: DUP1
000007ca: SWAP2
000007cb: SUB
000007cc: SWAP1
000007cd: REVERT
000007ce: JUMPDEST
000007cf: PUSH1 0x00
000007d1: PUSH2 0x07e0
000007d4: DUP3
000007d5: PUSH1 0x01
000007d7: DUP2
000007d8: MLOAD
000007d9: DUP2
000007da: LT
000007db: PUSH2 0x0785
000007de: JUMPI
000007df: INVALID
000007e0: JUMPDEST
000007e1: SWAP1
000007e2: POP
000007e3: PUSH1 0x00
000007e5: PUSH1 0x01
000007e7: PUSH1 0x01
000007e9: PUSH1 0xa0
000007eb: SHL
000007ec: SUB
000007ed: AND
000007ee: PUSH2 0x07fd
000007f1: DUP4
000007f2: PUSH1 0x02
000007f4: DUP2
000007f5: MLOAD
000007f6: DUP2
000007f7: LT
000007f8: PUSH2 0x0785
000007fb: JUMPI
000007fc: INVALID
000007fd: JUMPDEST
000007fe: PUSH1 0x01
00000800: PUSH1 0x01
00000802: PUSH1 0xa0
00000804: SHL
00000805: SUB
00000806: AND
00000807: EQ
00000808: PUSH2 0x0858
0000080b: JUMPI
0000080c: PUSH1 0x40
0000080e: DUP1
0000080f: MLOAD
00000810: PUSH3 0x461bcd
00000814: PUSH1 0xe5
00000816: SHL
00000817: DUP2
00000818: MSTORE
00000819: PUSH1 0x20
0000081b: PUSH1 0x04
0000081d: DUP3
0000081e: ADD
0000081f: DUP2
00000820: SWAP1
00000821: MSTORE
00000822: PUSH1 0x24
00000824: DUP3
00000825: ADD
00000826: MSTORE
00000827: PUSH32 0x45746865725072656469636174653a20494e56414c49445f5245434549564552
00000848: PUSH1 0x44
0000084a: DUP3
0000084b: ADD
0000084c: MSTORE
0000084d: SWAP1
0000084e: MLOAD
0000084f: SWAP1
00000850: DUP2
00000851: SWAP1
00000852: SUB
00000853: PUSH1 0x64
00000855: ADD
00000856: SWAP1
00000857: REVERT
00000858: JUMPDEST
00000859: DUP1
0000085a: PUSH1 0x01
0000085c: PUSH1 0x01
0000085e: PUSH1 0xa0
00000860: SHL
00000861: SUB
00000862: AND
00000863: PUSH32 0x0fc0eed41f72d3da77d0f53b9594fc7073acd15ee9d7c536819a70a67c57ef3c
00000884: PUSH2 0x0893
00000887: DUP6
00000888: PUSH1 0x02
0000088a: DUP2
0000088b: MLOAD
0000088c: DUP2
0000088d: LT
0000088e: PUSH2 0x0785
00000891: JUMPI
00000892: INVALID
00000893: JUMPDEST
00000894: PUSH1 0x40
00000896: DUP1
00000897: MLOAD
00000898: SWAP2
00000899: DUP3
0000089a: MSTORE
0000089b: MLOAD
0000089c: SWAP1
0000089d: DUP2
0000089e: SWAP1
0000089f: SUB
000008a0: PUSH1 0x20
000008a2: ADD
000008a3: SWAP1
000008a4: LOG2
000008a5: PUSH1 0x00
000008a7: DUP2
000008a8: PUSH1 0x01
000008aa: PUSH1 0x01
000008ac: PUSH1 0xa0
000008ae: SHL
000008af: SUB
000008b0: AND
000008b1: PUSH2 0x08c0
000008b4: DUP6
000008b5: PUSH1 0x02
000008b7: DUP2
000008b8: MLOAD
000008b9: DUP2
000008ba: LT
000008bb: PUSH2 0x0785
000008be: JUMPI
000008bf: INVALID
000008c0: JUMPDEST
000008c1: PUSH1 0x40
000008c3: MLOAD
000008c4: PUSH1 0x00
000008c6: DUP2
000008c7: DUP2
000008c8: DUP2
000008c9: DUP6
000008ca: DUP8
000008cb: GAS
000008cc: CALL
000008cd: SWAP3
000008ce: POP
000008cf: POP
000008d0: POP
000008d1: RETURNDATASIZE
000008d2: DUP1
000008d3: PUSH1 0x00
000008d5: DUP2
000008d6: EQ
000008d7: PUSH2 0x08fc
000008da: JUMPI
000008db: PUSH1 0x40
000008dd: MLOAD
000008de: SWAP2
000008df: POP
000008e0: PUSH1 0x1f
000008e2: NOT
000008e3: PUSH1 0x3f
000008e5: RETURNDATASIZE
000008e6: ADD
000008e7: AND
000008e8: DUP3
000008e9: ADD
000008ea: PUSH1 0x40
000008ec: MSTORE
000008ed: RETURNDATASIZE
000008ee: DUP3
000008ef: MSTORE
000008f0: RETURNDATASIZE
000008f1: PUSH1 0x00
000008f3: PUSH1 0x20
000008f5: DUP5
000008f6: ADD
000008f7: RETURNDATACOPY
000008f8: PUSH2 0x0901
000008fb: JUMP
000008fc: JUMPDEST
000008fd: PUSH1 0x60
000008ff: SWAP2
00000900: POP
00000901: JUMPDEST
00000902: POP
00000903: POP
00000904: SWAP1
00000905: POP
00000906: DUP1
00000907: PUSH2 0x0941
0000090a: JUMPI
0000090b: PUSH1 0x40
0000090d: MLOAD
0000090e: PUSH3 0x461bcd
00000912: PUSH1 0xe5
00000914: SHL
00000915: DUP2
00000916: MSTORE
00000917: PUSH1 0x04
00000919: ADD
0000091a: DUP1
0000091b: DUP1
0000091c: PUSH1 0x20
0000091e: ADD
0000091f: DUP3
00000920: DUP2
00000921: SUB
00000922: DUP3
00000923: MSTORE
00000924: PUSH1 0x25
00000926: DUP2
00000927: MSTORE
00000928: PUSH1 0x20
0000092a: ADD
0000092b: DUP1
0000092c: PUSH2 0x13d7
0000092f: PUSH1 0x25
00000931: SWAP2
00000932: CODECOPY
00000933: PUSH1 0x40
00000935: ADD
00000936: SWAP2
00000937: POP
00000938: POP
00000939: PUSH1 0x40
0000093b: MLOAD
0000093c: DUP1
0000093d: SWAP2
0000093e: SUB
0000093f: SWAP1
00000940: REVERT
00000941: JUMPDEST
00000942: POP
00000943: POP
00000944: POP
00000945: POP
00000946: POP
00000947: POP
00000948: POP
00000949: POP
0000094a: POP
0000094b: JUMP
0000094c: JUMPDEST
0000094d: PUSH1 0x00
0000094f: DUP3
00000950: DUP2
00000951: MSTORE
00000952: PUSH1 0x20
00000954: DUP2
00000955: SWAP1
00000956: MSTORE
00000957: PUSH1 0x40
00000959: DUP2
0000095a: KECCAK256
0000095b: PUSH2 0x054b
0000095e: SWAP1
0000095f: DUP4
00000960: PUSH4 0xffffffff
00000965: PUSH2 0x0e7c
00000968: AND
00000969: JUMP
0000096a: JUMPDEST
0000096b: PUSH1 0x00
0000096d: DUP2
0000096e: JUMP
0000096f: JUMPDEST
00000970: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000991: DUP2
00000992: JUMP
00000993: JUMPDEST
00000994: PUSH1 0x02
00000996: SLOAD
00000997: PUSH1 0xff
00000999: AND
0000099a: ISZERO
0000099b: PUSH2 0x09dc
0000099e: JUMPI
0000099f: PUSH1 0x40
000009a1: DUP1
000009a2: MLOAD
000009a3: PUSH3 0x461bcd
000009a7: PUSH1 0xe5
000009a9: SHL
000009aa: DUP2
000009ab: MSTORE
000009ac: PUSH1 0x20
000009ae: PUSH1 0x04
000009b0: DUP3
000009b1: ADD
000009b2: MSTORE
000009b3: PUSH1 0x0e
000009b5: PUSH1 0x24
000009b7: DUP3
000009b8: ADD
000009b9: MSTORE
000009ba: PUSH14 0x185b1c9958591e481a5b9a5d1959
000009c9: PUSH1 0x92
000009cb: SHL
000009cc: PUSH1 0x44
000009ce: DUP3
000009cf: ADD
000009d0: MSTORE
000009d1: SWAP1
000009d2: MLOAD
000009d3: SWAP1
000009d4: DUP2
000009d5: SWAP1
000009d6: SUB
000009d7: PUSH1 0x64
000009d9: ADD
000009da: SWAP1
000009db: REVERT
000009dc: JUMPDEST
000009dd: PUSH2 0x0a0b
000009e0: PUSH1 0x40
000009e2: MLOAD
000009e3: DUP1
000009e4: PUSH1 0x40
000009e6: ADD
000009e7: PUSH1 0x40
000009e9: MSTORE
000009ea: DUP1
000009eb: PUSH1 0x0e
000009ed: DUP2
000009ee: MSTORE
000009ef: PUSH1 0x20
000009f1: ADD
000009f2: PUSH14 0x4574686572507265646963617465
00000a01: PUSH1 0x90
00000a03: SHL
00000a04: DUP2
00000a05: MSTORE
00000a06: POP
00000a07: PUSH2 0x0e88
00000a0a: JUMP
00000a0b: JUMPDEST
00000a0c: PUSH2 0x0a16
00000a0f: PUSH1 0x00
00000a11: DUP3
00000a12: PUSH2 0x05c5
00000a15: JUMP
00000a16: JUMPDEST
00000a17: PUSH1 0x40
00000a19: DUP1
00000a1a: MLOAD
00000a1b: PUSH12 0x4d414e414745525f524f4c45
00000a28: PUSH1 0xa0
00000a2a: SHL
00000a2b: DUP2
00000a2c: MSTORE
00000a2d: SWAP1
00000a2e: MLOAD
00000a2f: SWAP1
00000a30: DUP2
00000a31: SWAP1
00000a32: SUB
00000a33: PUSH1 0x0c
00000a35: ADD
00000a36: SWAP1
00000a37: KECCAK256
00000a38: PUSH2 0x0a41
00000a3b: SWAP1
00000a3c: DUP3
00000a3d: PUSH2 0x05c5
00000a40: JUMP
00000a41: JUMPDEST
00000a42: POP
00000a43: PUSH1 0x02
00000a45: DUP1
00000a46: SLOAD
00000a47: PUSH1 0xff
00000a49: NOT
00000a4a: AND
00000a4b: PUSH1 0x01
00000a4d: OR
00000a4e: SWAP1
00000a4f: SSTORE
00000a50: JUMP
00000a51: JUMPDEST
00000a52: PUSH1 0x00
00000a54: DUP2
00000a55: DUP2
00000a56: MSTORE
00000a57: PUSH1 0x20
00000a59: DUP2
00000a5a: SWAP1
00000a5b: MSTORE
00000a5c: PUSH1 0x40
00000a5e: DUP2
00000a5f: KECCAK256
00000a60: PUSH2 0x054e
00000a63: SWAP1
00000a64: PUSH2 0x0f26
00000a67: JUMP
00000a68: JUMPDEST
00000a69: PUSH1 0x00
00000a6b: DUP3
00000a6c: DUP2
00000a6d: MSTORE
00000a6e: PUSH1 0x20
00000a70: DUP2
00000a71: SWAP1
00000a72: MSTORE
00000a73: PUSH1 0x40
00000a75: SWAP1
00000a76: KECCAK256
00000a77: PUSH1 0x02
00000a79: ADD
00000a7a: SLOAD
00000a7b: PUSH2 0x0a86
00000a7e: SWAP1
00000a7f: PUSH2 0x0113
00000a82: PUSH2 0x0528
00000a85: JUMP
00000a86: JUMPDEST
00000a87: PUSH2 0x062a
00000a8a: JUMPI
00000a8b: PUSH1 0x40
00000a8d: MLOAD
00000a8e: PUSH3 0x461bcd
00000a92: PUSH1 0xe5
00000a94: SHL
00000a95: DUP2
00000a96: MSTORE
00000a97: PUSH1 0x04
00000a99: ADD
00000a9a: DUP1
00000a9b: DUP1
00000a9c: PUSH1 0x20
00000a9e: ADD
00000a9f: DUP3
00000aa0: DUP2
00000aa1: SUB
00000aa2: DUP3
00000aa3: MSTORE
00000aa4: PUSH1 0x30
00000aa6: DUP2
00000aa7: MSTORE
00000aa8: PUSH1 0x20
00000aaa: ADD
00000aab: DUP1
00000aac: PUSH2 0x13a7
00000aaf: PUSH1 0x30
00000ab1: SWAP2
00000ab2: CODECOPY
00000ab3: PUSH1 0x40
00000ab5: ADD
00000ab6: SWAP2
00000ab7: POP
00000ab8: POP
00000ab9: PUSH1 0x40
00000abb: MLOAD
00000abc: DUP1
00000abd: SWAP2
00000abe: SUB
00000abf: SWAP1
00000ac0: REVERT
00000ac1: JUMPDEST
00000ac2: PUSH1 0x40
00000ac4: DUP1
00000ac5: MLOAD
00000ac6: PUSH12 0x4d414e414745525f524f4c45
00000ad3: PUSH1 0xa0
00000ad5: SHL
00000ad6: DUP2
00000ad7: MSTORE
00000ad8: SWAP1
00000ad9: MLOAD
00000ada: SWAP1
00000adb: DUP2
00000adc: SWAP1
00000add: SUB
00000ade: PUSH1 0x0c
00000ae0: ADD
00000ae1: SWAP1
00000ae2: KECCAK256
00000ae3: PUSH2 0x0aee
00000ae6: DUP2
00000ae7: PUSH2 0x0113
00000aea: PUSH2 0x0528
00000aed: JUMP
00000aee: JUMPDEST
00000aef: PUSH1 0x01
00000af1: SWAP1
00000af2: PUSH2 0x0b54
00000af5: JUMPI
00000af6: PUSH1 0x40
00000af8: MLOAD
00000af9: PUSH3 0x461bcd
00000afd: PUSH1 0xe5
00000aff: SHL
00000b00: DUP2
00000b01: MSTORE
00000b02: PUSH1 0x20
00000b04: PUSH1 0x04
00000b06: DUP3
00000b07: ADD
00000b08: SWAP1
00000b09: DUP2
00000b0a: MSTORE
00000b0b: DUP3
00000b0c: SLOAD
00000b0d: PUSH1 0x02
00000b0f: PUSH1 0x00
00000b11: NOT
00000b12: PUSH2 0x0100
00000b15: PUSH1 0x01
00000b17: DUP5
00000b18: AND
00000b19: ISZERO
00000b1a: MUL
00000b1b: ADD
00000b1c: SWAP1
00000b1d: SWAP2
00000b1e: AND
00000b1f: DIV
00000b20: PUSH1 0x24
00000b22: DUP4
00000b23: ADD
00000b24: DUP2
00000b25: SWAP1
00000b26: MSTORE
00000b27: SWAP1
00000b28: SWAP2
00000b29: DUP3
00000b2a: SWAP2
00000b2b: PUSH1 0x44
00000b2d: SWAP1
00000b2e: SWAP2
00000b2f: ADD
00000b30: SWAP1
00000b31: DUP5
00000b32: SWAP1
00000b33: DUP1
00000b34: ISZERO
00000b35: PUSH2 0x01a9
00000b38: JUMPI
00000b39: DUP1
00000b3a: PUSH1 0x1f
00000b3c: LT
00000b3d: PUSH2 0x017e
00000b40: JUMPI
00000b41: PUSH2 0x0100
00000b44: DUP1
00000b45: DUP4
00000b46: SLOAD
00000b47: DIV
00000b48: MUL
00000b49: DUP4
00000b4a: MSTORE
00000b4b: SWAP2
00000b4c: PUSH1 0x20
00000b4e: ADD
00000b4f: SWAP2
00000b50: PUSH2 0x01a9
00000b53: JUMP
00000b54: JUMPDEST
00000b55: POP
00000b56: PUSH1 0x00
00000b58: DUP4
00000b59: DUP4
00000b5a: PUSH1 0x20
00000b5c: DUP2
00000b5d: LT
00000b5e: ISZERO
00000b5f: PUSH2 0x0b67
00000b62: JUMPI
00000b63: PUSH1 0x00
00000b65: DUP1
00000b66: REVERT
00000b67: JUMPDEST
00000b68: POP
00000b69: PUSH1 0x40
00000b6b: DUP1
00000b6c: MLOAD
00000b6d: SWAP2
00000b6e: CALLDATALOAD
00000b6f: DUP1
00000b70: DUP4
00000b71: MSTORE
00000b72: SWAP1
00000b73: MLOAD
00000b74: SWAP1
00000b75: SWAP3
00000b76: POP
00000b77: PUSH1 0x01
00000b79: PUSH1 0x01
00000b7b: PUSH1 0xa0
00000b7d: SHL
00000b7e: SUB
00000b7f: DUP1
00000b80: DUP10
00000b81: AND
00000b82: SWAP3
00000b83: SWAP1
00000b84: DUP11
00000b85: AND
00000b86: SWAP2
00000b87: PUSH32 0x3e799b2d61372379e767ef8f04d65089179b7a6f63f9be3065806456c7309f1b
00000ba8: SWAP2
00000ba9: DUP2
00000baa: SWAP1
00000bab: SUB
00000bac: PUSH1 0x20
00000bae: ADD
00000baf: SWAP1
00000bb0: LOG3
00000bb1: POP
00000bb2: POP
00000bb3: POP
00000bb4: POP
00000bb5: POP
00000bb6: POP
00000bb7: POP
00000bb8: JUMP
00000bb9: JUMPDEST
00000bba: PUSH1 0x40
00000bbc: DUP1
00000bbd: MLOAD
00000bbe: PUSH12 0x4d414e414745525f524f4c45
00000bcb: PUSH1 0xa0
00000bcd: SHL
00000bce: DUP2
00000bcf: MSTORE
00000bd0: SWAP1
00000bd1: MLOAD
00000bd2: SWAP1
00000bd3: DUP2
00000bd4: SWAP1
00000bd5: SUB
00000bd6: PUSH1 0x0c
00000bd8: ADD
00000bd9: SWAP1
00000bda: KECCAK256
00000bdb: DUP2
00000bdc: JUMP
00000bdd: JUMPDEST
00000bde: PUSH1 0x00
00000be0: PUSH2 0x054b
00000be3: DUP4
00000be4: PUSH1 0x01
00000be6: PUSH1 0x01
00000be8: PUSH1 0xa0
00000bea: SHL
00000beb: SUB
00000bec: DUP5
00000bed: AND
00000bee: PUSH2 0x0f31
00000bf1: JUMP
00000bf2: JUMPDEST
00000bf3: PUSH1 0x00
00000bf5: DUP3
00000bf6: DUP2
00000bf7: MSTORE
00000bf8: PUSH1 0x20
00000bfa: DUP2
00000bfb: SWAP1
00000bfc: MSTORE
00000bfd: PUSH1 0x40
00000bff: SWAP1
00000c00: KECCAK256
00000c01: PUSH2 0x0c10
00000c04: SWAP1
00000c05: DUP3
00000c06: PUSH4 0xffffffff
00000c0b: PUSH2 0x0f49
00000c0e: AND
00000c0f: JUMP
00000c10: JUMPDEST
00000c11: ISZERO
00000c12: PUSH2 0x05cf
00000c15: JUMPI
00000c16: PUSH2 0x0c1d
00000c19: PUSH2 0x0528
00000c1c: JUMP
00000c1d: JUMPDEST
00000c1e: PUSH1 0x01
00000c20: PUSH1 0x01
00000c22: PUSH1 0xa0
00000c24: SHL
00000c25: SUB
00000c26: AND
00000c27: DUP2
00000c28: PUSH1 0x01
00000c2a: PUSH1 0x01
00000c2c: PUSH1 0xa0
00000c2e: SHL
00000c2f: SUB
00000c30: AND
00000c31: DUP4
00000c32: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
00000c53: PUSH1 0x40
00000c55: MLOAD
00000c56: PUSH1 0x40
00000c58: MLOAD
00000c59: DUP1
00000c5a: SWAP2
00000c5b: SUB
00000c5c: SWAP1
00000c5d: LOG4
00000c5e: POP
00000c5f: POP
00000c60: JUMP
00000c61: JUMPDEST
00000c62: PUSH1 0x00
00000c64: DUP3
00000c65: DUP2
00000c66: MSTORE
00000c67: PUSH1 0x20
00000c69: DUP2
00000c6a: SWAP1
00000c6b: MSTORE
00000c6c: PUSH1 0x40
00000c6e: SWAP1
00000c6f: KECCAK256
00000c70: PUSH2 0x0c7f
00000c73: SWAP1
00000c74: DUP3
00000c75: PUSH4 0xffffffff
00000c7a: PUSH2 0x0f5e
00000c7d: AND
00000c7e: JUMP
00000c7f: JUMPDEST
00000c80: ISZERO
00000c81: PUSH2 0x05cf
00000c84: JUMPI
00000c85: PUSH2 0x0c8c
00000c88: PUSH2 0x0528
00000c8b: JUMP
00000c8c: JUMPDEST
00000c8d: PUSH1 0x01
00000c8f: PUSH1 0x01
00000c91: PUSH1 0xa0
00000c93: SHL
00000c94: SUB
00000c95: AND
00000c96: DUP2
00000c97: PUSH1 0x01
00000c99: PUSH1 0x01
00000c9b: PUSH1 0xa0
00000c9d: SHL
00000c9e: SUB
00000c9f: AND
00000ca0: DUP4
00000ca1: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00000cc2: PUSH1 0x40
00000cc4: MLOAD
00000cc5: PUSH1 0x40
00000cc7: MLOAD
00000cc8: DUP1
00000cc9: SWAP2
00000cca: SUB
00000ccb: SWAP1
00000ccc: LOG4
00000ccd: POP
00000cce: POP
00000ccf: JUMP
00000cd0: JUMPDEST
00000cd1: PUSH2 0x0cd8
00000cd4: PUSH2 0x12a3
00000cd7: JUMP
00000cd8: JUMPDEST
00000cd9: POP
00000cda: PUSH1 0x40
00000cdc: DUP1
00000cdd: MLOAD
00000cde: DUP1
00000cdf: DUP3
00000ce0: ADD
00000ce1: SWAP1
00000ce2: SWAP2
00000ce3: MSTORE
00000ce4: DUP2
00000ce5: MLOAD
00000ce6: DUP2
00000ce7: MSTORE
00000ce8: PUSH1 0x20
00000cea: DUP3
00000ceb: DUP2
00000cec: ADD
00000ced: SWAP1
00000cee: DUP3
00000cef: ADD
00000cf0: MSTORE
00000cf1: SWAP2
00000cf2: SWAP1
00000cf3: POP
00000cf4: JUMP
00000cf5: JUMPDEST
00000cf6: PUSH1 0x60
00000cf8: PUSH2 0x0d00
00000cfb: DUP3
00000cfc: PUSH2 0x0f73
00000cff: JUMP
00000d00: JUMPDEST
00000d01: PUSH2 0x0d09
00000d04: JUMPI
00000d05: PUSH1 0x00
00000d07: DUP1
00000d08: REVERT
00000d09: JUMPDEST
00000d0a: PUSH1 0x00
00000d0c: PUSH2 0x0d14
00000d0f: DUP4
00000d10: PUSH2 0x0fad
00000d13: JUMP
00000d14: JUMPDEST
00000d15: SWAP1
00000d16: POP
00000d17: PUSH1 0x60
00000d19: DUP2
00000d1a: PUSH8 0xffffffffffffffff
00000d23: DUP2
00000d24: GT
00000d25: DUP1
00000d26: ISZERO
00000d27: PUSH2 0x0d2f
00000d2a: JUMPI
00000d2b: PUSH1 0x00
00000d2d: DUP1
00000d2e: REVERT
00000d2f: JUMPDEST
00000d30: POP
00000d31: PUSH1 0x40
00000d33: MLOAD
00000d34: SWAP1
00000d35: DUP1
00000d36: DUP3
00000d37: MSTORE
00000d38: DUP1
00000d39: PUSH1 0x20
00000d3b: MUL
00000d3c: PUSH1 0x20
00000d3e: ADD
00000d3f: DUP3
00000d40: ADD
00000d41: PUSH1 0x40
00000d43: MSTORE
00000d44: DUP1
00000d45: ISZERO
00000d46: PUSH2 0x0d69
00000d49: JUMPI
00000d4a: DUP2
00000d4b: PUSH1 0x20
00000d4d: ADD
00000d4e: JUMPDEST
00000d4f: PUSH2 0x0d56
00000d52: PUSH2 0x12a3
00000d55: JUMP
00000d56: JUMPDEST
00000d57: DUP2
00000d58: MSTORE
00000d59: PUSH1 0x20
00000d5b: ADD
00000d5c: SWAP1
00000d5d: PUSH1 0x01
00000d5f: SWAP1
00000d60: SUB
00000d61: SWAP1
00000d62: DUP2
00000d63: PUSH2 0x0d4e
00000d66: JUMPI
00000d67: SWAP1
00000d68: POP
00000d69: JUMPDEST
00000d6a: POP
00000d6b: SWAP1
00000d6c: POP
00000d6d: PUSH1 0x00
00000d6f: PUSH2 0x0d7b
00000d72: DUP6
00000d73: PUSH1 0x20
00000d75: ADD
00000d76: MLOAD
00000d77: PUSH2 0x1009
00000d7a: JUMP
00000d7b: JUMPDEST
00000d7c: PUSH1 0x20
00000d7e: DUP7
00000d7f: ADD
00000d80: MLOAD
00000d81: ADD
00000d82: SWAP1
00000d83: POP
00000d84: PUSH1 0x00
00000d86: DUP1
00000d87: JUMPDEST
00000d88: DUP5
00000d89: DUP2
00000d8a: LT
00000d8b: ISZERO
00000d8c: PUSH2 0x0dd2
00000d8f: JUMPI
00000d90: PUSH2 0x0d98
00000d93: DUP4
00000d94: PUSH2 0x106c
00000d97: JUMP
00000d98: JUMPDEST
00000d99: SWAP2
00000d9a: POP
00000d9b: PUSH1 0x40
00000d9d: MLOAD
00000d9e: DUP1
00000d9f: PUSH1 0x40
00000da1: ADD
00000da2: PUSH1 0x40
00000da4: MSTORE
00000da5: DUP1
00000da6: DUP4
00000da7: DUP2
00000da8: MSTORE
00000da9: PUSH1 0x20
00000dab: ADD
00000dac: DUP5
00000dad: DUP2
00000dae: MSTORE
00000daf: POP
00000db0: DUP5
00000db1: DUP3
00000db2: DUP2
00000db3: MLOAD
00000db4: DUP2
00000db5: LT
00000db6: PUSH2 0x0dbb
00000db9: JUMPI
00000dba: INVALID
00000dbb: JUMPDEST
00000dbc: PUSH1 0x20
00000dbe: SWAP1
00000dbf: DUP2
00000dc0: MUL
00000dc1: SWAP2
00000dc2: SWAP1
00000dc3: SWAP2
00000dc4: ADD
00000dc5: ADD
00000dc6: MSTORE
00000dc7: SWAP2
00000dc8: DUP2
00000dc9: ADD
00000dca: SWAP2
00000dcb: PUSH1 0x01
00000dcd: ADD
00000dce: PUSH2 0x0d87
00000dd1: JUMP
00000dd2: JUMPDEST
00000dd3: POP
00000dd4: DUP6
00000dd5: MLOAD
00000dd6: PUSH1 0x20
00000dd8: DUP8
00000dd9: ADD
00000dda: MLOAD
00000ddb: DUP4
00000ddc: SUB
00000ddd: EQ
00000dde: PUSH2 0x0e24
00000de1: JUMPI
00000de2: PUSH1 0x40
00000de4: DUP1
00000de5: MLOAD
00000de6: PUSH3 0x461bcd
00000dea: PUSH1 0xe5
00000dec: SHL
00000ded: DUP2
00000dee: MSTORE
00000def: PUSH1 0x20
00000df1: PUSH1 0x04
00000df3: DUP3
00000df4: ADD
00000df5: MSTORE
00000df6: PUSH1 0x13
00000df8: PUSH1 0x24
00000dfa: DUP3
00000dfb: ADD
00000dfc: MSTORE
00000dfd: PUSH19 0x2bb937b733903a37ba30b6103632b733ba3417
00000e11: PUSH1 0x69
00000e13: SHL
00000e14: PUSH1 0x44
00000e16: DUP3
00000e17: ADD
00000e18: MSTORE
00000e19: SWAP1
00000e1a: MLOAD
00000e1b: SWAP1
00000e1c: DUP2
00000e1d: SWAP1
00000e1e: SUB
00000e1f: PUSH1 0x64
00000e21: ADD
00000e22: SWAP1
00000e23: REVERT
00000e24: JUMPDEST
00000e25: POP
00000e26: SWAP1
00000e27: SWAP5
00000e28: SWAP4
00000e29: POP
00000e2a: POP
00000e2b: POP
00000e2c: POP
00000e2d: JUMP
00000e2e: JUMPDEST
00000e2f: DUP1
00000e30: MLOAD
00000e31: PUSH1 0x00
00000e33: SWAP1
00000e34: ISZERO
00000e35: DUP1
00000e36: ISZERO
00000e37: SWAP1
00000e38: PUSH2 0x0e43
00000e3b: JUMPI
00000e3c: POP
00000e3d: DUP2
00000e3e: MLOAD
00000e3f: PUSH1 0x21
00000e41: LT
00000e42: ISZERO
00000e43: JUMPDEST
00000e44: PUSH2 0x0e4c
00000e47: JUMPI
00000e48: PUSH1 0x00
00000e4a: DUP1
00000e4b: REVERT
00000e4c: JUMPDEST
00000e4d: PUSH1 0x00
00000e4f: DUP1
00000e50: PUSH2 0x0e58
00000e53: DUP5
00000e54: PUSH2 0x1105
00000e57: JUMP
00000e58: JUMPDEST
00000e59: DUP2
00000e5a: MLOAD
00000e5b: SWAP2
00000e5c: SWAP4
00000e5d: POP
00000e5e: SWAP2
00000e5f: POP
00000e60: PUSH1 0x20
00000e62: DUP3
00000e63: LT
00000e64: ISZERO
00000e65: PUSH2 0x0e74
00000e68: JUMPI
00000e69: PUSH1 0x20
00000e6b: DUP3
00000e6c: SWAP1
00000e6d: SUB
00000e6e: PUSH2 0x0100
00000e71: EXP
00000e72: SWAP1
00000e73: DIV
00000e74: JUMPDEST
00000e75: SWAP5
00000e76: SWAP4
00000e77: POP
00000e78: POP
00000e79: POP
00000e7a: POP
00000e7b: JUMP
00000e7c: JUMPDEST
00000e7d: PUSH1 0x00
00000e7f: PUSH2 0x054b
00000e82: DUP4
00000e83: DUP4
00000e84: PUSH2 0x112b
00000e87: JUMP
00000e88: JUMPDEST
00000e89: DUP1
00000e8a: PUSH1 0x40
00000e8c: MLOAD
00000e8d: PUSH1 0x20
00000e8f: ADD
00000e90: DUP1
00000e91: DUP3
00000e92: DUP1
00000e93: MLOAD
00000e94: SWAP1
00000e95: PUSH1 0x20
00000e97: ADD
00000e98: SWAP1
00000e99: DUP1
00000e9a: DUP4
00000e9b: DUP4
00000e9c: JUMPDEST
00000e9d: PUSH1 0x20
00000e9f: DUP4
00000ea0: LT
00000ea1: PUSH2 0x0ebb
00000ea4: JUMPI
00000ea5: DUP1
00000ea6: MLOAD
00000ea7: DUP3
00000ea8: MSTORE
00000ea9: PUSH1 0x1f
00000eab: NOT
00000eac: SWAP1
00000ead: SWAP3
00000eae: ADD
00000eaf: SWAP2
00000eb0: PUSH1 0x20
00000eb2: SWAP2
00000eb3: DUP3
00000eb4: ADD
00000eb5: SWAP2
00000eb6: ADD
00000eb7: PUSH2 0x0e9c
00000eba: JUMP
00000ebb: JUMPDEST
00000ebc: MLOAD
00000ebd: DUP2
00000ebe: MLOAD
00000ebf: PUSH1 0x20
00000ec1: SWAP4
00000ec2: DUP5
00000ec3: SUB
00000ec4: PUSH2 0x0100
00000ec7: EXP
00000ec8: PUSH1 0x00
00000eca: NOT
00000ecb: ADD
00000ecc: DUP1
00000ecd: NOT
00000ece: SWAP1
00000ecf: SWAP3
00000ed0: AND
00000ed1: SWAP2
00000ed2: AND
00000ed3: OR
00000ed4: SWAP1
00000ed5: MSTORE
00000ed6: PUSH32 0x3a20494e53554646494349454e545f5045524d495353494f4e53000000000000
00000ef7: SWAP2
00000ef8: SWAP1
00000ef9: SWAP4
00000efa: ADD
00000efb: SWAP1
00000efc: DUP2
00000efd: MSTORE
00000efe: PUSH1 0x40
00000f00: DUP1
00000f01: MLOAD
00000f02: DUP1
00000f03: DUP4
00000f04: SUB
00000f05: PUSH1 0x05
00000f07: NOT
00000f08: ADD
00000f09: DUP2
00000f0a: MSTORE
00000f0b: PUSH1 0x1a
00000f0d: SWAP1
00000f0e: SWAP3
00000f0f: ADD
00000f10: SWAP1
00000f11: MSTORE
00000f12: DUP1
00000f13: MLOAD
00000f14: PUSH2 0x05cf
00000f17: SWAP6
00000f18: POP
00000f19: PUSH1 0x01
00000f1b: SWAP5
00000f1c: POP
00000f1d: SWAP3
00000f1e: ADD
00000f1f: SWAP2
00000f20: SWAP1
00000f21: POP
00000f22: PUSH2 0x12bd
00000f25: JUMP
00000f26: JUMPDEST
00000f27: PUSH1 0x00
00000f29: PUSH2 0x054e
00000f2c: DUP3
00000f2d: PUSH2 0x118f
00000f30: JUMP
00000f31: JUMPDEST
00000f32: PUSH1 0x00
00000f34: SWAP1
00000f35: DUP2
00000f36: MSTORE
00000f37: PUSH1 0x01
00000f39: SWAP2
00000f3a: SWAP1
00000f3b: SWAP2
00000f3c: ADD
00000f3d: PUSH1 0x20
00000f3f: MSTORE
00000f40: PUSH1 0x40
00000f42: SWAP1
00000f43: KECCAK256
00000f44: SLOAD
00000f45: ISZERO
00000f46: ISZERO
00000f47: SWAP1
00000f48: JUMP
00000f49: JUMPDEST
00000f4a: PUSH1 0x00
00000f4c: PUSH2 0x054b
00000f4f: DUP4
00000f50: PUSH1 0x01
00000f52: PUSH1 0x01
00000f54: PUSH1 0xa0
00000f56: SHL
00000f57: SUB
00000f58: DUP5
00000f59: AND
00000f5a: PUSH2 0x1193
00000f5d: JUMP
00000f5e: JUMPDEST
00000f5f: PUSH1 0x00
00000f61: PUSH2 0x054b
00000f64: DUP4
00000f65: PUSH1 0x01
00000f67: PUSH1 0x01
00000f69: PUSH1 0xa0
00000f6b: SHL
00000f6c: SUB
00000f6d: DUP5
00000f6e: AND
00000f6f: PUSH2 0x11dd
00000f72: JUMP
00000f73: JUMPDEST
00000f74: DUP1
00000f75: MLOAD
00000f76: PUSH1 0x00
00000f78: SWAP1
00000f79: PUSH2 0x0f84
00000f7c: JUMPI
00000f7d: POP
00000f7e: PUSH1 0x00
00000f80: PUSH2 0x0567
00000f83: JUMP
00000f84: JUMPDEST
00000f85: PUSH1 0x20
00000f87: DUP3
00000f88: ADD
00000f89: MLOAD
00000f8a: DUP1
00000f8b: MLOAD
00000f8c: PUSH1 0x00
00000f8e: BYTE
00000f8f: SWAP1
00000f90: PUSH1 0xc0
00000f92: DUP3
00000f93: LT
00000f94: ISZERO
00000f95: PUSH2 0x0fa3
00000f98: JUMPI
00000f99: PUSH1 0x00
00000f9b: SWAP3
00000f9c: POP
00000f9d: POP
00000f9e: POP
00000f9f: PUSH2 0x0567
00000fa2: JUMP
00000fa3: JUMPDEST
00000fa4: POP
00000fa5: PUSH1 0x01
00000fa7: SWAP4
00000fa8: SWAP3
00000fa9: POP
00000faa: POP
00000fab: POP
00000fac: JUMP
00000fad: JUMPDEST
00000fae: DUP1
00000faf: MLOAD
00000fb0: PUSH1 0x00
00000fb2: SWAP1
00000fb3: PUSH2 0x0fbe
00000fb6: JUMPI
00000fb7: POP
00000fb8: PUSH1 0x00
00000fba: PUSH2 0x0567
00000fbd: JUMP
00000fbe: JUMPDEST
00000fbf: PUSH1 0x00
00000fc1: DUP1
00000fc2: SWAP1
00000fc3: POP
00000fc4: PUSH1 0x00
00000fc6: PUSH2 0x0fd2
00000fc9: DUP5
00000fca: PUSH1 0x20
00000fcc: ADD
00000fcd: MLOAD
00000fce: PUSH2 0x1009
00000fd1: JUMP
00000fd2: JUMPDEST
00000fd3: PUSH1 0x20
00000fd5: DUP6
00000fd6: ADD
00000fd7: MLOAD
00000fd8: DUP6
00000fd9: MLOAD
00000fda: SWAP2
00000fdb: DUP2
00000fdc: ADD
00000fdd: SWAP3
00000fde: POP
00000fdf: ADD
00000fe0: JUMPDEST
00000fe1: DUP1
00000fe2: DUP3
00000fe3: LT
00000fe4: ISZERO
00000fe5: PUSH2 0x1000
00000fe8: JUMPI
00000fe9: PUSH2 0x0ff1
00000fec: DUP3
00000fed: PUSH2 0x106c
00000ff0: JUMP
00000ff1: JUMPDEST
00000ff2: PUSH1 0x01
00000ff4: SWAP1
00000ff5: SWAP4
00000ff6: ADD
00000ff7: SWAP3
00000ff8: SWAP1
00000ff9: SWAP2
00000ffa: ADD
00000ffb: SWAP1
00000ffc: PUSH2 0x0fe0
00000fff: JUMP
00001000: JUMPDEST
00001001: POP
00001002: SWAP1
00001003: SWAP4
00001004: SWAP3
00001005: POP
00001006: POP
00001007: POP
00001008: JUMP
00001009: JUMPDEST
0000100a: DUP1
0000100b: MLOAD
0000100c: PUSH1 0x00
0000100e: SWAP1
0000100f: DUP2
00001010: BYTE
00001011: PUSH1 0x80
00001013: DUP2
00001014: LT
00001015: ISZERO
00001016: PUSH2 0x1023
00001019: JUMPI
0000101a: PUSH1 0x00
0000101c: SWAP2
0000101d: POP
0000101e: POP
0000101f: PUSH2 0x0567
00001022: JUMP
00001023: JUMPDEST
00001024: PUSH1 0xb8
00001026: DUP2
00001027: LT
00001028: DUP1
00001029: PUSH2 0x103e
0000102c: JUMPI
0000102d: POP
0000102e: PUSH1 0xc0
00001030: DUP2
00001031: LT
00001032: DUP1
00001033: ISZERO
00001034: SWAP1
00001035: PUSH2 0x103e
00001038: JUMPI
00001039: POP
0000103a: PUSH1 0xf8
0000103c: DUP2
0000103d: LT
0000103e: JUMPDEST
0000103f: ISZERO
00001040: PUSH2 0x104d
00001043: JUMPI
00001044: PUSH1 0x01
00001046: SWAP2
00001047: POP
00001048: POP
00001049: PUSH2 0x0567
0000104c: JUMP
0000104d: JUMPDEST
0000104e: PUSH1 0xc0
00001050: DUP2
00001051: LT
00001052: ISZERO
00001053: PUSH2 0x1061
00001056: JUMPI
00001057: PUSH1 0xb5
00001059: NOT
0000105a: ADD
0000105b: SWAP1
0000105c: POP
0000105d: PUSH2 0x0567
00001060: JUMP
00001061: JUMPDEST
00001062: PUSH1 0xf5
00001064: NOT
00001065: ADD
00001066: SWAP1
00001067: POP
00001068: PUSH2 0x0567
0000106b: JUMP
0000106c: JUMPDEST
0000106d: DUP1
0000106e: MLOAD
0000106f: PUSH1 0x00
00001071: SWAP1
00001072: DUP2
00001073: SWAP1
00001074: DUP2
00001075: BYTE
00001076: PUSH1 0x80
00001078: DUP2
00001079: LT
0000107a: ISZERO
0000107b: PUSH2 0x1087
0000107e: JUMPI
0000107f: PUSH1 0x01
00001081: SWAP2
00001082: POP
00001083: PUSH2 0x10fe
00001086: JUMP
00001087: JUMPDEST
00001088: PUSH1 0xb8
0000108a: DUP2
0000108b: LT
0000108c: ISZERO
0000108d: PUSH2 0x109c
00001090: JUMPI
00001091: PUSH1 0x7e
00001093: NOT
00001094: DUP2
00001095: ADD
00001096: SWAP2
00001097: POP
00001098: PUSH2 0x10fe
0000109b: JUMP
0000109c: JUMPDEST
0000109d: PUSH1 0xc0
0000109f: DUP2
000010a0: LT
000010a1: ISZERO
000010a2: PUSH2 0x10c9
000010a5: JUMPI
000010a6: PUSH1 0xb7
000010a8: DUP2
000010a9: SUB
000010aa: PUSH1 0x01
000010ac: DUP6
000010ad: ADD
000010ae: SWAP5
000010af: POP
000010b0: DUP1
000010b1: PUSH1 0x20
000010b3: SUB
000010b4: PUSH2 0x0100
000010b7: EXP
000010b8: DUP6
000010b9: MLOAD
000010ba: DIV
000010bb: PUSH1 0x01
000010bd: DUP3
000010be: ADD
000010bf: DUP2
000010c0: ADD
000010c1: SWAP4
000010c2: POP
000010c3: POP
000010c4: POP
000010c5: PUSH2 0x10fe
000010c8: JUMP
000010c9: JUMPDEST
000010ca: PUSH1 0xf8
000010cc: DUP2
000010cd: LT
000010ce: ISZERO
000010cf: PUSH2 0x10de
000010d2: JUMPI
000010d3: PUSH1 0xbe
000010d5: NOT
000010d6: DUP2
000010d7: ADD
000010d8: SWAP2
000010d9: POP
000010da: PUSH2 0x10fe
000010dd: JUMP
000010de: JUMPDEST
000010df: PUSH1 0xf7
000010e1: DUP2
000010e2: SUB
000010e3: PUSH1 0x01
000010e5: DUP6
000010e6: ADD
000010e7: SWAP5
000010e8: POP
000010e9: DUP1
000010ea: PUSH1 0x20
000010ec: SUB
000010ed: PUSH2 0x0100
000010f0: EXP
000010f1: DUP6
000010f2: MLOAD
000010f3: DIV
000010f4: PUSH1 0x01
000010f6: DUP3
000010f7: ADD
000010f8: DUP2
000010f9: ADD
000010fa: SWAP4
000010fb: POP
000010fc: POP
000010fd: POP
000010fe: JUMPDEST
000010ff: POP
00001100: SWAP3
00001101: SWAP2
00001102: POP
00001103: POP
00001104: JUMP
00001105: JUMPDEST
00001106: PUSH1 0x00
00001108: DUP1
00001109: PUSH1 0x00
0000110b: PUSH2 0x1117
0000110e: DUP5
0000110f: PUSH1 0x20
00001111: ADD
00001112: MLOAD
00001113: PUSH2 0x1009
00001116: JUMP
00001117: JUMPDEST
00001118: PUSH1 0x20
0000111a: DUP6
0000111b: ADD
0000111c: MLOAD
0000111d: SWAP5
0000111e: MLOAD
0000111f: SWAP5
00001120: DUP2
00001121: ADD
00001122: SWAP6
00001123: SWAP5
00001124: SUB
00001125: SWAP4
00001126: SWAP3
00001127: POP
00001128: POP
00001129: POP
0000112a: JUMP
0000112b: JUMPDEST
0000112c: DUP2
0000112d: SLOAD
0000112e: PUSH1 0x00
00001130: SWAP1
00001131: DUP3
00001132: LT
00001133: PUSH2 0x116d
00001136: JUMPI
00001137: PUSH1 0x40
00001139: MLOAD
0000113a: PUSH3 0x461bcd
0000113e: PUSH1 0xe5
00001140: SHL
00001141: DUP2
00001142: MSTORE
00001143: PUSH1 0x04
00001145: ADD
00001146: DUP1
00001147: DUP1
00001148: PUSH1 0x20
0000114a: ADD
0000114b: DUP3
0000114c: DUP2
0000114d: SUB
0000114e: DUP3
0000114f: MSTORE
00001150: PUSH1 0x22
00001152: DUP2
00001153: MSTORE
00001154: PUSH1 0x20
00001156: ADD
00001157: DUP1
00001158: PUSH2 0x1356
0000115b: PUSH1 0x22
0000115d: SWAP2
0000115e: CODECOPY
0000115f: PUSH1 0x40
00001161: ADD
00001162: SWAP2
00001163: POP
00001164: POP
00001165: PUSH1 0x40
00001167: MLOAD
00001168: DUP1
00001169: SWAP2
0000116a: SUB
0000116b: SWAP1
0000116c: REVERT
0000116d: JUMPDEST
0000116e: DUP3
0000116f: PUSH1 0x00
00001171: ADD
00001172: DUP3
00001173: DUP2
00001174: SLOAD
00001175: DUP2
00001176: LT
00001177: PUSH2 0x117c
0000117a: JUMPI
0000117b: INVALID
0000117c: JUMPDEST
0000117d: SWAP1
0000117e: PUSH1 0x00
00001180: MSTORE
00001181: PUSH1 0x20
00001183: PUSH1 0x00
00001185: KECCAK256
00001186: ADD
00001187: SLOAD
00001188: SWAP1
00001189: POP
0000118a: SWAP3
0000118b: SWAP2
0000118c: POP
0000118d: POP
0000118e: JUMP
0000118f: JUMPDEST
00001190: SLOAD
00001191: SWAP1
00001192: JUMP
00001193: JUMPDEST
00001194: PUSH1 0x00
00001196: PUSH2 0x119f
00001199: DUP4
0000119a: DUP4
0000119b: PUSH2 0x0f31
0000119e: JUMP
0000119f: JUMPDEST
000011a0: PUSH2 0x11d5
000011a3: JUMPI
000011a4: POP
000011a5: DUP2
000011a6: SLOAD
000011a7: PUSH1 0x01
000011a9: DUP2
000011aa: DUP2
000011ab: ADD
000011ac: DUP5
000011ad: SSTORE
000011ae: PUSH1 0x00
000011b0: DUP5
000011b1: DUP2
000011b2: MSTORE
000011b3: PUSH1 0x20
000011b5: DUP1
000011b6: DUP3
000011b7: KECCAK256
000011b8: SWAP1
000011b9: SWAP4
000011ba: ADD
000011bb: DUP5
000011bc: SWAP1
000011bd: SSTORE
000011be: DUP5
000011bf: SLOAD
000011c0: DUP5
000011c1: DUP3
000011c2: MSTORE
000011c3: DUP3
000011c4: DUP7
000011c5: ADD
000011c6: SWAP1
000011c7: SWAP4
000011c8: MSTORE
000011c9: PUSH1 0x40
000011cb: SWAP1
000011cc: KECCAK256
000011cd: SWAP2
000011ce: SWAP1
000011cf: SWAP2
000011d0: SSTORE
000011d1: PUSH2 0x054e
000011d4: JUMP
000011d5: JUMPDEST
000011d6: POP
000011d7: PUSH1 0x00
000011d9: PUSH2 0x054e
000011dc: JUMP
000011dd: JUMPDEST
000011de: PUSH1 0x00
000011e0: DUP2
000011e1: DUP2
000011e2: MSTORE
000011e3: PUSH1 0x01
000011e5: DUP4
000011e6: ADD
000011e7: PUSH1 0x20
000011e9: MSTORE
000011ea: PUSH1 0x40
000011ec: DUP2
000011ed: KECCAK256
000011ee: SLOAD
000011ef: DUP1
000011f0: ISZERO
000011f1: PUSH2 0x1299
000011f4: JUMPI
000011f5: DUP4
000011f6: SLOAD
000011f7: PUSH1 0x00
000011f9: NOT
000011fa: DUP1
000011fb: DUP4
000011fc: ADD
000011fd: SWAP2
000011fe: SWAP1
000011ff: DUP2
00001200: ADD
00001201: SWAP1
00001202: PUSH1 0x00
00001204: SWAP1
00001205: DUP8
00001206: SWAP1
00001207: DUP4
00001208: SWAP1
00001209: DUP2
0000120a: LT
0000120b: PUSH2 0x1210
0000120e: JUMPI
0000120f: INVALID
00001210: JUMPDEST
00001211: SWAP1
00001212: PUSH1 0x00
00001214: MSTORE
00001215: PUSH1 0x20
00001217: PUSH1 0x00
00001219: KECCAK256
0000121a: ADD
0000121b: SLOAD
0000121c: SWAP1
0000121d: POP
0000121e: DUP1
0000121f: DUP8
00001220: PUSH1 0x00
00001222: ADD
00001223: DUP5
00001224: DUP2
00001225: SLOAD
00001226: DUP2
00001227: LT
00001228: PUSH2 0x122d
0000122b: JUMPI
0000122c: INVALID
0000122d: JUMPDEST
0000122e: PUSH1 0x00
00001230: SWAP2
00001231: DUP3
00001232: MSTORE
00001233: PUSH1 0x20
00001235: DUP1
00001236: DUP4
00001237: KECCAK256
00001238: SWAP1
00001239: SWAP2
0000123a: ADD
0000123b: SWAP3
0000123c: SWAP1
0000123d: SWAP3
0000123e: SSTORE
0000123f: DUP3
00001240: DUP2
00001241: MSTORE
00001242: PUSH1 0x01
00001244: DUP10
00001245: DUP2
00001246: ADD
00001247: SWAP1
00001248: SWAP3
00001249: MSTORE
0000124a: PUSH1 0x40
0000124c: SWAP1
0000124d: KECCAK256
0000124e: SWAP1
0000124f: DUP5
00001250: ADD
00001251: SWAP1
00001252: SSTORE
00001253: DUP7
00001254: SLOAD
00001255: DUP8
00001256: SWAP1
00001257: DUP1
00001258: PUSH2 0x125d
0000125b: JUMPI
0000125c: INVALID
0000125d: JUMPDEST
0000125e: PUSH1 0x01
00001260: SWAP1
00001261: SUB
00001262: DUP2
00001263: DUP2
00001264: SWAP1
00001265: PUSH1 0x00
00001267: MSTORE
00001268: PUSH1 0x20
0000126a: PUSH1 0x00
0000126c: KECCAK256
0000126d: ADD
0000126e: PUSH1 0x00
00001270: SWAP1
00001271: SSTORE
00001272: SWAP1
00001273: SSTORE
00001274: DUP7
00001275: PUSH1 0x01
00001277: ADD
00001278: PUSH1 0x00
0000127a: DUP8
0000127b: DUP2
0000127c: MSTORE
0000127d: PUSH1 0x20
0000127f: ADD
00001280: SWAP1
00001281: DUP2
00001282: MSTORE
00001283: PUSH1 0x20
00001285: ADD
00001286: PUSH1 0x00
00001288: KECCAK256
00001289: PUSH1 0x00
0000128b: SWAP1
0000128c: SSTORE
0000128d: PUSH1 0x01
0000128f: SWAP5
00001290: POP
00001291: POP
00001292: POP
00001293: POP
00001294: POP
00001295: PUSH2 0x054e
00001298: JUMP
00001299: JUMPDEST
0000129a: PUSH1 0x00
0000129c: SWAP2
0000129d: POP
0000129e: POP
0000129f: PUSH2 0x054e
000012a2: JUMP
000012a3: JUMPDEST
000012a4: PUSH1 0x40
000012a6: MLOAD
000012a7: DUP1
000012a8: PUSH1 0x40
000012aa: ADD
000012ab: PUSH1 0x40
000012ad: MSTORE
000012ae: DUP1
000012af: PUSH1 0x00
000012b1: DUP2
000012b2: MSTORE
000012b3: PUSH1 0x20
000012b5: ADD
000012b6: PUSH1 0x00
000012b8: DUP2
000012b9: MSTORE
000012ba: POP
000012bb: SWAP1
000012bc: JUMP
000012bd: JUMPDEST
000012be: DUP3
000012bf: DUP1
000012c0: SLOAD
000012c1: PUSH1 0x01
000012c3: DUP2
000012c4: PUSH1 0x01
000012c6: AND
000012c7: ISZERO
000012c8: PUSH2 0x0100
000012cb: MUL
000012cc: SUB
000012cd: AND
000012ce: PUSH1 0x02
000012d0: SWAP1
000012d1: DIV
000012d2: SWAP1
000012d3: PUSH1 0x00
000012d5: MSTORE
000012d6: PUSH1 0x20
000012d8: PUSH1 0x00
000012da: KECCAK256
000012db: SWAP1
000012dc: PUSH1 0x1f
000012de: ADD
000012df: PUSH1 0x20
000012e1: SWAP1
000012e2: DIV
000012e3: DUP2
000012e4: ADD
000012e5: SWAP3
000012e6: DUP3
000012e7: PUSH1 0x1f
000012e9: LT
000012ea: PUSH2 0x12fe
000012ed: JUMPI
000012ee: DUP1
000012ef: MLOAD
000012f0: PUSH1 0xff
000012f2: NOT
000012f3: AND
000012f4: DUP4
000012f5: DUP1
000012f6: ADD
000012f7: OR
000012f8: DUP6
000012f9: SSTORE
000012fa: PUSH2 0x132b
000012fd: JUMP
000012fe: JUMPDEST
000012ff: DUP3
00001300: DUP1
00001301: ADD
00001302: PUSH1 0x01
00001304: ADD
00001305: DUP6
00001306: SSTORE
00001307: DUP3
00001308: ISZERO
00001309: PUSH2 0x132b
0000130c: JUMPI
0000130d: SWAP2
0000130e: DUP3
0000130f: ADD
00001310: JUMPDEST
00001311: DUP3
00001312: DUP2
00001313: GT
00001314: ISZERO
00001315: PUSH2 0x132b
00001318: JUMPI
00001319: DUP3
0000131a: MLOAD
0000131b: DUP3
0000131c: SSTORE
0000131d: SWAP2
0000131e: PUSH1 0x20
00001320: ADD
00001321: SWAP2
00001322: SWAP1
00001323: PUSH1 0x01
00001325: ADD
00001326: SWAP1
00001327: PUSH2 0x1310
0000132a: JUMP
0000132b: JUMPDEST
0000132c: POP
0000132d: PUSH2 0x1337
00001330: SWAP3
00001331: SWAP2
00001332: POP
00001333: PUSH2 0x133b
00001336: JUMP
00001337: JUMPDEST
00001338: POP
00001339: SWAP1
0000133a: JUMP
0000133b: JUMPDEST
0000133c: PUSH2 0x052a
0000133f: SWAP2
00001340: SWAP1
00001341: JUMPDEST
00001342: DUP1
00001343: DUP3
00001344: GT
00001345: ISZERO
00001346: PUSH2 0x1337
00001349: JUMPI
0000134a: PUSH1 0x00
0000134c: DUP2
0000134d: SSTORE
0000134e: PUSH1 0x01
00001350: ADD
00001351: PUSH2 0x1341
00001354: JUMP
00001355: INVALID
00001356: GASLIMIT
00001357: PUSH15 0x756d657261626c655365743a20696e
00001367: PUSH5 0x6578206f75
0000136d: PUSH21 0x206f6620626f756e6473416363657373436f6e7472
00001383: PUSH16 0x6c3a2073656e646572206d7573742062
00001394: PUSH6 0x20616e206164
0000139b: PUSH14 0x696e20746f206772616e74416363
000013aa: PUSH6 0x7373436f6e74
000013b1: PUSH19 0x6f6c3a2073656e646572206d75737420626520
000013c5: PUSH2 0x6e20
000013c8: PUSH2 0x646d
000013cb: PUSH10 0x6e20746f207265766f6b
000013d6: PUSH6 0x457468657250
000013dd: PUSH19 0x656469636174653a2045544845525f5452414e
000013f1: MSTORE8
000013f2: CHAINID
000013f3: GASLIMIT
000013f4: MSTORE
000013f5: PUSH0
000013f6: CHAINID
000013f7: COINBASE
000013f8: BLOBHASH
000013f9: UNKNOWN(0x4C)
000013fa: GASLIMIT
000013fb: DIFFICULTY
000013fc: GASLIMIT
000013fd: PUSH21 0x6865725072656469636174653a20494e56414c4944
00001413: PUSH0
00001414: MSTORE8
00001415: BLOBHASH
00001416: SELFBALANCE
00001417: UNKNOWN(0x4E)
00001418: COINBASE
00001419: SLOAD
0000141a: SSTORE
0000141b: MSTORE
0000141c: GASLIMIT
0000141d: COINBASE
0000141e: PUSH4 0x63657373
00001423: NUMBER
00001424: PUSH16 0x6e74726f6c3a2063616e206f6e6c7920
00001435: PUSH19 0x656e6f756e636520726f6c657320666f722073
00001449: PUSH6 0x6c66a2646970
00001450: PUSH7 0x73582212209b00
00001458: MCOPY
00001459: UNKNOWN(0x0C)
0000145a: INVALID
0000145b: CALLDATASIZE
0000145c: SLT
0000145d: UNKNOWN(0xDE)
0000145e: UNKNOWN(0xB4)
0000145f: EQ
00001460: PUSH24 0x7e62731db9d9c817ae977b914eb782357f3a71393064736f
00001479: PUSH13