Analysis Run

[codex:614306] OpenAI Codex v0.77.0 (research preview)
[codex:614306] --------
[codex:614306] workdir: /tmp/codex-multi-8j_8ue4_
[codex:614306] model: gpt-5.2-codex
[codex:614306] provider: openai
[codex:614306] approval: never
[codex:614306] sandbox: read-only
[codex:614306] reasoning effort: xhigh
[codex:614306] reasoning summaries: auto
[codex:614306] session id: 019b7aed-8cb4-77b0-8c03-051a6cb2f641
[codex:614306] --------
[codex:614306] user
[codex:614306] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:614306] 
[codex:614306] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:614306] 
[codex:614306] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:614306] - Gas inefficiency, code quality, naming, or best practices
[codex:614306] - Theoretical vulnerabilities without a clear extraction path
[codex:614306] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:614306] - Front-running unless it enables theft beyond MEV
[codex:614306] - DoS, griefing, or issues that don't result in attacker profit
[codex:614306] - Missing events, view function issues, or informational findings
[codex:614306] 
[codex:614306] HIGH-VALUE PATTERNS TO HUNT:
[codex:614306] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:614306] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:614306] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:614306] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:614306] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:614306] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:614306] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:614306] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:614306] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:614306] 
[codex:614306] For each finding, you MUST provide:
[codex:614306] 1. Exact file and line numbers of vulnerable code
[codex:614306] 2. Step-by-step exploit transaction sequence
[codex:614306] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:614306] 
[codex:614306] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:614306] 
[codex:614306] Output MUST be valid JSON matching the provided schema.
[codex:614306] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:614306] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:614306] mcp startup: no servers
[codex:614306] 
[codex:614306] thinking
[codex:614306] **Reviewing AUDIT_BUNDLE.txt**
[codex:614306] exec
[codex:614306] /bin/bash -lc ls in /tmp/codex-multi-8j_8ue4_ succeeded in 5ms:
[codex:614306] AUDIT_BUNDLE.txt
[codex:614306] codex-output-schema.json
[codex:614306] contracts
[codex:614306] exec
[codex:614306] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-8j_8ue4_ succeeded in 5ms:
[codex:614306] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:614306] 
[codex:614306] ================================================================================
[codex:614306] FILE: contracts/contracts/common/AccessControlMixin.sol
[codex:614306] ================================================================================
[codex:614306] pragma solidity 0.6.6;
[codex:614306] 
[codex:614306] import {AccessControl} from "@openzeppelin/contracts/access/AccessControl.sol";
[codex:614306] 
[codex:614306] contract AccessControlMixin is AccessControl {
[codex:614306]     string private _revertMsg;
[codex:614306]     function _setupContractId(string memory contractId) internal {
[codex:614306]         _revertMsg = string(abi.encodePacked(contractId, ": INSUFFICIENT_PERMISSIONS"));
[codex:614306]     }
[codex:614306] 
[codex:614306]     modifier only(bytes32 role) {
[codex:614306]         require(
[codex:614306]             hasRole(role, _msgSender()),
[codex:614306]             _revertMsg
[codex:614306]         );
[codex:614306] 
[codex:614306] thinking
[codex:614306] **Checking for more file content**
[codex:614306] exec
[codex:614306] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt' in /tmp/codex-multi-8j_8ue4_ succeeded in 6ms:
[codex:614306] 4:FILE: contracts/contracts/common/AccessControlMixin.sol
[codex:614306] 26:FILE: contracts/contracts/common/Initializable.sol
[codex:614306] 41:FILE: contracts/contracts/root/TokenPredicates/EtherPredicate.sol
[codex:614306] 140:FILE: contracts/contracts/root/TokenPredicates/ITokenPredicate.sol
[codex:614306] 
[codex:614306] thinking
[codex:614306] **Confirming no exploitable paths**
[codex:614306] codex
[codex:614306] {"no_findings":true,"summary":"No concrete exploitable profit path identified in the provided sources under the given assumptions.","findings":[]}
[codex:614306] tokens used
[codex:614306] 3,634
[codex:614306] {"no_findings":true,"summary":"No concrete exploitable profit path identified in the provided sources under the given assumptions.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-01T18:59:19.682180+00:00",
        "returncode": 0
    },
    "summary": "No concrete exploitable profit path identified in the provided sources under the given assumptions.",
    "raw_final": {
        "summary": "No concrete exploitable profit path identified in the provided sources under the given 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 0x00ec
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x9d6fa31f
00000019: GT
0000001a: PUSH2 0x008a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xca15c873
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xca15c873
0000002f: EQ
00000030: PUSH2 0x0468
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd547741f
0000003a: EQ
0000003b: PUSH2 0x0492
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe375b64e
00000045: EQ
00000046: PUSH2 0x04cb
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xec87621c
00000050: EQ
00000051: PUSH2 0x0569
00000054: JUMPI
00000055: PUSH2 0x01c7
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x9d6fa31f
00000060: EQ
00000061: PUSH2 0x03f6
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xa217fddf
0000006b: EQ
0000006c: PUSH2 0x040b
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xb017a30f
00000076: EQ
00000077: PUSH2 0x0420
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc4d66de8
00000081: EQ
00000082: PUSH2 0x0435
00000085: JUMPI
00000086: PUSH2 0x01c7
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x609c92b8
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x609c92b8
0000009c: EQ
0000009d: PUSH2 0x027c
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x8274664f
000000a7: EQ
000000a8: PUSH2 0x0291
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x9010d07c
000000b2: EQ
000000b3: PUSH2 0x035d
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x91d14854
000000bd: EQ
000000be: PUSH2 0x03a9
000000c1: JUMPI
000000c2: PUSH2 0x01c7
000000c5: JUMP
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x248a9ca3
000000cd: EQ
000000ce: PUSH2 0x01cc
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x2f2ff15d
000000d8: EQ
000000d9: PUSH2 0x0208
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x36568abe
000000e3: EQ
000000e4: PUSH2 0x0243
000000e7: JUMPI
000000e8: PUSH2 0x01c7
000000eb: JUMP
000000ec: JUMPDEST
000000ed: CALLDATASIZE
000000ee: PUSH2 0x01c7
000000f1: JUMPI
000000f2: PUSH1 0x40
000000f4: DUP1
000000f5: MLOAD
000000f6: PUSH12 0x4d414e414745525f524f4c45
00000103: PUSH1 0xa0
00000105: SHL
00000106: DUP2
00000107: MSTORE
00000108: SWAP1
00000109: MLOAD
0000010a: SWAP1
0000010b: DUP2
0000010c: SWAP1
0000010d: SUB
0000010e: PUSH1 0x0c
00000110: ADD
00000111: SWAP1
00000112: KECCAK256
00000113: PUSH2 0x0123
00000116: DUP2
00000117: PUSH2 0x011e
0000011a: PUSH2 0x057e
0000011d: JUMP
0000011e: JUMPDEST
0000011f: PUSH2 0x0583
00000122: JUMP
00000123: JUMPDEST
00000124: PUSH1 0x01
00000126: SWAP1
00000127: PUSH2 0x01c3
0000012a: JUMPI
0000012b: PUSH1 0x40
0000012d: MLOAD
0000012e: PUSH3 0x461bcd
00000132: PUSH1 0xe5
00000134: SHL
00000135: DUP2
00000136: MSTORE
00000137: PUSH1 0x20
00000139: PUSH1 0x04
0000013b: DUP3
0000013c: ADD
0000013d: SWAP1
0000013e: DUP2
0000013f: MSTORE
00000140: DUP3
00000141: SLOAD
00000142: PUSH1 0x02
00000144: PUSH1 0x00
00000146: NOT
00000147: PUSH2 0x0100
0000014a: PUSH1 0x01
0000014c: DUP5
0000014d: AND
0000014e: ISZERO
0000014f: MUL
00000150: ADD
00000151: SWAP1
00000152: SWAP2
00000153: AND
00000154: DIV
00000155: PUSH1 0x24
00000157: DUP4
00000158: ADD
00000159: DUP2
0000015a: SWAP1
0000015b: MSTORE
0000015c: SWAP1
0000015d: SWAP2
0000015e: DUP3
0000015f: SWAP2
00000160: PUSH1 0x44
00000162: SWAP1
00000163: SWAP2
00000164: ADD
00000165: SWAP1
00000166: DUP5
00000167: SWAP1
00000168: DUP1
00000169: ISZERO
0000016a: PUSH2 0x01b4
0000016d: JUMPI
0000016e: DUP1
0000016f: PUSH1 0x1f
00000171: LT
00000172: PUSH2 0x0189
00000175: JUMPI
00000176: PUSH2 0x0100
00000179: DUP1
0000017a: DUP4
0000017b: SLOAD
0000017c: DIV
0000017d: MUL
0000017e: DUP4
0000017f: MSTORE
00000180: SWAP2
00000181: PUSH1 0x20
00000183: ADD
00000184: SWAP2
00000185: PUSH2 0x01b4
00000188: JUMP
00000189: JUMPDEST
0000018a: DUP3
0000018b: ADD
0000018c: SWAP2
0000018d: SWAP1
0000018e: PUSH1 0x00
00000190: MSTORE
00000191: PUSH1 0x20
00000193: PUSH1 0x00
00000195: KECCAK256
00000196: SWAP1
00000197: JUMPDEST
00000198: DUP2
00000199: SLOAD
0000019a: DUP2
0000019b: MSTORE
0000019c: SWAP1
0000019d: PUSH1 0x01
0000019f: ADD
000001a0: SWAP1
000001a1: PUSH1 0x20
000001a3: ADD
000001a4: DUP1
000001a5: DUP4
000001a6: GT
000001a7: PUSH2 0x0197
000001aa: JUMPI
000001ab: DUP3
000001ac: SWAP1
000001ad: SUB
000001ae: PUSH1 0x1f
000001b0: AND
000001b1: DUP3
000001b2: ADD
000001b3: SWAP2
000001b4: JUMPDEST
000001b5: POP
000001b6: POP
000001b7: SWAP3
000001b8: POP
000001b9: POP
000001ba: POP
000001bb: PUSH1 0x40
000001bd: MLOAD
000001be: DUP1
000001bf: SWAP2
000001c0: SUB
000001c1: SWAP1
000001c2: REVERT
000001c3: JUMPDEST
000001c4: POP
000001c5: POP
000001c6: STOP
000001c7: JUMPDEST
000001c8: PUSH1 0x00
000001ca: DUP1
000001cb: REVERT
000001cc: JUMPDEST
000001cd: CALLVALUE
000001ce: DUP1
000001cf: ISZERO
000001d0: PUSH2 0x01d8
000001d3: JUMPI
000001d4: PUSH1 0x00
000001d6: DUP1
000001d7: REVERT
000001d8: JUMPDEST
000001d9: POP
000001da: PUSH2 0x01f6
000001dd: PUSH1 0x04
000001df: DUP1
000001e0: CALLDATASIZE
000001e1: SUB
000001e2: PUSH1 0x20
000001e4: DUP2
000001e5: LT
000001e6: ISZERO
000001e7: PUSH2 0x01ef
000001ea: JUMPI
000001eb: PUSH1 0x00
000001ed: DUP1
000001ee: REVERT
000001ef: JUMPDEST
000001f0: POP
000001f1: CALLDATALOAD
000001f2: PUSH2 0x05aa
000001f5: JUMP
000001f6: JUMPDEST
000001f7: PUSH1 0x40
000001f9: DUP1
000001fa: MLOAD
000001fb: SWAP2
000001fc: DUP3
000001fd: MSTORE
000001fe: MLOAD
000001ff: SWAP1
00000200: DUP2
00000201: SWAP1
00000202: SUB
00000203: PUSH1 0x20
00000205: ADD
00000206: SWAP1
00000207: RETURN
00000208: JUMPDEST
00000209: CALLVALUE
0000020a: DUP1
0000020b: ISZERO
0000020c: PUSH2 0x0214
0000020f: JUMPI
00000210: PUSH1 0x00
00000212: DUP1
00000213: REVERT
00000214: JUMPDEST
00000215: POP
00000216: PUSH2 0x0241
00000219: PUSH1 0x04
0000021b: DUP1
0000021c: CALLDATASIZE
0000021d: SUB
0000021e: PUSH1 0x40
00000220: DUP2
00000221: LT
00000222: ISZERO
00000223: PUSH2 0x022b
00000226: JUMPI
00000227: PUSH1 0x00
00000229: DUP1
0000022a: REVERT
0000022b: JUMPDEST
0000022c: POP
0000022d: DUP1
0000022e: CALLDATALOAD
0000022f: SWAP1
00000230: PUSH1 0x20
00000232: ADD
00000233: CALLDATALOAD
00000234: PUSH1 0x01
00000236: PUSH1 0x01
00000238: PUSH1 0xa0
0000023a: SHL
0000023b: SUB
0000023c: AND
0000023d: PUSH2 0x05c2
00000240: JUMP
00000241: JUMPDEST
00000242: STOP
00000243: JUMPDEST
00000244: CALLVALUE
00000245: DUP1
00000246: ISZERO
00000247: PUSH2 0x024f
0000024a: JUMPI
0000024b: PUSH1 0x00
0000024d: DUP1
0000024e: REVERT
0000024f: JUMPDEST
00000250: POP
00000251: PUSH2 0x0241
00000254: PUSH1 0x04
00000256: DUP1
00000257: CALLDATASIZE
00000258: SUB
00000259: PUSH1 0x40
0000025b: DUP2
0000025c: LT
0000025d: ISZERO
0000025e: PUSH2 0x0266
00000261: JUMPI
00000262: PUSH1 0x00
00000264: DUP1
00000265: REVERT
00000266: JUMPDEST
00000267: POP
00000268: DUP1
00000269: CALLDATALOAD
0000026a: SWAP1
0000026b: PUSH1 0x20
0000026d: ADD
0000026e: CALLDATALOAD
0000026f: PUSH1 0x01
00000271: PUSH1 0x01
00000273: PUSH1 0xa0
00000275: SHL
00000276: SUB
00000277: AND
00000278: PUSH2 0x0629
0000027b: JUMP
0000027c: JUMPDEST
0000027d: CALLVALUE
0000027e: DUP1
0000027f: ISZERO
00000280: PUSH2 0x0288
00000283: JUMPI
00000284: PUSH1 0x00
00000286: DUP1
00000287: REVERT
00000288: JUMPDEST
00000289: POP
0000028a: PUSH2 0x01f6
0000028d: PUSH2 0x068a
00000290: JUMP
00000291: JUMPDEST
00000292: CALLVALUE
00000293: DUP1
00000294: ISZERO
00000295: PUSH2 0x029d
00000298: JUMPI
00000299: PUSH1 0x00
0000029b: DUP1
0000029c: REVERT
0000029d: JUMPDEST
0000029e: POP
0000029f: PUSH2 0x0241
000002a2: PUSH1 0x04
000002a4: DUP1
000002a5: CALLDATASIZE
000002a6: SUB
000002a7: PUSH1 0x60
000002a9: DUP2
000002aa: LT
000002ab: ISZERO
000002ac: PUSH2 0x02b4
000002af: JUMPI
000002b0: PUSH1 0x00
000002b2: DUP1
000002b3: REVERT
000002b4: JUMPDEST
000002b5: PUSH1 0x01
000002b7: PUSH1 0x01
000002b9: PUSH1 0xa0
000002bb: SHL
000002bc: SUB
000002bd: DUP3
000002be: CALLDATALOAD
000002bf: DUP2
000002c0: AND
000002c1: SWAP3
000002c2: PUSH1 0x20
000002c4: DUP2
000002c5: ADD
000002c6: CALLDATALOAD
000002c7: SWAP1
000002c8: SWAP2
000002c9: AND
000002ca: SWAP2
000002cb: DUP2
000002cc: ADD
000002cd: SWAP1
000002ce: PUSH1 0x60
000002d0: DUP2
000002d1: ADD
000002d2: PUSH1 0x40
000002d4: DUP3
000002d5: ADD
000002d6: CALLDATALOAD
000002d7: PUSH5 0x0100000000
000002dd: DUP2
000002de: GT
000002df: ISZERO
000002e0: PUSH2 0x02e8
000002e3: JUMPI
000002e4: PUSH1 0x00
000002e6: DUP1
000002e7: REVERT
000002e8: JUMPDEST
000002e9: DUP3
000002ea: ADD
000002eb: DUP4
000002ec: PUSH1 0x20
000002ee: DUP3
000002ef: ADD
000002f0: GT
000002f1: ISZERO
000002f2: PUSH2 0x02fa
000002f5: JUMPI
000002f6: PUSH1 0x00
000002f8: DUP1
000002f9: REVERT
000002fa: JUMPDEST
000002fb: DUP1
000002fc: CALLDATALOAD
000002fd: SWAP1
000002fe: PUSH1 0x20
00000300: ADD
00000301: SWAP2
00000302: DUP5
00000303: PUSH1 0x01
00000305: DUP4
00000306: MUL
00000307: DUP5
00000308: ADD
00000309: GT
0000030a: PUSH5 0x0100000000
00000310: DUP4
00000311: GT
00000312: OR
00000313: ISZERO
00000314: PUSH2 0x031c
00000317: JUMPI
00000318: PUSH1 0x00
0000031a: DUP1
0000031b: REVERT
0000031c: JUMPDEST
0000031d: SWAP2
0000031e: SWAP1
0000031f: DUP1
00000320: DUP1
00000321: PUSH1 0x1f
00000323: ADD
00000324: PUSH1 0x20
00000326: DUP1
00000327: SWAP2
00000328: DIV
00000329: MUL
0000032a: PUSH1 0x20
0000032c: ADD
0000032d: PUSH1 0x40
0000032f: MLOAD
00000330: SWAP1
00000331: DUP2
00000332: ADD
00000333: PUSH1 0x40
00000335: MSTORE
00000336: DUP1
00000337: SWAP4
00000338: SWAP3
00000339: SWAP2
0000033a: SWAP1
0000033b: DUP2
0000033c: DUP2
0000033d: MSTORE
0000033e: PUSH1 0x20
00000340: ADD
00000341: DUP4
00000342: DUP4
00000343: DUP1
00000344: DUP3
00000345: DUP5
00000346: CALLDATACOPY
00000347: PUSH1 0x00
00000349: SWAP3
0000034a: ADD
0000034b: SWAP2
0000034c: SWAP1
0000034d: SWAP2
0000034e: MSTORE
0000034f: POP
00000350: SWAP3
00000351: SWAP6
00000352: POP
00000353: PUSH2 0x06a7
00000356: SWAP5
00000357: POP
00000358: POP
00000359: POP
0000035a: POP
0000035b: POP
0000035c: JUMP
0000035d: JUMPDEST
0000035e: CALLVALUE
0000035f: DUP1
00000360: ISZERO
00000361: PUSH2 0x0369
00000364: JUMPI
00000365: PUSH1 0x00
00000367: DUP1
00000368: REVERT
00000369: JUMPDEST
0000036a: POP
0000036b: PUSH2 0x038d
0000036e: PUSH1 0x04
00000370: DUP1
00000371: CALLDATASIZE
00000372: SUB
00000373: PUSH1 0x40
00000375: DUP2
00000376: LT
00000377: ISZERO
00000378: PUSH2 0x0380
0000037b: JUMPI
0000037c: PUSH1 0x00
0000037e: DUP1
0000037f: REVERT
00000380: JUMPDEST
00000381: POP
00000382: DUP1
00000383: CALLDATALOAD
00000384: SWAP1
00000385: PUSH1 0x20
00000387: ADD
00000388: CALLDATALOAD
00000389: PUSH2 0x0913
0000038c: JUMP
0000038d: JUMPDEST
0000038e: PUSH1 0x40
00000390: DUP1
00000391: MLOAD
00000392: PUSH1 0x01
00000394: PUSH1 0x01
00000396: PUSH1 0xa0
00000398: SHL
00000399: SUB
0000039a: SWAP1
0000039b: SWAP3
0000039c: AND
0000039d: DUP3
0000039e: MSTORE
0000039f: MLOAD
000003a0: SWAP1
000003a1: DUP2
000003a2: SWAP1
000003a3: SUB
000003a4: PUSH1 0x20
000003a6: ADD
000003a7: SWAP1
000003a8: RETURN
000003a9: JUMPDEST
000003aa: CALLVALUE
000003ab: DUP1
000003ac: ISZERO
000003ad: PUSH2 0x03b5
000003b0: JUMPI
000003b1: PUSH1 0x00
000003b3: DUP1
000003b4: REVERT
000003b5: JUMPDEST
000003b6: POP
000003b7: PUSH2 0x03e2
000003ba: PUSH1 0x04
000003bc: DUP1
000003bd: CALLDATASIZE
000003be: SUB
000003bf: PUSH1 0x40
000003c1: DUP2
000003c2: LT
000003c3: ISZERO
000003c4: PUSH2 0x03cc
000003c7: JUMPI
000003c8: PUSH1 0x00
000003ca: DUP1
000003cb: REVERT
000003cc: JUMPDEST
000003cd: POP
000003ce: DUP1
000003cf: CALLDATALOAD
000003d0: SWAP1
000003d1: PUSH1 0x20
000003d3: ADD
000003d4: CALLDATALOAD
000003d5: PUSH1 0x01
000003d7: PUSH1 0x01
000003d9: PUSH1 0xa0
000003db: SHL
000003dc: SUB
000003dd: AND
000003de: PUSH2 0x0583
000003e1: JUMP
000003e2: JUMPDEST
000003e3: PUSH1 0x40
000003e5: DUP1
000003e6: MLOAD
000003e7: SWAP2
000003e8: ISZERO
000003e9: ISZERO
000003ea: DUP3
000003eb: MSTORE
000003ec: MLOAD
000003ed: SWAP1
000003ee: DUP2
000003ef: SWAP1
000003f0: SUB
000003f1: PUSH1 0x20
000003f3: ADD
000003f4: SWAP1
000003f5: RETURN
000003f6: JUMPDEST
000003f7: CALLVALUE
000003f8: DUP1
000003f9: ISZERO
000003fa: PUSH2 0x0402
000003fd: JUMPI
000003fe: PUSH1 0x00
00000400: DUP1
00000401: REVERT
00000402: JUMPDEST
00000403: POP
00000404: PUSH2 0x01f6
00000407: PUSH2 0x0931
0000040a: JUMP
0000040b: JUMPDEST
0000040c: CALLVALUE
0000040d: DUP1
0000040e: ISZERO
0000040f: PUSH2 0x0417
00000412: JUMPI
00000413: PUSH1 0x00
00000415: DUP1
00000416: REVERT
00000417: JUMPDEST
00000418: POP
00000419: PUSH2 0x01f6
0000041c: PUSH2 0x0955
0000041f: JUMP
00000420: JUMPDEST
00000421: CALLVALUE
00000422: DUP1
00000423: ISZERO
00000424: PUSH2 0x042c
00000427: JUMPI
00000428: PUSH1 0x00
0000042a: DUP1
0000042b: REVERT
0000042c: JUMPDEST
0000042d: POP
0000042e: PUSH2 0x01f6
00000431: PUSH2 0x095a
00000434: JUMP
00000435: JUMPDEST
00000436: CALLVALUE
00000437: DUP1
00000438: ISZERO
00000439: PUSH2 0x0441
0000043c: JUMPI
0000043d: PUSH1 0x00
0000043f: DUP1
00000440: REVERT
00000441: JUMPDEST
00000442: POP
00000443: PUSH2 0x0241
00000446: PUSH1 0x04
00000448: DUP1
00000449: CALLDATASIZE
0000044a: SUB
0000044b: PUSH1 0x20
0000044d: DUP2
0000044e: LT
0000044f: ISZERO
00000450: PUSH2 0x0458
00000453: JUMPI
00000454: PUSH1 0x00
00000456: DUP1
00000457: REVERT
00000458: JUMPDEST
00000459: POP
0000045a: CALLDATALOAD
0000045b: PUSH1 0x01
0000045d: PUSH1 0x01
0000045f: PUSH1 0xa0
00000461: SHL
00000462: SUB
00000463: AND
00000464: PUSH2 0x097e
00000467: JUMP
00000468: JUMPDEST
00000469: CALLVALUE
0000046a: DUP1
0000046b: ISZERO
0000046c: PUSH2 0x0474
0000046f: JUMPI
00000470: PUSH1 0x00
00000472: DUP1
00000473: REVERT
00000474: JUMPDEST
00000475: POP
00000476: PUSH2 0x01f6
00000479: PUSH1 0x04
0000047b: DUP1
0000047c: CALLDATASIZE
0000047d: SUB
0000047e: PUSH1 0x20
00000480: DUP2
00000481: LT
00000482: ISZERO
00000483: PUSH2 0x048b
00000486: JUMPI
00000487: PUSH1 0x00
00000489: DUP1
0000048a: REVERT
0000048b: JUMPDEST
0000048c: POP
0000048d: CALLDATALOAD
0000048e: PUSH2 0x0a3c
00000491: JUMP
00000492: JUMPDEST
00000493: CALLVALUE
00000494: DUP1
00000495: ISZERO
00000496: PUSH2 0x049e
00000499: JUMPI
0000049a: PUSH1 0x00
0000049c: DUP1
0000049d: REVERT
0000049e: JUMPDEST
0000049f: POP
000004a0: PUSH2 0x0241
000004a3: PUSH1 0x04
000004a5: DUP1
000004a6: CALLDATASIZE
000004a7: SUB
000004a8: PUSH1 0x40
000004aa: DUP2
000004ab: LT
000004ac: ISZERO
000004ad: PUSH2 0x04b5
000004b0: JUMPI
000004b1: PUSH1 0x00
000004b3: DUP1
000004b4: REVERT
000004b5: JUMPDEST
000004b6: POP
000004b7: DUP1
000004b8: CALLDATALOAD
000004b9: SWAP1
000004ba: PUSH1 0x20
000004bc: ADD
000004bd: CALLDATALOAD
000004be: PUSH1 0x01
000004c0: PUSH1 0x01
000004c2: PUSH1 0xa0
000004c4: SHL
000004c5: SUB
000004c6: AND
000004c7: PUSH2 0x0a53
000004ca: JUMP
000004cb: JUMPDEST
000004cc: CALLVALUE
000004cd: DUP1
000004ce: ISZERO
000004cf: PUSH2 0x04d7
000004d2: JUMPI
000004d3: PUSH1 0x00
000004d5: DUP1
000004d6: REVERT
000004d7: JUMPDEST
000004d8: POP
000004d9: PUSH2 0x0241
000004dc: PUSH1 0x04
000004de: DUP1
000004df: CALLDATASIZE
000004e0: SUB
000004e1: PUSH1 0x80
000004e3: DUP2
000004e4: LT
000004e5: ISZERO
000004e6: PUSH2 0x04ee
000004e9: JUMPI
000004ea: PUSH1 0x00
000004ec: DUP1
000004ed: REVERT
000004ee: JUMPDEST
000004ef: PUSH1 0x01
000004f1: PUSH1 0x01
000004f3: PUSH1 0xa0
000004f5: SHL
000004f6: SUB
000004f7: DUP3
000004f8: CALLDATALOAD
000004f9: DUP2
000004fa: AND
000004fb: SWAP3
000004fc: PUSH1 0x20
000004fe: DUP2
000004ff: ADD
00000500: CALLDATALOAD
00000501: DUP3
00000502: AND
00000503: SWAP3
00000504: PUSH1 0x40
00000506: DUP3
00000507: ADD
00000508: CALLDATALOAD
00000509: SWAP1
0000050a: SWAP3
0000050b: AND
0000050c: SWAP2
0000050d: DUP2
0000050e: ADD
0000050f: SWAP1
00000510: PUSH1 0x80
00000512: DUP2
00000513: ADD
00000514: PUSH1 0x60
00000516: DUP3
00000517: ADD
00000518: CALLDATALOAD
00000519: PUSH5 0x0100000000
0000051f: DUP2
00000520: GT
00000521: ISZERO
00000522: PUSH2 0x052a
00000525: JUMPI
00000526: PUSH1 0x00
00000528: DUP1
00000529: REVERT
0000052a: JUMPDEST
0000052b: DUP3
0000052c: ADD
0000052d: DUP4
0000052e: PUSH1 0x20
00000530: DUP3
00000531: ADD
00000532: GT
00000533: ISZERO
00000534: PUSH2 0x053c
00000537: JUMPI
00000538: PUSH1 0x00
0000053a: DUP1
0000053b: REVERT
0000053c: JUMPDEST
0000053d: DUP1
0000053e: CALLDATALOAD
0000053f: SWAP1
00000540: PUSH1 0x20
00000542: ADD
00000543: SWAP2
00000544: DUP5
00000545: PUSH1 0x01
00000547: DUP4
00000548: MUL
00000549: DUP5
0000054a: ADD
0000054b: GT
0000054c: PUSH5 0x0100000000
00000552: DUP4
00000553: GT
00000554: OR
00000555: ISZERO
00000556: PUSH2 0x055e
00000559: JUMPI
0000055a: PUSH1 0x00
0000055c: DUP1
0000055d: REVERT
0000055e: JUMPDEST
0000055f: POP
00000560: SWAP1
00000561: SWAP3
00000562: POP
00000563: SWAP1
00000564: POP
00000565: PUSH2 0x0aac
00000568: JUMP
00000569: JUMPDEST
0000056a: CALLVALUE
0000056b: DUP1
0000056c: ISZERO
0000056d: PUSH2 0x0575
00000570: JUMPI
00000571: PUSH1 0x00
00000573: DUP1
00000574: REVERT
00000575: JUMPDEST
00000576: POP
00000577: PUSH2 0x01f6
0000057a: PUSH2 0x0ba4
0000057d: JUMP
0000057e: JUMPDEST
0000057f: CALLER
00000580: JUMPDEST
00000581: SWAP1
00000582: JUMP
00000583: JUMPDEST
00000584: PUSH1 0x00
00000586: DUP3
00000587: DUP2
00000588: MSTORE
00000589: PUSH1 0x20
0000058b: DUP2
0000058c: SWAP1
0000058d: MSTORE
0000058e: PUSH1 0x40
00000590: DUP2
00000591: KECCAK256
00000592: PUSH2 0x05a1
00000595: SWAP1
00000596: DUP4
00000597: PUSH4 0xffffffff
0000059c: PUSH2 0x0bc8
0000059f: AND
000005a0: JUMP
000005a1: JUMPDEST
000005a2: SWAP1
000005a3: POP
000005a4: JUMPDEST
000005a5: SWAP3
000005a6: SWAP2
000005a7: POP
000005a8: POP
000005a9: JUMP
000005aa: JUMPDEST
000005ab: PUSH1 0x00
000005ad: DUP2
000005ae: DUP2
000005af: MSTORE
000005b0: PUSH1 0x20
000005b2: DUP2
000005b3: SWAP1
000005b4: MSTORE
000005b5: PUSH1 0x40
000005b7: SWAP1
000005b8: KECCAK256
000005b9: PUSH1 0x02
000005bb: ADD
000005bc: SLOAD
000005bd: JUMPDEST
000005be: SWAP2
000005bf: SWAP1
000005c0: POP
000005c1: JUMP
000005c2: JUMPDEST
000005c3: PUSH1 0x00
000005c5: DUP3
000005c6: DUP2
000005c7: MSTORE
000005c8: PUSH1 0x20
000005ca: DUP2
000005cb: SWAP1
000005cc: MSTORE
000005cd: PUSH1 0x40
000005cf: SWAP1
000005d0: KECCAK256
000005d1: PUSH1 0x02
000005d3: ADD
000005d4: SLOAD
000005d5: PUSH2 0x05e0
000005d8: SWAP1
000005d9: PUSH2 0x011e
000005dc: PUSH2 0x057e
000005df: JUMP
000005e0: JUMPDEST
000005e1: PUSH2 0x061b
000005e4: JUMPI
000005e5: PUSH1 0x40
000005e7: MLOAD
000005e8: PUSH3 0x461bcd
000005ec: PUSH1 0xe5
000005ee: SHL
000005ef: DUP2
000005f0: MSTORE
000005f1: PUSH1 0x04
000005f3: ADD
000005f4: DUP1
000005f5: DUP1
000005f6: PUSH1 0x20
000005f8: ADD
000005f9: DUP3
000005fa: DUP2
000005fb: SUB
000005fc: DUP3
000005fd: MSTORE
000005fe: PUSH1 0x2f
00000600: DUP2
00000601: MSTORE
00000602: PUSH1 0x20
00000604: ADD
00000605: DUP1
00000606: PUSH2 0x14f8
00000609: PUSH1 0x2f
0000060b: SWAP2
0000060c: CODECOPY
0000060d: PUSH1 0x40
0000060f: ADD
00000610: SWAP2
00000611: POP
00000612: POP
00000613: PUSH1 0x40
00000615: MLOAD
00000616: DUP1
00000617: SWAP2
00000618: SUB
00000619: SWAP1
0000061a: REVERT
0000061b: JUMPDEST
0000061c: PUSH2 0x0625
0000061f: DUP3
00000620: DUP3
00000621: PUSH2 0x0bdd
00000624: JUMP
00000625: JUMPDEST
00000626: POP
00000627: POP
00000628: JUMP
00000629: JUMPDEST
0000062a: PUSH2 0x0631
0000062d: PUSH2 0x057e
00000630: JUMP
00000631: JUMPDEST
00000632: PUSH1 0x01
00000634: PUSH1 0x01
00000636: PUSH1 0xa0
00000638: SHL
00000639: SUB
0000063a: AND
0000063b: DUP2
0000063c: PUSH1 0x01
0000063e: PUSH1 0x01
00000640: PUSH1 0xa0
00000642: SHL
00000643: SUB
00000644: AND
00000645: EQ
00000646: PUSH2 0x0680
00000649: JUMPI
0000064a: PUSH1 0x40
0000064c: MLOAD
0000064d: PUSH3 0x461bcd
00000651: PUSH1 0xe5
00000653: SHL
00000654: DUP2
00000655: MSTORE
00000656: PUSH1 0x04
00000658: ADD
00000659: DUP1
0000065a: DUP1
0000065b: PUSH1 0x20
0000065d: ADD
0000065e: DUP3
0000065f: DUP2
00000660: SUB
00000661: DUP3
00000662: MSTORE
00000663: PUSH1 0x2f
00000665: DUP2
00000666: MSTORE
00000667: PUSH1 0x20
00000669: ADD
0000066a: DUP1
0000066b: PUSH2 0x15cb
0000066e: PUSH1 0x2f
00000670: SWAP2
00000671: CODECOPY
00000672: PUSH1 0x40
00000674: ADD
00000675: SWAP2
00000676: POP
00000677: POP
00000678: PUSH1 0x40
0000067a: MLOAD
0000067b: DUP1
0000067c: SWAP2
0000067d: SUB
0000067e: SWAP1
0000067f: REVERT
00000680: JUMPDEST
00000681: PUSH2 0x0625
00000684: DUP3
00000685: DUP3
00000686: PUSH2 0x0c4c
00000689: JUMP
0000068a: JUMPDEST
0000068b: PUSH1 0x40
0000068d: DUP1
0000068e: MLOAD
0000068f: PUSH5 0x22ba3432b9
00000695: PUSH1 0xd9
00000697: SHL
00000698: DUP2
00000699: MSTORE
0000069a: SWAP1
0000069b: MLOAD
0000069c: SWAP1
0000069d: DUP2
0000069e: SWAP1
0000069f: SUB
000006a0: PUSH1 0x05
000006a2: ADD
000006a3: SWAP1
000006a4: KECCAK256
000006a5: DUP2
000006a6: JUMP
000006a7: JUMPDEST
000006a8: PUSH1 0x40
000006aa: DUP1
000006ab: MLOAD
000006ac: PUSH12 0x4d414e414745525f524f4c45
000006b9: PUSH1 0xa0
000006bb: SHL
000006bc: DUP2
000006bd: MSTORE
000006be: SWAP1
000006bf: MLOAD
000006c0: SWAP1
000006c1: DUP2
000006c2: SWAP1
000006c3: SUB
000006c4: PUSH1 0x0c
000006c6: ADD
000006c7: SWAP1
000006c8: KECCAK256
000006c9: PUSH2 0x06d4
000006cc: DUP2
000006cd: PUSH2 0x011e
000006d0: PUSH2 0x057e
000006d3: JUMP
000006d4: JUMPDEST
000006d5: PUSH1 0x01
000006d7: SWAP1
000006d8: PUSH2 0x073a
000006db: JUMPI
000006dc: PUSH1 0x40
000006de: MLOAD
000006df: PUSH3 0x461bcd
000006e3: PUSH1 0xe5
000006e5: SHL
000006e6: DUP2
000006e7: MSTORE
000006e8: PUSH1 0x20
000006ea: PUSH1 0x04
000006ec: DUP3
000006ed: ADD
000006ee: SWAP1
000006ef: DUP2
000006f0: MSTORE
000006f1: DUP3
000006f2: SLOAD
000006f3: PUSH1 0x02
000006f5: PUSH1 0x00
000006f7: NOT
000006f8: PUSH2 0x0100
000006fb: PUSH1 0x01
000006fd: DUP5
000006fe: AND
000006ff: ISZERO
00000700: MUL
00000701: ADD
00000702: SWAP1
00000703: SWAP2
00000704: AND
00000705: DIV
00000706: PUSH1 0x24
00000708: DUP4
00000709: ADD
0000070a: DUP2
0000070b: SWAP1
0000070c: MSTORE
0000070d: SWAP1
0000070e: SWAP2
0000070f: DUP3
00000710: SWAP2
00000711: PUSH1 0x44
00000713: SWAP1
00000714: SWAP2
00000715: ADD
00000716: SWAP1
00000717: DUP5
00000718: SWAP1
00000719: DUP1
0000071a: ISZERO
0000071b: PUSH2 0x01b4
0000071e: JUMPI
0000071f: DUP1
00000720: PUSH1 0x1f
00000722: LT
00000723: PUSH2 0x0189
00000726: JUMPI
00000727: PUSH2 0x0100
0000072a: DUP1
0000072b: DUP4
0000072c: SLOAD
0000072d: DIV
0000072e: MUL
0000072f: DUP4
00000730: MSTORE
00000731: SWAP2
00000732: PUSH1 0x20
00000734: ADD
00000735: SWAP2
00000736: PUSH2 0x01b4
00000739: JUMP
0000073a: JUMPDEST
0000073b: POP
0000073c: PUSH1 0x60
0000073e: PUSH2 0x074e
00000741: PUSH2 0x0749
00000744: DUP5
00000745: PUSH2 0x0cbb
00000748: JUMP
00000749: JUMPDEST
0000074a: PUSH2 0x0d36
0000074d: JUMP
0000074e: JUMPDEST
0000074f: SWAP1
00000750: POP
00000751: PUSH1 0x60
00000753: PUSH2 0x076f
00000756: DUP3
00000757: PUSH1 0x01
00000759: DUP2
0000075a: MLOAD
0000075b: DUP2
0000075c: LT
0000075d: PUSH2 0x0762
00000760: JUMPI
00000761: INVALID
00000762: JUMPDEST
00000763: PUSH1 0x20
00000765: MUL
00000766: PUSH1 0x20
00000768: ADD
00000769: ADD
0000076a: MLOAD
0000076b: PUSH2 0x0d36
0000076e: JUMP
0000076f: JUMPDEST
00000770: SWAP1
00000771: POP
00000772: PUSH32 0x67b714876402c93362735688659e2283b4a37fb21bab24bc759ca759ae851fd8
00000793: PUSH1 0x00
00000795: SHL
00000796: PUSH2 0x07b2
00000799: DUP3
0000079a: PUSH1 0x00
0000079c: DUP2
0000079d: MLOAD
0000079e: DUP2
0000079f: LT
000007a0: PUSH2 0x07a5
000007a3: JUMPI
000007a4: INVALID
000007a5: JUMPDEST
000007a6: PUSH1 0x20
000007a8: MUL
000007a9: PUSH1 0x20
000007ab: ADD
000007ac: ADD
000007ad: MLOAD
000007ae: PUSH2 0x0eb8
000007b1: JUMP
000007b2: JUMPDEST
000007b3: EQ
000007b4: PUSH2 0x07ee
000007b7: JUMPI
000007b8: PUSH1 0x40
000007ba: MLOAD
000007bb: PUSH3 0x461bcd
000007bf: PUSH1 0xe5
000007c1: SHL
000007c2: DUP2
000007c3: MSTORE
000007c4: PUSH1 0x04
000007c6: ADD
000007c7: DUP1
000007c8: DUP1
000007c9: PUSH1 0x20
000007cb: ADD
000007cc: DUP3
000007cd: DUP2
000007ce: SUB
000007cf: DUP3
000007d0: MSTORE
000007d1: PUSH1 0x21
000007d3: DUP2
000007d4: MSTORE
000007d5: PUSH1 0x20
000007d7: ADD
000007d8: DUP1
000007d9: PUSH2 0x1583
000007dc: PUSH1 0x21
000007de: SWAP2
000007df: CODECOPY
000007e0: PUSH1 0x40
000007e2: ADD
000007e3: SWAP2
000007e4: POP
000007e5: POP
000007e6: PUSH1 0x40
000007e8: MLOAD
000007e9: DUP1
000007ea: SWAP2
000007eb: SUB
000007ec: SWAP1
000007ed: REVERT
000007ee: JUMPDEST
000007ef: PUSH1 0x00
000007f1: PUSH2 0x0800
000007f4: DUP3
000007f5: PUSH1 0x01
000007f7: DUP2
000007f8: MLOAD
000007f9: DUP2
000007fa: LT
000007fb: PUSH2 0x07a5
000007fe: JUMPI
000007ff: INVALID
00000800: JUMPDEST
00000801: SWAP1
00000802: POP
00000803: PUSH1 0x00
00000805: PUSH1 0x01
00000807: PUSH1 0x01
00000809: PUSH1 0xa0
0000080b: SHL
0000080c: SUB
0000080d: AND
0000080e: PUSH2 0x081d
00000811: DUP4
00000812: PUSH1 0x02
00000814: DUP2
00000815: MLOAD
00000816: DUP2
00000817: LT
00000818: PUSH2 0x07a5
0000081b: JUMPI
0000081c: INVALID
0000081d: JUMPDEST
0000081e: PUSH1 0x01
00000820: PUSH1 0x01
00000822: PUSH1 0xa0
00000824: SHL
00000825: SUB
00000826: AND
00000827: EQ
00000828: PUSH2 0x0878
0000082b: JUMPI
0000082c: PUSH1 0x40
0000082e: DUP1
0000082f: MLOAD
00000830: PUSH3 0x461bcd
00000834: PUSH1 0xe5
00000836: SHL
00000837: DUP2
00000838: MSTORE
00000839: PUSH1 0x20
0000083b: PUSH1 0x04
0000083d: DUP3
0000083e: ADD
0000083f: DUP2
00000840: SWAP1
00000841: MSTORE
00000842: PUSH1 0x24
00000844: DUP3
00000845: ADD
00000846: MSTORE
00000847: PUSH32 0x45746865725072656469636174653a20494e56414c49445f5245434549564552
00000868: PUSH1 0x44
0000086a: DUP3
0000086b: ADD
0000086c: MSTORE
0000086d: SWAP1
0000086e: MLOAD
0000086f: SWAP1
00000870: DUP2
00000871: SWAP1
00000872: SUB
00000873: PUSH1 0x64
00000875: ADD
00000876: SWAP1
00000877: REVERT
00000878: JUMPDEST
00000879: DUP1
0000087a: PUSH1 0x01
0000087c: PUSH1 0x01
0000087e: PUSH1 0xa0
00000880: SHL
00000881: SUB
00000882: AND
00000883: PUSH32 0x0fc0eed41f72d3da77d0f53b9594fc7073acd15ee9d7c536819a70a67c57ef3c
000008a4: PUSH2 0x08b3
000008a7: DUP6
000008a8: PUSH1 0x02
000008aa: DUP2
000008ab: MLOAD
000008ac: DUP2
000008ad: LT
000008ae: PUSH2 0x07a5
000008b1: JUMPI
000008b2: INVALID
000008b3: JUMPDEST
000008b4: PUSH1 0x40
000008b6: DUP1
000008b7: MLOAD
000008b8: SWAP2
000008b9: DUP3
000008ba: MSTORE
000008bb: MLOAD
000008bc: SWAP1
000008bd: DUP2
000008be: SWAP1
000008bf: SUB
000008c0: PUSH1 0x20
000008c2: ADD
000008c3: SWAP1
000008c4: LOG2
000008c5: DUP1
000008c6: PUSH1 0x01
000008c8: PUSH1 0x01
000008ca: PUSH1 0xa0
000008cc: SHL
000008cd: SUB
000008ce: AND
000008cf: PUSH2 0x08fc
000008d2: PUSH2 0x08e1
000008d5: DUP6
000008d6: PUSH1 0x02
000008d8: DUP2
000008d9: MLOAD
000008da: DUP2
000008db: LT
000008dc: PUSH2 0x07a5
000008df: JUMPI
000008e0: INVALID
000008e1: JUMPDEST
000008e2: PUSH1 0x40
000008e4: MLOAD
000008e5: DUP2
000008e6: ISZERO
000008e7: SWAP1
000008e8: SWAP3
000008e9: MUL
000008ea: SWAP2
000008eb: PUSH1 0x00
000008ed: DUP2
000008ee: DUP2
000008ef: DUP2
000008f0: DUP6
000008f1: DUP9
000008f2: DUP9
000008f3: CALL
000008f4: SWAP4
000008f5: POP
000008f6: POP
000008f7: POP
000008f8: POP
000008f9: ISZERO
000008fa: DUP1
000008fb: ISZERO
000008fc: PUSH2 0x0909
000008ff: JUMPI
00000900: RETURNDATASIZE
00000901: PUSH1 0x00
00000903: DUP1
00000904: RETURNDATACOPY
00000905: RETURNDATASIZE
00000906: PUSH1 0x00
00000908: REVERT
00000909: JUMPDEST
0000090a: POP
0000090b: POP
0000090c: POP
0000090d: POP
0000090e: POP
0000090f: POP
00000910: POP
00000911: POP
00000912: JUMP
00000913: JUMPDEST
00000914: PUSH1 0x00
00000916: DUP3
00000917: DUP2
00000918: MSTORE
00000919: PUSH1 0x20
0000091b: DUP2
0000091c: SWAP1
0000091d: MSTORE
0000091e: PUSH1 0x40
00000920: DUP2
00000921: KECCAK256
00000922: PUSH2 0x05a1
00000925: SWAP1
00000926: DUP4
00000927: PUSH4 0xffffffff
0000092c: PUSH2 0x1000
0000092f: AND
00000930: JUMP
00000931: JUMPDEST
00000932: PUSH32 0x67b714876402c93362735688659e2283b4a37fb21bab24bc759ca759ae851fd8
00000953: DUP2
00000954: JUMP
00000955: JUMPDEST
00000956: PUSH1 0x00
00000958: DUP2
00000959: JUMP
0000095a: JUMPDEST
0000095b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000097c: DUP2
0000097d: JUMP
0000097e: JUMPDEST
0000097f: PUSH1 0x02
00000981: SLOAD
00000982: PUSH1 0xff
00000984: AND
00000985: ISZERO
00000986: PUSH2 0x09c7
00000989: JUMPI
0000098a: PUSH1 0x40
0000098c: DUP1
0000098d: MLOAD
0000098e: PUSH3 0x461bcd
00000992: PUSH1 0xe5
00000994: SHL
00000995: DUP2
00000996: MSTORE
00000997: PUSH1 0x20
00000999: PUSH1 0x04
0000099b: DUP3
0000099c: ADD
0000099d: MSTORE
0000099e: PUSH1 0x0e
000009a0: PUSH1 0x24
000009a2: DUP3
000009a3: ADD
000009a4: MSTORE
000009a5: PUSH14 0x185b1c9958591e481a5b9a5d1959
000009b4: PUSH1 0x92
000009b6: SHL
000009b7: PUSH1 0x44
000009b9: DUP3
000009ba: ADD
000009bb: MSTORE
000009bc: SWAP1
000009bd: MLOAD
000009be: SWAP1
000009bf: DUP2
000009c0: SWAP1
000009c1: SUB
000009c2: PUSH1 0x64
000009c4: ADD
000009c5: SWAP1
000009c6: REVERT
000009c7: JUMPDEST
000009c8: PUSH2 0x09f6
000009cb: PUSH1 0x40
000009cd: MLOAD
000009ce: DUP1
000009cf: PUSH1 0x40
000009d1: ADD
000009d2: PUSH1 0x40
000009d4: MSTORE
000009d5: DUP1
000009d6: PUSH1 0x0e
000009d8: DUP2
000009d9: MSTORE
000009da: PUSH1 0x20
000009dc: ADD
000009dd: PUSH14 0x4574686572507265646963617465
000009ec: PUSH1 0x90
000009ee: SHL
000009ef: DUP2
000009f0: MSTORE
000009f1: POP
000009f2: PUSH2 0x100c
000009f5: JUMP
000009f6: JUMPDEST
000009f7: PUSH2 0x0a01
000009fa: PUSH1 0x00
000009fc: DUP3
000009fd: PUSH2 0x061b
00000a00: JUMP
00000a01: JUMPDEST
00000a02: PUSH1 0x40
00000a04: DUP1
00000a05: MLOAD
00000a06: PUSH12 0x4d414e414745525f524f4c45
00000a13: PUSH1 0xa0
00000a15: SHL
00000a16: DUP2
00000a17: MSTORE
00000a18: SWAP1
00000a19: MLOAD
00000a1a: SWAP1
00000a1b: DUP2
00000a1c: SWAP1
00000a1d: SUB
00000a1e: PUSH1 0x0c
00000a20: ADD
00000a21: SWAP1
00000a22: KECCAK256
00000a23: PUSH2 0x0a2c
00000a26: SWAP1
00000a27: DUP3
00000a28: PUSH2 0x061b
00000a2b: JUMP
00000a2c: JUMPDEST
00000a2d: POP
00000a2e: PUSH1 0x02
00000a30: DUP1
00000a31: SLOAD
00000a32: PUSH1 0xff
00000a34: NOT
00000a35: AND
00000a36: PUSH1 0x01
00000a38: OR
00000a39: SWAP1
00000a3a: SSTORE
00000a3b: JUMP
00000a3c: JUMPDEST
00000a3d: PUSH1 0x00
00000a3f: DUP2
00000a40: DUP2
00000a41: MSTORE
00000a42: PUSH1 0x20
00000a44: DUP2
00000a45: SWAP1
00000a46: MSTORE
00000a47: PUSH1 0x40
00000a49: DUP2
00000a4a: KECCAK256
00000a4b: PUSH2 0x05a4
00000a4e: SWAP1
00000a4f: PUSH2 0x10aa
00000a52: JUMP
00000a53: JUMPDEST
00000a54: PUSH1 0x00
00000a56: DUP3
00000a57: DUP2
00000a58: MSTORE
00000a59: PUSH1 0x20
00000a5b: DUP2
00000a5c: SWAP1
00000a5d: MSTORE
00000a5e: PUSH1 0x40
00000a60: SWAP1
00000a61: KECCAK256
00000a62: PUSH1 0x02
00000a64: ADD
00000a65: SLOAD
00000a66: PUSH2 0x0a71
00000a69: SWAP1
00000a6a: PUSH2 0x011e
00000a6d: PUSH2 0x057e
00000a70: JUMP
00000a71: JUMPDEST
00000a72: PUSH2 0x0680
00000a75: JUMPI
00000a76: PUSH1 0x40
00000a78: MLOAD
00000a79: PUSH3 0x461bcd
00000a7d: PUSH1 0xe5
00000a7f: SHL
00000a80: DUP2
00000a81: MSTORE
00000a82: PUSH1 0x04
00000a84: ADD
00000a85: DUP1
00000a86: DUP1
00000a87: PUSH1 0x20
00000a89: ADD
00000a8a: DUP3
00000a8b: DUP2
00000a8c: SUB
00000a8d: DUP3
00000a8e: MSTORE
00000a8f: PUSH1 0x30
00000a91: DUP2
00000a92: MSTORE
00000a93: PUSH1 0x20
00000a95: ADD
00000a96: DUP1
00000a97: PUSH2 0x1527
00000a9a: PUSH1 0x30
00000a9c: SWAP2
00000a9d: CODECOPY
00000a9e: PUSH1 0x40
00000aa0: ADD
00000aa1: SWAP2
00000aa2: POP
00000aa3: POP
00000aa4: PUSH1 0x40
00000aa6: MLOAD
00000aa7: DUP1
00000aa8: SWAP2
00000aa9: SUB
00000aaa: SWAP1
00000aab: REVERT
00000aac: JUMPDEST
00000aad: PUSH1 0x40
00000aaf: DUP1
00000ab0: MLOAD
00000ab1: PUSH12 0x4d414e414745525f524f4c45
00000abe: PUSH1 0xa0
00000ac0: SHL
00000ac1: DUP2
00000ac2: MSTORE
00000ac3: SWAP1
00000ac4: MLOAD
00000ac5: SWAP1
00000ac6: DUP2
00000ac7: SWAP1
00000ac8: SUB
00000ac9: PUSH1 0x0c
00000acb: ADD
00000acc: SWAP1
00000acd: KECCAK256
00000ace: PUSH2 0x0ad9
00000ad1: DUP2
00000ad2: PUSH2 0x011e
00000ad5: PUSH2 0x057e
00000ad8: JUMP
00000ad9: JUMPDEST
00000ada: PUSH1 0x01
00000adc: SWAP1
00000add: PUSH2 0x0b3f
00000ae0: JUMPI
00000ae1: PUSH1 0x40
00000ae3: MLOAD
00000ae4: PUSH3 0x461bcd
00000ae8: PUSH1 0xe5
00000aea: SHL
00000aeb: DUP2
00000aec: MSTORE
00000aed: PUSH1 0x20
00000aef: PUSH1 0x04
00000af1: DUP3
00000af2: ADD
00000af3: SWAP1
00000af4: DUP2
00000af5: MSTORE
00000af6: DUP3
00000af7: SLOAD
00000af8: PUSH1 0x02
00000afa: PUSH1 0x00
00000afc: NOT
00000afd: PUSH2 0x0100
00000b00: PUSH1 0x01
00000b02: DUP5
00000b03: AND
00000b04: ISZERO
00000b05: MUL
00000b06: ADD
00000b07: SWAP1
00000b08: SWAP2
00000b09: AND
00000b0a: DIV
00000b0b: PUSH1 0x24
00000b0d: DUP4
00000b0e: ADD
00000b0f: DUP2
00000b10: SWAP1
00000b11: MSTORE
00000b12: SWAP1
00000b13: SWAP2
00000b14: DUP3
00000b15: SWAP2
00000b16: PUSH1 0x44
00000b18: SWAP1
00000b19: SWAP2
00000b1a: ADD
00000b1b: SWAP1
00000b1c: DUP5
00000b1d: SWAP1
00000b1e: DUP1
00000b1f: ISZERO
00000b20: PUSH2 0x01b4
00000b23: JUMPI
00000b24: DUP1
00000b25: PUSH1 0x1f
00000b27: LT
00000b28: PUSH2 0x0189
00000b2b: JUMPI
00000b2c: PUSH2 0x0100
00000b2f: DUP1
00000b30: DUP4
00000b31: SLOAD
00000b32: DIV
00000b33: MUL
00000b34: DUP4
00000b35: MSTORE
00000b36: SWAP2
00000b37: PUSH1 0x20
00000b39: ADD
00000b3a: SWAP2
00000b3b: PUSH2 0x01b4
00000b3e: JUMP
00000b3f: JUMPDEST
00000b40: POP
00000b41: PUSH1 0x00
00000b43: DUP4
00000b44: DUP4
00000b45: PUSH1 0x20
00000b47: DUP2
00000b48: LT
00000b49: ISZERO
00000b4a: PUSH2 0x0b52
00000b4d: JUMPI
00000b4e: PUSH1 0x00
00000b50: DUP1
00000b51: REVERT
00000b52: JUMPDEST
00000b53: POP
00000b54: PUSH1 0x40
00000b56: DUP1
00000b57: MLOAD
00000b58: SWAP2
00000b59: CALLDATALOAD
00000b5a: DUP1
00000b5b: DUP4
00000b5c: MSTORE
00000b5d: SWAP1
00000b5e: MLOAD
00000b5f: SWAP1
00000b60: SWAP3
00000b61: POP
00000b62: PUSH1 0x01
00000b64: PUSH1 0x01
00000b66: PUSH1 0xa0
00000b68: SHL
00000b69: SUB
00000b6a: DUP1
00000b6b: DUP10
00000b6c: AND
00000b6d: SWAP3
00000b6e: SWAP1
00000b6f: DUP11
00000b70: AND
00000b71: SWAP2
00000b72: PUSH32 0x3e799b2d61372379e767ef8f04d65089179b7a6f63f9be3065806456c7309f1b
00000b93: SWAP2
00000b94: DUP2
00000b95: SWAP1
00000b96: SUB
00000b97: PUSH1 0x20
00000b99: ADD
00000b9a: SWAP1
00000b9b: LOG3
00000b9c: POP
00000b9d: POP
00000b9e: POP
00000b9f: POP
00000ba0: POP
00000ba1: POP
00000ba2: POP
00000ba3: JUMP
00000ba4: JUMPDEST
00000ba5: PUSH1 0x40
00000ba7: DUP1
00000ba8: MLOAD
00000ba9: PUSH12 0x4d414e414745525f524f4c45
00000bb6: PUSH1 0xa0
00000bb8: SHL
00000bb9: DUP2
00000bba: MSTORE
00000bbb: SWAP1
00000bbc: MLOAD
00000bbd: SWAP1
00000bbe: DUP2
00000bbf: SWAP1
00000bc0: SUB
00000bc1: PUSH1 0x0c
00000bc3: ADD
00000bc4: SWAP1
00000bc5: KECCAK256
00000bc6: DUP2
00000bc7: JUMP
00000bc8: JUMPDEST
00000bc9: PUSH1 0x00
00000bcb: PUSH2 0x05a1
00000bce: DUP4
00000bcf: PUSH1 0x01
00000bd1: PUSH1 0x01
00000bd3: PUSH1 0xa0
00000bd5: SHL
00000bd6: SUB
00000bd7: DUP5
00000bd8: AND
00000bd9: PUSH2 0x10b5
00000bdc: JUMP
00000bdd: JUMPDEST
00000bde: PUSH1 0x00
00000be0: DUP3
00000be1: DUP2
00000be2: MSTORE
00000be3: PUSH1 0x20
00000be5: DUP2
00000be6: SWAP1
00000be7: MSTORE
00000be8: PUSH1 0x40
00000bea: SWAP1
00000beb: KECCAK256
00000bec: PUSH2 0x0bfb
00000bef: SWAP1
00000bf0: DUP3
00000bf1: PUSH4 0xffffffff
00000bf6: PUSH2 0x10cd
00000bf9: AND
00000bfa: JUMP
00000bfb: JUMPDEST
00000bfc: ISZERO
00000bfd: PUSH2 0x0625
00000c00: JUMPI
00000c01: PUSH2 0x0c08
00000c04: PUSH2 0x057e
00000c07: JUMP
00000c08: JUMPDEST
00000c09: PUSH1 0x01
00000c0b: PUSH1 0x01
00000c0d: PUSH1 0xa0
00000c0f: SHL
00000c10: SUB
00000c11: AND
00000c12: DUP2
00000c13: PUSH1 0x01
00000c15: PUSH1 0x01
00000c17: PUSH1 0xa0
00000c19: SHL
00000c1a: SUB
00000c1b: AND
00000c1c: DUP4
00000c1d: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
00000c3e: PUSH1 0x40
00000c40: MLOAD
00000c41: PUSH1 0x40
00000c43: MLOAD
00000c44: DUP1
00000c45: SWAP2
00000c46: SUB
00000c47: SWAP1
00000c48: LOG4
00000c49: POP
00000c4a: POP
00000c4b: JUMP
00000c4c: JUMPDEST
00000c4d: PUSH1 0x00
00000c4f: DUP3
00000c50: DUP2
00000c51: MSTORE
00000c52: PUSH1 0x20
00000c54: DUP2
00000c55: SWAP1
00000c56: MSTORE
00000c57: PUSH1 0x40
00000c59: SWAP1
00000c5a: KECCAK256
00000c5b: PUSH2 0x0c6a
00000c5e: SWAP1
00000c5f: DUP3
00000c60: PUSH4 0xffffffff
00000c65: PUSH2 0x10e2
00000c68: AND
00000c69: JUMP
00000c6a: JUMPDEST
00000c6b: ISZERO
00000c6c: PUSH2 0x0625
00000c6f: JUMPI
00000c70: PUSH2 0x0c77
00000c73: PUSH2 0x057e
00000c76: JUMP
00000c77: JUMPDEST
00000c78: PUSH1 0x01
00000c7a: PUSH1 0x01
00000c7c: PUSH1 0xa0
00000c7e: SHL
00000c7f: SUB
00000c80: AND
00000c81: DUP2
00000c82: PUSH1 0x01
00000c84: PUSH1 0x01
00000c86: PUSH1 0xa0
00000c88: SHL
00000c89: SUB
00000c8a: AND
00000c8b: DUP4
00000c8c: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00000cad: PUSH1 0x40
00000caf: MLOAD
00000cb0: PUSH1 0x40
00000cb2: MLOAD
00000cb3: DUP1
00000cb4: SWAP2
00000cb5: SUB
00000cb6: SWAP1
00000cb7: LOG4
00000cb8: POP
00000cb9: POP
00000cba: JUMP
00000cbb: JUMPDEST
00000cbc: PUSH2 0x0cc3
00000cbf: PUSH2 0x1423
00000cc2: JUMP
00000cc3: JUMPDEST
00000cc4: PUSH1 0x00
00000cc6: DUP3
00000cc7: MLOAD
00000cc8: GT
00000cc9: PUSH2 0x0d19
00000ccc: JUMPI
00000ccd: PUSH1 0x40
00000ccf: DUP1
00000cd0: MLOAD
00000cd1: PUSH3 0x461bcd
00000cd5: PUSH1 0xe5
00000cd7: SHL
00000cd8: DUP2
00000cd9: MSTORE
00000cda: PUSH1 0x20
00000cdc: PUSH1 0x04
00000cde: DUP3
00000cdf: ADD
00000ce0: MSTORE
00000ce1: PUSH1 0x1f
00000ce3: PUSH1 0x24
00000ce5: DUP3
00000ce6: ADD
00000ce7: MSTORE
00000ce8: PUSH32 0x524c505265616465723a20494e56414c49445f42595445535f4c454e47544800
00000d09: PUSH1 0x44
00000d0b: DUP3
00000d0c: ADD
00000d0d: MSTORE
00000d0e: SWAP1
00000d0f: MLOAD
00000d10: SWAP1
00000d11: DUP2
00000d12: SWAP1
00000d13: SUB
00000d14: PUSH1 0x64
00000d16: ADD
00000d17: SWAP1
00000d18: REVERT
00000d19: JUMPDEST
00000d1a: POP
00000d1b: PUSH1 0x40
00000d1d: DUP1
00000d1e: MLOAD
00000d1f: DUP1
00000d20: DUP3
00000d21: ADD
00000d22: SWAP1
00000d23: SWAP2
00000d24: MSTORE
00000d25: DUP2
00000d26: MLOAD
00000d27: DUP2
00000d28: MSTORE
00000d29: PUSH1 0x20
00000d2b: DUP3
00000d2c: DUP2
00000d2d: ADD
00000d2e: SWAP1
00000d2f: DUP3
00000d30: ADD
00000d31: MSTORE
00000d32: SWAP2
00000d33: SWAP1
00000d34: POP
00000d35: JUMP
00000d36: JUMPDEST
00000d37: PUSH1 0x60
00000d39: PUSH2 0x0d41
00000d3c: DUP3
00000d3d: PUSH2 0x10f7
00000d40: JUMP
00000d41: JUMPDEST
00000d42: PUSH2 0x0d92
00000d45: JUMPI
00000d46: PUSH1 0x40
00000d48: DUP1
00000d49: MLOAD
00000d4a: PUSH3 0x461bcd
00000d4e: PUSH1 0xe5
00000d50: SHL
00000d51: DUP2
00000d52: MSTORE
00000d53: PUSH1 0x20
00000d55: PUSH1 0x04
00000d57: DUP3
00000d58: ADD
00000d59: MSTORE
00000d5a: PUSH1 0x18
00000d5c: PUSH1 0x24
00000d5e: DUP3
00000d5f: ADD
00000d60: MSTORE
00000d61: PUSH32 0x524c505265616465723a204954454d5f4e4f545f4c4953540000000000000000
00000d82: PUSH1 0x44
00000d84: DUP3
00000d85: ADD
00000d86: MSTORE
00000d87: SWAP1
00000d88: MLOAD
00000d89: SWAP1
00000d8a: DUP2
00000d8b: SWAP1
00000d8c: SUB
00000d8d: PUSH1 0x64
00000d8f: ADD
00000d90: SWAP1
00000d91: REVERT
00000d92: JUMPDEST
00000d93: PUSH1 0x00
00000d95: PUSH2 0x0d9d
00000d98: DUP4
00000d99: PUSH2 0x1123
00000d9c: JUMP
00000d9d: JUMPDEST
00000d9e: SWAP1
00000d9f: POP
00000da0: PUSH1 0x60
00000da2: DUP2
00000da3: PUSH8 0xffffffffffffffff
00000dac: DUP2
00000dad: GT
00000dae: DUP1
00000daf: ISZERO
00000db0: PUSH2 0x0db8
00000db3: JUMPI
00000db4: PUSH1 0x00
00000db6: DUP1
00000db7: REVERT
00000db8: JUMPDEST
00000db9: POP
00000dba: PUSH1 0x40
00000dbc: MLOAD
00000dbd: SWAP1
00000dbe: DUP1
00000dbf: DUP3
00000dc0: MSTORE
00000dc1: DUP1
00000dc2: PUSH1 0x20
00000dc4: MUL
00000dc5: PUSH1 0x20
00000dc7: ADD
00000dc8: DUP3
00000dc9: ADD
00000dca: PUSH1 0x40
00000dcc: MSTORE
00000dcd: DUP1
00000dce: ISZERO
00000dcf: PUSH2 0x0df2
00000dd2: JUMPI
00000dd3: DUP2
00000dd4: PUSH1 0x20
00000dd6: ADD
00000dd7: JUMPDEST
00000dd8: PUSH2 0x0ddf
00000ddb: PUSH2 0x1423
00000dde: JUMP
00000ddf: JUMPDEST
00000de0: DUP2
00000de1: MSTORE
00000de2: PUSH1 0x20
00000de4: ADD
00000de5: SWAP1
00000de6: PUSH1 0x01
00000de8: SWAP1
00000de9: SUB
00000dea: SWAP1
00000deb: DUP2
00000dec: PUSH2 0x0dd7
00000def: JUMPI
00000df0: SWAP1
00000df1: POP
00000df2: JUMPDEST
00000df3: POP
00000df4: SWAP1
00000df5: POP
00000df6: PUSH1 0x00
00000df8: PUSH2 0x0e04
00000dfb: DUP6
00000dfc: PUSH1 0x20
00000dfe: ADD
00000dff: MLOAD
00000e00: PUSH2 0x11af
00000e03: JUMP
00000e04: JUMPDEST
00000e05: DUP6
00000e06: MLOAD
00000e07: SWAP1
00000e08: SWAP2
00000e09: POP
00000e0a: DUP2
00000e0b: EQ
00000e0c: PUSH2 0x0e46
00000e0f: JUMPI
00000e10: PUSH1 0x40
00000e12: MLOAD
00000e13: PUSH3 0x461bcd
00000e17: PUSH1 0xe5
00000e19: SHL
00000e1a: DUP2
00000e1b: MSTORE
00000e1c: PUSH1 0x04
00000e1e: ADD
00000e1f: DUP1
00000e20: DUP1
00000e21: PUSH1 0x20
00000e23: ADD
00000e24: DUP3
00000e25: DUP2
00000e26: SUB
00000e27: DUP3
00000e28: MSTORE
00000e29: PUSH1 0x27
00000e2b: DUP2
00000e2c: MSTORE
00000e2d: PUSH1 0x20
00000e2f: ADD
00000e30: DUP1
00000e31: PUSH2 0x15a4
00000e34: PUSH1 0x27
00000e36: SWAP2
00000e37: CODECOPY
00000e38: PUSH1 0x40
00000e3a: ADD
00000e3b: SWAP2
00000e3c: POP
00000e3d: POP
00000e3e: PUSH1 0x40
00000e40: MLOAD
00000e41: DUP1
00000e42: SWAP2
00000e43: SUB
00000e44: SWAP1
00000e45: REVERT
00000e46: JUMPDEST
00000e47: PUSH1 0x00
00000e49: PUSH2 0x0e55
00000e4c: DUP7
00000e4d: PUSH1 0x20
00000e4f: ADD
00000e50: MLOAD
00000e51: PUSH2 0x1248
00000e54: JUMP
00000e55: JUMPDEST
00000e56: PUSH1 0x20
00000e58: DUP8
00000e59: ADD
00000e5a: MLOAD
00000e5b: ADD
00000e5c: SWAP1
00000e5d: POP
00000e5e: PUSH1 0x00
00000e60: DUP1
00000e61: JUMPDEST
00000e62: DUP6
00000e63: DUP2
00000e64: LT
00000e65: ISZERO
00000e66: PUSH2 0x0eac
00000e69: JUMPI
00000e6a: PUSH2 0x0e72
00000e6d: DUP4
00000e6e: PUSH2 0x11af
00000e71: JUMP
00000e72: JUMPDEST
00000e73: SWAP2
00000e74: POP
00000e75: PUSH1 0x40
00000e77: MLOAD
00000e78: DUP1
00000e79: PUSH1 0x40
00000e7b: ADD
00000e7c: PUSH1 0x40
00000e7e: MSTORE
00000e7f: DUP1
00000e80: DUP4
00000e81: DUP2
00000e82: MSTORE
00000e83: PUSH1 0x20
00000e85: ADD
00000e86: DUP5
00000e87: DUP2
00000e88: MSTORE
00000e89: POP
00000e8a: DUP6
00000e8b: DUP3
00000e8c: DUP2
00000e8d: MLOAD
00000e8e: DUP2
00000e8f: LT
00000e90: PUSH2 0x0e95
00000e93: JUMPI
00000e94: INVALID
00000e95: JUMPDEST
00000e96: PUSH1 0x20
00000e98: SWAP1
00000e99: DUP2
00000e9a: MUL
00000e9b: SWAP2
00000e9c: SWAP1
00000e9d: SWAP2
00000e9e: ADD
00000e9f: ADD
00000ea0: MSTORE
00000ea1: SWAP2
00000ea2: DUP2
00000ea3: ADD
00000ea4: SWAP2
00000ea5: PUSH1 0x01
00000ea7: ADD
00000ea8: PUSH2 0x0e61
00000eab: JUMP
00000eac: JUMPDEST
00000ead: POP
00000eae: SWAP3
00000eaf: SWAP7
00000eb0: SWAP6
00000eb1: POP
00000eb2: POP
00000eb3: POP
00000eb4: POP
00000eb5: POP
00000eb6: POP
00000eb7: JUMP
00000eb8: JUMPDEST
00000eb9: PUSH1 0x00
00000ebb: PUSH2 0x0ec3
00000ebe: DUP3
00000ebf: PUSH2 0x10f7
00000ec2: JUMP
00000ec3: JUMPDEST
00000ec4: ISZERO
00000ec5: PUSH2 0x0f15
00000ec8: JUMPI
00000ec9: PUSH1 0x40
00000ecb: DUP1
00000ecc: MLOAD
00000ecd: PUSH3 0x461bcd
00000ed1: PUSH1 0xe5
00000ed3: SHL
00000ed4: DUP2
00000ed5: MSTORE
00000ed6: PUSH1 0x20
00000ed8: PUSH1 0x04
00000eda: DUP3
00000edb: ADD
00000edc: DUP2
00000edd: SWAP1
00000ede: MSTORE
00000edf: PUSH1 0x24
00000ee1: DUP3
00000ee2: ADD
00000ee3: MSTORE
00000ee4: PUSH32 0x524c505265616465723a204445434f44494e475f4c4953545f41535f55494e54
00000f05: PUSH1 0x44
00000f07: DUP3
00000f08: ADD
00000f09: MSTORE
00000f0a: SWAP1
00000f0b: MLOAD
00000f0c: SWAP1
00000f0d: DUP2
00000f0e: SWAP1
00000f0f: SUB
00000f10: PUSH1 0x64
00000f12: ADD
00000f13: SWAP1
00000f14: REVERT
00000f15: JUMPDEST
00000f16: DUP2
00000f17: MLOAD
00000f18: PUSH1 0x21
00000f1a: LT
00000f1b: ISZERO
00000f1c: PUSH2 0x0f6c
00000f1f: JUMPI
00000f20: PUSH1 0x40
00000f22: DUP1
00000f23: MLOAD
00000f24: PUSH3 0x461bcd
00000f28: PUSH1 0xe5
00000f2a: SHL
00000f2b: DUP2
00000f2c: MSTORE
00000f2d: PUSH1 0x20
00000f2f: PUSH1 0x04
00000f31: DUP3
00000f32: ADD
00000f33: MSTORE
00000f34: PUSH1 0x1e
00000f36: PUSH1 0x24
00000f38: DUP3
00000f39: ADD
00000f3a: MSTORE
00000f3b: PUSH32 0x524c505265616465723a20494e56414c49445f55494e545f4c454e4754480000
00000f5c: PUSH1 0x44
00000f5e: DUP3
00000f5f: ADD
00000f60: MSTORE
00000f61: SWAP1
00000f62: MLOAD
00000f63: SWAP1
00000f64: DUP2
00000f65: SWAP1
00000f66: SUB
00000f67: PUSH1 0x64
00000f69: ADD
00000f6a: SWAP1
00000f6b: REVERT
00000f6c: JUMPDEST
00000f6d: PUSH1 0x00
00000f6f: PUSH2 0x0f7b
00000f72: DUP4
00000f73: PUSH1 0x20
00000f75: ADD
00000f76: MLOAD
00000f77: PUSH2 0x11af
00000f7a: JUMP
00000f7b: JUMPDEST
00000f7c: DUP4
00000f7d: MLOAD
00000f7e: SWAP1
00000f7f: SWAP2
00000f80: POP
00000f81: DUP2
00000f82: EQ
00000f83: PUSH2 0x0fbd
00000f86: JUMPI
00000f87: PUSH1 0x40
00000f89: MLOAD
00000f8a: PUSH3 0x461bcd
00000f8e: PUSH1 0xe5
00000f90: SHL
00000f91: DUP2
00000f92: MSTORE
00000f93: PUSH1 0x04
00000f95: ADD
00000f96: DUP1
00000f97: DUP1
00000f98: PUSH1 0x20
00000f9a: ADD
00000f9b: DUP3
00000f9c: DUP2
00000f9d: SUB
00000f9e: DUP3
00000f9f: MSTORE
00000fa0: PUSH1 0x27
00000fa2: DUP2
00000fa3: MSTORE
00000fa4: PUSH1 0x20
00000fa6: ADD
00000fa7: DUP1
00000fa8: PUSH2 0x15fa
00000fab: PUSH1 0x27
00000fad: SWAP2
00000fae: CODECOPY
00000faf: PUSH1 0x40
00000fb1: ADD
00000fb2: SWAP2
00000fb3: POP
00000fb4: POP
00000fb5: PUSH1 0x40
00000fb7: MLOAD
00000fb8: DUP1
00000fb9: SWAP2
00000fba: SUB
00000fbb: SWAP1
00000fbc: REVERT
00000fbd: JUMPDEST
00000fbe: PUSH1 0x00
00000fc0: PUSH2 0x0fcc
00000fc3: DUP5
00000fc4: PUSH1 0x20
00000fc6: ADD
00000fc7: MLOAD
00000fc8: PUSH2 0x1248
00000fcb: JUMP
00000fcc: JUMPDEST
00000fcd: DUP5
00000fce: MLOAD
00000fcf: PUSH1 0x20
00000fd1: DUP1
00000fd2: DUP8
00000fd3: ADD
00000fd4: MLOAD
00000fd5: DUP4
00000fd6: ADD
00000fd7: DUP1
00000fd8: MLOAD
00000fd9: SWAP4
00000fda: SWAP5
00000fdb: POP
00000fdc: SWAP2
00000fdd: DUP5
00000fde: SWAP1
00000fdf: SUB
00000fe0: SWAP3
00000fe1: SWAP2
00000fe2: SWAP1
00000fe3: DUP4
00000fe4: LT
00000fe5: ISZERO
00000fe6: PUSH2 0x0ff6
00000fe9: JUMPI
00000fea: DUP3
00000feb: PUSH1 0x20
00000fed: SUB
00000fee: PUSH2 0x0100
00000ff1: EXP
00000ff2: DUP3
00000ff3: DIV
00000ff4: SWAP2
00000ff5: POP
00000ff6: JUMPDEST
00000ff7: POP
00000ff8: SWAP6
00000ff9: SWAP5
00000ffa: POP
00000ffb: POP
00000ffc: POP
00000ffd: POP
00000ffe: POP
00000fff: JUMP
00001000: JUMPDEST
00001001: PUSH1 0x00
00001003: PUSH2 0x05a1
00001006: DUP4
00001007: DUP4
00001008: PUSH2 0x12ab
0000100b: JUMP
0000100c: JUMPDEST
0000100d: DUP1
0000100e: PUSH1 0x40
00001010: MLOAD
00001011: PUSH1 0x20
00001013: ADD
00001014: DUP1
00001015: DUP3
00001016: DUP1
00001017: MLOAD
00001018: SWAP1
00001019: PUSH1 0x20
0000101b: ADD
0000101c: SWAP1
0000101d: DUP1
0000101e: DUP4
0000101f: DUP4
00001020: JUMPDEST
00001021: PUSH1 0x20
00001023: DUP4
00001024: LT
00001025: PUSH2 0x103f
00001028: JUMPI
00001029: DUP1
0000102a: MLOAD
0000102b: DUP3
0000102c: MSTORE
0000102d: PUSH1 0x1f
0000102f: NOT
00001030: SWAP1
00001031: SWAP3
00001032: ADD
00001033: SWAP2
00001034: PUSH1 0x20
00001036: SWAP2
00001037: DUP3
00001038: ADD
00001039: SWAP2
0000103a: ADD
0000103b: PUSH2 0x1020
0000103e: JUMP
0000103f: JUMPDEST
00001040: MLOAD
00001041: DUP2
00001042: MLOAD
00001043: PUSH1 0x20
00001045: SWAP4
00001046: DUP5
00001047: SUB
00001048: PUSH2 0x0100
0000104b: EXP
0000104c: PUSH1 0x00
0000104e: NOT
0000104f: ADD
00001050: DUP1
00001051: NOT
00001052: SWAP1
00001053: SWAP3
00001054: AND
00001055: SWAP2
00001056: AND
00001057: OR
00001058: SWAP1
00001059: MSTORE
0000105a: PUSH32 0x3a20494e53554646494349454e545f5045524d495353494f4e53000000000000
0000107b: SWAP2
0000107c: SWAP1
0000107d: SWAP4
0000107e: ADD
0000107f: SWAP1
00001080: DUP2
00001081: MSTORE
00001082: PUSH1 0x40
00001084: DUP1
00001085: MLOAD
00001086: DUP1
00001087: DUP4
00001088: SUB
00001089: PUSH1 0x05
0000108b: NOT
0000108c: ADD
0000108d: DUP2
0000108e: MSTORE
0000108f: PUSH1 0x1a
00001091: SWAP1
00001092: SWAP3
00001093: ADD
00001094: SWAP1
00001095: MSTORE
00001096: DUP1
00001097: MLOAD
00001098: PUSH2 0x0625
0000109b: SWAP6
0000109c: POP
0000109d: PUSH1 0x01
0000109f: SWAP5
000010a0: POP
000010a1: SWAP3
000010a2: ADD
000010a3: SWAP2
000010a4: SWAP1
000010a5: POP
000010a6: PUSH2 0x143d
000010a9: JUMP
000010aa: JUMPDEST
000010ab: PUSH1 0x00
000010ad: PUSH2 0x05a4
000010b0: DUP3
000010b1: PUSH2 0x130f
000010b4: JUMP
000010b5: JUMPDEST
000010b6: PUSH1 0x00
000010b8: SWAP1
000010b9: DUP2
000010ba: MSTORE
000010bb: PUSH1 0x01
000010bd: SWAP2
000010be: SWAP1
000010bf: SWAP2
000010c0: ADD
000010c1: PUSH1 0x20
000010c3: MSTORE
000010c4: PUSH1 0x40
000010c6: SWAP1
000010c7: KECCAK256
000010c8: SLOAD
000010c9: ISZERO
000010ca: ISZERO
000010cb: SWAP1
000010cc: JUMP
000010cd: JUMPDEST
000010ce: PUSH1 0x00
000010d0: PUSH2 0x05a1
000010d3: DUP4
000010d4: PUSH1 0x01
000010d6: PUSH1 0x01
000010d8: PUSH1 0xa0
000010da: SHL
000010db: SUB
000010dc: DUP5
000010dd: AND
000010de: PUSH2 0x1313
000010e1: JUMP
000010e2: JUMPDEST
000010e3: PUSH1 0x00
000010e5: PUSH2 0x05a1
000010e8: DUP4
000010e9: PUSH1 0x01
000010eb: PUSH1 0x01
000010ed: PUSH1 0xa0
000010ef: SHL
000010f0: SUB
000010f1: DUP5
000010f2: AND
000010f3: PUSH2 0x135d
000010f6: JUMP
000010f7: JUMPDEST
000010f8: PUSH1 0x20
000010fa: DUP2
000010fb: ADD
000010fc: MLOAD
000010fd: DUP1
000010fe: MLOAD
000010ff: PUSH1 0x00
00001101: SWAP2
00001102: SWAP1
00001103: DUP3
00001104: BYTE
00001105: SWAP1
00001106: PUSH1 0xc0
00001108: DUP3
00001109: LT
0000110a: ISZERO
0000110b: PUSH2 0x1119
0000110e: JUMPI
0000110f: PUSH1 0x00
00001111: SWAP3
00001112: POP
00001113: POP
00001114: POP
00001115: PUSH2 0x05bd
00001118: JUMP
00001119: JUMPDEST
0000111a: POP
0000111b: PUSH1 0x01
0000111d: SWAP4
0000111e: SWAP3
0000111f: POP
00001120: POP
00001121: POP
00001122: JUMP
00001123: JUMPDEST
00001124: PUSH1 0x00
00001126: DUP1
00001127: PUSH1 0x00
00001129: SWAP1
0000112a: POP
0000112b: PUSH1 0x00
0000112d: PUSH2 0x1139
00001130: DUP5
00001131: PUSH1 0x20
00001133: ADD
00001134: MLOAD
00001135: PUSH2 0x1248
00001138: JUMP
00001139: JUMPDEST
0000113a: PUSH1 0x20
0000113c: DUP6
0000113d: ADD
0000113e: MLOAD
0000113f: DUP6
00001140: MLOAD
00001141: SWAP2
00001142: DUP2
00001143: ADD
00001144: SWAP3
00001145: POP
00001146: ADD
00001147: JUMPDEST
00001148: DUP1
00001149: DUP3
0000114a: LT
0000114b: ISZERO
0000114c: PUSH2 0x11a6
0000114f: JUMPI
00001150: PUSH2 0x1158
00001153: DUP3
00001154: PUSH2 0x11af
00001157: JUMP
00001158: JUMPDEST
00001159: DUP3
0000115a: ADD
0000115b: SWAP2
0000115c: POP
0000115d: DUP1
0000115e: DUP3
0000115f: GT
00001160: ISZERO
00001161: PUSH2 0x119b
00001164: JUMPI
00001165: PUSH1 0x40
00001167: MLOAD
00001168: PUSH3 0x461bcd
0000116c: PUSH1 0xe5
0000116e: SHL
0000116f: DUP2
00001170: MSTORE
00001171: PUSH1 0x04
00001173: ADD
00001174: DUP1
00001175: DUP1
00001176: PUSH1 0x20
00001178: ADD
00001179: DUP3
0000117a: DUP2
0000117b: SUB
0000117c: DUP3
0000117d: MSTORE
0000117e: PUSH1 0x2c
00001180: DUP2
00001181: MSTORE
00001182: PUSH1 0x20
00001184: ADD
00001185: DUP1
00001186: PUSH2 0x1557
00001189: PUSH1 0x2c
0000118b: SWAP2
0000118c: CODECOPY
0000118d: PUSH1 0x40
0000118f: ADD
00001190: SWAP2
00001191: POP
00001192: POP
00001193: PUSH1 0x40
00001195: MLOAD
00001196: DUP1
00001197: SWAP2
00001198: SUB
00001199: SWAP1
0000119a: REVERT
0000119b: JUMPDEST
0000119c: PUSH1 0x01
0000119e: SWAP1
0000119f: SWAP3
000011a0: ADD
000011a1: SWAP2
000011a2: PUSH2 0x1147
000011a5: JUMP
000011a6: JUMPDEST
000011a7: POP
000011a8: SWAP1
000011a9: SWAP4
000011aa: SWAP3
000011ab: POP
000011ac: POP
000011ad: POP
000011ae: JUMP
000011af: JUMPDEST
000011b0: DUP1
000011b1: MLOAD
000011b2: PUSH1 0x00
000011b4: SWAP1
000011b5: DUP2
000011b6: SWAP1
000011b7: DUP2
000011b8: BYTE
000011b9: PUSH1 0x80
000011bb: DUP2
000011bc: LT
000011bd: ISZERO
000011be: PUSH2 0x11ca
000011c1: JUMPI
000011c2: PUSH1 0x01
000011c4: SWAP2
000011c5: POP
000011c6: PUSH2 0x1241
000011c9: JUMP
000011ca: JUMPDEST
000011cb: PUSH1 0xb8
000011cd: DUP2
000011ce: LT
000011cf: ISZERO
000011d0: PUSH2 0x11df
000011d3: JUMPI
000011d4: PUSH1 0x7e
000011d6: NOT
000011d7: DUP2
000011d8: ADD
000011d9: SWAP2
000011da: POP
000011db: PUSH2 0x1241
000011de: JUMP
000011df: JUMPDEST
000011e0: PUSH1 0xc0
000011e2: DUP2
000011e3: LT
000011e4: ISZERO
000011e5: PUSH2 0x120c
000011e8: JUMPI
000011e9: PUSH1 0xb7
000011eb: DUP2
000011ec: SUB
000011ed: PUSH1 0x01
000011ef: DUP6
000011f0: ADD
000011f1: SWAP5
000011f2: POP
000011f3: DUP1
000011f4: PUSH1 0x20
000011f6: SUB
000011f7: PUSH2 0x0100
000011fa: EXP
000011fb: DUP6
000011fc: MLOAD
000011fd: DIV
000011fe: PUSH1 0x01
00001200: DUP3
00001201: ADD
00001202: DUP2
00001203: ADD
00001204: SWAP4
00001205: POP
00001206: POP
00001207: POP
00001208: PUSH2 0x1241
0000120b: JUMP
0000120c: JUMPDEST
0000120d: PUSH1 0xf8
0000120f: DUP2
00001210: LT
00001211: ISZERO
00001212: PUSH2 0x1221
00001215: JUMPI
00001216: PUSH1 0xbe
00001218: NOT
00001219: DUP2
0000121a: ADD
0000121b: SWAP2
0000121c: POP
0000121d: PUSH2 0x1241
00001220: JUMP
00001221: JUMPDEST
00001222: PUSH1 0xf7
00001224: DUP2
00001225: SUB
00001226: PUSH1 0x01
00001228: DUP6
00001229: ADD
0000122a: SWAP5
0000122b: POP
0000122c: DUP1
0000122d: PUSH1 0x20
0000122f: SUB
00001230: PUSH2 0x0100
00001233: EXP
00001234: DUP6
00001235: MLOAD
00001236: DIV
00001237: PUSH1 0x01
00001239: DUP3
0000123a: ADD
0000123b: DUP2
0000123c: ADD
0000123d: SWAP4
0000123e: POP
0000123f: POP
00001240: POP
00001241: JUMPDEST
00001242: POP
00001243: SWAP3
00001244: SWAP2
00001245: POP
00001246: POP
00001247: JUMP
00001248: JUMPDEST
00001249: DUP1
0000124a: MLOAD
0000124b: PUSH1 0x00
0000124d: SWAP1
0000124e: DUP2
0000124f: BYTE
00001250: PUSH1 0x80
00001252: DUP2
00001253: LT
00001254: ISZERO
00001255: PUSH2 0x1262
00001258: JUMPI
00001259: PUSH1 0x00
0000125b: SWAP2
0000125c: POP
0000125d: POP
0000125e: PUSH2 0x05bd
00001261: JUMP
00001262: JUMPDEST
00001263: PUSH1 0xb8
00001265: DUP2
00001266: LT
00001267: DUP1
00001268: PUSH2 0x127d
0000126b: JUMPI
0000126c: POP
0000126d: PUSH1 0xc0
0000126f: DUP2
00001270: LT
00001271: DUP1
00001272: ISZERO
00001273: SWAP1
00001274: PUSH2 0x127d
00001277: JUMPI
00001278: POP
00001279: PUSH1 0xf8
0000127b: DUP2
0000127c: LT
0000127d: JUMPDEST
0000127e: ISZERO
0000127f: PUSH2 0x128c
00001282: JUMPI
00001283: PUSH1 0x01
00001285: SWAP2
00001286: POP
00001287: POP
00001288: PUSH2 0x05bd
0000128b: JUMP
0000128c: JUMPDEST
0000128d: PUSH1 0xc0
0000128f: DUP2
00001290: LT
00001291: ISZERO
00001292: PUSH2 0x12a0
00001295: JUMPI
00001296: PUSH1 0xb5
00001298: NOT
00001299: ADD
0000129a: SWAP1
0000129b: POP
0000129c: PUSH2 0x05bd
0000129f: JUMP
000012a0: JUMPDEST
000012a1: PUSH1 0xf5
000012a3: NOT
000012a4: ADD
000012a5: SWAP1
000012a6: POP
000012a7: PUSH2 0x05bd
000012aa: JUMP
000012ab: JUMPDEST
000012ac: DUP2
000012ad: SLOAD
000012ae: PUSH1 0x00
000012b0: SWAP1
000012b1: DUP3
000012b2: LT
000012b3: PUSH2 0x12ed
000012b6: JUMPI
000012b7: PUSH1 0x40
000012b9: MLOAD
000012ba: PUSH3 0x461bcd
000012be: PUSH1 0xe5
000012c0: SHL
000012c1: DUP2
000012c2: MSTORE
000012c3: PUSH1 0x04
000012c5: ADD
000012c6: DUP1
000012c7: DUP1
000012c8: PUSH1 0x20
000012ca: ADD
000012cb: DUP3
000012cc: DUP2
000012cd: SUB
000012ce: DUP3
000012cf: MSTORE
000012d0: PUSH1 0x22
000012d2: DUP2
000012d3: MSTORE
000012d4: PUSH1 0x20
000012d6: ADD
000012d7: DUP1
000012d8: PUSH2 0x14d6
000012db: PUSH1 0x22
000012dd: SWAP2
000012de: CODECOPY
000012df: PUSH1 0x40
000012e1: ADD
000012e2: SWAP2
000012e3: POP
000012e4: POP
000012e5: PUSH1 0x40
000012e7: MLOAD
000012e8: DUP1
000012e9: SWAP2
000012ea: SUB
000012eb: SWAP1
000012ec: REVERT
000012ed: JUMPDEST
000012ee: DUP3
000012ef: PUSH1 0x00
000012f1: ADD
000012f2: DUP3
000012f3: DUP2
000012f4: SLOAD
000012f5: DUP2
000012f6: LT
000012f7: PUSH2 0x12fc
000012fa: JUMPI
000012fb: INVALID
000012fc: JUMPDEST
000012fd: SWAP1
000012fe: PUSH1 0x00
00001300: MSTORE
00001301: PUSH1 0x20
00001303: PUSH1 0x00
00001305: KECCAK256
00001306: ADD
00001307: SLOAD
00001308: SWAP1
00001309: POP
0000130a: SWAP3
0000130b: SWAP2
0000130c: POP
0000130d: POP
0000130e: JUMP
0000130f: JUMPDEST
00001310: SLOAD
00001311: SWAP1
00001312: JUMP
00001313: JUMPDEST
00001314: PUSH1 0x00
00001316: PUSH2 0x131f
00001319: DUP4
0000131a: DUP4
0000131b: PUSH2 0x10b5
0000131e: JUMP
0000131f: JUMPDEST
00001320: PUSH2 0x1355
00001323: JUMPI
00001324: POP
00001325: DUP2
00001326: SLOAD
00001327: PUSH1 0x01
00001329: DUP2
0000132a: DUP2
0000132b: ADD
0000132c: DUP5
0000132d: SSTORE
0000132e: PUSH1 0x00
00001330: DUP5
00001331: DUP2
00001332: MSTORE
00001333: PUSH1 0x20
00001335: DUP1
00001336: DUP3
00001337: KECCAK256
00001338: SWAP1
00001339: SWAP4
0000133a: ADD
0000133b: DUP5
0000133c: SWAP1
0000133d: SSTORE
0000133e: DUP5
0000133f: SLOAD
00001340: DUP5
00001341: DUP3
00001342: MSTORE
00001343: DUP3
00001344: DUP7
00001345: ADD
00001346: SWAP1
00001347: SWAP4
00001348: MSTORE
00001349: PUSH1 0x40
0000134b: SWAP1
0000134c: KECCAK256
0000134d: SWAP2
0000134e: SWAP1
0000134f: SWAP2
00001350: SSTORE
00001351: PUSH2 0x05a4
00001354: JUMP
00001355: JUMPDEST
00001356: POP
00001357: PUSH1 0x00
00001359: PUSH2 0x05a4
0000135c: JUMP
0000135d: JUMPDEST
0000135e: PUSH1 0x00
00001360: DUP2
00001361: DUP2
00001362: MSTORE
00001363: PUSH1 0x01
00001365: DUP4
00001366: ADD
00001367: PUSH1 0x20
00001369: MSTORE
0000136a: PUSH1 0x40
0000136c: DUP2
0000136d: KECCAK256
0000136e: SLOAD
0000136f: DUP1
00001370: ISZERO
00001371: PUSH2 0x1419
00001374: JUMPI
00001375: DUP4
00001376: SLOAD
00001377: PUSH1 0x00
00001379: NOT
0000137a: DUP1
0000137b: DUP4
0000137c: ADD
0000137d: SWAP2
0000137e: SWAP1
0000137f: DUP2
00001380: ADD
00001381: SWAP1
00001382: PUSH1 0x00
00001384: SWAP1
00001385: DUP8
00001386: SWAP1
00001387: DUP4
00001388: SWAP1
00001389: DUP2
0000138a: LT
0000138b: PUSH2 0x1390
0000138e: JUMPI
0000138f: INVALID
00001390: JUMPDEST
00001391: SWAP1
00001392: PUSH1 0x00
00001394: MSTORE
00001395: PUSH1 0x20
00001397: PUSH1 0x00
00001399: KECCAK256
0000139a: ADD
0000139b: SLOAD
0000139c: SWAP1
0000139d: POP
0000139e: DUP1
0000139f: DUP8
000013a0: PUSH1 0x00
000013a2: ADD
000013a3: DUP5
000013a4: DUP2
000013a5: SLOAD
000013a6: DUP2
000013a7: LT
000013a8: PUSH2 0x13ad
000013ab: JUMPI
000013ac: INVALID
000013ad: JUMPDEST
000013ae: PUSH1 0x00
000013b0: SWAP2
000013b1: DUP3
000013b2: MSTORE
000013b3: PUSH1 0x20
000013b5: DUP1
000013b6: DUP4
000013b7: KECCAK256
000013b8: SWAP1
000013b9: SWAP2
000013ba: ADD
000013bb: SWAP3
000013bc: SWAP1
000013bd: SWAP3
000013be: SSTORE
000013bf: DUP3
000013c0: DUP2
000013c1: MSTORE
000013c2: PUSH1 0x01
000013c4: DUP10
000013c5: DUP2
000013c6: ADD
000013c7: SWAP1
000013c8: SWAP3
000013c9: MSTORE
000013ca: PUSH1 0x40
000013cc: SWAP1
000013cd: KECCAK256
000013ce: SWAP1
000013cf: DUP5
000013d0: ADD
000013d1: SWAP1
000013d2: SSTORE
000013d3: DUP7
000013d4: SLOAD
000013d5: DUP8
000013d6: SWAP1
000013d7: DUP1
000013d8: PUSH2 0x13dd
000013db: JUMPI
000013dc: INVALID
000013dd: JUMPDEST
000013de: PUSH1 0x01
000013e0: SWAP1
000013e1: SUB
000013e2: DUP2
000013e3: DUP2
000013e4: SWAP1
000013e5: PUSH1 0x00
000013e7: MSTORE
000013e8: PUSH1 0x20
000013ea: PUSH1 0x00
000013ec: KECCAK256
000013ed: ADD
000013ee: PUSH1 0x00
000013f0: SWAP1
000013f1: SSTORE
000013f2: SWAP1
000013f3: SSTORE
000013f4: DUP7
000013f5: PUSH1 0x01
000013f7: ADD
000013f8: PUSH1 0x00
000013fa: DUP8
000013fb: DUP2
000013fc: MSTORE
000013fd: PUSH1 0x20
000013ff: ADD
00001400: SWAP1
00001401: DUP2
00001402: MSTORE
00001403: PUSH1 0x20
00001405: ADD
00001406: PUSH1 0x00
00001408: KECCAK256
00001409: PUSH1 0x00
0000140b: SWAP1
0000140c: SSTORE
0000140d: PUSH1 0x01
0000140f: SWAP5
00001410: POP
00001411: POP
00001412: POP
00001413: POP
00001414: POP
00001415: PUSH2 0x05a4
00001418: JUMP
00001419: JUMPDEST
0000141a: PUSH1 0x00
0000141c: SWAP2
0000141d: POP
0000141e: POP
0000141f: PUSH2 0x05a4
00001422: JUMP
00001423: JUMPDEST
00001424: PUSH1 0x40
00001426: MLOAD
00001427: DUP1
00001428: PUSH1 0x40
0000142a: ADD
0000142b: PUSH1 0x40
0000142d: MSTORE
0000142e: DUP1
0000142f: PUSH1 0x00
00001431: DUP2
00001432: MSTORE
00001433: PUSH1 0x20
00001435: ADD
00001436: PUSH1 0x00
00001438: DUP2
00001439: MSTORE
0000143a: POP
0000143b: SWAP1
0000143c: JUMP
0000143d: JUMPDEST
0000143e: DUP3
0000143f: DUP1
00001440: SLOAD
00001441: PUSH1 0x01
00001443: DUP2
00001444: PUSH1 0x01
00001446: AND
00001447: ISZERO
00001448: PUSH2 0x0100
0000144b: MUL
0000144c: SUB
0000144d: AND
0000144e: PUSH1 0x02
00001450: SWAP1
00001451: DIV
00001452: SWAP1
00001453: PUSH1 0x00
00001455: MSTORE
00001456: PUSH1 0x20
00001458: PUSH1 0x00
0000145a: KECCAK256
0000145b: SWAP1
0000145c: PUSH1 0x1f
0000145e: ADD
0000145f: PUSH1 0x20
00001461: SWAP1
00001462: DIV
00001463: DUP2
00001464: ADD
00001465: SWAP3
00001466: DUP3
00001467: PUSH1 0x1f
00001469: LT
0000146a: PUSH2 0x147e
0000146d: JUMPI
0000146e: DUP1
0000146f: MLOAD
00001470: PUSH1 0xff
00001472: NOT
00001473: AND
00001474: DUP4
00001475: DUP1
00001476: ADD
00001477: OR
00001478: DUP6
00001479: SSTORE
0000147a: PUSH2 0x14ab
0000147d: JUMP
0000147e: JUMPDEST
0000147f: DUP3
00001480: DUP1
00001481: ADD
00001482: PUSH1 0x01
00001484: ADD
00001485: DUP6
00001486: SSTORE
00001487: DUP3
00001488: ISZERO
00001489: PUSH2 0x14ab
0000148c: JUMPI
0000148d: SWAP2
0000148e: DUP3
0000148f: ADD
00001490: JUMPDEST
00001491: DUP3
00001492: DUP2
00001493: GT
00001494: ISZERO
00001495: PUSH2 0x14ab
00001498: JUMPI
00001499: DUP3
0000149a: MLOAD
0000149b: DUP3
0000149c: SSTORE
0000149d: SWAP2
0000149e: PUSH1 0x20
000014a0: ADD
000014a1: SWAP2
000014a2: SWAP1
000014a3: PUSH1 0x01
000014a5: ADD
000014a6: SWAP1
000014a7: PUSH2 0x1490
000014aa: JUMP
000014ab: JUMPDEST
000014ac: POP
000014ad: PUSH2 0x14b7
000014b0: SWAP3
000014b1: SWAP2
000014b2: POP
000014b3: PUSH2 0x14bb
000014b6: JUMP
000014b7: JUMPDEST
000014b8: POP
000014b9: SWAP1
000014ba: JUMP
000014bb: JUMPDEST
000014bc: PUSH2 0x0580
000014bf: SWAP2
000014c0: SWAP1
000014c1: JUMPDEST
000014c2: DUP1
000014c3: DUP3
000014c4: GT
000014c5: ISZERO
000014c6: PUSH2 0x14b7
000014c9: JUMPI
000014ca: PUSH1 0x00
000014cc: DUP2
000014cd: SSTORE
000014ce: PUSH1 0x01
000014d0: ADD
000014d1: PUSH2 0x14c1
000014d4: JUMP
000014d5: INVALID
000014d6: GASLIMIT
000014d7: PUSH15 0x756d657261626c655365743a20696e
000014e7: PUSH5 0x6578206f75
000014ed: PUSH21 0x206f6620626f756e6473416363657373436f6e7472
00001503: PUSH16 0x6c3a2073656e646572206d7573742062
00001514: PUSH6 0x20616e206164
0000151b: PUSH14 0x696e20746f206772616e74416363
0000152a: PUSH6 0x7373436f6e74
00001531: PUSH19 0x6f6c3a2073656e646572206d75737420626520
00001545: PUSH2 0x6e20
00001548: PUSH2 0x646d
0000154b: PUSH10 0x6e20746f207265766f6b
00001556: PUSH6 0x524c50526561
0000155d: PUSH5 0x65723a204e
00001563: SSTORE
00001564: UNKNOWN(0x4D)
00001565: PUSH0
00001566: BLOBHASH
00001567: SLOAD
00001568: GASLIMIT
00001569: UNKNOWN(0x4D)
0000156a: MSTORE8
0000156b: PUSH0
0000156c: DIFFICULTY
0000156d: GASLIMIT
0000156e: NUMBER
0000156f: UNKNOWN(0x4F)
00001570: DIFFICULTY
00001571: GASLIMIT
00001572: DIFFICULTY
00001573: PUSH0
00001574: UNKNOWN(0x4C)
00001575: GASLIMIT
00001576: UNKNOWN(0x4E)
00001577: SELFBALANCE
00001578: SLOAD
00001579: BASEFEE
0000157a: PUSH0
0000157b: UNKNOWN(0x4D)
0000157c: BLOBHASH
0000157d: MSTORE8
0000157e: UNKNOWN(0x4D)
0000157f: COINBASE
00001580: SLOAD
00001581: NUMBER
00001582: BASEFEE
00001583: GASLIMIT
00001584: PUSH21 0x6865725072656469636174653a20494e56414c4944
0000159a: PUSH0
0000159b: MSTORE8
0000159c: BLOBHASH
0000159d: SELFBALANCE
0000159e: UNKNOWN(0x4E)
0000159f: COINBASE
000015a0: SLOAD
000015a1: SSTORE
000015a2: MSTORE
000015a3: GASLIMIT
000015a4: MSTORE
000015a5: UNKNOWN(0x4C)
000015a6: POP
000015a7: MSTORE
000015a8: PUSH6 0x616465723a20
000015af: UNKNOWN(0x4C)
000015b0: BLOBHASH
000015b1: MSTORE8
000015b2: SLOAD
000015b3: PUSH0
000015b4: DIFFICULTY
000015b5: GASLIMIT
000015b6: NUMBER
000015b7: UNKNOWN(0x4F)
000015b8: DIFFICULTY
000015b9: GASLIMIT
000015ba: DIFFICULTY
000015bb: PUSH0
000015bc: UNKNOWN(0x4C)
000015bd: GASLIMIT
000015be: UNKNOWN(0x4E)
000015bf: SELFBALANCE
000015c0: SLOAD
000015c1: BASEFEE
000015c2: PUSH0
000015c3: UNKNOWN(0x4D)
000015c4: BLOBHASH
000015c5: MSTORE8
000015c6: UNKNOWN(0x4D)
000015c7: COINBASE
000015c8: SLOAD
000015c9: NUMBER
000015ca: BASEFEE
000015cb: COINBASE
000015cc: PUSH4 0x63657373
000015d1: NUMBER
000015d2: PUSH16 0x6e74726f6c3a2063616e206f6e6c7920
000015e3: PUSH19 0x656e6f756e636520726f6c657320666f722073
000015f7: PUSH6 0x6c66524c5052
000015fe: PUSH6 0x616465723a20
00001605: SSTORE
00001606: BLOBHASH
00001607: UNKNOWN(0x4E)
00001608: SLOAD
00001609: PUSH0
0000160a: DIFFICULTY
0000160b: GASLIMIT
0000160c: NUMBER
0000160d: UNKNOWN(0x4F)
0000160e: DIFFICULTY
0000160f: GASLIMIT
00001610: DIFFICULTY
00001611: PUSH0
00001612: UNKNOWN(0x4C)
00001613: GASLIMIT
00001614: UNKNOWN(0x4E)
00001615: SELFBALANCE
00001616: SLOAD
00001617: BASEFEE
00001618: PUSH0
00001619: UNKNOWN(0x4D)
0000161a: BLOBHASH
0000161b: MSTORE8
0000161c: UNKNOWN(0x4D)
0000161d: COINBASE
0000161e: SLOAD
0000161f: NUMBER
00001620: BASEFEE
00001621: LOG2
00001622: PUSH5 0x6970667358
00001628: UNKNOWN(0x22)
00001629: SLT
0000162a: KECCAK256
0000162b: PUSH17 0x1a148344bb9fe70c34b015755182dcda66
0000163d: PUSH32