Analysis Run

[codex:574043] OpenAI Codex v0.77.0 (research preview)
[codex:574043] --------
[codex:574043] workdir: /tmp/codex-multi-jyd_knf5
[codex:574043] model: gpt-5.2-codex
[codex:574043] provider: openai
[codex:574043] approval: never
[codex:574043] sandbox: read-only
[codex:574043] reasoning effort: xhigh
[codex:574043] reasoning summaries: auto
[codex:574043] session id: 019b6920-2bed-7611-aee4-7cc1ada809c8
[codex:574043] --------
[codex:574043] user
[codex:574043] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:574043] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:574043] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:574043] 
[codex:574043] Scope rules:
[codex:574043] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:574043] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:574043] 
[codex:574043] Output MUST be valid JSON matching the provided schema.
[codex:574043] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:574043] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:574043] 
[codex:574043] Output constraints (IMPORTANT):
[codex:574043] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:574043] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:574043] mcp startup: no servers
[codex:574043] 
[codex:574043] thinking
[codex:574043] **Preparing to review AUDIT_BUNDLE.txt**
[codex:574043] exec
[codex:574043] /bin/bash -lc ls in /tmp/codex-multi-jyd_knf5 succeeded in 6ms:
[codex:574043] AUDIT_BUNDLE.txt
[codex:574043] codex-output-schema.json
[codex:574043] contracts
[codex:574043] 
[codex:574043] thinking
[codex:574043] **Reading AUDIT_BUNDLE.txt**
[codex:574043] exec
[codex:574043] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-jyd_knf5 succeeded in 5ms:
[codex:574043] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:574043] 
[codex:574043] ================================================================================
[codex:574043] FILE: contracts/Address.sol
[codex:574043] ================================================================================
[codex:574043] pragma solidity ^0.5.0;
[codex:574043] 
[codex:574043] /**
[codex:574043]  * @dev Collection of functions related to the address type,
[codex:574043]  */
[codex:574043] library Address {
[codex:574043]     /**
[codex:574043]      * @dev Returns true if `account` is a contract.
[codex:574043]      *
[codex:574043]      * This test is non-exhaustive, and there may be false-negatives: during the
[codex:574043]      * execution of a contract's constructor, its address will be reported as
[codex:574043]      * not containing a contract.
[codex:574043]      *
[codex:574043]      * > It is unsafe to assume that an address for which this function returns
[codex:574043]      * false is an externally-owned account (EOA) and not a contract.
[codex:574043] 
[codex:574043] 
[codex:574043] thinking
[codex:574043] **Analyzing Sablier contract for vulnerabilities**
[codex:574043] 
[codex:574043] I’m carefully checking for reentrancy, access control, accounting errors, and token compatibility issues in this streaming contract. It seems reentrancy is mostly guarded except during stream creation, though that appears safe. The main potential concern is incompatibility with fee-on-transfer tokens causing underfunding and possible denial-of-service for withdrawals, but no direct exploits show up. Overall, no critical vulnerabilities stand out.
[codex:574043] thinking
[codex:574043] **Evaluating Reentrancy Guard Behavior**
[codex:574043] 
[codex:574043] I’m examining how the OpenZeppelin ReentrancyGuard handles nested calls: it lets reentrant calls execute but eventually reverts the entire transaction, preventing exploitative reentrancy but potentially causing a denial-of-service if external calls don’t anticipate this. Overall, no serious vulnerability appears here.
[codex:574043] exec
[codex:574043] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-jyd_knf5 succeeded in 5ms:
[codex:574043] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:574043] 
[codex:574043] thinking
[codex:574043] **Summarizing audit findings in JSON**
[codex:574043] 
[codex:574043] I'm reviewing the contract code carefully to identify any real vulnerabilities and to confirm no exploitable issues appear. After analyzing access control, token handling, timing checks, and reentrancy, I conclude no critical flaws exist but still note minor concerns without exploitability. I'll produce a concise JSON output strictly following the requested schema, stating no findings with an appropriate summary.
[codex:574043] codex
[codex:574043] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the first-party contracts within the requested focus areas.","findings":[]}
[codex:574043] tokens used
[codex:574043] 16,717
[codex:574043] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the first-party contracts within the requested focus areas.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-29T08:03:04.870545+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities found in the first-party contracts within the requested focus areas.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities found in the first-party contracts within the requested focus areas.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x007d
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x7a9b2c6c
00000026: GT
00000027: PUSH2 0x005b
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0x7a9b2c6c
00000031: EQ
00000032: PUSH2 0x00f9
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0x894e9a0d
0000003c: EQ
0000003d: PUSH2 0x011c
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xa82ccd4d
00000047: EQ
00000048: PUSH2 0x018c
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xcc1b4bf6
00000052: EQ
00000053: PUSH2 0x01a9
00000056: JUMPI
00000057: PUSH2 0x007d
0000005a: JUMP
0000005b: JUMPDEST
0000005c: DUP1
0000005d: PUSH4 0x1e99d569
00000062: EQ
00000063: PUSH2 0x0082
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x3656eec2
0000006d: EQ
0000006e: PUSH2 0x009c
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x6db9241b
00000078: EQ
00000079: PUSH2 0x00c8
0000007c: JUMPI
0000007d: JUMPDEST
0000007e: PUSH1 0x00
00000080: DUP1
00000081: REVERT
00000082: JUMPDEST
00000083: PUSH2 0x008a
00000086: PUSH2 0x01e9
00000089: JUMP
0000008a: JUMPDEST
0000008b: PUSH1 0x40
0000008d: DUP1
0000008e: MLOAD
0000008f: SWAP2
00000090: DUP3
00000091: MSTORE
00000092: MLOAD
00000093: SWAP1
00000094: DUP2
00000095: SWAP1
00000096: SUB
00000097: PUSH1 0x20
00000099: ADD
0000009a: SWAP1
0000009b: RETURN
0000009c: JUMPDEST
0000009d: PUSH2 0x008a
000000a0: PUSH1 0x04
000000a2: DUP1
000000a3: CALLDATASIZE
000000a4: SUB
000000a5: PUSH1 0x40
000000a7: DUP2
000000a8: LT
000000a9: ISZERO
000000aa: PUSH2 0x00b2
000000ad: JUMPI
000000ae: PUSH1 0x00
000000b0: DUP1
000000b1: REVERT
000000b2: JUMPDEST
000000b3: POP
000000b4: DUP1
000000b5: CALLDATALOAD
000000b6: SWAP1
000000b7: PUSH1 0x20
000000b9: ADD
000000ba: CALLDATALOAD
000000bb: PUSH1 0x01
000000bd: PUSH1 0x01
000000bf: PUSH1 0xa0
000000c1: SHL
000000c2: SUB
000000c3: AND
000000c4: PUSH2 0x01ef
000000c7: JUMP
000000c8: JUMPDEST
000000c9: PUSH2 0x00e5
000000cc: PUSH1 0x04
000000ce: DUP1
000000cf: CALLDATASIZE
000000d0: SUB
000000d1: PUSH1 0x20
000000d3: DUP2
000000d4: LT
000000d5: ISZERO
000000d6: PUSH2 0x00de
000000d9: JUMPI
000000da: PUSH1 0x00
000000dc: DUP1
000000dd: REVERT
000000de: JUMPDEST
000000df: POP
000000e0: CALLDATALOAD
000000e1: PUSH2 0x04d4
000000e4: JUMP
000000e5: JUMPDEST
000000e6: PUSH1 0x40
000000e8: DUP1
000000e9: MLOAD
000000ea: SWAP2
000000eb: ISZERO
000000ec: ISZERO
000000ed: DUP3
000000ee: MSTORE
000000ef: MLOAD
000000f0: SWAP1
000000f1: DUP2
000000f2: SWAP1
000000f3: SUB
000000f4: PUSH1 0x20
000000f6: ADD
000000f7: SWAP1
000000f8: RETURN
000000f9: JUMPDEST
000000fa: PUSH2 0x00e5
000000fd: PUSH1 0x04
000000ff: DUP1
00000100: CALLDATASIZE
00000101: SUB
00000102: PUSH1 0x40
00000104: DUP2
00000105: LT
00000106: ISZERO
00000107: PUSH2 0x010f
0000010a: JUMPI
0000010b: PUSH1 0x00
0000010d: DUP1
0000010e: REVERT
0000010f: JUMPDEST
00000110: POP
00000111: DUP1
00000112: CALLDATALOAD
00000113: SWAP1
00000114: PUSH1 0x20
00000116: ADD
00000117: CALLDATALOAD
00000118: PUSH2 0x07e8
0000011b: JUMP
0000011c: JUMPDEST
0000011d: PUSH2 0x0139
00000120: PUSH1 0x04
00000122: DUP1
00000123: CALLDATASIZE
00000124: SUB
00000125: PUSH1 0x20
00000127: DUP2
00000128: LT
00000129: ISZERO
0000012a: PUSH2 0x0132
0000012d: JUMPI
0000012e: PUSH1 0x00
00000130: DUP1
00000131: REVERT
00000132: JUMPDEST
00000133: POP
00000134: CALLDATALOAD
00000135: PUSH2 0x0b79
00000138: JUMP
00000139: JUMPDEST
0000013a: PUSH1 0x40
0000013c: DUP1
0000013d: MLOAD
0000013e: PUSH1 0x01
00000140: PUSH1 0x01
00000142: PUSH1 0xa0
00000144: SHL
00000145: SUB
00000146: SWAP10
00000147: DUP11
00000148: AND
00000149: DUP2
0000014a: MSTORE
0000014b: SWAP8
0000014c: DUP10
0000014d: AND
0000014e: PUSH1 0x20
00000150: DUP10
00000151: ADD
00000152: MSTORE
00000153: DUP8
00000154: DUP2
00000155: ADD
00000156: SWAP7
00000157: SWAP1
00000158: SWAP7
00000159: MSTORE
0000015a: SWAP4
0000015b: SWAP1
0000015c: SWAP7
0000015d: AND
0000015e: PUSH1 0x60
00000160: DUP7
00000161: ADD
00000162: MSTORE
00000163: PUSH1 0x80
00000165: DUP6
00000166: ADD
00000167: SWAP2
00000168: SWAP1
00000169: SWAP2
0000016a: MSTORE
0000016b: PUSH1 0xa0
0000016d: DUP5
0000016e: ADD
0000016f: MSTORE
00000170: PUSH1 0xc0
00000172: DUP4
00000173: ADD
00000174: SWAP4
00000175: SWAP1
00000176: SWAP4
00000177: MSTORE
00000178: PUSH1 0xe0
0000017a: DUP3
0000017b: ADD
0000017c: SWAP3
0000017d: SWAP1
0000017e: SWAP3
0000017f: MSTORE
00000180: SWAP1
00000181: MLOAD
00000182: SWAP1
00000183: DUP2
00000184: SWAP1
00000185: SUB
00000186: PUSH2 0x0100
00000189: ADD
0000018a: SWAP1
0000018b: RETURN
0000018c: JUMPDEST
0000018d: PUSH2 0x008a
00000190: PUSH1 0x04
00000192: DUP1
00000193: CALLDATASIZE
00000194: SUB
00000195: PUSH1 0x20
00000197: DUP2
00000198: LT
00000199: ISZERO
0000019a: PUSH2 0x01a2
0000019d: JUMPI
0000019e: PUSH1 0x00
000001a0: DUP1
000001a1: REVERT
000001a2: JUMPDEST
000001a3: POP
000001a4: CALLDATALOAD
000001a5: PUSH2 0x0c4d
000001a8: JUMP
000001a9: JUMPDEST
000001aa: PUSH2 0x008a
000001ad: PUSH1 0x04
000001af: DUP1
000001b0: CALLDATASIZE
000001b1: SUB
000001b2: PUSH1 0xa0
000001b4: DUP2
000001b5: LT
000001b6: ISZERO
000001b7: PUSH2 0x01bf
000001ba: JUMPI
000001bb: PUSH1 0x00
000001bd: DUP1
000001be: REVERT
000001bf: JUMPDEST
000001c0: POP
000001c1: PUSH1 0x01
000001c3: PUSH1 0x01
000001c5: PUSH1 0xa0
000001c7: SHL
000001c8: SUB
000001c9: DUP2
000001ca: CALLDATALOAD
000001cb: DUP2
000001cc: AND
000001cd: SWAP2
000001ce: PUSH1 0x20
000001d0: DUP2
000001d1: ADD
000001d2: CALLDATALOAD
000001d3: SWAP2
000001d4: PUSH1 0x40
000001d6: DUP3
000001d7: ADD
000001d8: CALLDATALOAD
000001d9: AND
000001da: SWAP1
000001db: PUSH1 0x60
000001dd: DUP2
000001de: ADD
000001df: CALLDATALOAD
000001e0: SWAP1
000001e1: PUSH1 0x80
000001e3: ADD
000001e4: CALLDATALOAD
000001e5: PUSH2 0x0d87
000001e8: JUMP
000001e9: JUMPDEST
000001ea: PUSH1 0x01
000001ec: SLOAD
000001ed: DUP2
000001ee: JUMP
000001ef: JUMPDEST
000001f0: PUSH1 0x00
000001f2: DUP3
000001f3: DUP2
000001f4: MSTORE
000001f5: PUSH1 0x02
000001f7: PUSH1 0x20
000001f9: MSTORE
000001fa: PUSH1 0x40
000001fc: DUP2
000001fd: KECCAK256
000001fe: PUSH1 0x07
00000200: ADD
00000201: SLOAD
00000202: DUP4
00000203: SWAP1
00000204: PUSH1 0x01
00000206: PUSH1 0xa0
00000208: SHL
00000209: SWAP1
0000020a: DIV
0000020b: PUSH1 0xff
0000020d: AND
0000020e: PUSH2 0x0256
00000211: JUMPI
00000212: PUSH1 0x40
00000214: DUP1
00000215: MLOAD
00000216: PUSH3 0x461bcd
0000021a: PUSH1 0xe5
0000021c: SHL
0000021d: DUP2
0000021e: MSTORE
0000021f: PUSH1 0x20
00000221: PUSH1 0x04
00000223: DUP3
00000224: ADD
00000225: MSTORE
00000226: PUSH1 0x15
00000228: PUSH1 0x24
0000022a: DUP3
0000022b: ADD
0000022c: MSTORE
0000022d: PUSH21 0x1cdd1c99585b48191bd95cc81b9bdd08195e1a5cdd
00000243: PUSH1 0x5a
00000245: SHL
00000246: PUSH1 0x44
00000248: DUP3
00000249: ADD
0000024a: MSTORE
0000024b: SWAP1
0000024c: MLOAD
0000024d: SWAP1
0000024e: DUP2
0000024f: SWAP1
00000250: SUB
00000251: PUSH1 0x64
00000253: ADD
00000254: SWAP1
00000255: REVERT
00000256: JUMPDEST
00000257: PUSH2 0x025e
0000025a: PUSH2 0x163a
0000025d: JUMP
0000025e: JUMPDEST
0000025f: POP
00000260: PUSH1 0x00
00000262: DUP5
00000263: DUP2
00000264: MSTORE
00000265: PUSH1 0x02
00000267: PUSH1 0x20
00000269: DUP2
0000026a: DUP2
0000026b: MSTORE
0000026c: PUSH1 0x40
0000026e: SWAP3
0000026f: DUP4
00000270: SWAP1
00000271: KECCAK256
00000272: DUP4
00000273: MLOAD
00000274: PUSH2 0x0120
00000277: DUP2
00000278: ADD
00000279: DUP6
0000027a: MSTORE
0000027b: DUP2
0000027c: SLOAD
0000027d: DUP2
0000027e: MSTORE
0000027f: PUSH1 0x01
00000281: DUP3
00000282: ADD
00000283: SLOAD
00000284: SWAP3
00000285: DUP2
00000286: ADD
00000287: SWAP3
00000288: SWAP1
00000289: SWAP3
0000028a: MSTORE
0000028b: SWAP2
0000028c: DUP3
0000028d: ADD
0000028e: SLOAD
0000028f: SWAP3
00000290: DUP2
00000291: ADD
00000292: SWAP3
00000293: SWAP1
00000294: SWAP3
00000295: MSTORE
00000296: PUSH1 0x03
00000298: DUP2
00000299: ADD
0000029a: SLOAD
0000029b: PUSH1 0x60
0000029d: DUP4
0000029e: ADD
0000029f: MSTORE
000002a0: PUSH1 0x04
000002a2: DUP2
000002a3: ADD
000002a4: SLOAD
000002a5: PUSH1 0x80
000002a7: DUP4
000002a8: ADD
000002a9: MSTORE
000002aa: PUSH1 0x05
000002ac: DUP2
000002ad: ADD
000002ae: SLOAD
000002af: PUSH1 0x01
000002b1: PUSH1 0x01
000002b3: PUSH1 0xa0
000002b5: SHL
000002b6: SUB
000002b7: SWAP1
000002b8: DUP2
000002b9: AND
000002ba: PUSH1 0xa0
000002bc: DUP5
000002bd: ADD
000002be: MSTORE
000002bf: PUSH1 0x06
000002c1: DUP3
000002c2: ADD
000002c3: SLOAD
000002c4: DUP2
000002c5: AND
000002c6: PUSH1 0xc0
000002c8: DUP5
000002c9: ADD
000002ca: MSTORE
000002cb: PUSH1 0x07
000002cd: SWAP1
000002ce: SWAP2
000002cf: ADD
000002d0: SLOAD
000002d1: SWAP1
000002d2: DUP2
000002d3: AND
000002d4: PUSH1 0xe0
000002d6: DUP4
000002d7: ADD
000002d8: MSTORE
000002d9: PUSH1 0x01
000002db: PUSH1 0xa0
000002dd: SHL
000002de: SWAP1
000002df: DIV
000002e0: PUSH1 0xff
000002e2: AND
000002e3: ISZERO
000002e4: ISZERO
000002e5: PUSH2 0x0100
000002e8: DUP3
000002e9: ADD
000002ea: MSTORE
000002eb: PUSH2 0x02f2
000002ee: PUSH2 0x16a3
000002f1: JUMP
000002f2: JUMPDEST
000002f3: PUSH1 0x00
000002f5: PUSH2 0x02fd
000002f8: DUP8
000002f9: PUSH2 0x0c4d
000002fc: JUMP
000002fd: JUMPDEST
000002fe: SWAP1
000002ff: POP
00000300: PUSH2 0x030d
00000303: DUP2
00000304: DUP5
00000305: PUSH1 0x20
00000307: ADD
00000308: MLOAD
00000309: PUSH2 0x130f
0000030c: JUMP
0000030d: JUMPDEST
0000030e: PUSH1 0x20
00000310: DUP5
00000311: ADD
00000312: DUP2
00000313: SWAP1
00000314: MSTORE
00000315: DUP4
00000316: DUP3
00000317: PUSH1 0x03
00000319: DUP2
0000031a: GT
0000031b: ISZERO
0000031c: PUSH2 0x0321
0000031f: JUMPI
00000320: INVALID
00000321: JUMPDEST
00000322: PUSH1 0x03
00000324: DUP2
00000325: GT
00000326: ISZERO
00000327: PUSH2 0x032c
0000032a: JUMPI
0000032b: INVALID
0000032c: JUMPDEST
0000032d: SWAP1
0000032e: MSTORE
0000032f: POP
00000330: PUSH1 0x00
00000332: SWAP1
00000333: POP
00000334: DUP3
00000335: MLOAD
00000336: PUSH1 0x03
00000338: DUP2
00000339: GT
0000033a: ISZERO
0000033b: PUSH2 0x0340
0000033e: JUMPI
0000033f: INVALID
00000340: JUMPDEST
00000341: EQ
00000342: PUSH2 0x037c
00000345: JUMPI
00000346: PUSH1 0x40
00000348: MLOAD
00000349: PUSH3 0x461bcd
0000034d: PUSH1 0xe5
0000034f: SHL
00000350: DUP2
00000351: MSTORE
00000352: PUSH1 0x04
00000354: ADD
00000355: DUP1
00000356: DUP1
00000357: PUSH1 0x20
00000359: ADD
0000035a: DUP3
0000035b: DUP2
0000035c: SUB
0000035d: DUP3
0000035e: MSTORE
0000035f: PUSH1 0x23
00000361: DUP2
00000362: MSTORE
00000363: PUSH1 0x20
00000365: ADD
00000366: DUP1
00000367: PUSH2 0x1756
0000036a: PUSH1 0x23
0000036c: SWAP2
0000036d: CODECOPY
0000036e: PUSH1 0x40
00000370: ADD
00000371: SWAP2
00000372: POP
00000373: POP
00000374: PUSH1 0x40
00000376: MLOAD
00000377: DUP1
00000378: SWAP2
00000379: SUB
0000037a: SWAP1
0000037b: REVERT
0000037c: JUMPDEST
0000037d: PUSH1 0x40
0000037f: DUP4
00000380: ADD
00000381: MLOAD
00000382: DUP4
00000383: MLOAD
00000384: GT
00000385: ISZERO
00000386: PUSH2 0x0421
00000389: JUMPI
0000038a: PUSH2 0x039b
0000038d: DUP4
0000038e: PUSH1 0x00
00000390: ADD
00000391: MLOAD
00000392: DUP5
00000393: PUSH1 0x40
00000395: ADD
00000396: MLOAD
00000397: PUSH2 0x1351
0000039a: JUMP
0000039b: JUMPDEST
0000039c: PUSH1 0x40
0000039e: DUP5
0000039f: ADD
000003a0: DUP2
000003a1: SWAP1
000003a2: MSTORE
000003a3: DUP4
000003a4: DUP3
000003a5: PUSH1 0x03
000003a7: DUP2
000003a8: GT
000003a9: ISZERO
000003aa: PUSH2 0x03af
000003ad: JUMPI
000003ae: INVALID
000003af: JUMPDEST
000003b0: PUSH1 0x03
000003b2: DUP2
000003b3: GT
000003b4: ISZERO
000003b5: PUSH2 0x03ba
000003b8: JUMPI
000003b9: INVALID
000003ba: JUMPDEST
000003bb: SWAP1
000003bc: MSTORE
000003bd: POP
000003be: PUSH1 0x00
000003c0: SWAP1
000003c1: POP
000003c2: DUP3
000003c3: MLOAD
000003c4: PUSH1 0x03
000003c6: DUP2
000003c7: GT
000003c8: ISZERO
000003c9: PUSH2 0x03ce
000003cc: JUMPI
000003cd: INVALID
000003ce: JUMPDEST
000003cf: EQ
000003d0: PUSH2 0x03d5
000003d3: JUMPI
000003d4: INVALID
000003d5: JUMPDEST
000003d6: PUSH2 0x03e7
000003d9: DUP3
000003da: PUSH1 0x20
000003dc: ADD
000003dd: MLOAD
000003de: DUP4
000003df: PUSH1 0x40
000003e1: ADD
000003e2: MLOAD
000003e3: PUSH2 0x1351
000003e6: JUMP
000003e7: JUMPDEST
000003e8: PUSH1 0x20
000003ea: DUP5
000003eb: ADD
000003ec: DUP2
000003ed: SWAP1
000003ee: MSTORE
000003ef: DUP4
000003f0: DUP3
000003f1: PUSH1 0x03
000003f3: DUP2
000003f4: GT
000003f5: ISZERO
000003f6: PUSH2 0x03fb
000003f9: JUMPI
000003fa: INVALID
000003fb: JUMPDEST
000003fc: PUSH1 0x03
000003fe: DUP2
000003ff: GT
00000400: ISZERO
00000401: PUSH2 0x0406
00000404: JUMPI
00000405: INVALID
00000406: JUMPDEST
00000407: SWAP1
00000408: MSTORE
00000409: POP
0000040a: PUSH1 0x00
0000040c: SWAP1
0000040d: POP
0000040e: DUP3
0000040f: MLOAD
00000410: PUSH1 0x03
00000412: DUP2
00000413: GT
00000414: ISZERO
00000415: PUSH2 0x041a
00000418: JUMPI
00000419: INVALID
0000041a: JUMPDEST
0000041b: EQ
0000041c: PUSH2 0x0421
0000041f: JUMPI
00000420: INVALID
00000421: JUMPDEST
00000422: DUP3
00000423: PUSH1 0xa0
00000425: ADD
00000426: MLOAD
00000427: PUSH1 0x01
00000429: PUSH1 0x01
0000042b: PUSH1 0xa0
0000042d: SHL
0000042e: SUB
0000042f: AND
00000430: DUP7
00000431: PUSH1 0x01
00000433: PUSH1 0x01
00000435: PUSH1 0xa0
00000437: SHL
00000438: SUB
00000439: AND
0000043a: EQ
0000043b: ISZERO
0000043c: PUSH2 0x044d
0000043f: JUMPI
00000440: POP
00000441: PUSH1 0x20
00000443: ADD
00000444: MLOAD
00000445: SWAP3
00000446: POP
00000447: PUSH2 0x04cd
0000044a: SWAP1
0000044b: POP
0000044c: JUMP
0000044d: JUMPDEST
0000044e: DUP3
0000044f: PUSH1 0xc0
00000451: ADD
00000452: MLOAD
00000453: PUSH1 0x01
00000455: PUSH1 0x01
00000457: PUSH1 0xa0
00000459: SHL
0000045a: SUB
0000045b: AND
0000045c: DUP7
0000045d: PUSH1 0x01
0000045f: PUSH1 0x01
00000461: PUSH1 0xa0
00000463: SHL
00000464: SUB
00000465: AND
00000466: EQ
00000467: ISZERO
00000468: PUSH2 0x04c5
0000046b: JUMPI
0000046c: PUSH2 0x047d
0000046f: DUP4
00000470: PUSH1 0x40
00000472: ADD
00000473: MLOAD
00000474: DUP4
00000475: PUSH1 0x20
00000477: ADD
00000478: MLOAD
00000479: PUSH2 0x1351
0000047c: JUMP
0000047d: JUMPDEST
0000047e: PUSH1 0x60
00000480: DUP5
00000481: ADD
00000482: DUP2
00000483: SWAP1
00000484: MSTORE
00000485: DUP4
00000486: DUP3
00000487: PUSH1 0x03
00000489: DUP2
0000048a: GT
0000048b: ISZERO
0000048c: PUSH2 0x0491
0000048f: JUMPI
00000490: INVALID
00000491: JUMPDEST
00000492: PUSH1 0x03
00000494: DUP2
00000495: GT
00000496: ISZERO
00000497: PUSH2 0x049c
0000049a: JUMPI
0000049b: INVALID
0000049c: JUMPDEST
0000049d: SWAP1
0000049e: MSTORE
0000049f: POP
000004a0: PUSH1 0x00
000004a2: SWAP1
000004a3: POP
000004a4: DUP3
000004a5: MLOAD
000004a6: PUSH1 0x03
000004a8: DUP2
000004a9: GT
000004aa: ISZERO
000004ab: PUSH2 0x04b0
000004ae: JUMPI
000004af: INVALID
000004b0: JUMPDEST
000004b1: EQ
000004b2: PUSH2 0x04b7
000004b5: JUMPI
000004b6: INVALID
000004b7: JUMPDEST
000004b8: POP
000004b9: PUSH1 0x60
000004bb: ADD
000004bc: MLOAD
000004bd: SWAP3
000004be: POP
000004bf: PUSH2 0x04cd
000004c2: SWAP1
000004c3: POP
000004c4: JUMP
000004c5: JUMPDEST
000004c6: PUSH1 0x00
000004c8: SWAP5
000004c9: POP
000004ca: POP
000004cb: POP
000004cc: POP
000004cd: JUMPDEST
000004ce: POP
000004cf: SWAP3
000004d0: SWAP2
000004d1: POP
000004d2: POP
000004d3: JUMP
000004d4: JUMPDEST
000004d5: PUSH1 0x00
000004d7: DUP1
000004d8: SLOAD
000004d9: PUSH1 0x01
000004db: ADD
000004dc: DUP1
000004dd: DUP3
000004de: SSTORE
000004df: DUP3
000004e0: DUP3
000004e1: MSTORE
000004e2: PUSH1 0x02
000004e4: PUSH1 0x20
000004e6: MSTORE
000004e7: PUSH1 0x40
000004e9: DUP3
000004ea: KECCAK256
000004eb: PUSH1 0x07
000004ed: ADD
000004ee: SLOAD
000004ef: DUP4
000004f0: SWAP1
000004f1: PUSH1 0x01
000004f3: PUSH1 0xa0
000004f5: SHL
000004f6: SWAP1
000004f7: DIV
000004f8: PUSH1 0xff
000004fa: AND
000004fb: PUSH2 0x0543
000004fe: JUMPI
000004ff: PUSH1 0x40
00000501: DUP1
00000502: MLOAD
00000503: PUSH3 0x461bcd
00000507: PUSH1 0xe5
00000509: SHL
0000050a: DUP2
0000050b: MSTORE
0000050c: PUSH1 0x20
0000050e: PUSH1 0x04
00000510: DUP3
00000511: ADD
00000512: MSTORE
00000513: PUSH1 0x15
00000515: PUSH1 0x24
00000517: DUP3
00000518: ADD
00000519: MSTORE
0000051a: PUSH21 0x1cdd1c99585b48191bd95cc81b9bdd08195e1a5cdd
00000530: PUSH1 0x5a
00000532: SHL
00000533: PUSH1 0x44
00000535: DUP3
00000536: ADD
00000537: MSTORE
00000538: SWAP1
00000539: MLOAD
0000053a: SWAP1
0000053b: DUP2
0000053c: SWAP1
0000053d: SUB
0000053e: PUSH1 0x64
00000540: ADD
00000541: SWAP1
00000542: REVERT
00000543: JUMPDEST
00000544: PUSH1 0x00
00000546: DUP5
00000547: DUP2
00000548: MSTORE
00000549: PUSH1 0x02
0000054b: PUSH1 0x20
0000054d: MSTORE
0000054e: PUSH1 0x40
00000550: SWAP1
00000551: KECCAK256
00000552: PUSH1 0x06
00000554: ADD
00000555: SLOAD
00000556: DUP5
00000557: SWAP1
00000558: PUSH1 0x01
0000055a: PUSH1 0x01
0000055c: PUSH1 0xa0
0000055e: SHL
0000055f: SUB
00000560: AND
00000561: CALLER
00000562: EQ
00000563: DUP1
00000564: PUSH2 0x0586
00000567: JUMPI
00000568: POP
00000569: PUSH1 0x00
0000056b: DUP2
0000056c: DUP2
0000056d: MSTORE
0000056e: PUSH1 0x02
00000570: PUSH1 0x20
00000572: MSTORE
00000573: PUSH1 0x40
00000575: SWAP1
00000576: KECCAK256
00000577: PUSH1 0x05
00000579: ADD
0000057a: SLOAD
0000057b: PUSH1 0x01
0000057d: PUSH1 0x01
0000057f: PUSH1 0xa0
00000581: SHL
00000582: SUB
00000583: AND
00000584: CALLER
00000585: EQ
00000586: JUMPDEST
00000587: PUSH2 0x05c1
0000058a: JUMPI
0000058b: PUSH1 0x40
0000058d: MLOAD
0000058e: PUSH3 0x461bcd
00000592: PUSH1 0xe5
00000594: SHL
00000595: DUP2
00000596: MSTORE
00000597: PUSH1 0x04
00000599: ADD
0000059a: DUP1
0000059b: DUP1
0000059c: PUSH1 0x20
0000059e: ADD
0000059f: DUP3
000005a0: DUP2
000005a1: SUB
000005a2: DUP3
000005a3: MSTORE
000005a4: PUSH1 0x37
000005a6: DUP2
000005a7: MSTORE
000005a8: PUSH1 0x20
000005aa: ADD
000005ab: DUP1
000005ac: PUSH2 0x1779
000005af: PUSH1 0x37
000005b1: SWAP2
000005b2: CODECOPY
000005b3: PUSH1 0x40
000005b5: ADD
000005b6: SWAP2
000005b7: POP
000005b8: POP
000005b9: PUSH1 0x40
000005bb: MLOAD
000005bc: DUP1
000005bd: SWAP2
000005be: SUB
000005bf: SWAP1
000005c0: REVERT
000005c1: JUMPDEST
000005c2: PUSH2 0x05c9
000005c5: PUSH2 0x163a
000005c8: JUMP
000005c9: JUMPDEST
000005ca: POP
000005cb: PUSH1 0x00
000005cd: DUP6
000005ce: DUP2
000005cf: MSTORE
000005d0: PUSH1 0x02
000005d2: PUSH1 0x20
000005d4: DUP2
000005d5: DUP2
000005d6: MSTORE
000005d7: PUSH1 0x40
000005d9: DUP1
000005da: DUP5
000005db: KECCAK256
000005dc: DUP2
000005dd: MLOAD
000005de: PUSH2 0x0120
000005e1: DUP2
000005e2: ADD
000005e3: DUP4
000005e4: MSTORE
000005e5: DUP2
000005e6: SLOAD
000005e7: DUP2
000005e8: MSTORE
000005e9: PUSH1 0x01
000005eb: DUP3
000005ec: ADD
000005ed: SLOAD
000005ee: SWAP4
000005ef: DUP2
000005f0: ADD
000005f1: SWAP4
000005f2: SWAP1
000005f3: SWAP4
000005f4: MSTORE
000005f5: SWAP3
000005f6: DUP4
000005f7: ADD
000005f8: SLOAD
000005f9: SWAP1
000005fa: DUP3
000005fb: ADD
000005fc: MSTORE
000005fd: PUSH1 0x03
000005ff: DUP3
00000600: ADD
00000601: SLOAD
00000602: PUSH1 0x60
00000604: DUP3
00000605: ADD
00000606: MSTORE
00000607: PUSH1 0x04
00000609: DUP3
0000060a: ADD
0000060b: SLOAD
0000060c: PUSH1 0x80
0000060e: DUP3
0000060f: ADD
00000610: MSTORE
00000611: PUSH1 0x05
00000613: DUP3
00000614: ADD
00000615: SLOAD
00000616: PUSH1 0x01
00000618: PUSH1 0x01
0000061a: PUSH1 0xa0
0000061c: SHL
0000061d: SUB
0000061e: SWAP1
0000061f: DUP2
00000620: AND
00000621: PUSH1 0xa0
00000623: DUP4
00000624: ADD
00000625: MSTORE
00000626: PUSH1 0x06
00000628: DUP4
00000629: ADD
0000062a: SLOAD
0000062b: DUP2
0000062c: AND
0000062d: PUSH1 0xc0
0000062f: DUP4
00000630: ADD
00000631: DUP2
00000632: SWAP1
00000633: MSTORE
00000634: PUSH1 0x07
00000636: SWAP1
00000637: SWAP4
00000638: ADD
00000639: SLOAD
0000063a: SWAP1
0000063b: DUP2
0000063c: AND
0000063d: PUSH1 0xe0
0000063f: DUP4
00000640: ADD
00000641: MSTORE
00000642: PUSH1 0x01
00000644: PUSH1 0xa0
00000646: SHL
00000647: SWAP1
00000648: DIV
00000649: PUSH1 0xff
0000064b: AND
0000064c: ISZERO
0000064d: ISZERO
0000064e: PUSH2 0x0100
00000651: DUP3
00000652: ADD
00000653: MSTORE
00000654: SWAP2
00000655: SWAP1
00000656: PUSH2 0x0660
00000659: SWAP1
0000065a: DUP9
0000065b: SWAP1
0000065c: PUSH2 0x01ef
0000065f: JUMP
00000660: JUMPDEST
00000661: SWAP1
00000662: POP
00000663: PUSH1 0x00
00000665: PUSH2 0x0672
00000668: DUP9
00000669: DUP5
0000066a: PUSH1 0xa0
0000066c: ADD
0000066d: MLOAD
0000066e: PUSH2 0x01ef
00000671: JUMP
00000672: JUMPDEST
00000673: PUSH1 0x00
00000675: DUP10
00000676: DUP2
00000677: MSTORE
00000678: PUSH1 0x02
0000067a: PUSH1 0x20
0000067c: DUP2
0000067d: SWAP1
0000067e: MSTORE
0000067f: PUSH1 0x40
00000681: DUP3
00000682: KECCAK256
00000683: DUP3
00000684: DUP2
00000685: SSTORE
00000686: PUSH1 0x01
00000688: DUP2
00000689: ADD
0000068a: DUP4
0000068b: SWAP1
0000068c: SSTORE
0000068d: SWAP1
0000068e: DUP2
0000068f: ADD
00000690: DUP3
00000691: SWAP1
00000692: SSTORE
00000693: PUSH1 0x03
00000695: DUP2
00000696: ADD
00000697: DUP3
00000698: SWAP1
00000699: SSTORE
0000069a: PUSH1 0x04
0000069c: DUP2
0000069d: ADD
0000069e: SWAP2
0000069f: SWAP1
000006a0: SWAP2
000006a1: SSTORE
000006a2: PUSH1 0x05
000006a4: DUP2
000006a5: ADD
000006a6: DUP1
000006a7: SLOAD
000006a8: PUSH1 0x01
000006aa: PUSH1 0x01
000006ac: PUSH1 0xa0
000006ae: SHL
000006af: SUB
000006b0: NOT
000006b1: SWAP1
000006b2: DUP2
000006b3: AND
000006b4: SWAP1
000006b5: SWAP2
000006b6: SSTORE
000006b7: PUSH1 0x06
000006b9: DUP3
000006ba: ADD
000006bb: DUP1
000006bc: SLOAD
000006bd: SWAP1
000006be: SWAP2
000006bf: AND
000006c0: SWAP1
000006c1: SSTORE
000006c2: PUSH1 0x07
000006c4: ADD
000006c5: DUP1
000006c6: SLOAD
000006c7: PUSH1 0x01
000006c9: PUSH1 0x01
000006cb: PUSH1 0xa8
000006cd: SHL
000006ce: SUB
000006cf: NOT
000006d0: AND
000006d1: SWAP1
000006d2: SSTORE
000006d3: PUSH1 0xe0
000006d5: DUP5
000006d6: ADD
000006d7: MLOAD
000006d8: SWAP1
000006d9: SWAP2
000006da: POP
000006db: DUP2
000006dc: ISZERO
000006dd: PUSH2 0x0700
000006e0: JUMPI
000006e1: PUSH1 0xa0
000006e3: DUP5
000006e4: ADD
000006e5: MLOAD
000006e6: PUSH2 0x0700
000006e9: SWAP1
000006ea: PUSH1 0x01
000006ec: PUSH1 0x01
000006ee: PUSH1 0xa0
000006f0: SHL
000006f1: SUB
000006f2: DUP4
000006f3: AND
000006f4: SWAP1
000006f5: DUP5
000006f6: PUSH4 0xffffffff
000006fb: PUSH2 0x1374
000006fe: AND
000006ff: JUMP
00000700: JUMPDEST
00000701: DUP3
00000702: ISZERO
00000703: PUSH2 0x0726
00000706: JUMPI
00000707: PUSH1 0xc0
00000709: DUP5
0000070a: ADD
0000070b: MLOAD
0000070c: PUSH2 0x0726
0000070f: SWAP1
00000710: PUSH1 0x01
00000712: PUSH1 0x01
00000714: PUSH1 0xa0
00000716: SHL
00000717: SUB
00000718: DUP4
00000719: AND
0000071a: SWAP1
0000071b: DUP6
0000071c: PUSH4 0xffffffff
00000721: PUSH2 0x1374
00000724: AND
00000725: JUMP
00000726: JUMPDEST
00000727: DUP4
00000728: PUSH1 0xa0
0000072a: ADD
0000072b: MLOAD
0000072c: PUSH1 0x01
0000072e: PUSH1 0x01
00000730: PUSH1 0xa0
00000732: SHL
00000733: SUB
00000734: AND
00000735: DUP5
00000736: PUSH1 0xc0
00000738: ADD
00000739: MLOAD
0000073a: PUSH1 0x01
0000073c: PUSH1 0x01
0000073e: PUSH1 0xa0
00000740: SHL
00000741: SUB
00000742: AND
00000743: DUP11
00000744: PUSH32 0xca3e6079b726e7728802a0537949e2d1c7762304fa641fb06eb56daf2ba8c6b9
00000765: DUP7
00000766: DUP7
00000767: PUSH1 0x40
00000769: MLOAD
0000076a: DUP1
0000076b: DUP4
0000076c: DUP2
0000076d: MSTORE
0000076e: PUSH1 0x20
00000770: ADD
00000771: DUP3
00000772: DUP2
00000773: MSTORE
00000774: PUSH1 0x20
00000776: ADD
00000777: SWAP3
00000778: POP
00000779: POP
0000077a: POP
0000077b: PUSH1 0x40
0000077d: MLOAD
0000077e: DUP1
0000077f: SWAP2
00000780: SUB
00000781: SWAP1
00000782: LOG4
00000783: PUSH1 0x01
00000785: SWAP8
00000786: POP
00000787: POP
00000788: POP
00000789: POP
0000078a: POP
0000078b: POP
0000078c: POP
0000078d: PUSH1 0x00
0000078f: SLOAD
00000790: DUP2
00000791: EQ
00000792: PUSH2 0x07e2
00000795: JUMPI
00000796: PUSH1 0x40
00000798: DUP1
00000799: MLOAD
0000079a: PUSH3 0x461bcd
0000079e: PUSH1 0xe5
000007a0: SHL
000007a1: DUP2
000007a2: MSTORE
000007a3: PUSH1 0x20
000007a5: PUSH1 0x04
000007a7: DUP3
000007a8: ADD
000007a9: MSTORE
000007aa: PUSH1 0x1f
000007ac: PUSH1 0x24
000007ae: DUP3
000007af: ADD
000007b0: MSTORE
000007b1: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000007d2: PUSH1 0x44
000007d4: DUP3
000007d5: ADD
000007d6: MSTORE
000007d7: SWAP1
000007d8: MLOAD
000007d9: SWAP1
000007da: DUP2
000007db: SWAP1
000007dc: SUB
000007dd: PUSH1 0x64
000007df: ADD
000007e0: SWAP1
000007e1: REVERT
000007e2: JUMPDEST
000007e3: POP
000007e4: SWAP2
000007e5: SWAP1
000007e6: POP
000007e7: JUMP
000007e8: JUMPDEST
000007e9: PUSH1 0x00
000007eb: DUP1
000007ec: SLOAD
000007ed: PUSH1 0x01
000007ef: ADD
000007f0: DUP1
000007f1: DUP3
000007f2: SSTORE
000007f3: DUP4
000007f4: DUP3
000007f5: MSTORE
000007f6: PUSH1 0x02
000007f8: PUSH1 0x20
000007fa: MSTORE
000007fb: PUSH1 0x40
000007fd: DUP3
000007fe: KECCAK256
000007ff: PUSH1 0x07
00000801: ADD
00000802: SLOAD
00000803: DUP5
00000804: SWAP1
00000805: PUSH1 0x01
00000807: PUSH1 0xa0
00000809: SHL
0000080a: SWAP1
0000080b: DIV
0000080c: PUSH1 0xff
0000080e: AND
0000080f: PUSH2 0x0857
00000812: JUMPI
00000813: PUSH1 0x40
00000815: DUP1
00000816: MLOAD
00000817: PUSH3 0x461bcd
0000081b: PUSH1 0xe5
0000081d: SHL
0000081e: DUP2
0000081f: MSTORE
00000820: PUSH1 0x20
00000822: PUSH1 0x04
00000824: DUP3
00000825: ADD
00000826: MSTORE
00000827: PUSH1 0x15
00000829: PUSH1 0x24
0000082b: DUP3
0000082c: ADD
0000082d: MSTORE
0000082e: PUSH21 0x1cdd1c99585b48191bd95cc81b9bdd08195e1a5cdd
00000844: PUSH1 0x5a
00000846: SHL
00000847: PUSH1 0x44
00000849: DUP3
0000084a: ADD
0000084b: MSTORE
0000084c: SWAP1
0000084d: MLOAD
0000084e: SWAP1
0000084f: DUP2
00000850: SWAP1
00000851: SUB
00000852: PUSH1 0x64
00000854: ADD
00000855: SWAP1
00000856: REVERT
00000857: JUMPDEST
00000858: PUSH1 0x00
0000085a: DUP6
0000085b: DUP2
0000085c: MSTORE
0000085d: PUSH1 0x02
0000085f: PUSH1 0x20
00000861: MSTORE
00000862: PUSH1 0x40
00000864: SWAP1
00000865: KECCAK256
00000866: PUSH1 0x06
00000868: ADD
00000869: SLOAD
0000086a: DUP6
0000086b: SWAP1
0000086c: PUSH1 0x01
0000086e: PUSH1 0x01
00000870: PUSH1 0xa0
00000872: SHL
00000873: SUB
00000874: AND
00000875: CALLER
00000876: EQ
00000877: DUP1
00000878: PUSH2 0x089a
0000087b: JUMPI
0000087c: POP
0000087d: PUSH1 0x00
0000087f: DUP2
00000880: DUP2
00000881: MSTORE
00000882: PUSH1 0x02
00000884: PUSH1 0x20
00000886: MSTORE
00000887: PUSH1 0x40
00000889: SWAP1
0000088a: KECCAK256
0000088b: PUSH1 0x05
0000088d: ADD
0000088e: SLOAD
0000088f: PUSH1 0x01
00000891: PUSH1 0x01
00000893: PUSH1 0xa0
00000895: SHL
00000896: SUB
00000897: AND
00000898: CALLER
00000899: EQ
0000089a: JUMPDEST
0000089b: PUSH2 0x08d5
0000089e: JUMPI
0000089f: PUSH1 0x40
000008a1: MLOAD
000008a2: PUSH3 0x461bcd
000008a6: PUSH1 0xe5
000008a8: SHL
000008a9: DUP2
000008aa: MSTORE
000008ab: PUSH1 0x04
000008ad: ADD
000008ae: DUP1
000008af: DUP1
000008b0: PUSH1 0x20
000008b2: ADD
000008b3: DUP3
000008b4: DUP2
000008b5: SUB
000008b6: DUP3
000008b7: MSTORE
000008b8: PUSH1 0x37
000008ba: DUP2
000008bb: MSTORE
000008bc: PUSH1 0x20
000008be: ADD
000008bf: DUP1
000008c0: PUSH2 0x1779
000008c3: PUSH1 0x37
000008c5: SWAP2
000008c6: CODECOPY
000008c7: PUSH1 0x40
000008c9: ADD
000008ca: SWAP2
000008cb: POP
000008cc: POP
000008cd: PUSH1 0x40
000008cf: MLOAD
000008d0: DUP1
000008d1: SWAP2
000008d2: SUB
000008d3: SWAP1
000008d4: REVERT
000008d5: JUMPDEST
000008d6: PUSH1 0x00
000008d8: DUP6
000008d9: GT
000008da: PUSH2 0x091b
000008dd: JUMPI
000008de: PUSH1 0x40
000008e0: DUP1
000008e1: MLOAD
000008e2: PUSH3 0x461bcd
000008e6: PUSH1 0xe5
000008e8: SHL
000008e9: DUP2
000008ea: MSTORE
000008eb: PUSH1 0x20
000008ed: PUSH1 0x04
000008ef: DUP3
000008f0: ADD
000008f1: MSTORE
000008f2: PUSH1 0x0e
000008f4: PUSH1 0x24
000008f6: DUP3
000008f7: ADD
000008f8: MSTORE
000008f9: PUSH14 0x616d6f756e74206973207a65726f
00000908: PUSH1 0x90
0000090a: SHL
0000090b: PUSH1 0x44
0000090d: DUP3
0000090e: ADD
0000090f: MSTORE
00000910: SWAP1
00000911: MLOAD
00000912: SWAP1
00000913: DUP2
00000914: SWAP1
00000915: SUB
00000916: PUSH1 0x64
00000918: ADD
00000919: SWAP1
0000091a: REVERT
0000091b: JUMPDEST
0000091c: PUSH2 0x0923
0000091f: PUSH2 0x163a
00000922: JUMP
00000923: JUMPDEST
00000924: POP
00000925: PUSH1 0x00
00000927: DUP7
00000928: DUP2
00000929: MSTORE
0000092a: PUSH1 0x02
0000092c: PUSH1 0x20
0000092e: DUP2
0000092f: DUP2
00000930: MSTORE
00000931: PUSH1 0x40
00000933: DUP1
00000934: DUP5
00000935: KECCAK256
00000936: DUP2
00000937: MLOAD
00000938: PUSH2 0x0120
0000093b: DUP2
0000093c: ADD
0000093d: DUP4
0000093e: MSTORE
0000093f: DUP2
00000940: SLOAD
00000941: DUP2
00000942: MSTORE
00000943: PUSH1 0x01
00000945: DUP3
00000946: ADD
00000947: SLOAD
00000948: SWAP4
00000949: DUP2
0000094a: ADD
0000094b: SWAP4
0000094c: SWAP1
0000094d: SWAP4
0000094e: MSTORE
0000094f: SWAP3
00000950: DUP4
00000951: ADD
00000952: SLOAD
00000953: SWAP1
00000954: DUP3
00000955: ADD
00000956: MSTORE
00000957: PUSH1 0x03
00000959: DUP3
0000095a: ADD
0000095b: SLOAD
0000095c: PUSH1 0x60
0000095e: DUP3
0000095f: ADD
00000960: MSTORE
00000961: PUSH1 0x04
00000963: DUP3
00000964: ADD
00000965: SLOAD
00000966: PUSH1 0x80
00000968: DUP3
00000969: ADD
0000096a: MSTORE
0000096b: PUSH1 0x05
0000096d: DUP3
0000096e: ADD
0000096f: SLOAD
00000970: PUSH1 0x01
00000972: PUSH1 0x01
00000974: PUSH1 0xa0
00000976: SHL
00000977: SUB
00000978: SWAP1
00000979: DUP2
0000097a: AND
0000097b: PUSH1 0xa0
0000097d: DUP4
0000097e: ADD
0000097f: DUP2
00000980: SWAP1
00000981: MSTORE
00000982: PUSH1 0x06
00000984: DUP5
00000985: ADD
00000986: SLOAD
00000987: DUP3
00000988: AND
00000989: PUSH1 0xc0
0000098b: DUP5
0000098c: ADD
0000098d: MSTORE
0000098e: PUSH1 0x07
00000990: SWAP1
00000991: SWAP4
00000992: ADD
00000993: SLOAD
00000994: SWAP1
00000995: DUP2
00000996: AND
00000997: PUSH1 0xe0
00000999: DUP4
0000099a: ADD
0000099b: MSTORE
0000099c: PUSH1 0x01
0000099e: PUSH1 0xa0
000009a0: SHL
000009a1: SWAP1
000009a2: DIV
000009a3: PUSH1 0xff
000009a5: AND
000009a6: ISZERO
000009a7: ISZERO
000009a8: PUSH2 0x0100
000009ab: DUP3
000009ac: ADD
000009ad: MSTORE
000009ae: SWAP2
000009af: SWAP1
000009b0: PUSH2 0x09ba
000009b3: SWAP1
000009b4: DUP10
000009b5: SWAP1
000009b6: PUSH2 0x01ef
000009b9: JUMP
000009ba: JUMPDEST
000009bb: SWAP1
000009bc: POP
000009bd: DUP7
000009be: DUP2
000009bf: LT
000009c0: ISZERO
000009c1: PUSH2 0x09fb
000009c4: JUMPI
000009c5: PUSH1 0x40
000009c7: MLOAD
000009c8: PUSH3 0x461bcd
000009cc: PUSH1 0xe5
000009ce: SHL
000009cf: DUP2
000009d0: MSTORE
000009d1: PUSH1 0x04
000009d3: ADD
000009d4: DUP1
000009d5: DUP1
000009d6: PUSH1 0x20
000009d8: ADD
000009d9: DUP3
000009da: DUP2
000009db: SUB
000009dc: DUP3
000009dd: MSTORE
000009de: PUSH1 0x24
000009e0: DUP2
000009e1: MSTORE
000009e2: PUSH1 0x20
000009e4: ADD
000009e5: DUP1
000009e6: PUSH2 0x16ef
000009e9: PUSH1 0x24
000009eb: SWAP2
000009ec: CODECOPY
000009ed: PUSH1 0x40
000009ef: ADD
000009f0: SWAP2
000009f1: POP
000009f2: POP
000009f3: PUSH1 0x40
000009f5: MLOAD
000009f6: DUP1
000009f7: SWAP2
000009f8: SUB
000009f9: SWAP1
000009fa: REVERT
000009fb: JUMPDEST
000009fc: PUSH1 0x00
000009fe: PUSH2 0x0a0b
00000a01: DUP4
00000a02: PUSH1 0x40
00000a04: ADD
00000a05: MLOAD
00000a06: DUP10
00000a07: PUSH2 0x1351
00000a0a: JUMP
00000a0b: JUMPDEST
00000a0c: PUSH1 0x00
00000a0e: DUP12
00000a0f: DUP2
00000a10: MSTORE
00000a11: PUSH1 0x02
00000a13: PUSH1 0x20
00000a15: DUP2
00000a16: SWAP1
00000a17: MSTORE
00000a18: PUSH1 0x40
00000a1a: DUP3
00000a1b: KECCAK256
00000a1c: ADD
00000a1d: SWAP2
00000a1e: SWAP1
00000a1f: SWAP2
00000a20: SSTORE
00000a21: SWAP1
00000a22: SWAP2
00000a23: POP
00000a24: DUP2
00000a25: PUSH1 0x03
00000a27: DUP2
00000a28: GT
00000a29: ISZERO
00000a2a: PUSH2 0x0a2f
00000a2d: JUMPI
00000a2e: INVALID
00000a2f: JUMPDEST
00000a30: EQ
00000a31: PUSH2 0x0a36
00000a34: JUMPI
00000a35: INVALID
00000a36: JUMPDEST
00000a37: PUSH1 0x00
00000a39: DUP10
00000a3a: DUP2
00000a3b: MSTORE
00000a3c: PUSH1 0x02
00000a3e: PUSH1 0x20
00000a40: DUP2
00000a41: SWAP1
00000a42: MSTORE
00000a43: PUSH1 0x40
00000a45: SWAP1
00000a46: SWAP2
00000a47: KECCAK256
00000a48: ADD
00000a49: SLOAD
00000a4a: PUSH2 0x0aae
00000a4d: JUMPI
00000a4e: PUSH1 0x00
00000a50: DUP10
00000a51: DUP2
00000a52: MSTORE
00000a53: PUSH1 0x02
00000a55: PUSH1 0x20
00000a57: DUP2
00000a58: SWAP1
00000a59: MSTORE
00000a5a: PUSH1 0x40
00000a5c: DUP3
00000a5d: KECCAK256
00000a5e: DUP3
00000a5f: DUP2
00000a60: SSTORE
00000a61: PUSH1 0x01
00000a63: DUP2
00000a64: ADD
00000a65: DUP4
00000a66: SWAP1
00000a67: SSTORE
00000a68: SWAP1
00000a69: DUP2
00000a6a: ADD
00000a6b: DUP3
00000a6c: SWAP1
00000a6d: SSTORE
00000a6e: PUSH1 0x03
00000a70: DUP2
00000a71: ADD
00000a72: DUP3
00000a73: SWAP1
00000a74: SSTORE
00000a75: PUSH1 0x04
00000a77: DUP2
00000a78: ADD
00000a79: SWAP2
00000a7a: SWAP1
00000a7b: SWAP2
00000a7c: SSTORE
00000a7d: PUSH1 0x05
00000a7f: DUP2
00000a80: ADD
00000a81: DUP1
00000a82: SLOAD
00000a83: PUSH1 0x01
00000a85: PUSH1 0x01
00000a87: PUSH1 0xa0
00000a89: SHL
00000a8a: SUB
00000a8b: NOT
00000a8c: SWAP1
00000a8d: DUP2
00000a8e: AND
00000a8f: SWAP1
00000a90: SWAP2
00000a91: SSTORE
00000a92: PUSH1 0x06
00000a94: DUP3
00000a95: ADD
00000a96: DUP1
00000a97: SLOAD
00000a98: SWAP1
00000a99: SWAP2
00000a9a: AND
00000a9b: SWAP1
00000a9c: SSTORE
00000a9d: PUSH1 0x07
00000a9f: ADD
00000aa0: DUP1
00000aa1: SLOAD
00000aa2: PUSH1 0x01
00000aa4: PUSH1 0x01
00000aa6: PUSH1 0xa8
00000aa8: SHL
00000aa9: SUB
00000aaa: NOT
00000aab: AND
00000aac: SWAP1
00000aad: SSTORE
00000aae: JUMPDEST
00000aaf: PUSH2 0x0ad4
00000ab2: DUP4
00000ab3: PUSH1 0xa0
00000ab5: ADD
00000ab6: MLOAD
00000ab7: DUP10
00000ab8: DUP6
00000ab9: PUSH1 0xe0
00000abb: ADD
00000abc: MLOAD
00000abd: PUSH1 0x01
00000abf: PUSH1 0x01
00000ac1: PUSH1 0xa0
00000ac3: SHL
00000ac4: SUB
00000ac5: AND
00000ac6: PUSH2 0x1374
00000ac9: SWAP1
00000aca: SWAP3
00000acb: SWAP2
00000acc: SWAP1
00000acd: PUSH4 0xffffffff
00000ad2: AND
00000ad3: JUMP
00000ad4: JUMPDEST
00000ad5: DUP3
00000ad6: PUSH1 0xa0
00000ad8: ADD
00000ad9: MLOAD
00000ada: PUSH1 0x01
00000adc: PUSH1 0x01
00000ade: PUSH1 0xa0
00000ae0: SHL
00000ae1: SUB
00000ae2: AND
00000ae3: DUP10
00000ae4: PUSH32 0x36c3ab437e6a424ed25dc4bfdeb62706aa06558660fab2dab229d2555adaf89c
00000b05: DUP11
00000b06: PUSH1 0x40
00000b08: MLOAD
00000b09: DUP1
00000b0a: DUP3
00000b0b: DUP2
00000b0c: MSTORE
00000b0d: PUSH1 0x20
00000b0f: ADD
00000b10: SWAP2
00000b11: POP
00000b12: POP
00000b13: PUSH1 0x40
00000b15: MLOAD
00000b16: DUP1
00000b17: SWAP2
00000b18: SUB
00000b19: SWAP1
00000b1a: LOG3
00000b1b: PUSH1 0x01
00000b1d: SWAP7
00000b1e: POP
00000b1f: POP
00000b20: POP
00000b21: POP
00000b22: POP
00000b23: POP
00000b24: PUSH1 0x00
00000b26: SLOAD
00000b27: DUP2
00000b28: EQ
00000b29: PUSH2 0x04cd
00000b2c: JUMPI
00000b2d: PUSH1 0x40
00000b2f: DUP1
00000b30: MLOAD
00000b31: PUSH3 0x461bcd
00000b35: PUSH1 0xe5
00000b37: SHL
00000b38: DUP2
00000b39: MSTORE
00000b3a: PUSH1 0x20
00000b3c: PUSH1 0x04
00000b3e: DUP3
00000b3f: ADD
00000b40: MSTORE
00000b41: PUSH1 0x1f
00000b43: PUSH1 0x24
00000b45: DUP3
00000b46: ADD
00000b47: MSTORE
00000b48: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000b69: PUSH1 0x44
00000b6b: DUP3
00000b6c: ADD
00000b6d: MSTORE
00000b6e: SWAP1
00000b6f: MLOAD
00000b70: SWAP1
00000b71: DUP2
00000b72: SWAP1
00000b73: SUB
00000b74: PUSH1 0x64
00000b76: ADD
00000b77: SWAP1
00000b78: REVERT
00000b79: JUMPDEST
00000b7a: PUSH1 0x00
00000b7c: DUP1
00000b7d: PUSH1 0x00
00000b7f: DUP1
00000b80: PUSH1 0x00
00000b82: DUP1
00000b83: PUSH1 0x00
00000b85: DUP1
00000b86: DUP9
00000b87: PUSH1 0x02
00000b89: PUSH1 0x00
00000b8b: DUP3
00000b8c: DUP2
00000b8d: MSTORE
00000b8e: PUSH1 0x20
00000b90: ADD
00000b91: SWAP1
00000b92: DUP2
00000b93: MSTORE
00000b94: PUSH1 0x20
00000b96: ADD
00000b97: PUSH1 0x00
00000b99: KECCAK256
00000b9a: PUSH1 0x07
00000b9c: ADD
00000b9d: PUSH1 0x14
00000b9f: SWAP1
00000ba0: SLOAD
00000ba1: SWAP1
00000ba2: PUSH2 0x0100
00000ba5: EXP
00000ba6: SWAP1
00000ba7: DIV
00000ba8: PUSH1 0xff
00000baa: AND
00000bab: PUSH2 0x0bf3
00000bae: JUMPI
00000baf: PUSH1 0x40
00000bb1: DUP1
00000bb2: MLOAD
00000bb3: PUSH3 0x461bcd
00000bb7: PUSH1 0xe5
00000bb9: SHL
00000bba: DUP2
00000bbb: MSTORE
00000bbc: PUSH1 0x20
00000bbe: PUSH1 0x04
00000bc0: DUP3
00000bc1: ADD
00000bc2: MSTORE
00000bc3: PUSH1 0x15
00000bc5: PUSH1 0x24
00000bc7: DUP3
00000bc8: ADD
00000bc9: MSTORE
00000bca: PUSH21 0x1cdd1c99585b48191bd95cc81b9bdd08195e1a5cdd
00000be0: PUSH1 0x5a
00000be2: SHL
00000be3: PUSH1 0x44
00000be5: DUP3
00000be6: ADD
00000be7: MSTORE
00000be8: SWAP1
00000be9: MLOAD
00000bea: SWAP1
00000beb: DUP2
00000bec: SWAP1
00000bed: SUB
00000bee: PUSH1 0x64
00000bf0: ADD
00000bf1: SWAP1
00000bf2: REVERT
00000bf3: JUMPDEST
00000bf4: POP
00000bf5: POP
00000bf6: POP
00000bf7: PUSH1 0x00
00000bf9: SWAP7
00000bfa: DUP8
00000bfb: MSTORE
00000bfc: POP
00000bfd: POP
00000bfe: PUSH1 0x02
00000c00: PUSH1 0x20
00000c02: DUP2
00000c03: SWAP1
00000c04: MSTORE
00000c05: PUSH1 0x40
00000c07: SWAP1
00000c08: SWAP6
00000c09: KECCAK256
00000c0a: PUSH1 0x06
00000c0c: DUP2
00000c0d: ADD
00000c0e: SLOAD
00000c0f: PUSH1 0x05
00000c11: DUP3
00000c12: ADD
00000c13: SLOAD
00000c14: DUP3
00000c15: SLOAD
00000c16: PUSH1 0x07
00000c18: DUP5
00000c19: ADD
00000c1a: SLOAD
00000c1b: PUSH1 0x03
00000c1d: DUP6
00000c1e: ADD
00000c1f: SLOAD
00000c20: PUSH1 0x04
00000c22: DUP7
00000c23: ADD
00000c24: SLOAD
00000c25: SWAP11
00000c26: DUP7
00000c27: ADD
00000c28: SLOAD
00000c29: PUSH1 0x01
00000c2b: SWAP1
00000c2c: SWAP7
00000c2d: ADD
00000c2e: SLOAD
00000c2f: PUSH1 0x01
00000c31: PUSH1 0x01
00000c33: PUSH1 0xa0
00000c35: SHL
00000c36: SUB
00000c37: SWAP6
00000c38: DUP7
00000c39: AND
00000c3a: SWAP13
00000c3b: SWAP5
00000c3c: DUP7
00000c3d: AND
00000c3e: SWAP12
00000c3f: SWAP4
00000c40: SWAP11
00000c41: POP
00000c42: SWAP5
00000c43: SWAP1
00000c44: SWAP2
00000c45: AND
00000c46: SWAP8
00000c47: POP
00000c48: SWAP6
00000c49: POP
00000c4a: SWAP4
00000c4b: POP
00000c4c: JUMP
00000c4d: JUMPDEST
00000c4e: PUSH1 0x00
00000c50: DUP2
00000c51: DUP2
00000c52: MSTORE
00000c53: PUSH1 0x02
00000c55: PUSH1 0x20
00000c57: MSTORE
00000c58: PUSH1 0x40
00000c5a: DUP2
00000c5b: KECCAK256
00000c5c: PUSH1 0x07
00000c5e: ADD
00000c5f: SLOAD
00000c60: DUP3
00000c61: SWAP1
00000c62: PUSH1 0x01
00000c64: PUSH1 0xa0
00000c66: SHL
00000c67: SWAP1
00000c68: DIV
00000c69: PUSH1 0xff
00000c6b: AND
00000c6c: PUSH2 0x0cb4
00000c6f: JUMPI
00000c70: PUSH1 0x40
00000c72: DUP1
00000c73: MLOAD
00000c74: PUSH3 0x461bcd
00000c78: PUSH1 0xe5
00000c7a: SHL
00000c7b: DUP2
00000c7c: MSTORE
00000c7d: PUSH1 0x20
00000c7f: PUSH1 0x04
00000c81: DUP3
00000c82: ADD
00000c83: MSTORE
00000c84: PUSH1 0x15
00000c86: PUSH1 0x24
00000c88: DUP3
00000c89: ADD
00000c8a: MSTORE
00000c8b: PUSH21 0x1cdd1c99585b48191bd95cc81b9bdd08195e1a5cdd
00000ca1: PUSH1 0x5a
00000ca3: SHL
00000ca4: PUSH1 0x44
00000ca6: DUP3
00000ca7: ADD
00000ca8: MSTORE
00000ca9: SWAP1
00000caa: MLOAD
00000cab: SWAP1
00000cac: DUP2
00000cad: SWAP1
00000cae: SUB
00000caf: PUSH1 0x64
00000cb1: ADD
00000cb2: SWAP1
00000cb3: REVERT
00000cb4: JUMPDEST
00000cb5: PUSH2 0x0cbc
00000cb8: PUSH2 0x163a
00000cbb: JUMP
00000cbc: JUMPDEST
00000cbd: POP
00000cbe: PUSH1 0x00
00000cc0: DUP4
00000cc1: DUP2
00000cc2: MSTORE
00000cc3: PUSH1 0x02
00000cc5: PUSH1 0x20
00000cc7: DUP2
00000cc8: DUP2
00000cc9: MSTORE
00000cca: PUSH1 0x40
00000ccc: SWAP3
00000ccd: DUP4
00000cce: SWAP1
00000ccf: KECCAK256
00000cd0: DUP4
00000cd1: MLOAD
00000cd2: PUSH2 0x0120
00000cd5: DUP2
00000cd6: ADD
00000cd7: DUP6
00000cd8: MSTORE
00000cd9: DUP2
00000cda: SLOAD
00000cdb: DUP2
00000cdc: MSTORE
00000cdd: PUSH1 0x01
00000cdf: DUP3
00000ce0: ADD
00000ce1: SLOAD
00000ce2: SWAP3
00000ce3: DUP2
00000ce4: ADD
00000ce5: SWAP3
00000ce6: SWAP1
00000ce7: SWAP3
00000ce8: MSTORE
00000ce9: SWAP2
00000cea: DUP3
00000ceb: ADD
00000cec: SLOAD
00000ced: SWAP3
00000cee: DUP2
00000cef: ADD
00000cf0: SWAP3
00000cf1: SWAP1
00000cf2: SWAP3
00000cf3: MSTORE
00000cf4: PUSH1 0x03
00000cf6: DUP2
00000cf7: ADD
00000cf8: SLOAD
00000cf9: PUSH1 0x60
00000cfb: DUP4
00000cfc: ADD
00000cfd: DUP2
00000cfe: SWAP1
00000cff: MSTORE
00000d00: PUSH1 0x04
00000d02: DUP3
00000d03: ADD
00000d04: SLOAD
00000d05: PUSH1 0x80
00000d07: DUP5
00000d08: ADD
00000d09: MSTORE
00000d0a: PUSH1 0x05
00000d0c: DUP3
00000d0d: ADD
00000d0e: SLOAD
00000d0f: PUSH1 0x01
00000d11: PUSH1 0x01
00000d13: PUSH1 0xa0
00000d15: SHL
00000d16: SUB
00000d17: SWAP1
00000d18: DUP2
00000d19: AND
00000d1a: PUSH1 0xa0
00000d1c: DUP6
00000d1d: ADD
00000d1e: MSTORE
00000d1f: PUSH1 0x06
00000d21: DUP4
00000d22: ADD
00000d23: SLOAD
00000d24: DUP2
00000d25: AND
00000d26: PUSH1 0xc0
00000d28: DUP6
00000d29: ADD
00000d2a: MSTORE
00000d2b: PUSH1 0x07
00000d2d: SWAP1
00000d2e: SWAP3
00000d2f: ADD
00000d30: SLOAD
00000d31: SWAP2
00000d32: DUP3
00000d33: AND
00000d34: PUSH1 0xe0
00000d36: DUP5
00000d37: ADD
00000d38: MSTORE
00000d39: PUSH1 0x01
00000d3b: PUSH1 0xa0
00000d3d: SHL
00000d3e: SWAP1
00000d3f: SWAP2
00000d40: DIV
00000d41: PUSH1 0xff
00000d43: AND
00000d44: ISZERO
00000d45: ISZERO
00000d46: PUSH2 0x0100
00000d49: DUP4
00000d4a: ADD
00000d4b: MSTORE
00000d4c: TIMESTAMP
00000d4d: GT
00000d4e: PUSH2 0x0d5b
00000d51: JUMPI
00000d52: PUSH1 0x00
00000d54: SWAP3
00000d55: POP
00000d56: POP
00000d57: PUSH2 0x07e2
00000d5a: JUMP
00000d5b: JUMPDEST
00000d5c: DUP1
00000d5d: PUSH1 0x80
00000d5f: ADD
00000d60: MLOAD
00000d61: TIMESTAMP
00000d62: LT
00000d63: ISZERO
00000d64: PUSH2 0x0d74
00000d67: JUMPI
00000d68: PUSH1 0x60
00000d6a: ADD
00000d6b: MLOAD
00000d6c: TIMESTAMP
00000d6d: SUB
00000d6e: SWAP2
00000d6f: POP
00000d70: PUSH2 0x07e2
00000d73: JUMP
00000d74: JUMPDEST
00000d75: PUSH1 0x60
00000d77: DUP2
00000d78: ADD
00000d79: MLOAD
00000d7a: PUSH1 0x80
00000d7c: SWAP1
00000d7d: SWAP2
00000d7e: ADD
00000d7f: MLOAD
00000d80: SUB
00000d81: SWAP4
00000d82: SWAP3
00000d83: POP
00000d84: POP
00000d85: POP
00000d86: JUMP
00000d87: JUMPDEST
00000d88: PUSH1 0x00
00000d8a: PUSH1 0x01
00000d8c: PUSH1 0x01
00000d8e: PUSH1 0xa0
00000d90: SHL
00000d91: SUB
00000d92: DUP7
00000d93: AND
00000d94: PUSH2 0x0de4
00000d97: JUMPI
00000d98: PUSH1 0x40
00000d9a: DUP1
00000d9b: MLOAD
00000d9c: PUSH3 0x461bcd
00000da0: PUSH1 0xe5
00000da2: SHL
00000da3: DUP2
00000da4: MSTORE
00000da5: PUSH1 0x20
00000da7: PUSH1 0x04
00000da9: DUP3
00000daa: ADD
00000dab: MSTORE
00000dac: PUSH1 0x1a
00000dae: PUSH1 0x24
00000db0: DUP3
00000db1: ADD
00000db2: MSTORE
00000db3: PUSH32 0x73747265616d20746f20746865207a65726f2061646472657373000000000000
00000dd4: PUSH1 0x44
00000dd6: DUP3
00000dd7: ADD
00000dd8: MSTORE
00000dd9: SWAP1
00000dda: MLOAD
00000ddb: SWAP1
00000ddc: DUP2
00000ddd: SWAP1
00000dde: SUB
00000ddf: PUSH1 0x64
00000de1: ADD
00000de2: SWAP1
00000de3: REVERT
00000de4: JUMPDEST
00000de5: PUSH1 0x01
00000de7: PUSH1 0x01
00000de9: PUSH1 0xa0
00000deb: SHL
00000dec: SUB
00000ded: DUP7
00000dee: AND
00000def: ADDRESS
00000df0: EQ
00000df1: ISZERO
00000df2: PUSH2 0x0e42
00000df5: JUMPI
00000df6: PUSH1 0x40
00000df8: DUP1
00000df9: MLOAD
00000dfa: PUSH3 0x461bcd
00000dfe: PUSH1 0xe5
00000e00: SHL
00000e01: DUP2
00000e02: MSTORE
00000e03: PUSH1 0x20
00000e05: PUSH1 0x04
00000e07: DUP3
00000e08: ADD
00000e09: MSTORE
00000e0a: PUSH1 0x1d
00000e0c: PUSH1 0x24
00000e0e: DUP3
00000e0f: ADD
00000e10: MSTORE
00000e11: PUSH32 0x73747265616d20746f2074686520636f6e747261637420697473656c66000000
00000e32: PUSH1 0x44
00000e34: DUP3
00000e35: ADD
00000e36: MSTORE
00000e37: SWAP1
00000e38: MLOAD
00000e39: SWAP1
00000e3a: DUP2
00000e3b: SWAP1
00000e3c: SUB
00000e3d: PUSH1 0x64
00000e3f: ADD
00000e40: SWAP1
00000e41: REVERT
00000e42: JUMPDEST
00000e43: PUSH1 0x01
00000e45: PUSH1 0x01
00000e47: PUSH1 0xa0
00000e49: SHL
00000e4a: SUB
00000e4b: DUP7
00000e4c: AND
00000e4d: CALLER
00000e4e: EQ
00000e4f: ISZERO
00000e50: PUSH2 0x0e97
00000e53: JUMPI
00000e54: PUSH1 0x40
00000e56: DUP1
00000e57: MLOAD
00000e58: PUSH3 0x461bcd
00000e5c: PUSH1 0xe5
00000e5e: SHL
00000e5f: DUP2
00000e60: MSTORE
00000e61: PUSH1 0x20
00000e63: PUSH1 0x04
00000e65: DUP3
00000e66: ADD
00000e67: MSTORE
00000e68: PUSH1 0x14
00000e6a: PUSH1 0x24
00000e6c: DUP3
00000e6d: ADD
00000e6e: MSTORE
00000e6f: PUSH20 0x39ba3932b0b6903a37903a34329031b0b63632b9
00000e84: PUSH1 0x61
00000e86: SHL
00000e87: PUSH1 0x44
00000e89: DUP3
00000e8a: ADD
00000e8b: MSTORE
00000e8c: SWAP1
00000e8d: MLOAD
00000e8e: SWAP1
00000e8f: DUP2
00000e90: SWAP1
00000e91: SUB
00000e92: PUSH1 0x64
00000e94: ADD
00000e95: SWAP1
00000e96: REVERT
00000e97: JUMPDEST
00000e98: PUSH1 0x00
00000e9a: DUP6
00000e9b: GT
00000e9c: PUSH2 0x0ede
00000e9f: JUMPI
00000ea0: PUSH1 0x40
00000ea2: DUP1
00000ea3: MLOAD
00000ea4: PUSH3 0x461bcd
00000ea8: PUSH1 0xe5
00000eaa: SHL
00000eab: DUP2
00000eac: MSTORE
00000ead: PUSH1 0x20
00000eaf: PUSH1 0x04
00000eb1: DUP3
00000eb2: ADD
00000eb3: MSTORE
00000eb4: PUSH1 0x0f
00000eb6: PUSH1 0x24
00000eb8: DUP3
00000eb9: ADD
00000eba: MSTORE
00000ebb: PUSH15 0x6465706f736974206973207a65726f
00000ecb: PUSH1 0x88
00000ecd: SHL
00000ece: PUSH1 0x44
00000ed0: DUP3
00000ed1: ADD
00000ed2: MSTORE
00000ed3: SWAP1
00000ed4: MLOAD
00000ed5: SWAP1
00000ed6: DUP2
00000ed7: SWAP1
00000ed8: SUB
00000ed9: PUSH1 0x64
00000edb: ADD
00000edc: SWAP1
00000edd: REVERT
00000ede: JUMPDEST
00000edf: TIMESTAMP
00000ee0: DUP4
00000ee1: LT
00000ee2: ISZERO
00000ee3: PUSH2 0x0f1d
00000ee6: JUMPI
00000ee7: PUSH1 0x40
00000ee9: MLOAD
00000eea: PUSH3 0x461bcd
00000eee: PUSH1 0xe5
00000ef0: SHL
00000ef1: DUP2
00000ef2: MSTORE
00000ef3: PUSH1 0x04
00000ef5: ADD
00000ef6: DUP1
00000ef7: DUP1
00000ef8: PUSH1 0x20
00000efa: ADD
00000efb: DUP3
00000efc: DUP2
00000efd: SUB
00000efe: DUP3
00000eff: MSTORE
00000f00: PUSH1 0x21
00000f02: DUP2
00000f03: MSTORE
00000f04: PUSH1 0x20
00000f06: ADD
00000f07: DUP1
00000f08: PUSH2 0x1713
00000f0b: PUSH1 0x21
00000f0d: SWAP2
00000f0e: CODECOPY
00000f0f: PUSH1 0x40
00000f11: ADD
00000f12: SWAP2
00000f13: POP
00000f14: POP
00000f15: PUSH1 0x40
00000f17: MLOAD
00000f18: DUP1
00000f19: SWAP2
00000f1a: SUB
00000f1b: SWAP1
00000f1c: REVERT
00000f1d: JUMPDEST
00000f1e: DUP3
00000f1f: DUP3
00000f20: GT
00000f21: PUSH2 0x0f71
00000f24: JUMPI
00000f25: PUSH1 0x40
00000f27: DUP1
00000f28: MLOAD
00000f29: PUSH3 0x461bcd
00000f2d: PUSH1 0xe5
00000f2f: SHL
00000f30: DUP2
00000f31: MSTORE
00000f32: PUSH1 0x20
00000f34: PUSH1 0x04
00000f36: DUP3
00000f37: ADD
00000f38: MSTORE
00000f39: PUSH1 0x1f
00000f3b: PUSH1 0x24
00000f3d: DUP3
00000f3e: ADD
00000f3f: MSTORE
00000f40: PUSH32 0x73746f702074696d65206265666f7265207468652073746172742074696d6500
00000f61: PUSH1 0x44
00000f63: DUP3
00000f64: ADD
00000f65: MSTORE
00000f66: SWAP1
00000f67: MLOAD
00000f68: SWAP1
00000f69: DUP2
00000f6a: SWAP1
00000f6b: SUB
00000f6c: PUSH1 0x64
00000f6e: ADD
00000f6f: SWAP1
00000f70: REVERT
00000f71: JUMPDEST
00000f72: PUSH2 0x0f79
00000f75: PUSH2 0x16cc
00000f78: JUMP
00000f79: JUMPDEST
00000f7a: PUSH2 0x0f83
00000f7d: DUP4
00000f7e: DUP6
00000f7f: PUSH2 0x1351
00000f82: JUMP
00000f83: JUMPDEST
00000f84: PUSH1 0x20
00000f86: DUP4
00000f87: ADD
00000f88: DUP2
00000f89: SWAP1
00000f8a: MSTORE
00000f8b: DUP3
00000f8c: DUP3
00000f8d: PUSH1 0x03
00000f8f: DUP2
00000f90: GT
00000f91: ISZERO
00000f92: PUSH2 0x0f97
00000f95: JUMPI
00000f96: INVALID
00000f97: JUMPDEST
00000f98: PUSH1 0x03
00000f9a: DUP2
00000f9b: GT
00000f9c: ISZERO
00000f9d: PUSH2 0x0fa2
00000fa0: JUMPI
00000fa1: INVALID
00000fa2: JUMPDEST
00000fa3: SWAP1
00000fa4: MSTORE
00000fa5: POP
00000fa6: PUSH1 0x00
00000fa8: SWAP1
00000fa9: POP
00000faa: DUP2
00000fab: MLOAD
00000fac: PUSH1 0x03
00000fae: DUP2
00000faf: GT
00000fb0: ISZERO
00000fb1: PUSH2 0x0fb6
00000fb4: JUMPI
00000fb5: INVALID
00000fb6: JUMPDEST
00000fb7: EQ
00000fb8: PUSH2 0x0fbd
00000fbb: JUMPI
00000fbc: INVALID
00000fbd: JUMPDEST
00000fbe: DUP1
00000fbf: PUSH1 0x20
00000fc1: ADD
00000fc2: MLOAD
00000fc3: DUP7
00000fc4: LT
00000fc5: ISZERO
00000fc6: PUSH2 0x1016
00000fc9: JUMPI
00000fca: PUSH1 0x40
00000fcc: DUP1
00000fcd: MLOAD
00000fce: PUSH3 0x461bcd
00000fd2: PUSH1 0xe5
00000fd4: SHL
00000fd5: DUP2
00000fd6: MSTORE
00000fd7: PUSH1 0x20
00000fd9: PUSH1 0x04
00000fdb: DUP3
00000fdc: ADD
00000fdd: MSTORE
00000fde: PUSH1 0x1f
00000fe0: PUSH1 0x24
00000fe2: DUP3
00000fe3: ADD
00000fe4: MSTORE
00000fe5: PUSH32 0x6465706f73697420736d616c6c6572207468616e2074696d652064656c746100
00001006: PUSH1 0x44
00001008: DUP3
00001009: ADD
0000100a: MSTORE
0000100b: SWAP1
0000100c: MLOAD
0000100d: SWAP1
0000100e: DUP2
0000100f: SWAP1
00001010: SUB
00001011: PUSH1 0x64
00001013: ADD
00001014: SWAP1
00001015: REVERT
00001016: JUMPDEST
00001017: DUP1
00001018: PUSH1 0x20
0000101a: ADD
0000101b: MLOAD
0000101c: DUP7
0000101d: DUP2
0000101e: PUSH2 0x1023
00001021: JUMPI
00001022: INVALID
00001023: JUMPDEST
00001024: MOD
00001025: ISZERO
00001026: PUSH2 0x1060
00001029: JUMPI
0000102a: PUSH1 0x40
0000102c: MLOAD
0000102d: PUSH3 0x461bcd
00001031: PUSH1 0xe5
00001033: SHL
00001034: DUP2
00001035: MSTORE
00001036: PUSH1 0x04
00001038: ADD
00001039: DUP1
0000103a: DUP1
0000103b: PUSH1 0x20
0000103d: ADD
0000103e: DUP3
0000103f: DUP2
00001040: SUB
00001041: DUP3
00001042: MSTORE
00001043: PUSH1 0x22
00001045: DUP2
00001046: MSTORE
00001047: PUSH1 0x20
00001049: ADD
0000104a: DUP1
0000104b: PUSH2 0x1734
0000104e: PUSH1 0x22
00001050: SWAP2
00001051: CODECOPY
00001052: PUSH1 0x40
00001054: ADD
00001055: SWAP2
00001056: POP
00001057: POP
00001058: PUSH1 0x40
0000105a: MLOAD
0000105b: DUP1
0000105c: SWAP2
0000105d: SUB
0000105e: SWAP1
0000105f: REVERT
00001060: JUMPDEST
00001061: PUSH2 0x106e
00001064: DUP7
00001065: DUP3
00001066: PUSH1 0x20
00001068: ADD
00001069: MLOAD
0000106a: PUSH2 0x13cb
0000106d: JUMP
0000106e: JUMPDEST
0000106f: PUSH1 0x40
00001071: DUP4
00001072: ADD
00001073: DUP2
00001074: SWAP1
00001075: MSTORE
00001076: DUP3
00001077: DUP3
00001078: PUSH1 0x03
0000107a: DUP2
0000107b: GT
0000107c: ISZERO
0000107d: PUSH2 0x1082
00001080: JUMPI
00001081: INVALID
00001082: JUMPDEST
00001083: PUSH1 0x03
00001085: DUP2
00001086: GT
00001087: ISZERO
00001088: PUSH2 0x108d
0000108b: JUMPI
0000108c: INVALID
0000108d: JUMPDEST
0000108e: SWAP1
0000108f: MSTORE
00001090: POP
00001091: PUSH1 0x00
00001093: SWAP1
00001094: POP
00001095: DUP2
00001096: MLOAD
00001097: PUSH1 0x03
00001099: DUP2
0000109a: GT
0000109b: ISZERO
0000109c: PUSH2 0x10a1
0000109f: JUMPI
000010a0: INVALID
000010a1: JUMPDEST
000010a2: EQ
000010a3: PUSH2 0x10a8
000010a6: JUMPI
000010a7: INVALID
000010a8: JUMPDEST
000010a9: PUSH1 0x00
000010ab: PUSH1 0x01
000010ad: SLOAD
000010ae: SWAP1
000010af: POP
000010b0: PUSH1 0x40
000010b2: MLOAD
000010b3: DUP1
000010b4: PUSH2 0x0120
000010b7: ADD
000010b8: PUSH1 0x40
000010ba: MSTORE
000010bb: DUP1
000010bc: DUP9
000010bd: DUP2
000010be: MSTORE
000010bf: PUSH1 0x20
000010c1: ADD
000010c2: DUP4
000010c3: PUSH1 0x40
000010c5: ADD
000010c6: MLOAD
000010c7: DUP2
000010c8: MSTORE
000010c9: PUSH1 0x20
000010cb: ADD
000010cc: DUP9
000010cd: DUP2
000010ce: MSTORE
000010cf: PUSH1 0x20
000010d1: ADD
000010d2: DUP7
000010d3: DUP2
000010d4: MSTORE
000010d5: PUSH1 0x20
000010d7: ADD
000010d8: DUP6
000010d9: DUP2
000010da: MSTORE
000010db: PUSH1 0x20
000010dd: ADD
000010de: DUP10
000010df: PUSH1 0x01
000010e1: PUSH1 0x01
000010e3: PUSH1 0xa0
000010e5: SHL
000010e6: SUB
000010e7: AND
000010e8: DUP2
000010e9: MSTORE
000010ea: PUSH1 0x20
000010ec: ADD
000010ed: CALLER
000010ee: PUSH1 0x01
000010f0: PUSH1 0x01
000010f2: PUSH1 0xa0
000010f4: SHL
000010f5: SUB
000010f6: AND
000010f7: DUP2
000010f8: MSTORE
000010f9: PUSH1 0x20
000010fb: ADD
000010fc: DUP8
000010fd: PUSH1 0x01
000010ff: PUSH1 0x01
00001101: PUSH1 0xa0
00001103: SHL
00001104: SUB
00001105: AND
00001106: DUP2
00001107: MSTORE
00001108: PUSH1 0x20
0000110a: ADD
0000110b: PUSH1 0x01
0000110d: ISZERO
0000110e: ISZERO
0000110f: DUP2
00001110: MSTORE
00001111: POP
00001112: PUSH1 0x02
00001114: PUSH1 0x00
00001116: DUP4
00001117: DUP2
00001118: MSTORE
00001119: PUSH1 0x20
0000111b: ADD
0000111c: SWAP1
0000111d: DUP2
0000111e: MSTORE
0000111f: PUSH1 0x20
00001121: ADD
00001122: PUSH1 0x00
00001124: KECCAK256
00001125: PUSH1 0x00
00001127: DUP3
00001128: ADD
00001129: MLOAD
0000112a: DUP2
0000112b: PUSH1 0x00
0000112d: ADD
0000112e: SSTORE
0000112f: PUSH1 0x20
00001131: DUP3
00001132: ADD
00001133: MLOAD
00001134: DUP2
00001135: PUSH1 0x01
00001137: ADD
00001138: SSTORE
00001139: PUSH1 0x40
0000113b: DUP3
0000113c: ADD
0000113d: MLOAD
0000113e: DUP2
0000113f: PUSH1 0x02
00001141: ADD
00001142: SSTORE
00001143: PUSH1 0x60
00001145: DUP3
00001146: ADD
00001147: MLOAD
00001148: DUP2
00001149: PUSH1 0x03
0000114b: ADD
0000114c: SSTORE
0000114d: PUSH1 0x80
0000114f: DUP3
00001150: ADD
00001151: MLOAD
00001152: DUP2
00001153: PUSH1 0x04
00001155: ADD
00001156: SSTORE
00001157: PUSH1 0xa0
00001159: DUP3
0000115a: ADD
0000115b: MLOAD
0000115c: DUP2
0000115d: PUSH1 0x05
0000115f: ADD
00001160: PUSH1 0x00
00001162: PUSH2 0x0100
00001165: EXP
00001166: DUP2
00001167: SLOAD
00001168: DUP2
00001169: PUSH1 0x01
0000116b: PUSH1 0x01
0000116d: PUSH1 0xa0
0000116f: SHL
00001170: SUB
00001171: MUL
00001172: NOT
00001173: AND
00001174: SWAP1
00001175: DUP4
00001176: PUSH1 0x01
00001178: PUSH1 0x01
0000117a: PUSH1 0xa0
0000117c: SHL
0000117d: SUB
0000117e: AND
0000117f: MUL
00001180: OR
00001181: SWAP1
00001182: SSTORE
00001183: POP
00001184: PUSH1 0xc0
00001186: DUP3
00001187: ADD
00001188: MLOAD
00001189: DUP2
0000118a: PUSH1 0x06
0000118c: ADD
0000118d: PUSH1 0x00
0000118f: PUSH2 0x0100
00001192: EXP
00001193: DUP2
00001194: SLOAD
00001195: DUP2
00001196: PUSH1 0x01
00001198: PUSH1 0x01
0000119a: PUSH1 0xa0
0000119c: SHL
0000119d: SUB
0000119e: MUL
0000119f: NOT
000011a0: AND
000011a1: SWAP1
000011a2: DUP4
000011a3: PUSH1 0x01
000011a5: PUSH1 0x01
000011a7: PUSH1 0xa0
000011a9: SHL
000011aa: SUB
000011ab: AND
000011ac: MUL
000011ad: OR
000011ae: SWAP1
000011af: SSTORE
000011b0: POP
000011b1: PUSH1 0xe0
000011b3: DUP3
000011b4: ADD
000011b5: MLOAD
000011b6: DUP2
000011b7: PUSH1 0x07
000011b9: ADD
000011ba: PUSH1 0x00
000011bc: PUSH2 0x0100
000011bf: EXP
000011c0: DUP2
000011c1: SLOAD
000011c2: DUP2
000011c3: PUSH1 0x01
000011c5: PUSH1 0x01
000011c7: PUSH1 0xa0
000011c9: SHL
000011ca: SUB
000011cb: MUL
000011cc: NOT
000011cd: AND
000011ce: SWAP1
000011cf: DUP4
000011d0: PUSH1 0x01
000011d2: PUSH1 0x01
000011d4: PUSH1 0xa0
000011d6: SHL
000011d7: SUB
000011d8: AND
000011d9: MUL
000011da: OR
000011db: SWAP1
000011dc: SSTORE
000011dd: POP
000011de: PUSH2 0x0100
000011e1: DUP3
000011e2: ADD
000011e3: MLOAD
000011e4: DUP2
000011e5: PUSH1 0x07
000011e7: ADD
000011e8: PUSH1 0x14
000011ea: PUSH2 0x0100
000011ed: EXP
000011ee: DUP2
000011ef: SLOAD
000011f0: DUP2
000011f1: PUSH1 0xff
000011f3: MUL
000011f4: NOT
000011f5: AND
000011f6: SWAP1
000011f7: DUP4
000011f8: ISZERO
000011f9: ISZERO
000011fa: MUL
000011fb: OR
000011fc: SWAP1
000011fd: SSTORE
000011fe: POP
000011ff: SWAP1
00001200: POP
00001201: POP
00001202: PUSH2 0x120e
00001205: PUSH1 0x01
00001207: SLOAD
00001208: PUSH1 0x01
0000120a: PUSH2 0x13f6
0000120d: JUMP
0000120e: JUMPDEST
0000120f: PUSH1 0x01
00001211: DUP2
00001212: SWAP1
00001213: SSTORE
00001214: DUP4
00001215: DUP3
00001216: PUSH1 0x03
00001218: DUP2
00001219: GT
0000121a: ISZERO
0000121b: PUSH2 0x1220
0000121e: JUMPI
0000121f: INVALID
00001220: JUMPDEST
00001221: PUSH1 0x03
00001223: DUP2
00001224: GT
00001225: ISZERO
00001226: PUSH2 0x122b
00001229: JUMPI
0000122a: INVALID
0000122b: JUMPDEST
0000122c: SWAP1
0000122d: MSTORE
0000122e: POP
0000122f: PUSH1 0x00
00001231: SWAP1
00001232: POP
00001233: DUP3
00001234: MLOAD
00001235: PUSH1 0x03
00001237: DUP2
00001238: GT
00001239: ISZERO
0000123a: PUSH2 0x123f
0000123d: JUMPI
0000123e: INVALID
0000123f: JUMPDEST
00001240: EQ
00001241: PUSH2 0x1291
00001244: JUMPI
00001245: PUSH1 0x40
00001247: DUP1
00001248: MLOAD
00001249: PUSH3 0x461bcd
0000124d: PUSH1 0xe5
0000124f: SHL
00001250: DUP2
00001251: MSTORE
00001252: PUSH1 0x20
00001254: PUSH1 0x04
00001256: DUP3
00001257: ADD
00001258: DUP2
00001259: SWAP1
0000125a: MSTORE
0000125b: PUSH1 0x24
0000125d: DUP3
0000125e: ADD
0000125f: MSTORE
00001260: PUSH32 0x6e6578742073747265616d2069642063616c63756c6174696f6e206572726f72
00001281: PUSH1 0x44
00001283: DUP3
00001284: ADD
00001285: MSTORE
00001286: SWAP1
00001287: MLOAD
00001288: SWAP1
00001289: DUP2
0000128a: SWAP1
0000128b: SUB
0000128c: PUSH1 0x64
0000128e: ADD
0000128f: SWAP1
00001290: REVERT
00001291: JUMPDEST
00001292: PUSH2 0x12ac
00001295: PUSH1 0x01
00001297: PUSH1 0x01
00001299: PUSH1 0xa0
0000129b: SHL
0000129c: SUB
0000129d: DUP8
0000129e: AND
0000129f: CALLER
000012a0: ADDRESS
000012a1: DUP11
000012a2: PUSH4 0xffffffff
000012a7: PUSH2 0x141c
000012aa: AND
000012ab: JUMP
000012ac: JUMPDEST
000012ad: PUSH1 0x40
000012af: DUP1
000012b0: MLOAD
000012b1: DUP9
000012b2: DUP2
000012b3: MSTORE
000012b4: PUSH1 0x01
000012b6: PUSH1 0x01
000012b8: PUSH1 0xa0
000012ba: SHL
000012bb: SUB
000012bc: DUP9
000012bd: DUP2
000012be: AND
000012bf: PUSH1 0x20
000012c1: DUP4
000012c2: ADD
000012c3: MSTORE
000012c4: DUP2
000012c5: DUP4
000012c6: ADD
000012c7: DUP9
000012c8: SWAP1
000012c9: MSTORE
000012ca: PUSH1 0x60
000012cc: DUP3
000012cd: ADD
000012ce: DUP8
000012cf: SWAP1
000012d0: MSTORE
000012d1: SWAP2
000012d2: MLOAD
000012d3: SWAP2
000012d4: DUP11
000012d5: AND
000012d6: SWAP2
000012d7: CALLER
000012d8: SWAP2
000012d9: DUP5
000012da: SWAP2
000012db: PUSH32 0x7b01d409597969366dc268d7f957a990d1ca3d3449baf8fb45db67351aecfe78
000012fc: SWAP2
000012fd: DUP2
000012fe: SWAP1
000012ff: SUB
00001300: PUSH1 0x80
00001302: ADD
00001303: SWAP1
00001304: LOG4
00001305: SWAP8
00001306: SWAP7
00001307: POP
00001308: POP
00001309: POP
0000130a: POP
0000130b: POP
0000130c: POP
0000130d: POP
0000130e: JUMP
0000130f: JUMPDEST
00001310: PUSH1 0x00
00001312: DUP1
00001313: DUP4
00001314: PUSH2 0x1322
00001317: JUMPI
00001318: POP
00001319: PUSH1 0x00
0000131b: SWAP1
0000131c: POP
0000131d: DUP1
0000131e: PUSH2 0x134a
00001321: JUMP
00001322: JUMPDEST
00001323: DUP4
00001324: DUP4
00001325: MUL
00001326: DUP4
00001327: DUP6
00001328: DUP3
00001329: DUP2
0000132a: PUSH2 0x132f
0000132d: JUMPI
0000132e: INVALID
0000132f: JUMPDEST
00001330: DIV
00001331: EQ
00001332: PUSH2 0x1343
00001335: JUMPI
00001336: POP
00001337: PUSH1 0x02
00001339: SWAP2
0000133a: POP
0000133b: PUSH1 0x00
0000133d: SWAP1
0000133e: POP
0000133f: PUSH2 0x134a
00001342: JUMP
00001343: JUMPDEST
00001344: PUSH1 0x00
00001346: SWAP3
00001347: POP
00001348: SWAP1
00001349: POP
0000134a: JUMPDEST
0000134b: SWAP3
0000134c: POP
0000134d: SWAP3
0000134e: SWAP1
0000134f: POP
00001350: JUMP
00001351: JUMPDEST
00001352: PUSH1 0x00
00001354: DUP1
00001355: DUP4
00001356: DUP4
00001357: GT
00001358: PUSH2 0x1368
0000135b: JUMPI
0000135c: POP
0000135d: PUSH1 0x00
0000135f: SWAP1
00001360: POP
00001361: DUP2
00001362: DUP4
00001363: SUB
00001364: PUSH2 0x134a
00001367: JUMP
00001368: JUMPDEST
00001369: POP
0000136a: PUSH1 0x03
0000136c: SWAP1
0000136d: POP
0000136e: PUSH1 0x00
00001370: PUSH2 0x134a
00001373: JUMP
00001374: JUMPDEST
00001375: PUSH1 0x40
00001377: DUP1
00001378: MLOAD
00001379: PUSH1 0x01
0000137b: PUSH1 0x01
0000137d: PUSH1 0xa0
0000137f: SHL
00001380: SUB
00001381: DUP5
00001382: AND
00001383: PUSH1 0x24
00001385: DUP3
00001386: ADD
00001387: MSTORE
00001388: PUSH1 0x44
0000138a: DUP1
0000138b: DUP3
0000138c: ADD
0000138d: DUP5
0000138e: SWAP1
0000138f: MSTORE
00001390: DUP3
00001391: MLOAD
00001392: DUP1
00001393: DUP4
00001394: SUB
00001395: SWAP1
00001396: SWAP2
00001397: ADD
00001398: DUP2
00001399: MSTORE
0000139a: PUSH1 0x64
0000139c: SWAP1
0000139d: SWAP2
0000139e: ADD
0000139f: SWAP1
000013a0: SWAP2
000013a1: MSTORE
000013a2: PUSH1 0x20
000013a4: DUP2
000013a5: ADD
000013a6: DUP1
000013a7: MLOAD
000013a8: PUSH1 0x01
000013aa: PUSH1 0x01
000013ac: PUSH1 0xe0
000013ae: SHL
000013af: SUB
000013b0: AND
000013b1: PUSH4 0xa9059cbb
000013b6: PUSH1 0xe0
000013b8: SHL
000013b9: OR
000013ba: SWAP1
000013bb: MSTORE
000013bc: PUSH2 0x13c6
000013bf: SWAP1
000013c0: DUP5
000013c1: SWAP1
000013c2: PUSH2 0x147c
000013c5: JUMP
000013c6: JUMPDEST
000013c7: POP
000013c8: POP
000013c9: POP
000013ca: JUMP
000013cb: JUMPDEST
000013cc: PUSH1 0x00
000013ce: DUP1
000013cf: DUP3
000013d0: PUSH2 0x13df
000013d3: JUMPI
000013d4: POP
000013d5: PUSH1 0x01
000013d7: SWAP1
000013d8: POP
000013d9: PUSH1 0x00
000013db: PUSH2 0x134a
000013de: JUMP
000013df: JUMPDEST
000013e0: PUSH1 0x00
000013e2: DUP4
000013e3: DUP6
000013e4: DUP2
000013e5: PUSH2 0x13ea
000013e8: JUMPI
000013e9: INVALID
000013ea: JUMPDEST
000013eb: DIV
000013ec: SWAP2
000013ed: POP
000013ee: SWAP2
000013ef: POP
000013f0: SWAP3
000013f1: POP
000013f2: SWAP3
000013f3: SWAP1
000013f4: POP
000013f5: JUMP
000013f6: JUMPDEST
000013f7: PUSH1 0x00
000013f9: DUP1
000013fa: DUP4
000013fb: DUP4
000013fc: ADD
000013fd: DUP5
000013fe: DUP2
000013ff: LT
00001400: PUSH2 0x140e
00001403: JUMPI
00001404: PUSH1 0x00
00001406: SWAP3
00001407: POP
00001408: SWAP1
00001409: POP
0000140a: PUSH2 0x134a
0000140d: JUMP
0000140e: JUMPDEST
0000140f: POP
00001410: PUSH1 0x02
00001412: SWAP2
00001413: POP
00001414: PUSH1 0x00
00001416: SWAP1
00001417: POP
00001418: PUSH2 0x134a
0000141b: JUMP
0000141c: JUMPDEST
0000141d: PUSH1 0x40
0000141f: DUP1
00001420: MLOAD
00001421: PUSH1 0x01
00001423: PUSH1 0x01
00001425: PUSH1 0xa0
00001427: SHL
00001428: SUB
00001429: DUP6
0000142a: DUP2
0000142b: AND
0000142c: PUSH1 0x24
0000142e: DUP4
0000142f: ADD
00001430: MSTORE
00001431: DUP5
00001432: AND
00001433: PUSH1 0x44
00001435: DUP3
00001436: ADD
00001437: MSTORE
00001438: PUSH1 0x64
0000143a: DUP1
0000143b: DUP3
0000143c: ADD
0000143d: DUP5
0000143e: SWAP1
0000143f: MSTORE
00001440: DUP3
00001441: MLOAD
00001442: DUP1
00001443: DUP4
00001444: SUB
00001445: SWAP1
00001446: SWAP2
00001447: ADD
00001448: DUP2
00001449: MSTORE
0000144a: PUSH1 0x84
0000144c: SWAP1
0000144d: SWAP2
0000144e: ADD
0000144f: SWAP1
00001450: SWAP2
00001451: MSTORE
00001452: PUSH1 0x20
00001454: DUP2
00001455: ADD
00001456: DUP1
00001457: MLOAD
00001458: PUSH1 0x01
0000145a: PUSH1 0x01
0000145c: PUSH1 0xe0
0000145e: SHL
0000145f: SUB
00001460: AND
00001461: PUSH4 0x23b872dd
00001466: PUSH1 0xe0
00001468: SHL
00001469: OR
0000146a: SWAP1
0000146b: MSTORE
0000146c: PUSH2 0x1476
0000146f: SWAP1
00001470: DUP6
00001471: SWAP1
00001472: PUSH2 0x147c
00001475: JUMP
00001476: JUMPDEST
00001477: POP
00001478: POP
00001479: POP
0000147a: POP
0000147b: JUMP
0000147c: JUMPDEST
0000147d: PUSH2 0x148e
00001480: DUP3
00001481: PUSH1 0x01
00001483: PUSH1 0x01
00001485: PUSH1 0xa0
00001487: SHL
00001488: SUB
00001489: AND
0000148a: PUSH2 0x1634
0000148d: JUMP
0000148e: JUMPDEST
0000148f: PUSH2 0x14df
00001492: JUMPI
00001493: PUSH1 0x40
00001495: DUP1
00001496: MLOAD
00001497: PUSH3 0x461bcd
0000149b: PUSH1 0xe5
0000149d: SHL
0000149e: DUP2
0000149f: MSTORE
000014a0: PUSH1 0x20
000014a2: PUSH1 0x04
000014a4: DUP3
000014a5: ADD
000014a6: MSTORE
000014a7: PUSH1 0x1f
000014a9: PUSH1 0x24
000014ab: DUP3
000014ac: ADD
000014ad: MSTORE
000014ae: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400
000014cf: PUSH1 0x44
000014d1: DUP3
000014d2: ADD
000014d3: MSTORE
000014d4: SWAP1
000014d5: MLOAD
000014d6: SWAP1
000014d7: DUP2
000014d8: SWAP1
000014d9: SUB
000014da: PUSH1 0x64
000014dc: ADD
000014dd: SWAP1
000014de: REVERT
000014df: JUMPDEST
000014e0: PUSH1 0x00
000014e2: PUSH1 0x60
000014e4: DUP4
000014e5: PUSH1 0x01
000014e7: PUSH1 0x01
000014e9: PUSH1 0xa0
000014eb: SHL
000014ec: SUB
000014ed: AND
000014ee: DUP4
000014ef: PUSH1 0x40
000014f1: MLOAD
000014f2: DUP1
000014f3: DUP3
000014f4: DUP1
000014f5: MLOAD
000014f6: SWAP1
000014f7: PUSH1 0x20
000014f9: ADD
000014fa: SWAP1
000014fb: DUP1
000014fc: DUP4
000014fd: DUP4
000014fe: JUMPDEST
000014ff: PUSH1 0x20
00001501: DUP4
00001502: LT
00001503: PUSH2 0x151d
00001506: JUMPI
00001507: DUP1
00001508: MLOAD
00001509: DUP3
0000150a: MSTORE
0000150b: PUSH1 0x1f
0000150d: NOT
0000150e: SWAP1
0000150f: SWAP3
00001510: ADD
00001511: SWAP2
00001512: PUSH1 0x20
00001514: SWAP2
00001515: DUP3
00001516: ADD
00001517: SWAP2
00001518: ADD
00001519: PUSH2 0x14fe
0000151c: JUMP
0000151d: JUMPDEST
0000151e: PUSH1 0x01
00001520: DUP4
00001521: PUSH1 0x20
00001523: SUB
00001524: PUSH2 0x0100
00001527: EXP
00001528: SUB
00001529: DUP1
0000152a: NOT
0000152b: DUP3
0000152c: MLOAD
0000152d: AND
0000152e: DUP2
0000152f: DUP5
00001530: MLOAD
00001531: AND
00001532: DUP1
00001533: DUP3
00001534: OR
00001535: DUP6
00001536: MSTORE
00001537: POP
00001538: POP
00001539: POP
0000153a: POP
0000153b: POP
0000153c: POP
0000153d: SWAP1
0000153e: POP
0000153f: ADD
00001540: SWAP2
00001541: POP
00001542: POP
00001543: PUSH1 0x00
00001545: PUSH1 0x40
00001547: MLOAD
00001548: DUP1
00001549: DUP4
0000154a: SUB
0000154b: DUP2
0000154c: PUSH1 0x00
0000154e: DUP7
0000154f: GAS
00001550: CALL
00001551: SWAP2
00001552: POP
00001553: POP
00001554: RETURNDATASIZE
00001555: DUP1
00001556: PUSH1 0x00
00001558: DUP2
00001559: EQ
0000155a: PUSH2 0x157f
0000155d: JUMPI
0000155e: PUSH1 0x40
00001560: MLOAD
00001561: SWAP2
00001562: POP
00001563: PUSH1 0x1f
00001565: NOT
00001566: PUSH1 0x3f
00001568: RETURNDATASIZE
00001569: ADD
0000156a: AND
0000156b: DUP3
0000156c: ADD
0000156d: PUSH1 0x40
0000156f: MSTORE
00001570: RETURNDATASIZE
00001571: DUP3
00001572: MSTORE
00001573: RETURNDATASIZE
00001574: PUSH1 0x00
00001576: PUSH1 0x20
00001578: DUP5
00001579: ADD
0000157a: RETURNDATACOPY
0000157b: PUSH2 0x1584
0000157e: JUMP
0000157f: JUMPDEST
00001580: PUSH1 0x60
00001582: SWAP2
00001583: POP
00001584: JUMPDEST
00001585: POP
00001586: SWAP2
00001587: POP
00001588: SWAP2
00001589: POP
0000158a: DUP2
0000158b: PUSH2 0x15db
0000158e: JUMPI
0000158f: PUSH1 0x40
00001591: DUP1
00001592: MLOAD
00001593: PUSH3 0x461bcd
00001597: PUSH1 0xe5
00001599: SHL
0000159a: DUP2
0000159b: MSTORE
0000159c: PUSH1 0x20
0000159e: PUSH1 0x04
000015a0: DUP3
000015a1: ADD
000015a2: DUP2
000015a3: SWAP1
000015a4: MSTORE
000015a5: PUSH1 0x24
000015a7: DUP3
000015a8: ADD
000015a9: MSTORE
000015aa: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000015cb: PUSH1 0x44
000015cd: DUP3
000015ce: ADD
000015cf: MSTORE
000015d0: SWAP1
000015d1: MLOAD
000015d2: SWAP1
000015d3: DUP2
000015d4: SWAP1
000015d5: SUB
000015d6: PUSH1 0x64
000015d8: ADD
000015d9: SWAP1
000015da: REVERT
000015db: JUMPDEST
000015dc: DUP1
000015dd: MLOAD
000015de: ISZERO
000015df: PUSH2 0x1476
000015e2: JUMPI
000015e3: DUP1
000015e4: DUP1
000015e5: PUSH1 0x20
000015e7: ADD
000015e8: SWAP1
000015e9: MLOAD
000015ea: PUSH1 0x20
000015ec: DUP2
000015ed: LT
000015ee: ISZERO
000015ef: PUSH2 0x15f7
000015f2: JUMPI
000015f3: PUSH1 0x00
000015f5: DUP1
000015f6: REVERT
000015f7: JUMPDEST
000015f8: POP
000015f9: MLOAD
000015fa: PUSH2 0x1476
000015fd: JUMPI
000015fe: PUSH1 0x40
00001600: MLOAD
00001601: PUSH3 0x461bcd
00001605: PUSH1 0xe5
00001607: SHL
00001608: DUP2
00001609: MSTORE
0000160a: PUSH1 0x04
0000160c: ADD
0000160d: DUP1
0000160e: DUP1
0000160f: PUSH1 0x20
00001611: ADD
00001612: DUP3
00001613: DUP2
00001614: SUB
00001615: DUP3
00001616: MSTORE
00001617: PUSH1 0x2a
00001619: DUP2
0000161a: MSTORE
0000161b: PUSH1 0x20
0000161d: ADD
0000161e: DUP1
0000161f: PUSH2 0x17b0
00001622: PUSH1 0x2a
00001624: SWAP2
00001625: CODECOPY
00001626: PUSH1 0x40
00001628: ADD
00001629: SWAP2
0000162a: POP
0000162b: POP
0000162c: PUSH1 0x40
0000162e: MLOAD
0000162f: DUP1
00001630: SWAP2
00001631: SUB
00001632: SWAP1
00001633: REVERT
00001634: JUMPDEST
00001635: EXTCODESIZE
00001636: ISZERO
00001637: ISZERO
00001638: SWAP1
00001639: JUMP
0000163a: JUMPDEST
0000163b: PUSH1 0x40
0000163d: MLOAD
0000163e: DUP1
0000163f: PUSH2 0x0120
00001642: ADD
00001643: PUSH1 0x40
00001645: MSTORE
00001646: DUP1
00001647: PUSH1 0x00
00001649: DUP2
0000164a: MSTORE
0000164b: PUSH1 0x20
0000164d: ADD
0000164e: PUSH1 0x00
00001650: DUP2
00001651: MSTORE
00001652: PUSH1 0x20
00001654: ADD
00001655: PUSH1 0x00
00001657: DUP2
00001658: MSTORE
00001659: PUSH1 0x20
0000165b: ADD
0000165c: PUSH1 0x00
0000165e: DUP2
0000165f: MSTORE
00001660: PUSH1 0x20
00001662: ADD
00001663: PUSH1 0x00
00001665: DUP2
00001666: MSTORE
00001667: PUSH1 0x20
00001669: ADD
0000166a: PUSH1 0x00
0000166c: PUSH1 0x01
0000166e: PUSH1 0x01
00001670: PUSH1 0xa0
00001672: SHL
00001673: SUB
00001674: AND
00001675: DUP2
00001676: MSTORE
00001677: PUSH1 0x20
00001679: ADD
0000167a: PUSH1 0x00
0000167c: PUSH1 0x01
0000167e: PUSH1 0x01
00001680: PUSH1 0xa0
00001682: SHL
00001683: SUB
00001684: AND
00001685: DUP2
00001686: MSTORE
00001687: PUSH1 0x20
00001689: ADD
0000168a: PUSH1 0x00
0000168c: PUSH1 0x01
0000168e: PUSH1 0x01
00001690: PUSH1 0xa0
00001692: SHL
00001693: SUB
00001694: AND
00001695: DUP2
00001696: MSTORE
00001697: PUSH1 0x20
00001699: ADD
0000169a: PUSH1 0x00
0000169c: ISZERO
0000169d: ISZERO
0000169e: DUP2
0000169f: MSTORE
000016a0: POP
000016a1: SWAP1
000016a2: JUMP
000016a3: JUMPDEST
000016a4: PUSH1 0x40
000016a6: DUP1
000016a7: MLOAD
000016a8: PUSH1 0x80
000016aa: DUP2
000016ab: ADD
000016ac: SWAP1
000016ad: SWAP2
000016ae: MSTORE
000016af: DUP1
000016b0: PUSH1 0x00
000016b2: DUP2
000016b3: MSTORE
000016b4: PUSH1 0x20
000016b6: ADD
000016b7: PUSH1 0x00
000016b9: DUP2
000016ba: MSTORE
000016bb: PUSH1 0x20
000016bd: ADD
000016be: PUSH1 0x00
000016c0: DUP2
000016c1: MSTORE
000016c2: PUSH1 0x20
000016c4: ADD
000016c5: PUSH1 0x00
000016c7: DUP2
000016c8: MSTORE
000016c9: POP
000016ca: SWAP1
000016cb: JUMP
000016cc: JUMPDEST
000016cd: PUSH1 0x40
000016cf: DUP1
000016d0: MLOAD
000016d1: PUSH1 0x60
000016d3: DUP2
000016d4: ADD
000016d5: SWAP1
000016d6: SWAP2
000016d7: MSTORE
000016d8: DUP1
000016d9: PUSH1 0x00
000016db: DUP2
000016dc: MSTORE
000016dd: PUSH1 0x20
000016df: ADD
000016e0: PUSH1 0x00
000016e2: DUP2
000016e3: MSTORE
000016e4: PUSH1 0x20
000016e6: ADD
000016e7: PUSH1 0x00
000016e9: DUP2
000016ea: MSTORE
000016eb: POP
000016ec: SWAP1
000016ed: JUMP
000016ee: INVALID
000016ef: PUSH2 0x6d6f
000016f2: PUSH22 0x6e7420657863656564732074686520617661696c6162
00001709: PUSH13 0x652062616c616e636573746172
00001717: PUSH21 0x2074696d65206265666f726520626c6f636b2e7469
0000172d: PUSH14 0x657374616d706465706f73697420
0000173c: PUSH15 0x6f74206d756c7469706c65206f6620
0000174c: PUSH21 0x696d652064656c7461726563697069656e74206261
00001762: PUSH13 0x616e63652063616c63756c6174
00001770: PUSH10 0x6f6e206572726f726361
0000177b: PUSH13 0x6c6572206973206e6f74207468
00001789: PUSH6 0x2073656e6465
00001790: PUSH19 0x206f722074686520726563697069656e74206f
000017a4: PUSH7 0x20746865207374
000017ac: PUSH19 0x65616d5361666545524332303a204552433230
000017c0: KECCAK256
000017c1: PUSH16 0x7065726174696f6e20646964206e6f74
000017d2: KECCAK256
000017d3: PUSH20 0x756363656564a265627a7a72315820a071d9a712
000017e8: UNKNOWN(0x22)
000017e9: CHAINID
000017ea: UNKNOWN(0xDE)
000017eb: PUSH31 0x1833dc43866d77eff7d2b042347bb76d54401363d8795264736f6c63430005
0000180b: GT
0000180c: STOP
0000180d: ORIGIN